runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.0 (svn: 977)
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: BIN/runsolver --timestamp -w /tmp/evaluation-result-3453789-1307194214/watcher-3453789-1307194214 -o /tmp/evaluation-result-3453789-1307194214/solver-3453789-1307194214 -C 1800 -W 1900 -M 15500 java -server -Xms10000m -Xmx10000m -jar sat4j-pb.jar Both HOME/instance-3453789-1307194214.opb
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.61 3.63 3.79 3/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=23028 CPUtime=0 cores=1,3,5,7
/proc/10083/stat : 10083 (java) R 10079 10083 4512 0 -1 4202496 1020 0 0 0 0 0 0 0 17 0 1 0 811837279 23580672 763 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 47258785466848 0 0 4096 0 0 0 0 17 3 0 0 0
/proc/10083/statm: 5757 782 580 9 0 124 0
[pid=10083/tid=10085] ppid=10079 vsize=10444316 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) R 10079 10083 4512 0 -1 4202560 5088 0 1 0 0 0 0 0 17 0 2 0 811837280 10694979584 5903 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233509991483 0 4 0 16784584 0 0 0 -1 3 0 0 0
[startup+0.066067 s]
/proc/loadavg: 2.61 3.63 3.79 3/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 11671 0 1 0 4 1 0 0 17 0 18 0 811837279 10724274176 11367 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2618231 11369 1733 9 0 2608972 0
[pid=10083/tid=10085] ppid=10079 vsize=10472924 CPUtime=0.05 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) R 10079 10083 4512 0 -1 4202560 10498 0 1 0 4 1 0 0 22 0 18 0 811837280 10724274176 11369 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 47258788558360 0 4 0 16800975 0 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 10472924
[startup+0.101057 s]
/proc/loadavg: 2.61 3.63 3.79 3/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10540096 CPUtime=0.1 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 12972 0 1 0 9 1 0 0 17 0 18 0 811837279 10793058304 12668 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2635024 12668 2092 9 0 2625758 0
[pid=10083/tid=10085] ppid=10079 vsize=10540096 CPUtime=0.08 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) R 10079 10083 4512 0 -1 4202560 11075 0 1 0 7 1 0 0 18 0 18 0 811837280 10793058304 12668 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 47258788752596 0 4 0 16800975 0 0 0 -1 5 0 0 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 10540096
[startup+0.300989 s]
/proc/loadavg: 2.61 3.63 3.79 3/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10548280 CPUtime=0.66 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 16847 0 1 0 64 2 0 0 17 0 22 0 811837279 10801438720 15610 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2637070 15610 2194 9 0 2627804 0
[pid=10083/tid=10085] ppid=10079 vsize=10548280 CPUtime=0.15 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) S 10079 10083 4512 0 -1 4202560 11724 0 1 0 14 1 0 0 19 0 22 0 811837280 10801438720 15610 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
Current children cumulated CPU time (s) 0.66
Current children cumulated vsize (KiB) 10548280
[startup+0.700939 s]
/proc/loadavg: 2.61 3.63 3.79 3/525 10083
/proc/meminfo: memFree=22818432/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10554268 CPUtime=1.17 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 21590 0 1 0 114 3 0 0 17 0 22 0 811837279 10807570432 18998 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2638567 19000 2202 9 0 2629301 0
[pid=10083/tid=10085] ppid=10079 vsize=10554268 CPUtime=0.15 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) S 10079 10083 4512 0 -1 4202560 11726 0 1 0 14 1 0 0 16 0 22 0 811837280 10807570432 19000 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.17
Current children cumulated vsize (KiB) 10554268
[startup+1.50083 s]
/proc/loadavg: 2.61 3.63 3.79 1/563 10136
/proc/meminfo: memFree=22685652/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10554268 CPUtime=1.21 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 22198 0 1 0 118 3 0 0 17 0 19 0 811837279 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2638567 19210 2203 9 0 2629301 0
[pid=10083/tid=10085] ppid=10079 vsize=10554268 CPUtime=0.15 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) S 10079 10083 4512 0 -1 4202560 11728 0 1 0 14 1 0 0 16 0 19 0 811837280 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10090] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10090/stat : 10090 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10093] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10093/stat : 10093 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10095] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10095/stat : 10095 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10097] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10097/stat : 10097 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10099] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10099/stat : 10099 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10101] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10101/stat : 10101 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10102] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10102/stat : 10102 (java) S 10079 10083 4512 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10103] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10103/stat : 10103 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10104] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10104/stat : 10104 (java) S 10079 10083 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 0 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10106] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10106/stat : 10106 (java) S 10079 10083 4512 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10108] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10108/stat : 10108 (java) S 10079 10083 4512 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10110] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10110/stat : 10110 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522121137 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10111] ppid=10079 vsize=10554268 CPUtime=0.25 cores=1,3,5,7
/proc/10083/task/10111/stat : 10111 (java) S 10079 10083 4512 0 -1 4202560 3882 0 0 0 25 0 0 0 17 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 5 0 0 0
[pid=10083/tid=10114] ppid=10079 vsize=10554268 CPUtime=0.28 cores=1,3,5,7
/proc/10083/task/10114/stat : 10114 (java) S 10079 10083 4512 0 -1 4202560 2805 0 0 0 28 0 0 0 15 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10115] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10115/stat : 10115 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10118] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10118/stat : 10118 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10126] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10126/stat : 10126 (java) S 10079 10083 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811837296 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 10554268
Solver just ended. Dumping a history of the last processes samples
[startup+1.60081 s]
/proc/loadavg: 2.61 3.63 3.79 1/563 10136
/proc/meminfo: memFree=22685652/32951124 swapFree=64303760/67111528
[pid=10083] ppid=10079 vsize=10554268 CPUtime=1.21 cores=1,3,5,7
/proc/10083/stat : 10083 (java) S 10079 10083 4512 0 -1 4202496 22198 0 1 0 118 3 0 0 17 0 19 0 811837279 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522100197 0 0 0 16800975 18446744073709551615 0 0 17 3 0 0 0
/proc/10083/statm: 2638567 19210 2203 9 0 2629301 0
[pid=10083/tid=10085] ppid=10079 vsize=10554268 CPUtime=0.15 cores=1,3,5,7
/proc/10083/task/10085/stat : 10085 (java) S 10079 10083 4512 0 -1 4202560 11728 0 1 0 14 1 0 0 16 0 19 0 811837280 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10090] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10090/stat : 10090 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10093] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10093/stat : 10093 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10095] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10095/stat : 10095 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10097] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10097/stat : 10097 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10099] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10099/stat : 10099 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 18 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10101] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10101/stat : 10101 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10102] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10102/stat : 10102 (java) S 10079 10083 4512 0 -1 4202560 2 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10103] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10103/stat : 10103 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837282 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10104] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10104/stat : 10104 (java) S 10079 10083 4512 0 -1 4202560 2 0 0 0 0 0 0 0 18 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 0 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10106] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10106/stat : 10106 (java) S 10079 10083 4512 0 -1 4202560 16 0 0 0 0 0 0 0 19 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10108] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10108/stat : 10108 (java) S 10079 10083 4512 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 811837283 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10110] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10110/stat : 10110 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 19 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522121137 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10111] ppid=10079 vsize=10554268 CPUtime=0.25 cores=1,3,5,7
/proc/10083/task/10111/stat : 10111 (java) S 10079 10083 4512 0 -1 4202560 3882 0 0 0 25 0 0 0 17 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 5 0 0 0
[pid=10083/tid=10114] ppid=10079 vsize=10554268 CPUtime=0.28 cores=1,3,5,7
/proc/10083/task/10114/stat : 10114 (java) S 10079 10083 4512 0 -1 4202560 2805 0 0 0 28 0 0 0 15 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10115] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10115/stat : 10115 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 21 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522113433 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
[pid=10083/tid=10118] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10118/stat : 10118 (java) S 10079 10083 4512 0 -1 4202560 1 0 0 0 0 0 0 0 15 0 19 0 811837285 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 7 0 0 0
[pid=10083/tid=10126] ppid=10079 vsize=10554268 CPUtime=0 cores=1,3,5,7
/proc/10083/task/10126/stat : 10126 (java) S 10079 10083 4512 0 -1 4202560 7 0 0 0 0 0 0 0 21 0 19 0 811837296 10807570432 19210 33554432000 1073741824 1073778376 140735935504288 18446744073709551615 233522114048 0 4 0 16800975 18446604459643193536 0 0 -1 3 0 0 0
Current children cumulated CPU time (s) 1.21
Current children cumulated vsize (KiB) 10554268
Child status: 30
Real time (s): 1.69455
CPU time (s): 1.23681
CPU user time (s): 1.19782
CPU system time (s): 0.038994
CPU usage (%): 72.9877
Max. virtual memory (cumulated for all children) (KiB): 10554268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1.19782
system time used= 0.038994
maximum resident set size= 0
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22212
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= 509
involuntary context switches= 109
runsolver used 0.007998 second user time and 0.031995 second system time
The end