runsolver Copyright (C) 2010-2011 Olivier ROUSSEL
This is runsolver version 3.3.1 (svn: 989)
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-3687703-1337875495/watcher-3687703-1337875495 -o /tmp/evaluation-result-3687703-1337875495/solver-3687703-1337875495 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3687703-1337875495.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.06 2.01 1.93 3/192 21085
/proc/meminfo: memFree=30079924/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=23236 CPUtime=0 cores=1,3,5,7
/proc/21085/stat : 21085 (java) R 21083 21085 20334 0 -1 4202496 988 0 0 0 0 0 0 0 20 0 1 0 253678077 23793664 716 33554432000 1073741824 1073778376 140734838191456 140734838180520 235365512552 0 0 4096 0 0 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 5809 717 531 9 0 128 0
[startup+0.016571 s]
/proc/loadavg: 2.06 2.01 1.93 3/192 21085
/proc/meminfo: memFree=30079924/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9016616 CPUtime=0 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 2326 0 1 0 0 0 0 0 20 0 10 0 253678077 9233014784 2515 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2254154 2524 1137 9 0 2244855 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9016616
[startup+0.100306 s]
/proc/loadavg: 2.06 2.01 1.93 3/192 21085
/proc/meminfo: memFree=30079924/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9558412 CPUtime=0.09 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 4404 0 1 0 9 0 0 0 20 0 18 0 253678077 9787813888 5101 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2389603 5101 2108 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558412
[startup+0.300163 s]
/proc/loadavg: 2.06 2.01 1.93 3/192 21085
/proc/meminfo: memFree=30079924/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=0.5 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 5759 0 1 0 49 1 0 0 20 0 19 0 253678077 9855975424 7981 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 7981 2225 9 0 2396937 0
Current children cumulated CPU time (s) 0.5
Current children cumulated vsize (KiB) 9624976
[startup+0.700183 s]
/proc/loadavg: 2.06 2.01 1.93 3/192 21085
/proc/meminfo: memFree=30079924/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=1.33 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 13138 0 1 0 131 2 0 0 20 0 19 0 253678077 9855975424 13859 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 13859 2270 9 0 2396937 0
Current children cumulated CPU time (s) 1.33
Current children cumulated vsize (KiB) 9624976
[startup+1.50067 s]
/proc/loadavg: 2.06 2.01 1.93 4/211 21104
/proc/meminfo: memFree=30027088/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=2.55 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 15735 0 1 0 252 3 0 0 20 0 19 0 253678077 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 15122 2270 9 0 2396937 0
[pid=21085/tid=21087] ppid=21083 vsize=9624976 CPUtime=1.41 cores=1,3,5,7
/proc/21085/task/21087/stat : 21087 (java) S 21083 21085 20334 0 -1 4202560 2514 0 1 0 141 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719441379736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21088] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21088/stat : 21088 (java) S 21083 21085 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719285094824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21089] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21089/stat : 21089 (java) S 21083 21085 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719284042280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21090] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21090/stat : 21090 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719282989224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21091] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21091/stat : 21091 (java) S 21083 21085 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719281936680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21092] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21092/stat : 21092 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719280884648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21093] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21093/stat : 21093 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719279832104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21094] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21094/stat : 21094 (java) S 21083 21085 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719278779048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21095] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21095/stat : 21095 (java) S 21083 21085 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719277726504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21096] ppid=21083 vsize=9624976 CPUtime=0.04 cores=1,3,5,7
/proc/21085/task/21096/stat : 21096 (java) R 21083 21085 20334 0 -1 4202560 29 0 0 0 4 0 0 0 20 0 19 0 253678080 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719265527144 139719448234333 0 0 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21097] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21097/stat : 21097 (java) S 21083 21085 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719264474488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21098] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21098/stat : 21098 (java) S 21083 21085 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719263421320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21099] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21099/stat : 21099 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719262370064 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21100] ppid=21083 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21085/task/21100/stat : 21100 (java) S 21083 21085 20334 0 -1 4202560 10001 0 0 0 72 2 0 0 20 0 19 0 253678083 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719261317944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21101] ppid=21083 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21085/task/21101/stat : 21101 (java) S 21083 21085 20334 0 -1 4202560 1959 0 0 0 29 0 0 0 20 0 19 0 253678083 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719260265400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21102] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21102/stat : 21102 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719259212536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21103] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21103/stat : 21103 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719258160200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21104] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21104/stat : 21104 (java) S 21083 21085 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678107 9855975424 15122 33554432000 1073741824 1073778376 140734838191456 139719257105448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 2.55
Current children cumulated vsize (KiB) 9624976
[startup+3.10056 s]
/proc/loadavg: 2.05 2.01 1.93 3/211 21104
/proc/meminfo: memFree=30018896/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=4.17 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 15745 0 1 0 414 3 0 0 20 0 19 0 253678077 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 15638 2270 9 0 2396937 0
[pid=21085/tid=21087] ppid=21083 vsize=9624976 CPUtime=2.95 cores=1,3,5,7
/proc/21085/task/21087/stat : 21087 (java) S 21083 21085 20334 0 -1 4202560 2519 0 1 0 295 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719441379736 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21088] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21088/stat : 21088 (java) S 21083 21085 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719285094824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21089] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21089/stat : 21089 (java) S 21083 21085 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719284042280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21090] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21090/stat : 21090 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719282989224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21091] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21091/stat : 21091 (java) S 21083 21085 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719281936680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21092] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21092/stat : 21092 (java) R 21083 21085 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719280884648 235378095164 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21093] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21093/stat : 21093 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719279832104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21094] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21094/stat : 21094 (java) S 21083 21085 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719278779048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21095] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21095/stat : 21095 (java) S 21083 21085 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719277726504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21096] ppid=21083 vsize=9624976 CPUtime=0.09 cores=1,3,5,7
/proc/21085/task/21096/stat : 21096 (java) R 21083 21085 20334 0 -1 4202560 31 0 0 0 9 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719265527024 139719444650136 0 0 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21097] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21097/stat : 21097 (java) S 21083 21085 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719264474488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21098] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21098/stat : 21098 (java) S 21083 21085 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719263421320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21099] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21099/stat : 21099 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719262370064 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21100] ppid=21083 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21085/task/21100/stat : 21100 (java) S 21083 21085 20334 0 -1 4202560 10001 0 0 0 72 2 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719261317944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21101] ppid=21083 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21085/task/21101/stat : 21101 (java) S 21083 21085 20334 0 -1 4202560 1959 0 0 0 29 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719260265400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21102] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21102/stat : 21102 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719259212536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21103] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21103/stat : 21103 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719258160200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21104] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21104/stat : 21104 (java) S 21083 21085 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678107 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719257105448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.17
Current children cumulated vsize (KiB) 9624976
Solver just ended. Dumping a history of the last processes samples
[startup+3.3071 s]
/proc/loadavg: 2.05 2.01 1.93 3/211 21104
/proc/meminfo: memFree=30018524/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=4.38 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 15746 0 1 0 435 3 0 0 20 0 19 0 253678077 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 15638 2270 9 0 2396937 0
[pid=21085/tid=21087] ppid=21083 vsize=9624976 CPUtime=3.15 cores=1,3,5,7
/proc/21085/task/21087/stat : 21087 (java) R 21083 21085 20334 0 -1 4202560 2520 0 1 0 315 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719441379576 139719381648804 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21088] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21088/stat : 21088 (java) S 21083 21085 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719285094824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21089] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21089/stat : 21089 (java) S 21083 21085 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719284042280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21090] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21090/stat : 21090 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719282989224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21091] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21091/stat : 21091 (java) S 21083 21085 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719281936680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21092] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21092/stat : 21092 (java) S 21083 21085 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719280884648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21093] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21093/stat : 21093 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719279832104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21094] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21094/stat : 21094 (java) S 21083 21085 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719278779048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21095] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21095/stat : 21095 (java) S 21083 21085 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719277726504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21096] ppid=21083 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/21085/task/21096/stat : 21096 (java) S 21083 21085 20334 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719265528168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21097] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21097/stat : 21097 (java) S 21083 21085 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719264474488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21098] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21098/stat : 21098 (java) S 21083 21085 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719263421320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21099] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21099/stat : 21099 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719262370064 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21100] ppid=21083 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21085/task/21100/stat : 21100 (java) S 21083 21085 20334 0 -1 4202560 10001 0 0 0 72 2 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719261317944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21101] ppid=21083 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21085/task/21101/stat : 21101 (java) S 21083 21085 20334 0 -1 4202560 1959 0 0 0 29 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719260265400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21102] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21102/stat : 21102 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719259212536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21103] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21103/stat : 21103 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719258160200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21104] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21104/stat : 21104 (java) S 21083 21085 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678107 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719257105448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.38
Current children cumulated vsize (KiB) 9624976
[startup+3.40069 s]
/proc/loadavg: 2.05 2.01 1.93 3/211 21104
/proc/meminfo: memFree=30018524/32873844 swapFree=7104/7104
[pid=21085] ppid=21083 vsize=9624976 CPUtime=4.47 cores=1,3,5,7
/proc/21085/stat : 21085 (java) S 21083 21085 20334 0 -1 4202496 15746 0 1 0 444 3 0 0 20 0 19 0 253678077 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 140734838182592 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/21085/statm: 2406244 15638 2270 9 0 2396937 0
[pid=21085/tid=21087] ppid=21083 vsize=9624976 CPUtime=3.24 cores=1,3,5,7
/proc/21085/task/21087/stat : 21087 (java) R 21083 21085 20334 0 -1 4202560 2520 0 1 0 324 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719441379576 139719381637703 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21088] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21088/stat : 21088 (java) S 21083 21085 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719285094824 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21089] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21089/stat : 21089 (java) S 21083 21085 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719284042280 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21090] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21090/stat : 21090 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719282989224 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21091] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21091/stat : 21091 (java) S 21083 21085 20334 0 -1 4202560 14 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719281936680 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21092] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21092/stat : 21092 (java) S 21083 21085 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719280884648 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21093] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21093/stat : 21093 (java) S 21083 21085 20334 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719279832104 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21094] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21094/stat : 21094 (java) S 21083 21085 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719278779048 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21085/tid=21095] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21095/stat : 21095 (java) S 21083 21085 20334 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 253678078 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719277726504 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21096] ppid=21083 vsize=9624976 CPUtime=0.1 cores=1,3,5,7
/proc/21085/task/21096/stat : 21096 (java) S 21083 21085 20334 0 -1 4202560 31 0 0 0 10 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719265528168 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21097] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21097/stat : 21097 (java) S 21083 21085 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719264474488 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21098] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21098/stat : 21098 (java) S 21083 21085 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 253678080 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719263421320 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21099] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21099/stat : 21099 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719262370064 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21100] ppid=21083 vsize=9624976 CPUtime=0.74 cores=1,3,5,7
/proc/21085/task/21100/stat : 21100 (java) S 21083 21085 20334 0 -1 4202560 10001 0 0 0 72 2 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719261317944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21085/tid=21101] ppid=21083 vsize=9624976 CPUtime=0.29 cores=1,3,5,7
/proc/21085/task/21101/stat : 21101 (java) S 21083 21085 20334 0 -1 4202560 1959 0 0 0 29 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719260265400 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21102] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21102/stat : 21102 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719259212536 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21085/tid=21103] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21103/stat : 21103 (java) S 21083 21085 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 253678083 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719258160200 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21085/tid=21104] ppid=21083 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21085/task/21104/stat : 21104 (java) S 21083 21085 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 253678107 9855975424 15638 33554432000 1073741824 1073778376 140734838191456 139719257105448 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
Current children cumulated CPU time (s) 4.47
Current children cumulated vsize (KiB) 9624976
Child status: 30
Real time (s): 3.48464
CPU time (s): 4.5733
CPU user time (s): 4.50131
CPU system time (s): 0.071989
CPU usage (%): 131.242
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 4.50131
system time used= 0.071989
maximum resident set size= 62612
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15765
page faults= 1
swaps= 0
block input operations= 0
block output operations= 64
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 532
involuntary context switches= 165
runsolver used 0.011998 second user time and 0.035994 second system time
The end