runsolver Copyright (C) 2010 Olivier ROUSSEL This is runsolver version 3.2.9a (svn: 651) This program is distributed in the hope that it will be useful, but WITHOUT ANY WARRANTY; without even the implied warranty of MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License for more details. command line: /home/misc2010/bin/runsolver -s SIGUSR1 -M 1124 -C 290 -d 10 -w /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.log.runsolver ./gj-paranoid-solver-1.0 /home/misc2010/data/2011/dudf-real//c2164c84-b015-11df-8b50-00163e46d37a.cudf /home/misc2010/tmp/201108251442/gj-paranoid-solver-1.0/c2164c84-b015-11df-8b50-00163e46d37a.cudf.dudf-real.result Enforcing CPUTime limit (soft limit, will send signal-name then SIGKILL): 290 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 320 seconds Enforcing VSIZE limit (soft limit, will send signal-name then SIGKILL): 1150976 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1202176 KiB Current StackSize limit: 8192 KiB [startup+0 s] /proc/loadavg: 1.39 1.44 1.33 5/36 27589 /proc/meminfo: memFree=272392/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=11360 CPUtime=0 /proc/27588/stat : 27588 (java) R 27587 27587 4778 34817 4778 4202496 918 0 0 0 0 0 0 0 25 0 2 0 11230307 11632640 651 1283457024 134512640 134550932 4291499488 18446744073709551615 4159704680 0 0 0 0 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 2840 651 285 10 0 1186 0 [pid=27588/tid=27589] ppid=27587 vsize=11360 CPUtime=0 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 2 0 11230307 11632640 651 1283457024 134512640 134550932 4291499488 18446744073709551615 4159704680 0 0 0 0 0 0 0 -1 0 0 0 0 [startup+0.14548 s] /proc/loadavg: 1.39 1.44 1.33 5/36 27589 /proc/meminfo: memFree=272392/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=409800 CPUtime=0.14 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 3795 0 1 0 12 2 0 0 25 0 9 0 11230307 419635200 3222 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102450 3222 1803 10 0 96598 0 [pid=27588/tid=27589] ppid=27587 vsize=409800 CPUtime=0.12 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 2829 0 1 0 12 0 0 0 25 0 9 0 11230307 419635200 3222 1283457024 134512640 134550932 4291499488 18446744073709551615 4115008932 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.14 Current children cumulated vsize (KiB) 412368 [startup+0.205485 s] /proc/loadavg: 1.39 1.44 1.33 5/36 27589 /proc/meminfo: memFree=272392/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410104 CPUtime=0.2 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 4269 0 1 0 18 2 0 0 25 0 9 0 11230307 419946496 3696 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102526 3696 1944 10 0 96674 0 [pid=27588/tid=27589] ppid=27587 vsize=410104 CPUtime=0.17 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 3076 0 1 0 17 0 0 0 25 0 9 0 11230307 419946496 3696 1283457024 134512640 134550932 4291499488 18446744073709551615 4152936190 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.2 Current children cumulated vsize (KiB) 412672 [startup+0.310883 s] /proc/loadavg: 1.39 1.44 1.33 5/36 27589 /proc/meminfo: memFree=272392/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410104 CPUtime=0.3 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 5304 0 1 0 28 2 0 0 25 0 9 0 11230307 419946496 4731 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102526 4731 1948 10 0 96674 0 [pid=27588/tid=27589] ppid=27587 vsize=410104 CPUtime=0.26 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 3525 0 1 0 26 0 0 0 25 0 9 0 11230307 419946496 4731 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.3 Current children cumulated vsize (KiB) 412672 [startup+0.705611 s] /proc/loadavg: 1.39 1.44 1.33 5/36 27589 /proc/meminfo: memFree=272392/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410688 CPUtime=0.7 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 12913 0 1 0 65 5 0 0 25 0 9 0 11230307 420544512 12153 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102672 12153 2901 10 0 96820 0 [pid=27588/tid=27589] ppid=27587 vsize=410688 CPUtime=0.46 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 4214 0 1 0 46 0 0 0 25 0 9 0 11230307 420544512 12153 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 0.7 Current children cumulated vsize (KiB) 413256 [startup+1.50579 s] /proc/loadavg: 1.39 1.44 1.33 4/44 27597 /proc/meminfo: memFree=214160/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410688 CPUtime=1.5 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 27135 0 1 0 139 11 0 0 25 0 9 0 11230307 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102672 26375 2901 10 0 96820 0 [pid=27588/tid=27589] ppid=27587 vsize=410688 CPUtime=0.82 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 6838 0 1 0 78 4 0 0 25 0 9 0 11230307 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27591] ppid=27587 vsize=410688 CPUtime=0.63 /proc/27588/task/27591/stat : 27591 (java) R 27587 27587 4778 34817 4778 4202560 18914 0 0 0 57 6 0 0 18 0 9 0 11230308 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4151608224 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27592] ppid=27587 vsize=410688 CPUtime=0 /proc/27588/task/27592/stat : 27592 (java) S 27587 27587 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11230308 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27593] ppid=27587 vsize=410688 CPUtime=0 /proc/27588/task/27593/stat : 27593 (java) S 27587 27587 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11230308 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27594] ppid=27587 vsize=410688 CPUtime=0 /proc/27588/task/27594/stat : 27594 (java) S 27587 27587 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11230309 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27595] ppid=27587 vsize=410688 CPUtime=0.04 /proc/27588/task/27595/stat : 27595 (java) S 27587 27587 4778 34817 4778 4202560 444 0 0 0 4 0 0 0 18 0 9 0 11230309 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27596] ppid=27587 vsize=410688 CPUtime=0 /proc/27588/task/27596/stat : 27596 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11230309 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27597] ppid=27587 vsize=410688 CPUtime=0 /proc/27588/task/27597/stat : 27597 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11230309 420544512 26375 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.5 Current children cumulated vsize (KiB) 413256 Solver just ended. Dumping a history of the last processes samples [startup+1.60581 s] /proc/loadavg: 1.39 1.44 1.33 4/44 27597 /proc/meminfo: memFree=214160/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410820 CPUtime=1.6 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 28190 0 1 0 149 11 0 0 25 0 9 0 11230307 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102705 27430 2901 10 0 96853 0 [pid=27588/tid=27589] ppid=27587 vsize=410820 CPUtime=0.82 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 6838 0 1 0 78 4 0 0 25 0 9 0 11230307 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27591] ppid=27587 vsize=410820 CPUtime=0.73 /proc/27588/task/27591/stat : 27591 (java) R 27587 27587 4778 34817 4778 4202560 19969 0 0 0 67 6 0 0 18 0 9 0 11230308 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4149958788 0 0 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27592] ppid=27587 vsize=410820 CPUtime=0 /proc/27588/task/27592/stat : 27592 (java) S 27587 27587 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 20 0 9 0 11230308 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27593] ppid=27587 vsize=410820 CPUtime=0 /proc/27588/task/27593/stat : 27593 (java) S 27587 27587 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 20 0 9 0 11230308 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27594] ppid=27587 vsize=410820 CPUtime=0 /proc/27588/task/27594/stat : 27594 (java) S 27587 27587 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11230309 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27595] ppid=27587 vsize=410820 CPUtime=0.04 /proc/27588/task/27595/stat : 27595 (java) S 27587 27587 4778 34817 4778 4202560 444 0 0 0 4 0 0 0 18 0 9 0 11230309 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27596] ppid=27587 vsize=410820 CPUtime=0 /proc/27588/task/27596/stat : 27596 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11230309 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27597] ppid=27587 vsize=410820 CPUtime=0 /proc/27588/task/27597/stat : 27597 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11230309 420679680 27430 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 1.6 Current children cumulated vsize (KiB) 413388 [startup+2.40602 s] /proc/loadavg: 1.39 1.44 1.33 2/44 27597 /proc/meminfo: memFree=138396/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=410832 CPUtime=2.4 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 42018 0 1 0 225 15 0 0 25 0 9 0 11230307 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102708 41177 2923 10 0 96853 0 [pid=27588/tid=27589] ppid=27587 vsize=410832 CPUtime=1.19 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 9885 0 1 0 112 7 0 0 25 0 9 0 11230307 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27591] ppid=27587 vsize=410832 CPUtime=1.15 /proc/27588/task/27591/stat : 27591 (java) S 27587 27587 4778 34817 4778 4202560 30725 0 0 0 108 7 0 0 16 0 9 0 11230308 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27592] ppid=27587 vsize=410832 CPUtime=0 /proc/27588/task/27592/stat : 27592 (java) S 27587 27587 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 9 0 11230308 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27593] ppid=27587 vsize=410832 CPUtime=0 /proc/27588/task/27593/stat : 27593 (java) S 27587 27587 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 9 0 11230308 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27594] ppid=27587 vsize=410832 CPUtime=0 /proc/27588/task/27594/stat : 27594 (java) S 27587 27587 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 9 0 11230309 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27595] ppid=27587 vsize=410832 CPUtime=0.04 /proc/27588/task/27595/stat : 27595 (java) S 27587 27587 4778 34817 4778 4202560 469 0 0 0 4 0 0 0 15 0 9 0 11230309 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27596] ppid=27587 vsize=410832 CPUtime=0 /proc/27588/task/27596/stat : 27596 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 9 0 11230309 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27597] ppid=27587 vsize=410832 CPUtime=0 /proc/27588/task/27597/stat : 27597 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 9 0 11230309 420691968 41177 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.4 Current children cumulated vsize (KiB) 413400 [startup+2.60609 s] /proc/loadavg: 1.39 1.44 1.33 2/44 27597 /proc/meminfo: memFree=138396/1048576 swapFree=0/0 [pid=27587] ppid=27586 vsize=2568 CPUtime=0 /proc/27587/stat : 27587 (gj-paranoid-sol) S 27586 27587 4778 34817 4778 4202496 372 0 0 0 0 0 0 0 18 0 1 0 11230306 2629632 270 1283457024 134512640 135304128 4292142896 18446744073709551615 4294960130 0 65536 4 65538 18446744071564329979 0 0 17 0 0 0 0 /proc/27587/statm: 642 270 229 194 0 29 0 [pid=27588] ppid=27587 vsize=411156 CPUtime=2.6 /proc/27588/stat : 27588 (java) S 27587 27587 4778 34817 4778 4202496 42113 0 1 0 245 15 0 0 25 0 10 0 11230307 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 /proc/27588/statm: 102789 41268 2925 10 0 96934 0 [pid=27588/tid=27589] ppid=27587 vsize=411156 CPUtime=1.38 /proc/27588/task/27589/stat : 27589 (java) R 27587 27587 4778 34817 4778 4202560 9928 0 1 0 131 7 0 0 25 0 10 0 11230307 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4151410864 0 4 0 16800975 0 0 0 -1 0 0 0 0 [pid=27588/tid=27591] ppid=27587 vsize=411156 CPUtime=1.15 /proc/27588/task/27591/stat : 27591 (java) S 27587 27587 4778 34817 4778 4202560 30725 0 0 0 108 7 0 0 16 0 10 0 11230308 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 0 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27592] ppid=27587 vsize=411156 CPUtime=0 /proc/27588/task/27592/stat : 27592 (java) S 27587 27587 4778 34817 4778 4202560 15 0 0 0 0 0 0 0 18 0 10 0 11230308 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27593] ppid=27587 vsize=411156 CPUtime=0 /proc/27588/task/27593/stat : 27593 (java) S 27587 27587 4778 34817 4778 4202560 5 0 0 0 0 0 0 0 18 0 10 0 11230308 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27594] ppid=27587 vsize=411156 CPUtime=0 /proc/27588/task/27594/stat : 27594 (java) S 27587 27587 4778 34817 4778 4202560 1 0 0 0 0 0 0 0 25 0 10 0 11230309 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27595] ppid=27587 vsize=411156 CPUtime=0.06 /proc/27588/task/27595/stat : 27595 (java) S 27587 27587 4778 34817 4778 4202560 516 0 0 0 6 0 0 0 16 0 10 0 11230309 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27596] ppid=27587 vsize=411156 CPUtime=0 /proc/27588/task/27596/stat : 27596 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 25 0 10 0 11230309 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 [pid=27588/tid=27597] ppid=27587 vsize=411156 CPUtime=0 /proc/27588/task/27597/stat : 27597 (java) S 27587 27587 4778 34817 4778 4202560 0 0 0 0 0 0 0 0 15 0 10 0 11230309 421023744 41268 1283457024 134512640 134550932 4291499488 18446744073709551615 4294960130 0 4 0 16800975 18446612133155121344 0 0 -1 0 0 0 0 Current children cumulated CPU time (s) 2.6 Current children cumulated vsize (KiB) 413724 Child status: 0 Real time (s): 2.69714 CPU time (s): 2.67617 CPU user time (s): 2.51616 CPU system time (s): 0.16001 CPU usage (%): 99.2225 Max. virtual memory (cumulated for all children) (KiB): 413724 getrusage(RUSAGE_CHILDREN,...) data: user time used= 2.51616 system time used= 0.16001 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 42525 page faults= 1 swaps= 0 block input operations= 0 block output operations= 0 messages sent= 0 messages received= 0 signals received= 0 voluntary context switches= 681 involuntary context switches= 686 runsolver used 0 second user time and 0 second system time The end