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-4119438-1467258227/watcher-4119438-1467258227 -o /tmp/evaluation-result-4119438-1467258227/solver-4119438-1467258227 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1467248605-24285 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4119438-1467258227.opb
pid=25674
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: 2.33 2.30 2.22 4/194 25677
/proc/meminfo: memFree=27649280/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9160 CPUtime=0 cores=0,2,4,6
/proc/25677/stat : 25677 (java) R 25674 25677 24014 0 -1 4202496 468 0 0 0 0 0 0 0 20 0 1 0 15851250 9379840 123 33554432000 1073741824 1073778376 140734306256096 140734306253224 248793567712 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2323 129 99 9 0 71 0
[startup+0.10016 s]
/proc/loadavg: 2.33 2.30 2.22 4/194 25677
/proc/meminfo: memFree=27649280/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9558476 CPUtime=0.08 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 4441 0 1 0 7 1 0 0 20 0 18 0 15851250 9787879424 5564 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2389619 5564 2125 9 0 2380296 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 9558476
[startup+0.200245 s]
/proc/loadavg: 2.33 2.30 2.22 4/194 25677
/proc/meminfo: memFree=27649280/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9558476 CPUtime=0.22 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 4647 0 1 0 21 1 0 0 20 0 18 0 15851250 9787879424 6281 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2389619 6281 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 9558476
[startup+0.300211 s]
/proc/loadavg: 2.33 2.30 2.22 4/194 25677
/proc/meminfo: memFree=27649280/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 5163 0 1 0 40 2 0 0 20 0 19 0 15851250 9856040960 7579 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 7579 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.42
Current children cumulated vsize (KiB) 9625040
[startup+0.700269 s]
/proc/loadavg: 2.33 2.30 2.22 4/194 25677
/proc/meminfo: memFree=27649280/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=1.23 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 10827 0 1 0 120 3 0 0 20 0 19 0 15851250 9856040960 9924 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 9924 2249 9 0 2396937 0
Current children cumulated CPU time (s) 1.23
Current children cumulated vsize (KiB) 9625040
[startup+1.50077 s]
/proc/loadavg: 2.33 2.30 2.22 4/213 25696
/proc/meminfo: memFree=27613272/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=2.22 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 12207 0 1 0 219 3 0 0 20 0 19 0 15851250 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 11540 2262 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2480 0 1 0 144 2 0 0 20 0 19 0 15851251 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700507414520 140700447692434 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15851253 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.32 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4658 0 0 0 30 2 0 0 20 0 19 0 15851256 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 11540 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 2.22
Current children cumulated vsize (KiB) 9625040
[startup+3.10082 s]
/proc/loadavg: 2.33 2.30 2.22 4/213 25696
/proc/meminfo: memFree=27605088/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=3.85 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 12218 0 1 0 382 3 0 0 20 0 19 0 15851250 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 15128 2262 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2487 0 1 0 304 2 0 0 20 0 19 0 15851251 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700507406016 140700447707348 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15851253 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4662 0 0 0 33 2 0 0 20 0 19 0 15851256 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 15128 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 3.85
Current children cumulated vsize (KiB) 9625040
[startup+6.30081 s]
/proc/loadavg: 2.30 2.29 2.22 3/213 25696
/proc/meminfo: memFree=27578848/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=7.07 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 12234 0 1 0 703 4 0 0 20 0 19 0 15851250 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 21050 2263 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=6.25 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2500 0 1 0 623 2 0 0 20 0 19 0 15851251 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700507405984 140700447710676 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 15851252 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 15851253 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4664 0 0 0 34 2 0 0 20 0 19 0 15851256 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 21050 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 7.07
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 96469 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1666.72
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.13 2.19 2.21 3/213 25827
/proc/meminfo: memFree=27508000/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=1726.84 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 15182 0 1 0 172612 72 0 0 20 0 19 0 15851250 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 96013 2285 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=1716.26 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2588 0 1 0 171595 31 0 0 20 0 19 0 15851251 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700507413664 140700447711057 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 443 0 0 0 63 7 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 276 0 0 0 54 5 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 221 0 0 0 57 5 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 333 0 0 0 55 4 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 273 0 0 0 54 4 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 167 0 0 0 55 4 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0.52 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 372 0 0 0 49 3 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 388 0 0 0 52 5 0 0 20 0 19 0 15851252 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0.17 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 146 0 0 0 15 2 0 0 20 0 19 0 15851253 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4819 0 0 0 37 2 0 0 20 0 19 0 15851256 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 100 0 0 0 27 32 0 0 20 0 19 0 15851256 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 96013 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1726.84
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.20 2.20 2.21 4/212 25828
/proc/meminfo: memFree=26875456/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=1786.88 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 15208 0 1 0 178615 73 0 0 20 0 19 0 15851250 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 95711 2285 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=1776.06 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2589 0 1 0 177575 31 0 0 20 0 19 0 15851251 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700507405984 140700447645675 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 443 0 0 0 63 7 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 281 0 0 0 55 5 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 221 0 0 0 58 5 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 344 0 0 0 56 4 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 275 0 0 0 55 4 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 168 0 0 0 56 4 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0.53 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 372 0 0 0 50 3 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 388 0 0 0 52 5 0 0 20 0 19 0 15851252 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 148 0 0 0 16 2 0 0 20 0 19 0 15851253 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4819 0 0 0 37 2 0 0 20 0 19 0 15851256 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 104 0 0 0 28 33 0 0 20 0 19 0 15851256 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 95711 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1786.88
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1795.4 s]
/proc/loadavg: 2.22 2.20 2.21 3/213 25829
/proc/meminfo: memFree=26190000/32872528 swapFree=1394328/1580332
[pid=25677] ppid=25674 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/25677/stat : 25677 (java) S 25674 25677 24014 0 -1 4202496 15225 0 1 0 179928 73 0 0 20 0 19 0 15851250 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140734306247232 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/25677/statm: 2406260 95611 2285 9 0 2396937 0
[pid=25677/tid=25679] ppid=25674 vsize=9625040 CPUtime=1789.11 cores=0,2,4,6
/proc/25677/task/25679/stat : 25679 (java) R 25674 25677 24014 0 -1 4202560 2590 0 1 0 178879 32 0 0 20 0 19 0 15851251 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700507413680 140700447711052 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25680] ppid=25674 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/25677/task/25680/stat : 25680 (java) S 25674 25677 24014 0 -1 4202560 443 0 0 0 63 7 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700446144936 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25681] ppid=25674 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/25677/task/25681/stat : 25681 (java) S 25674 25677 24014 0 -1 4202560 291 0 0 0 56 5 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700349577768 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25682] ppid=25674 vsize=9625040 CPUtime=0.63 cores=0,2,4,6
/proc/25677/task/25682/stat : 25682 (java) S 25674 25677 24014 0 -1 4202560 221 0 0 0 58 5 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700348524712 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25683] ppid=25674 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25677/task/25683/stat : 25683 (java) S 25674 25677 24014 0 -1 4202560 344 0 0 0 56 4 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700347472168 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25684] ppid=25674 vsize=9625040 CPUtime=0.6 cores=0,2,4,6
/proc/25677/task/25684/stat : 25684 (java) S 25674 25677 24014 0 -1 4202560 275 0 0 0 56 4 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700346420136 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25685] ppid=25674 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/25677/task/25685/stat : 25685 (java) S 25674 25677 24014 0 -1 4202560 170 0 0 0 57 4 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700345367592 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25686] ppid=25674 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/25677/task/25686/stat : 25686 (java) S 25674 25677 24014 0 -1 4202560 372 0 0 0 51 3 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700344314536 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25687] ppid=25674 vsize=9625040 CPUtime=0.58 cores=0,2,4,6
/proc/25677/task/25687/stat : 25687 (java) S 25674 25677 24014 0 -1 4202560 388 0 0 0 53 5 0 0 20 0 19 0 15851252 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700343261992 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=25677/tid=25688] ppid=25674 vsize=9625040 CPUtime=0.18 cores=0,2,4,6
/proc/25677/task/25688/stat : 25688 (java) S 25674 25677 24014 0 -1 4202560 150 0 0 0 16 2 0 0 20 0 19 0 15851253 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700331063656 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25689] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25689/stat : 25689 (java) S 25674 25677 24014 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700330009976 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25690] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25690/stat : 25690 (java) S 25674 25677 24014 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 15851254 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700328956808 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25691] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25691/stat : 25691 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700327905552 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25692] ppid=25674 vsize=9625040 CPUtime=0.41 cores=0,2,4,6
/proc/25677/task/25692/stat : 25692 (java) S 25674 25677 24014 0 -1 4202560 3792 0 0 0 41 0 0 0 20 0 19 0 15851256 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700326853432 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=25677/tid=25693] ppid=25674 vsize=9625040 CPUtime=0.39 cores=0,2,4,6
/proc/25677/task/25693/stat : 25693 (java) S 25674 25677 24014 0 -1 4202560 4819 0 0 0 37 2 0 0 20 0 19 0 15851256 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700325800888 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25694] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25694/stat : 25694 (java) S 25674 25677 24014 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 15851256 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700324748024 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=25677/tid=25695] ppid=25674 vsize=9625040 CPUtime=0.62 cores=0,2,4,6
/proc/25677/task/25695/stat : 25695 (java) S 25674 25677 24014 0 -1 4202560 106 0 0 0 29 33 0 0 20 0 19 0 15851256 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700323695688 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=25677/tid=25696] ppid=25674 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/25677/task/25696/stat : 25696 (java) S 25674 25677 24014 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 15851276 9856040960 95611 33554432000 1073741824 1073778376 140734306256096 140700322640936 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 25677 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 25677 and gives
# childrusage.ru_utime.tv_sec=1794
# childrusage.ru_utime.tv_usec=720161
# childrusage.ru_stime.tv_sec=1
# childrusage.ru_stime.tv_usec=201817
# CPU time returned by wait4() is 1795.92
# while last known CPU time is 1800.01
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 1795.44
CPU time (s): 1800.01
CPU user time (s): 1799.28
CPU system time (s): 0.73
CPU usage (%): 100.255
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1794.72
system time used= 1.20182
maximum resident set size= 493432
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 15274
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= 39518
involuntary context switches= 14977
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.78251 second user time and 14.1848 second system time
The end