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-4100797-1466217119/watcher-4100797-1466217119 -o /tmp/evaluation-result-4100797-1466217119/solver-4100797-1466217119 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node119-1466206086-25994 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4100797-1466217119.opb
pid=28348
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 1900 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 10240 KiB
[startup+0 s]
/proc/loadavg: 2.11 2.16 2.17 3/194 28351
/proc/meminfo: memFree=29455488/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=272 CPUtime=0 cores=1,3,5,7
/proc/28351/stat : 28351 (java) D 28348 28351 25977 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 23760556 278528 33 33554432000 1073741824 1073778376 140734566484848 140734566482024 272877317415 0 0 4096 0 18446744072100588836 0 0 17 3 0 0 0 0 0
/proc/28351/statm: 68 33 25 9 0 25 0
[startup+0.10006 s]
/proc/loadavg: 2.11 2.16 2.17 3/194 28351
/proc/meminfo: memFree=29455488/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9558476 CPUtime=0.07 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 4069 0 1 0 6 1 0 0 20 0 18 0 23760556 9787879424 5193 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2389619 5194 2052 9 0 2380296 0
Current children cumulated CPU time (s) 0.07
Current children cumulated vsize (KiB) 9558476
[startup+0.200238 s]
/proc/loadavg: 2.11 2.16 2.17 3/194 28351
/proc/meminfo: memFree=29455488/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9558476 CPUtime=0.24 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 4978 0 1 0 23 1 0 0 20 0 18 0 23760556 9787879424 6995 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2389619 6995 2203 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.300225 s]
/proc/loadavg: 2.11 2.16 2.17 3/194 28351
/proc/meminfo: memFree=29455488/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9558476 CPUtime=0.53 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 9498 0 1 0 51 2 0 0 20 0 18 0 23760556 9787879424 11364 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2389619 11364 2233 9 0 2380296 0
Current children cumulated CPU time (s) 0.53
Current children cumulated vsize (KiB) 9558476
[startup+0.700283 s]
/proc/loadavg: 2.11 2.16 2.17 3/194 28351
/proc/meminfo: memFree=29455488/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=1.43 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 12506 0 1 0 140 3 0 0 20 0 19 0 23760556 9856040960 17667 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 17667 2265 9 0 2396937 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 9625040
[startup+1.50076 s]
/proc/loadavg: 2.11 2.16 2.17 3/213 28370
/proc/meminfo: memFree=29386892/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=2.4 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 13930 0 1 0 237 3 0 0 20 0 19 0 23760556 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 18700 2273 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=1.45 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 2431 0 1 0 143 2 0 0 20 0 19 0 23760557 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757938897192 139757783542471 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.47 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 47 0 0 0 20 0 19 0 23760563 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=0.44 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 5997 0 0 0 44 0 0 0 20 0 19 0 23760563 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 18700 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 2.4
Current children cumulated vsize (KiB) 9625040
[startup+3.10071 s]
/proc/loadavg: 2.10 2.15 2.17 3/213 28370
/proc/meminfo: memFree=29383044/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=4.12 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 14774 0 1 0 408 4 0 0 20 0 19 0 23760556 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 20236 2273 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=3.05 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 2434 0 1 0 303 2 0 0 20 0 19 0 23760557 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757938888384 139757783543632 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 6838 0 0 0 53 0 0 0 20 0 19 0 23760563 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 20236 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 4.12
Current children cumulated vsize (KiB) 9625040
[startup+6.30078 s]
/proc/loadavg: 2.10 2.15 2.17 3/213 28370
/proc/meminfo: memFree=29406640/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=7.32 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 14780 0 1 0 728 4 0 0 20 0 19 0 23760556 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 21991 2274 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=6.26 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 2439 0 1 0 623 3 0 0 20 0 19 0 23760557 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757938888368 139757783606134 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 23760559 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=0.53 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 6838 0 0 0 53 0 0 0 20 0 19 0 23760563 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 21991 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 7.32
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 15977 0 0 0 119 2 0 0 20 0 19 0 23760563 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0.55 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 96 0 0 0 23 32 0 0 20 0 19 0 23760563 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 58928 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1674.71
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.31 2.27 2.20 3/214 28608
/proc/meminfo: memFree=30106840/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=1734.87 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 37744 0 1 0 173388 99 0 0 20 0 19 0 23760556 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 58832 2296 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=1715.83 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 7533 0 1 0 171547 36 0 0 20 0 19 0 23760557 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757938896048 139757783542499 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=1.99 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 860 0 0 0 192 7 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 793 0 0 0 203 5 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1105 0 0 0 199 7 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=2.08 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1155 0 0 0 202 6 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 954 0 0 0 204 6 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=2.04 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1118 0 0 0 198 6 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 950 0 0 0 202 8 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=1.96 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 1147 0 0 0 189 7 0 0 20 0 19 0 23760559 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 564 0 0 0 43 9 0 0 20 0 19 0 23760560 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 15977 0 0 0 119 2 0 0 20 0 19 0 23760563 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0.58 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 100 0 0 0 25 33 0 0 20 0 19 0 23760563 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 58832 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1734.87
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.25 2.26 2.20 3/214 28632
/proc/meminfo: memFree=30098216/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=1794.98 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 37758 0 1 0 179397 101 0 0 20 0 19 0 23760556 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 58914 2296 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=1775.76 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 7539 0 1 0 177539 37 0 0 20 0 19 0 23760557 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757938896032 139757783606134 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 860 0 0 0 194 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 793 0 0 0 205 5 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=2.07 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1105 0 0 0 200 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1155 0 0 0 204 6 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 954 0 0 0 205 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1118 0 0 0 200 6 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 950 0 0 0 205 8 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=1.98 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 1147 0 0 0 191 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 568 0 0 0 43 9 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 15977 0 0 0 119 2 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 104 0 0 0 26 34 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1794.98
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1787.4 s]
/proc/loadavg: 2.23 2.26 2.19 3/214 28632
/proc/meminfo: memFree=30098640/32872528 swapFree=1244176/1391344
[pid=28351] ppid=28348 vsize=9625040 CPUtime=1800.08 cores=1,3,5,7
/proc/28351/stat : 28351 (java) S 28348 28351 25977 0 -1 4202496 37758 0 1 0 179907 101 0 0 20 0 19 0 23760556 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 140734620873840 272889839677 0 0 0 16800975 18446744073709551615 0 0 17 1 0 0 0 0 0
/proc/28351/statm: 2406260 58914 2296 9 0 2396937 0
[pid=28351/tid=28353] ppid=28348 vsize=9625040 CPUtime=1780.86 cores=1,3,5,7
/proc/28351/task/28353/stat : 28353 (java) R 28348 28351 25977 0 -1 4202560 7539 0 1 0 178048 38 0 0 20 0 19 0 23760557 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757938896032 139757783542490 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28354] ppid=28348 vsize=9625040 CPUtime=2.01 cores=1,3,5,7
/proc/28351/task/28354/stat : 28354 (java) S 28348 28351 25977 0 -1 4202560 860 0 0 0 194 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757782821032 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28355] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28355/stat : 28355 (java) S 28348 28351 25977 0 -1 4202560 793 0 0 0 205 5 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757781768488 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28356] ppid=28348 vsize=9625040 CPUtime=2.07 cores=1,3,5,7
/proc/28351/task/28356/stat : 28356 (java) S 28348 28351 25977 0 -1 4202560 1105 0 0 0 200 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757780715944 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28357] ppid=28348 vsize=9625040 CPUtime=2.1 cores=1,3,5,7
/proc/28351/task/28357/stat : 28357 (java) S 28348 28351 25977 0 -1 4202560 1155 0 0 0 204 6 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757779663400 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28358] ppid=28348 vsize=9625040 CPUtime=2.12 cores=1,3,5,7
/proc/28351/task/28358/stat : 28358 (java) S 28348 28351 25977 0 -1 4202560 954 0 0 0 205 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757778610856 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28359] ppid=28348 vsize=9625040 CPUtime=2.06 cores=1,3,5,7
/proc/28351/task/28359/stat : 28359 (java) S 28348 28351 25977 0 -1 4202560 1118 0 0 0 200 6 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757777558312 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28360] ppid=28348 vsize=9625040 CPUtime=2.13 cores=1,3,5,7
/proc/28351/task/28360/stat : 28360 (java) S 28348 28351 25977 0 -1 4202560 950 0 0 0 205 8 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757776505768 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 3 0 0 0 0 0
[pid=28351/tid=28361] ppid=28348 vsize=9625040 CPUtime=1.98 cores=1,3,5,7
/proc/28351/task/28361/stat : 28361 (java) S 28348 28351 25977 0 -1 4202560 1147 0 0 0 191 7 0 0 20 0 19 0 23760559 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757775453224 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28362] ppid=28348 vsize=9625040 CPUtime=0.52 cores=1,3,5,7
/proc/28351/task/28362/stat : 28362 (java) S 28348 28351 25977 0 -1 4202560 568 0 0 0 43 9 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757293123688 272889853865 0 0 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28363] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28363/stat : 28363 (java) S 28348 28351 25977 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757292070008 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28364] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28364/stat : 28364 (java) S 28348 28351 25977 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 23760560 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757291017352 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28365] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28365/stat : 28365 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757289966096 272889861920 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28366] ppid=28348 vsize=9625040 CPUtime=0.5 cores=1,3,5,7
/proc/28351/task/28366/stat : 28366 (java) S 28348 28351 25977 0 -1 4202560 4231 0 0 0 50 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757288913464 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28367] ppid=28348 vsize=9625040 CPUtime=1.21 cores=1,3,5,7
/proc/28351/task/28367/stat : 28367 (java) S 28348 28351 25977 0 -1 4202560 15977 0 0 0 119 2 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757287860920 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 5 0 0 0 0 0
[pid=28351/tid=28368] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28368/stat : 28368 (java) S 28348 28351 25977 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757286808568 272889852988 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
[pid=28351/tid=28369] ppid=28348 vsize=9625040 CPUtime=0.6 cores=1,3,5,7
/proc/28351/task/28369/stat : 28369 (java) S 28348 28351 25977 0 -1 4202560 104 0 0 0 26 34 0 0 20 0 19 0 23760563 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757285756232 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 1 0 0 0 0 0
[pid=28351/tid=28370] ppid=28348 vsize=9625040 CPUtime=0 cores=1,3,5,7
/proc/28351/task/28370/stat : 28370 (java) S 28348 28351 25977 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 23760599 9856040960 58914 33554432000 1073741824 1073778376 140734620882704 139757284700968 272889853865 0 4 0 16800975 18446744071579510697 0 0 -1 7 0 0 0 0 0
Current children cumulated CPU time (s) 1800.08
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 28351 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 143
Real time (s): 1787.46
CPU time (s): 1800.59
CPU user time (s): 1799.09
CPU system time (s): 1.50177
CPU usage (%): 100.735
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.09
system time used= 1.50177
maximum resident set size= 417556
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37790
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1720
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 62090
involuntary context switches= 59945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.34004 second user time and 7.51286 second system time
The end