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-4100357-1466213272/watcher-4100357-1466213272 -o /tmp/evaluation-result-4100357-1466213272/solver-4100357-1466213272 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node139-1466206053-10696 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100357-1466213272.opb
pid=13515
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.30 2.43 2.35 3/194 13518
/proc/meminfo: memFree=29917004/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=23236 CPUtime=0 cores=0,2,4,6
/proc/13518/stat : 13518 (java) R 13515 13518 10680 0 -1 4202496 1061 0 0 0 0 0 0 0 20 0 1 0 23372960 23793664 711 33554432000 1073741824 1073778376 140735189241184 140735189230248 248780994640 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 5809 711 525 9 0 128 0
[startup+0.100163 s]
/proc/loadavg: 2.30 2.43 2.35 3/194 13518
/proc/meminfo: memFree=29917004/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9558476 CPUtime=0.1 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 4493 0 1 0 9 1 0 0 20 0 18 0 23372960 9787879424 5615 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2389619 5615 2140 9 0 2380296 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 9558476
[startup+0.200223 s]
/proc/loadavg: 2.30 2.43 2.35 3/194 13518
/proc/meminfo: memFree=29917004/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9558476 CPUtime=0.3 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 5126 0 1 0 29 1 0 0 20 0 18 0 23372960 9787879424 6998 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2389619 6999 2227 9 0 2380296 0
Current children cumulated CPU time (s) 0.3
Current children cumulated vsize (KiB) 9558476
[startup+0.300322 s]
/proc/loadavg: 2.30 2.43 2.35 3/194 13518
/proc/meminfo: memFree=29917004/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9558476 CPUtime=0.48 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 5852 0 1 0 47 1 0 0 20 0 18 0 23372960 9787879424 11999 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2389619 11999 2231 9 0 2380296 0
Current children cumulated CPU time (s) 0.48
Current children cumulated vsize (KiB) 9558476
[startup+0.700183 s]
/proc/loadavg: 2.30 2.43 2.35 3/194 13518
/proc/meminfo: memFree=29917004/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9558476 CPUtime=1.29 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 10640 0 1 0 123 6 0 0 20 0 18 0 23372960 9787879424 46286 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2389619 46286 2275 9 0 2380296 0
Current children cumulated CPU time (s) 1.29
Current children cumulated vsize (KiB) 9558476
[startup+1.50073 s]
/proc/loadavg: 2.30 2.43 2.35 3/213 13537
/proc/meminfo: memFree=29738380/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=2.53 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 10768 0 1 0 247 6 0 0 20 0 19 0 23372960 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 46925 2281 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=1.44 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 2530 0 1 0 141 3 0 0 20 0 19 0 23372961 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664274670056 140664147080520 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 70 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2633 0 0 0 43 0 0 0 20 0 19 0 23372965 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4204 0 0 0 51 0 0 0 20 0 19 0 23372965 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 46925 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 2.53
Current children cumulated vsize (KiB) 9625040
[startup+3.10085 s]
/proc/loadavg: 2.28 2.42 2.35 3/213 13537
/proc/meminfo: memFree=29737628/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=4.13 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 10770 0 1 0 407 6 0 0 20 0 19 0 23372960 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 46926 2281 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=3.04 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 2531 0 1 0 301 3 0 0 20 0 19 0 23372961 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664274667808 140664147050438 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 4 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2633 0 0 0 43 0 0 0 20 0 19 0 23372965 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4204 0 0 0 51 0 0 0 20 0 19 0 23372965 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 46926 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 4.13
Current children cumulated vsize (KiB) 9625040
[startup+6.30088 s]
/proc/loadavg: 2.28 2.42 2.35 3/213 13537
/proc/meminfo: memFree=29737380/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=7.4 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 11160 0 1 0 731 9 0 0 20 0 19 0 23372960 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 53922 2281 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=6.2 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 2533 0 1 0 617 3 0 0 20 0 19 0 23372961 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664274668688 140664146948102 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=0.03 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 104 0 0 0 3 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 13 0 0 0 1 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 18 0 0 0 1 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 69 0 0 0 1 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 33 0 0 0 0 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 95 0 0 0 0 2 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=0.01 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 14 0 0 0 1 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 108 0 0 0 2 0 0 0 20 0 19 0 23372962 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 71 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.43 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2633 0 0 0 43 0 0 0 20 0 19 0 23372965 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4204 0 0 0 51 0 0 0 20 0 19 0 23372965 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 53922 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 7.4
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2647 0 0 0 48 0 0 0 20 0 19 0 23372965 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4220 0 0 0 57 0 0 0 20 0 19 0 23372965 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0.56 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 93 0 0 0 26 30 0 0 20 0 19 0 23372965 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 168124 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1675.53
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.25 2.20 2.21 3/213 13581
/proc/meminfo: memFree=29125372/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=1736.13 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 14289 0 1 0 173507 106 0 0 20 0 19 0 23372960 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 168575 2285 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=1714.15 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 4412 0 1 0 171374 41 0 0 20 0 19 0 23372961 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664274668688 140664146988764 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=2.56 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 190 0 0 0 248 8 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=2.5 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 100 0 0 0 244 6 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=2.66 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 116 0 0 0 259 7 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 145 0 0 0 255 7 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=2.65 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 113 0 0 0 258 7 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 165 0 0 0 254 7 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=2.61 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 78 0 0 0 254 7 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 190 0 0 0 257 6 0 0 20 0 19 0 23372962 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0.23 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 552 0 0 0 16 7 0 0 20 0 19 0 23372963 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2647 0 0 0 48 0 0 0 20 0 19 0 23372965 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4220 0 0 0 57 0 0 0 20 0 19 0 23372965 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0.59 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 97 0 0 0 27 32 0 0 20 0 19 0 23372965 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 168575 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1736.13
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.40 2.25 2.22 4/213 13647
/proc/meminfo: memFree=27566456/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=1796.67 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 14379 0 1 0 179559 108 0 0 20 0 19 0 23372960 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 169474 2285 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=1773.76 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 4482 0 1 0 177334 42 0 0 20 0 19 0 23372961 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664274668688 140664147080550 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 192 0 0 0 263 8 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=2.62 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 103 0 0 0 256 6 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=2.79 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 118 0 0 0 272 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 146 0 0 0 266 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=2.77 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 114 0 0 0 270 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=2.75 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 165 0 0 0 268 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 79 0 0 0 265 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=2.73 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 192 0 0 0 266 7 0 0 20 0 19 0 23372962 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 556 0 0 0 16 8 0 0 20 0 19 0 23372963 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2647 0 0 0 48 0 0 0 20 0 19 0 23372965 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4220 0 0 0 57 0 0 0 20 0 19 0 23372965 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 101 0 0 0 28 33 0 0 20 0 19 0 23372965 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 169474 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1796.67
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1785.6 s]
/proc/loadavg: 2.44 2.26 2.23 3/213 13647
/proc/meminfo: memFree=27566580/32872528 swapFree=1402776/1580604
[pid=13518] ppid=13515 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/13518/stat : 13518 (java) S 13515 13518 10680 0 -1 4202496 14386 0 1 0 179893 108 0 0 20 0 19 0 23372960 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140735189232320 248793563197 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13518/statm: 2406260 169444 2285 9 0 2396937 0
[pid=13518/tid=13520] ppid=13515 vsize=9625040 CPUtime=1777.04 cores=0,2,4,6
/proc/13518/task/13520/stat : 13520 (java) R 13515 13518 10680 0 -1 4202560 4487 0 1 0 177661 43 0 0 20 0 19 0 23372961 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664274668688 140664147047185 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13521] ppid=13515 vsize=9625040 CPUtime=2.71 cores=0,2,4,6
/proc/13518/task/13521/stat : 13521 (java) S 13515 13518 10680 0 -1 4202560 193 0 0 0 263 8 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664118700328 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13522] ppid=13515 vsize=9625040 CPUtime=2.63 cores=0,2,4,6
/proc/13518/task/13522/stat : 13522 (java) S 13515 13518 10680 0 -1 4202560 104 0 0 0 257 6 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664117647528 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13523] ppid=13515 vsize=9625040 CPUtime=2.8 cores=0,2,4,6
/proc/13518/task/13523/stat : 13523 (java) S 13515 13518 10680 0 -1 4202560 118 0 0 0 273 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664116595240 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 1 0 0
[pid=13518/tid=13524] ppid=13515 vsize=9625040 CPUtime=2.74 cores=0,2,4,6
/proc/13518/task/13524/stat : 13524 (java) S 13515 13518 10680 0 -1 4202560 146 0 0 0 267 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664115542440 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13525] ppid=13515 vsize=9625040 CPUtime=2.78 cores=0,2,4,6
/proc/13518/task/13525/stat : 13525 (java) S 13515 13518 10680 0 -1 4202560 114 0 0 0 271 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664114490152 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13526] ppid=13515 vsize=9625040 CPUtime=2.76 cores=0,2,4,6
/proc/13518/task/13526/stat : 13526 (java) S 13515 13518 10680 0 -1 4202560 165 0 0 0 269 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664113437352 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13527] ppid=13515 vsize=9625040 CPUtime=2.72 cores=0,2,4,6
/proc/13518/task/13527/stat : 13527 (java) S 13515 13518 10680 0 -1 4202560 79 0 0 0 265 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664112385064 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13528] ppid=13515 vsize=9625040 CPUtime=2.74 cores=0,2,4,6
/proc/13518/task/13528/stat : 13528 (java) S 13515 13518 10680 0 -1 4202560 192 0 0 0 267 7 0 0 20 0 19 0 23372962 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664111332264 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13529] ppid=13515 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/13518/task/13529/stat : 13529 (java) S 13515 13518 10680 0 -1 4202560 556 0 0 0 16 8 0 0 20 0 19 0 23372963 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664098920680 248793577385 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13530] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13530/stat : 13530 (java) S 13515 13518 10680 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664097866744 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13531] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13531/stat : 13531 (java) S 13515 13518 10680 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23372963 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664096814344 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13532] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13532/stat : 13532 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664095762832 248793585440 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13518/tid=13533] ppid=13515 vsize=9625040 CPUtime=0.48 cores=0,2,4,6
/proc/13518/task/13533/stat : 13533 (java) S 13515 13518 10680 0 -1 4202560 2647 0 0 0 48 0 0 0 20 0 19 0 23372965 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664094710456 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13518/tid=13534] ppid=13515 vsize=9625040 CPUtime=0.57 cores=0,2,4,6
/proc/13518/task/13534/stat : 13534 (java) S 13515 13518 10680 0 -1 4202560 4220 0 0 0 57 0 0 0 20 0 19 0 23372965 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664093657656 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13535] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13535/stat : 13535 (java) S 13515 13518 10680 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23372965 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664092605560 248793576508 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13518/tid=13536] ppid=13515 vsize=9625040 CPUtime=0.61 cores=0,2,4,6
/proc/13518/task/13536/stat : 13536 (java) S 13515 13518 10680 0 -1 4202560 101 0 0 0 28 33 0 0 20 0 19 0 23372965 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664091552968 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13518/tid=13537] ppid=13515 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13518/task/13537/stat : 13537 (java) S 13515 13518 10680 0 -1 4202560 12 0 0 0 0 0 0 0 20 0 19 0 23373041 9856040960 169444 33554432000 1073741824 1073778376 140735189241184 140664090448808 248793577385 0 4 0 16800975 18446744071579510697 0 0 -1 2 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 13518 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1785.63
CPU time (s): 1801.1
CPU user time (s): 1799.57
CPU system time (s): 1.53277
CPU usage (%): 100.866
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.57
system time used= 1.53277
maximum resident set size= 678092
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14419
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1792
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 85282
involuntary context switches= 101795
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 12.874 second user time and 11.0613 second system time
The end