runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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-4080903-1465310418/watcher-4080903-1465310418 -o /tmp/evaluation-result-4080903-1465310418/solver-4080903-1465310418 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node106-1465299561-13656 --watchdog 1960 java -jar sat4j-pb.jar Both HOME/instance-4080903-1465310418.opb
pid=15849
running on 4 cores: 0,2,4,6
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: 4.10 4.11 4.09 5/198 15852
/proc/meminfo: memFree=28102540/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 1352 0 0 0 0 0 0 0 20 0 2 0 112976822 98570240 976 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 4096 0 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 24065 976 743 9 0 16771 0
[pid=15852/tid=15853] ppid=15849 vsize=96260 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 130 0 0 0 0 0 0 0 20 0 2 0 112976823 98570240 977 33554432000 1073741824 1073778376 140736611889088 140081690467880 270118241664 0 0 4096 0 0 0 0 -1 4 0 0 0 0 0
[startup+0.100109 s]
/proc/loadavg: 4.10 4.11 4.09 5/198 15852
/proc/meminfo: memFree=28102540/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=0.11 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 4495 0 1 0 10 1 0 0 20 0 18 0 112976822 9787879424 6120 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 6120 2156 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 2383 0 1 0 6 2 0 0 20 0 18 0 112976823 9787879424 6120 33554432000 1073741824 1073778376 140736611889088 140081690471800 270121624845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 9558476
[startup+0.200281 s]
/proc/loadavg: 4.10 4.11 4.09 5/198 15852
/proc/meminfo: memFree=28102540/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 5020 0 1 0 29 1 0 0 20 0 18 0 112976822 9787879424 11587 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 11587 2221 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 2407 0 1 0 16 2 0 0 20 0 18 0 112976823 9787879424 11587 33554432000 1073741824 1073778376 140736611889088 140081690471800 140081516110672 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300326 s]
/proc/loadavg: 4.10 4.11 4.09 5/198 15852
/proc/meminfo: memFree=28102540/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 5848 0 1 0 47 2 0 0 20 0 18 0 112976822 9787879424 17569 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 17569 2232 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=0.28 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 2418 0 1 0 26 2 0 0 20 0 18 0 112976823 9787879424 17569 33554432000 1073741824 1073778376 140736611889088 140081690471800 270121624845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.49
Current children cumulated vsize (KiB) 9558476
[startup+0.700235 s]
/proc/loadavg: 4.10 4.11 4.09 5/198 15852
/proc/meminfo: memFree=28102540/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=0.99 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 6085 0 1 0 93 6 0 0 20 0 18 0 112976822 9787879424 47921 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 47921 2249 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=0.65 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 2465 0 1 0 62 3 0 0 20 0 18 0 112976823 9787879424 47921 33554432000 1073741824 1073778376 140736611889088 140081690471592 140081516396784 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 0.99
Current children cumulated vsize (KiB) 9558476
[startup+1.50082 s]
/proc/loadavg: 4.10 4.11 4.09 6/216 15870
/proc/meminfo: memFree=27836092/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=3.12 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 22257 0 1 0 295 17 0 0 20 0 18 0 112976822 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 103784 2264 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=1.32 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 2518 0 1 0 128 4 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081690471032 270121624845 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) S 15849 15852 13640 0 -1 4202560 109 0 0 0 2 1 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9558476 CPUtime=0.02 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 14 0 0 0 2 0 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) S 15849 15852 13640 0 -1 4202560 82 0 0 0 2 1 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081649858856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9558476 CPUtime=0.05 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) S 15849 15852 13640 0 -1 4202560 75 0 0 0 4 1 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081648806056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) S 15849 15852 13640 0 -1 4202560 140 0 0 0 5 2 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9558476 CPUtime=0.06 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) S 15849 15852 13640 0 -1 4202560 141 0 0 0 5 1 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081646701480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9558476 CPUtime=0.07 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) S 15849 15852 13640 0 -1 4202560 122 0 0 0 5 2 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081645648680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9558476 CPUtime=0.03 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) S 15849 15852 13640 0 -1 4202560 86 0 0 0 3 0 0 0 20 0 18 0 112976823 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081644595880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) S 15849 15852 13640 0 -1 4202560 196 0 0 0 0 0 0 0 20 0 18 0 112976824 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081513875944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081512822008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 7212 0 0 0 66 0 0 0 20 0 18 0 112976827 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 10311 0 0 0 60 2 0 0 20 0 18 0 112976827 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15870/stat : 15870 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 103784 33554432000 1073741824 1073778376 140736611889088 140081506507720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 3.12
Current children cumulated vsize (KiB) 9558476
[startup+3.10076 s]
/proc/loadavg: 4.10 4.11 4.09 4/216 15870
/proc/meminfo: memFree=27042720/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=5.32 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 26008 0 1 0 481 51 0 0 20 0 18 0 112976822 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 559132 2264 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=2.69 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) S 15849 15852 13640 0 -1 4202560 3982 0 1 0 240 29 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081690471272 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9558476 CPUtime=0.18 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) R 15849 15852 13640 0 -1 4202560 214 0 0 0 15 3 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121614392 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9558476 CPUtime=0.12 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 80 0 0 0 10 2 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) R 15849 15852 13640 0 -1 4202560 292 0 0 0 7 2 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081649859032 140081697368558 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9558476 CPUtime=0.15 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) R 15849 15852 13640 0 -1 4202560 322 0 0 0 12 3 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081648806056 140081694229644 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9558476 CPUtime=0.17 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) R 15849 15852 13640 0 -1 4202560 347 0 0 0 14 3 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) R 15849 15852 13640 0 -1 4202560 366 0 0 0 13 3 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081646701240 140081694648657 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) R 15849 15852 13640 0 -1 4202560 245 0 0 0 14 2 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081645648680 140081697369004 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9558476 CPUtime=0.16 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) R 15849 15852 13640 0 -1 4202560 412 0 0 0 14 2 0 0 20 0 18 0 112976823 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081644596056 140081697368912 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) S 15849 15852 13640 0 -1 4202560 974 0 0 0 0 0 0 0 20 0 18 0 112976824 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081513874824 270121612348 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081512822008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 7212 0 0 0 66 0 0 0 20 0 18 0 112976827 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 10311 0 0 0 60 2 0 0 20 0 18 0 112976827 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15870/stat : 15870 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 559132 33554432000 1073741824 1073778376 140736611889088 140081506507720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 5.32
Current children cumulated vsize (KiB) 9558476
[startup+6.30087 s]
/proc/loadavg: 4.01 4.10 4.08 4/216 15870
/proc/meminfo: memFree=25143884/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9558476 CPUtime=10.15 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 28639 0 1 0 937 78 0 0 20 0 18 0 112976822 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2389619 740296 2264 9 0 2380296 0
[pid=15852/tid=15853] ppid=15849 vsize=9558476 CPUtime=5.32 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) R 15849 15852 13640 0 -1 4202560 4230 0 1 0 496 36 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081690464208 270121624845 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) S 15849 15852 13640 0 -1 4202560 819 0 0 0 42 5 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9558476 CPUtime=0.37 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 673 0 0 0 32 5 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) S 15849 15852 13640 0 -1 4202560 450 0 0 0 36 4 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081649858856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9558476 CPUtime=0.38 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) S 15849 15852 13640 0 -1 4202560 447 0 0 0 34 4 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081648806056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9558476 CPUtime=0.41 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) S 15849 15852 13640 0 -1 4202560 629 0 0 0 35 6 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9558476 CPUtime=0.4 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) S 15849 15852 13640 0 -1 4202560 428 0 0 0 36 4 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081646701480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9558476 CPUtime=0.49 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) S 15849 15852 13640 0 -1 4202560 312 0 0 0 43 6 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081645648680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9558476 CPUtime=0.47 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) S 15849 15852 13640 0 -1 4202560 614 0 0 0 42 5 0 0 20 0 18 0 112976823 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081644595880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) S 15849 15852 13640 0 -1 4202560 1263 0 0 0 0 0 0 0 20 0 18 0 112976824 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081513875944 270121613225 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081512822008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 18 0 112976825 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9558476 CPUtime=0.66 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 7212 0 0 0 66 0 0 0 20 0 18 0 112976827 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9558476 CPUtime=0.62 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 10311 0 0 0 60 2 0 0 20 0 18 0 112976827 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 18 0 112976827 9787879424 740296 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9558476 CPUtime=0 cores=0,2,4,6
################
# More data... #
################
[startup+914.401 s]
/proc/loadavg: 4.32 4.15 4.10 4/219 15977
/proc/meminfo: memFree=19954288/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9957860 CPUtime=1801.24 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 499677 0 1 0 179680 444 0 0 20 0 22 0 112976822 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2489465 2075660 2297 9 0 2480142 0
[pid=15852/tid=15853] ppid=15849 vsize=9957860 CPUtime=8.04 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) S 15849 15852 13640 0 -1 4202560 4248 0 1 0 766 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081690473048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9957860 CPUtime=2.31 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) S 15849 15852 13640 0 -1 4202560 40940 0 0 0 188 43 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9957860 CPUtime=2.28 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 40479 0 0 0 174 54 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9957860 CPUtime=2.09 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) S 15849 15852 13640 0 -1 4202560 41585 0 0 0 174 35 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081649858856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9957860 CPUtime=2.1 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) S 15849 15852 13640 0 -1 4202560 38438 0 0 0 174 36 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081648806056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9957860 CPUtime=2.32 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) S 15849 15852 13640 0 -1 4202560 73910 0 0 0 179 53 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9957860 CPUtime=2.02 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) S 15849 15852 13640 0 -1 4202560 47384 0 0 0 164 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081646701480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9957860 CPUtime=2.45 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) S 15849 15852 13640 0 -1 4202560 43470 0 0 0 190 55 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081645648680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9957860 CPUtime=2.48 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) S 15849 15852 13640 0 -1 4202560 54669 0 0 0 197 51 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081644595880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9957860 CPUtime=30.91 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) R 15849 15852 13640 0 -1 4202560 86286 0 0 0 3074 17 0 0 20 0 22 0 112976824 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081513875760 140081694634300 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081512822008 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9957860 CPUtime=2.56 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 15316 0 0 0 253 3 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9957860 CPUtime=1.38 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 11520 0 0 0 136 2 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9957860 CPUtime=0.3 cores=0,2,4,6
/proc/15852/task/15870/stat : 15870 (java) S 15849 15852 13640 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081506507720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15881] ppid=15849 vsize=9957860 CPUtime=860.11 cores=0,2,4,6
/proc/15852/task/15881/stat : 15881 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 85998 13 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081504397896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15882] ppid=15849 vsize=9957860 CPUtime=860.16 cores=0,2,4,6
/proc/15852/task/15882/stat : 15882 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 86002 14 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081505450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15976] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15976/stat : 15976 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081501241576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15977] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15977/stat : 15977 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140080089915528 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
Current children cumulated CPU time (s) 1801.24
Current children cumulated vsize (KiB) 9957860
[startup+914.801 s]
/proc/loadavg: 4.32 4.15 4.10 4/219 15977
/proc/meminfo: memFree=19954288/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9957860 CPUtime=1801.64 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 499678 0 1 0 179720 444 0 0 20 0 22 0 112976822 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2489465 2075660 2297 9 0 2480142 0
[pid=15852/tid=15853] ppid=15849 vsize=9957860 CPUtime=8.04 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) S 15849 15852 13640 0 -1 4202560 4248 0 1 0 766 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081690473048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9957860 CPUtime=2.31 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) S 15849 15852 13640 0 -1 4202560 40940 0 0 0 188 43 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9957860 CPUtime=2.28 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 40479 0 0 0 174 54 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9957860 CPUtime=2.09 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) S 15849 15852 13640 0 -1 4202560 41585 0 0 0 174 35 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081649858856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9957860 CPUtime=2.1 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) S 15849 15852 13640 0 -1 4202560 38438 0 0 0 174 36 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081648806056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9957860 CPUtime=2.32 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) S 15849 15852 13640 0 -1 4202560 73910 0 0 0 179 53 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9957860 CPUtime=2.02 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) S 15849 15852 13640 0 -1 4202560 47384 0 0 0 164 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081646701480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9957860 CPUtime=2.45 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) S 15849 15852 13640 0 -1 4202560 43470 0 0 0 190 55 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081645648680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9957860 CPUtime=2.48 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) S 15849 15852 13640 0 -1 4202560 54669 0 0 0 197 51 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081644595880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9957860 CPUtime=31.31 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) R 15849 15852 13640 0 -1 4202560 86286 0 0 0 3114 17 0 0 20 0 22 0 112976824 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081513875880 140081694609757 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081512821624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9957860 CPUtime=2.56 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 15316 0 0 0 253 3 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9957860 CPUtime=1.38 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 11520 0 0 0 136 2 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9957860 CPUtime=0.3 cores=0,2,4,6
/proc/15852/task/15870/stat : 15870 (java) S 15849 15852 13640 0 -1 4202560 53 0 0 0 14 16 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081506507720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15881] ppid=15849 vsize=9957860 CPUtime=860.11 cores=0,2,4,6
/proc/15852/task/15881/stat : 15881 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 85998 13 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081504397896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15882] ppid=15849 vsize=9957860 CPUtime=860.16 cores=0,2,4,6
/proc/15852/task/15882/stat : 15882 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 86002 14 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081505450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15976] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15976/stat : 15976 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081501241576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15977] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15977/stat : 15977 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140080089915048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1801.64
Current children cumulated vsize (KiB) 9957860
[startup+915.201 s]
/proc/loadavg: 4.32 4.15 4.10 4/219 15977
/proc/meminfo: memFree=19954420/32872528 swapFree=13600/559348
[pid=15852] ppid=15849 vsize=9957860 CPUtime=1802.05 cores=0,2,4,6
/proc/15852/stat : 15852 (java) S 15849 15852 13640 0 -1 4202496 499678 0 1 0 179761 444 0 0 20 0 22 0 112976822 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140736611880224 270121599037 0 0 0 16800975 18446744073709551615 0 0 17 2 0 0 0 0 0
/proc/15852/statm: 2489465 2075660 2297 9 0 2480142 0
[pid=15852/tid=15853] ppid=15849 vsize=9957860 CPUtime=8.04 cores=0,2,4,6
/proc/15852/task/15853/stat : 15853 (java) S 15849 15852 13640 0 -1 4202560 4248 0 1 0 766 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081690473048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15855] ppid=15849 vsize=9957860 CPUtime=2.31 cores=0,2,4,6
/proc/15852/task/15855/stat : 15855 (java) S 15849 15852 13640 0 -1 4202560 40940 0 0 0 188 43 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081651964456 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15856] ppid=15849 vsize=9957860 CPUtime=2.28 cores=0,2,4,6
/proc/15852/task/15856/stat : 15856 (java) S 15849 15852 13640 0 -1 4202560 40479 0 0 0 174 54 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081650911656 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15857] ppid=15849 vsize=9957860 CPUtime=2.09 cores=0,2,4,6
/proc/15852/task/15857/stat : 15857 (java) S 15849 15852 13640 0 -1 4202560 41585 0 0 0 174 35 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081649858856 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15858] ppid=15849 vsize=9957860 CPUtime=2.1 cores=0,2,4,6
/proc/15852/task/15858/stat : 15858 (java) S 15849 15852 13640 0 -1 4202560 38438 0 0 0 174 36 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081648806056 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15859] ppid=15849 vsize=9957860 CPUtime=2.32 cores=0,2,4,6
/proc/15852/task/15859/stat : 15859 (java) S 15849 15852 13640 0 -1 4202560 73910 0 0 0 179 53 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081647754280 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15860] ppid=15849 vsize=9957860 CPUtime=2.02 cores=0,2,4,6
/proc/15852/task/15860/stat : 15860 (java) S 15849 15852 13640 0 -1 4202560 47384 0 0 0 164 38 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081646701480 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15861] ppid=15849 vsize=9957860 CPUtime=2.45 cores=0,2,4,6
/proc/15852/task/15861/stat : 15861 (java) S 15849 15852 13640 0 -1 4202560 43470 0 0 0 190 55 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081645648680 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15862] ppid=15849 vsize=9957860 CPUtime=2.48 cores=0,2,4,6
/proc/15852/task/15862/stat : 15862 (java) S 15849 15852 13640 0 -1 4202560 54669 0 0 0 197 51 0 0 20 0 22 0 112976823 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081644595880 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15863] ppid=15849 vsize=9957860 CPUtime=31.72 cores=0,2,4,6
/proc/15852/task/15863/stat : 15863 (java) R 15849 15852 13640 0 -1 4202560 86286 0 0 0 3155 17 0 0 20 0 22 0 112976824 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081513875880 140081694609467 0 0 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=15852/tid=15864] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15864/stat : 15864 (java) S 15849 15852 13640 0 -1 4202560 18 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081512821624 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15865] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15865/stat : 15865 (java) S 15849 15852 13640 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 22 0 112976825 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081511769096 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15866] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15866/stat : 15866 (java) S 15849 15852 13640 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081510717584 270121621280 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15867] ppid=15849 vsize=9957860 CPUtime=2.56 cores=0,2,4,6
/proc/15852/task/15867/stat : 15867 (java) S 15849 15852 13640 0 -1 4202560 15316 0 0 0 253 3 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081509665720 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15868] ppid=15849 vsize=9957860 CPUtime=1.38 cores=0,2,4,6
/proc/15852/task/15868/stat : 15868 (java) S 15849 15852 13640 0 -1 4202560 11520 0 0 0 136 2 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081508612920 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15869] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15869/stat : 15869 (java) S 15849 15852 13640 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081507560312 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15870] ppid=15849 vsize=9957860 CPUtime=0.31 cores=0,2,4,6
/proc/15852/task/15870/stat : 15870 (java) S 15849 15852 13640 0 -1 4202560 53 0 0 0 15 16 0 0 20 0 22 0 112976827 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081506507720 270121613225 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15881] ppid=15849 vsize=9957860 CPUtime=860.11 cores=0,2,4,6
/proc/15852/task/15881/stat : 15881 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 85998 13 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081504397896 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=15852/tid=15882] ppid=15849 vsize=9957860 CPUtime=860.16 cores=0,2,4,6
/proc/15852/task/15882/stat : 15882 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 86002 14 0 0 20 0 22 0 112978906 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081505450536 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=15852/tid=15976] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15976/stat : 15976 (java) S 15849 15852 13640 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140081501241576 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=15852/tid=15977] ppid=15849 vsize=9957860 CPUtime=0 cores=0,2,4,6
/proc/15852/task/15977/stat : 15977 (java) S 15849 15852 13640 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 22 0 113068143 10196848640 2075660 33554432000 1073741824 1073778376 140736611889088 140080089915048 270121612348 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1802.05
Current children cumulated vsize (KiB) 9957860
Child ended because it received signal 9 (SIGKILL)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 15852 and gives
# childrusage.ru_utime.tv_sec=1793
# childrusage.ru_utime.tv_usec=169396
# childrusage.ru_stime.tv_sec=4
# childrusage.ru_stime.tv_usec=971244
# CPU time returned by wait4() is 1798.14
# while last known CPU time is 1802.05
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 915.315
CPU time (s): 1802.05
CPU user time (s): 1797.61
CPU system time (s): 4.44
CPU usage (%): 196.878
Max. virtual memory (cumulated for all children) (KiB): 9957860
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1793.17
system time used= 4.97124
maximum resident set size= 8335056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 499678
page faults= 1
swaps= 0
block input operations= 0
block output operations= 776
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 60496
involuntary context switches= 21694
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.58315 second user time and 7.73582 second system time
The end