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-3688337-1337882676/watcher-3688337-1337882676 -o /tmp/evaluation-result-3688337-1337882676/solver-3688337-1337882676 -C 1800 -W 1900 -M 15500 java -jar HOME/sat4j-pb.jar HOME/instance-3688337-1337882676.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.07 2.02 2.00 3/192 21890
/proc/meminfo: memFree=29880868/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=2500 CPUtime=0 cores=1,3,5,7
/proc/21890/stat : 21890 (java) D 21888 21890 20334 0 -1 4202496 92 0 0 0 0 0 0 0 20 0 1 0 254396208 2560000 46 33554432000 1073741824 1073778376 140733197540192 140733197537320 235365559591 0 0 4096 0 18446744072100609316 0 0 17 5 0 0 0 0 0
/proc/21890/statm: 625 46 37 9 0 29 0
[startup+0.0252259 s]
/proc/loadavg: 2.07 2.02 2.00 3/192 21890
/proc/meminfo: memFree=29880868/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=102664 CPUtime=0 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 1426 0 1 0 0 0 0 0 20 0 2 0 254396208 105127936 1109 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16784584 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 25666 1109 856 9 0 16775 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 102664
[startup+0.100315 s]
/proc/loadavg: 2.07 2.02 2.00 3/192 21890
/proc/meminfo: memFree=29880868/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9558412 CPUtime=0.07 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 3462 0 1 0 7 0 0 0 20 0 18 0 254396208 9787813888 4161 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2389603 4161 1772 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558412
[startup+0.300282 s]
/proc/loadavg: 2.07 2.02 2.00 3/192 21890
/proc/meminfo: memFree=29880868/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9558412 CPUtime=0.43 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 5530 0 1 0 43 0 0 0 20 0 18 0 254396208 9787813888 7340 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2389603 7340 2215 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558412
[startup+0.700274 s]
/proc/loadavg: 2.07 2.02 2.00 3/192 21890
/proc/meminfo: memFree=29880868/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=1.11 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 7707 0 1 0 110 1 0 0 20 0 19 0 254396208 9855975424 9386 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 9386 2241 9 0 2396937 0
Current children cumulated CPU time (s) 1.11
Current children cumulated vsize (KiB) 9624976
[startup+1.50074 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21909
/proc/meminfo: memFree=29847628/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=1.94 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 7948 0 1 0 193 1 0 0 20 0 19 0 254396208 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 12472 2246 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=1.45 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 2531 0 1 0 145 0 0 0 20 0 19 0 254396209 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902381392504 139902321595201 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254396212 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 1789 0 0 0 24 0 0 0 20 0 19 0 254396216 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.21 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2430 0 0 0 21 0 0 0 20 0 19 0 254396216 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 12472 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1.94
Current children cumulated vsize (KiB) 9624976
[startup+3.10066 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21909
/proc/meminfo: memFree=29824728/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=3.63 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 8040 0 1 0 359 4 0 0 20 0 19 0 254396208 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 18674 2272 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=3.02 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 2536 0 1 0 302 0 0 0 20 0 19 0 254396209 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902381392280 139902321595362 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=0.01 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 33 0 0 0 1 0 0 0 20 0 19 0 254396212 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 1794 0 0 0 27 0 0 0 20 0 19 0 254396216 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.24 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2439 0 0 0 24 0 0 0 20 0 19 0 254396216 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 18674 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 3.63
Current children cumulated vsize (KiB) 9624976
[startup+6.30066 s]
/proc/loadavg: 2.07 2.02 2.00 3/211 21909
/proc/meminfo: memFree=29806296/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=6.85 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 8061 0 1 0 679 6 0 0 20 0 19 0 254396208 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 21604 2272 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=6.19 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 2540 0 1 0 619 0 0 0 20 0 19 0 254396209 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902381392160 139902321595244 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 13 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 254396211 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=0.03 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 34 0 0 0 3 0 0 0 20 0 19 0 254396212 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.27 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 1795 0 0 0 27 0 0 0 20 0 19 0 254396216 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.25 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2439 0 0 0 25 0 0 0 20 0 19 0 254396216 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 21604 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 6.85
Current children cumulated vsize (KiB) 9624976
[startup+12.7006 s]
################
# More data... #
################
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=4.15 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 1822 0 0 0 403 12 0 0 20 0 19 0 254396211 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=4.16 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1043 0 0 0 406 10 0 0 20 0 19 0 254396211 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=4.26 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 1736 0 0 0 417 9 0 0 20 0 19 0 254396211 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=5.43 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 396 0 0 0 536 7 0 0 20 0 19 0 254396212 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 11391 0 0 0 83 2 0 0 20 0 19 0 254396216 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2522 0 0 0 30 0 0 0 20 0 19 0 254396216 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0.41 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 93 0 0 0 31 10 0 0 20 0 19 0 254396216 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 92005 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1687.86
Current children cumulated vsize (KiB) 9624976
[startup+1722.3 s]
/proc/loadavg: 2.13 2.06 2.01 3/211 21982
/proc/meminfo: memFree=29598512/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=1749.04 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 33026 0 1 0 174791 113 0 0 20 0 19 0 254396208 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 96462 2275 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=1706.47 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 3131 0 1 0 170619 28 0 0 20 0 19 0 254396209 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902381391320 139902321665497 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=4.38 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 2064 0 0 0 425 13 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=4.31 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 984 0 0 0 420 11 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=4.63 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 2406 0 0 0 449 14 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=4.58 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 1581 0 0 0 445 13 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=4.54 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 1949 0 0 0 445 9 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=4.37 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 2019 0 0 0 425 12 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=4.35 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1176 0 0 0 424 11 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=4.46 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 2108 0 0 0 436 10 0 0 20 0 19 0 254396211 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=5.52 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 414 0 0 0 545 7 0 0 20 0 19 0 254396212 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 11391 0 0 0 83 2 0 0 20 0 19 0 254396216 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2522 0 0 0 30 0 0 0 20 0 19 0 254396216 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0.43 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 97 0 0 0 32 11 0 0 20 0 19 0 254396216 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 96462 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1749.04
Current children cumulated vsize (KiB) 9624976
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1772.5 s]
/proc/loadavg: 2.21 2.10 2.02 3/211 21983
/proc/meminfo: memFree=29609052/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 33050 0 1 0 179887 114 0 0 20 0 19 0 254396208 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 93337 2275 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=1756.18 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 3147 0 1 0 175589 29 0 0 20 0 19 0 254396209 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902381392160 139902321638015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 2064 0 0 0 437 13 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=4.45 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 984 0 0 0 434 11 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=4.76 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 2406 0 0 0 462 14 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=4.71 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 1581 0 0 0 458 13 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=4.67 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 1949 0 0 0 457 10 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=4.53 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 2019 0 0 0 441 12 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=4.51 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1176 0 0 0 440 11 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=4.57 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 2108 0 0 0 447 10 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=5.7 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 420 0 0 0 563 7 0 0 20 0 19 0 254396212 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 11391 0 0 0 83 2 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2522 0 0 0 30 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 99 0 0 0 34 11 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended. Dumping a history of the last processes samples
[startup+1772.5 s]
/proc/loadavg: 2.21 2.10 2.02 3/211 21983
/proc/meminfo: memFree=29609052/32873844 swapFree=7104/7104
[pid=21890] ppid=21888 vsize=9624976 CPUtime=1800.01 cores=1,3,5,7
/proc/21890/stat : 21890 (java) S 21888 21890 20334 0 -1 4202496 33050 0 1 0 179887 114 0 0 20 0 19 0 254396208 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 140735180841888 235378081853 0 0 0 16800975 18446744073709551615 0 0 17 7 0 0 0 0 0
/proc/21890/statm: 2406244 93337 2275 9 0 2396937 0
[pid=21890/tid=21892] ppid=21888 vsize=9624976 CPUtime=1756.18 cores=1,3,5,7
/proc/21890/task/21892/stat : 21892 (java) R 21888 21890 20334 0 -1 4202560 3147 0 1 0 175589 29 0 0 20 0 19 0 254396209 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902381392160 139902321638015 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21893] ppid=21888 vsize=9624976 CPUtime=4.5 cores=1,3,5,7
/proc/21890/task/21893/stat : 21893 (java) S 21888 21890 20334 0 -1 4202560 2064 0 0 0 437 13 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902320122664 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21894] ppid=21888 vsize=9624976 CPUtime=4.45 cores=1,3,5,7
/proc/21890/task/21894/stat : 21894 (java) S 21888 21890 20334 0 -1 4202560 984 0 0 0 434 11 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902223858344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21895] ppid=21888 vsize=9624976 CPUtime=4.76 cores=1,3,5,7
/proc/21890/task/21895/stat : 21895 (java) S 21888 21890 20334 0 -1 4202560 2406 0 0 0 462 14 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902222806056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21896] ppid=21888 vsize=9624976 CPUtime=4.71 cores=1,3,5,7
/proc/21890/task/21896/stat : 21896 (java) S 21888 21890 20334 0 -1 4202560 1581 0 0 0 458 13 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902221753256 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21897] ppid=21888 vsize=9624976 CPUtime=4.67 cores=1,3,5,7
/proc/21890/task/21897/stat : 21897 (java) S 21888 21890 20334 0 -1 4202560 1949 0 0 0 457 10 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902220699944 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21898] ppid=21888 vsize=9624976 CPUtime=4.53 cores=1,3,5,7
/proc/21890/task/21898/stat : 21898 (java) S 21888 21890 20334 0 -1 4202560 2019 0 0 0 441 12 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902219647144 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21899] ppid=21888 vsize=9624976 CPUtime=4.51 cores=1,3,5,7
/proc/21890/task/21899/stat : 21899 (java) S 21888 21890 20334 0 -1 4202560 1176 0 0 0 440 11 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902218594856 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21900] ppid=21888 vsize=9624976 CPUtime=4.57 cores=1,3,5,7
/proc/21890/task/21900/stat : 21900 (java) S 21888 21890 20334 0 -1 4202560 2108 0 0 0 447 10 0 0 20 0 19 0 254396211 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902217542056 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21901] ppid=21888 vsize=9624976 CPUtime=5.7 cores=1,3,5,7
/proc/21890/task/21901/stat : 21901 (java) S 21888 21890 20334 0 -1 4202560 420 0 0 0 563 7 0 0 20 0 19 0 254396212 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902205344488 235378096041 0 0 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21902] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21902/stat : 21902 (java) S 21888 21890 20334 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902204290552 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21903] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21903/stat : 21903 (java) S 21888 21890 20334 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 254396213 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902203238152 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21904] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21904/stat : 21904 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902202186640 235378104096 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=21890/tid=21905] ppid=21888 vsize=9624976 CPUtime=0.85 cores=1,3,5,7
/proc/21890/task/21905/stat : 21905 (java) S 21888 21890 20334 0 -1 4202560 11391 0 0 0 83 2 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902201133240 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21906] ppid=21888 vsize=9624976 CPUtime=0.3 cores=1,3,5,7
/proc/21890/task/21906/stat : 21906 (java) S 21888 21890 20334 0 -1 4202560 2522 0 0 0 30 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902200080440 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=21890/tid=21907] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21907/stat : 21907 (java) S 21888 21890 20334 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902199028344 235378095164 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=21890/tid=21908] ppid=21888 vsize=9624976 CPUtime=0.45 cores=1,3,5,7
/proc/21890/task/21908/stat : 21908 (java) S 21888 21890 20334 0 -1 4202560 99 0 0 0 34 11 0 0 20 0 19 0 254396216 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902197975752 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=21890/tid=21909] ppid=21888 vsize=9624976 CPUtime=0 cores=1,3,5,7
/proc/21890/task/21909/stat : 21909 (java) S 21888 21890 20334 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 254396239 9855975424 93337 33554432000 1073741824 1073778376 140735180850752 139902196921768 235378096041 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9624976
Child status: 143
Real time (s): 1772.55
CPU time (s): 1800.52
CPU user time (s): 1798.95
CPU system time (s): 1.57176
CPU usage (%): 101.578
Max. virtual memory (cumulated for all children) (KiB): 9624976
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1798.95
system time used= 1.57176
maximum resident set size= 444344
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 33088
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 55066
involuntary context switches= 67320
runsolver used 6.34004 second user time and 13.9629 second system time
The end