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-4085320-1465236957/watcher-4085320-1465236957 -o /tmp/evaluation-result-4085320-1465236957/solver-4085320-1465236957 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node130-1465218951-7200 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4085320-1465236957.opb
pid=13535
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.10 2.14 2.17 3/194 13538
/proc/meminfo: memFree=27178632/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9224 CPUtime=0 cores=0,2,4,6
/proc/13538/stat : 13538 (java) R 13535 13538 7184 0 -1 4202496 409 0 0 0 0 0 0 0 20 0 1 0 105628943 9445376 79 33554432000 1073741824 1073778376 140736945865664 140736945862792 214360431389 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2306 92 74 9 0 38 0
[startup+0.100164 s]
/proc/loadavg: 2.10 2.14 2.17 3/194 13538
/proc/meminfo: memFree=27178632/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 4149 0 1 0 7 2 0 0 20 0 18 0 105628943 9787879424 5278 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2389619 5278 2053 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200303 s]
/proc/loadavg: 2.10 2.14 2.17 3/194 13538
/proc/meminfo: memFree=27178632/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9558476 CPUtime=0.24 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 4651 0 1 0 22 2 0 0 20 0 18 0 105628943 9787879424 6740 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2389619 6740 2197 9 0 2380296 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 9558476
[startup+0.30023 s]
/proc/loadavg: 2.10 2.14 2.17 3/194 13538
/proc/meminfo: memFree=27178632/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9558476 CPUtime=0.43 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 5187 0 1 0 41 2 0 0 20 0 18 0 105628943 9787879424 7526 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2389619 7526 2229 9 0 2380296 0
Current children cumulated CPU time (s) 0.43
Current children cumulated vsize (KiB) 9558476
[startup+0.700245 s]
/proc/loadavg: 2.10 2.14 2.17 3/194 13538
/proc/meminfo: memFree=27178632/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=1.25 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 7931 0 1 0 121 4 0 0 20 0 19 0 105628943 9856040960 20353 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 20353 2260 9 0 2396937 0
Current children cumulated CPU time (s) 1.25
Current children cumulated vsize (KiB) 9625040
[startup+1.50084 s]
/proc/loadavg: 2.10 2.14 2.17 3/213 13557
/proc/meminfo: memFree=27094820/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=2.2 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 8971 0 1 0 216 4 0 0 20 0 19 0 105628943 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 25996 2270 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=1.46 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2441 0 1 0 143 3 0 0 20 0 19 0 105628944 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048245874384 214373033133 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.34 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 1908 0 0 0 34 0 0 0 20 0 19 0 105628950 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.35 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 35 0 0 0 20 0 19 0 105628950 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 25996 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 2.2
Current children cumulated vsize (KiB) 9625040
[startup+3.10089 s]
/proc/loadavg: 2.09 2.14 2.17 3/213 13557
/proc/meminfo: memFree=27061740/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=3.84 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 8993 0 1 0 379 5 0 0 20 0 19 0 105628943 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 36748 2270 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=3.06 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2463 0 1 0 303 3 0 0 20 0 19 0 105628944 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048245883288 140048096447499 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 1908 0 0 0 38 0 0 0 20 0 19 0 105628950 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 36748 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 3.84
Current children cumulated vsize (KiB) 9625040
[startup+6.30085 s]
/proc/loadavg: 2.09 2.14 2.17 3/213 13557
/proc/meminfo: memFree=26985444/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=7.13 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 9100 0 1 0 702 11 0 0 20 0 19 0 105628943 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 50072 2284 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=6.23 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2474 0 1 0 619 4 0 0 20 0 19 0 105628944 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048245874368 140048096512613 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105628945 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=0.02 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 28 0 0 0 0 2 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 15 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 10 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 11 0 0 0 0 0 0 0 20 0 19 0 105628946 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 9 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.38 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 1908 0 0 0 38 0 0 0 20 0 19 0 105628950 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 50072 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 7.13
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 2047 0 0 0 42 0 0 0 20 0 19 0 105628950 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0.67 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 95 0 0 0 37 30 0 0 20 0 19 0 105628950 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 123408 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1680.93
Current children cumulated vsize (KiB) 9625040
[startup+1722.3 s]
/proc/loadavg: 2.30 2.28 2.21 3/213 13666
/proc/meminfo: memFree=25124436/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=1741.56 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 32051 0 1 0 173910 246 0 0 20 0 19 0 105628943 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 135780 2293 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=1708.78 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2900 0 1 0 170846 32 0 0 20 0 19 0 105628944 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048245882200 140048096512983 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=3.56 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 2476 0 0 0 327 29 0 0 20 0 19 0 105628945 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=3.4 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 2874 0 0 0 312 28 0 0 20 0 19 0 105628945 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=3.3 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 3324 0 0 0 306 24 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=3.2 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 2589 0 0 0 292 28 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=3.11 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 1735 0 0 0 289 22 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=3.19 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 2112 0 0 0 293 26 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=3.15 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 2780 0 0 0 290 25 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=3.15 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 2709 0 0 0 291 24 0 0 20 0 19 0 105628946 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=5.79 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 1798 0 0 0 572 7 0 0 20 0 19 0 105628947 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 2047 0 0 0 42 0 0 0 20 0 19 0 105628950 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0.7 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 99 0 0 0 39 31 0 0 20 0 19 0 105628950 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 135780 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1741.56
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1780.1 s]
/proc/loadavg: 2.19 2.26 2.21 3/213 13667
/proc/meminfo: memFree=25138172/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 32780 0 1 0 179746 256 0 0 20 0 19 0 105628943 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 139815 2293 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=1765.99 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2919 0 1 0 176566 33 0 0 20 0 19 0 105628944 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048245882080 140048096447990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 2496 0 0 0 340 30 0 0 20 0 19 0 105628945 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 3013 0 0 0 322 29 0 0 20 0 19 0 105628945 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=3.41 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 3436 0 0 0 316 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 2739 0 0 0 302 29 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 1764 0 0 0 302 23 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 2227 0 0 0 304 27 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 2794 0 0 0 300 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 2727 0 0 0 303 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 1907 0 0 0 599 8 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 2047 0 0 0 42 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 103 0 0 0 40 32 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
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 13538 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1780.1 s]
/proc/loadavg: 2.19 2.26 2.21 3/213 13667
/proc/meminfo: memFree=25138172/32872528 swapFree=15784/1434320
[pid=13538] ppid=13535 vsize=9625040 CPUtime=1800.02 cores=0,2,4,6
/proc/13538/stat : 13538 (java) S 13535 13538 7184 0 -1 4202496 32780 0 1 0 179746 256 0 0 20 0 19 0 105628943 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140736945856800 214373007421 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/13538/statm: 2406260 139815 2293 9 0 2396937 0
[pid=13538/tid=13540] ppid=13535 vsize=9625040 CPUtime=1765.99 cores=0,2,4,6
/proc/13538/task/13540/stat : 13540 (java) R 13535 13538 7184 0 -1 4202560 2919 0 1 0 176566 33 0 0 20 0 19 0 105628944 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048245882080 140048096447990 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13541] ppid=13535 vsize=9625040 CPUtime=3.7 cores=0,2,4,6
/proc/13538/task/13541/stat : 13541 (java) S 13535 13538 7184 0 -1 4202560 2496 0 0 0 340 30 0 0 20 0 19 0 105628945 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048218336040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13542] ppid=13535 vsize=9625040 CPUtime=3.51 cores=0,2,4,6
/proc/13538/task/13542/stat : 13542 (java) S 13535 13538 7184 0 -1 4202560 3013 0 0 0 322 29 0 0 20 0 19 0 105628945 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048217283240 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13543] ppid=13535 vsize=9625040 CPUtime=3.41 cores=0,2,4,6
/proc/13538/task/13543/stat : 13543 (java) S 13535 13538 7184 0 -1 4202560 3436 0 0 0 316 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048216230952 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13544] ppid=13535 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/13538/task/13544/stat : 13544 (java) S 13535 13538 7184 0 -1 4202560 2739 0 0 0 302 29 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048215178152 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13545] ppid=13535 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13538/task/13545/stat : 13545 (java) S 13535 13538 7184 0 -1 4202560 1764 0 0 0 302 23 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048084805928 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13546] ppid=13535 vsize=9625040 CPUtime=3.31 cores=0,2,4,6
/proc/13538/task/13546/stat : 13546 (java) S 13535 13538 7184 0 -1 4202560 2227 0 0 0 304 27 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048083753128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13547] ppid=13535 vsize=9625040 CPUtime=3.25 cores=0,2,4,6
/proc/13538/task/13547/stat : 13547 (java) S 13535 13538 7184 0 -1 4202560 2794 0 0 0 300 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048082700840 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13548] ppid=13535 vsize=9625040 CPUtime=3.28 cores=0,2,4,6
/proc/13538/task/13548/stat : 13548 (java) S 13535 13538 7184 0 -1 4202560 2727 0 0 0 303 25 0 0 20 0 19 0 105628946 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140048081648040 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13549] ppid=13535 vsize=9625040 CPUtime=6.07 cores=0,2,4,6
/proc/13538/task/13549/stat : 13549 (java) S 13535 13538 7184 0 -1 4202560 1907 0 0 0 599 8 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047599135464 214373021609 0 0 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=13538/tid=13550] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13550/stat : 13550 (java) S 13535 13538 7184 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047598081528 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13551] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13551/stat : 13551 (java) S 13535 13538 7184 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 105628947 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047597029128 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13552] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13552/stat : 13552 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047595977616 214373029664 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13553] ppid=13535 vsize=9625040 CPUtime=0.42 cores=0,2,4,6
/proc/13538/task/13553/stat : 13553 (java) S 13535 13538 7184 0 -1 4202560 2047 0 0 0 42 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047594924216 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13554] ppid=13535 vsize=9625040 CPUtime=0.36 cores=0,2,4,6
/proc/13538/task/13554/stat : 13554 (java) S 13535 13538 7184 0 -1 4202560 3349 0 0 0 36 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047593871416 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=13538/tid=13555] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13555/stat : 13555 (java) S 13535 13538 7184 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047592819320 214373020732 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=13538/tid=13556] ppid=13535 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/13538/task/13556/stat : 13556 (java) S 13535 13538 7184 0 -1 4202560 103 0 0 0 40 32 0 0 20 0 19 0 105628950 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047591766728 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=13538/tid=13557] ppid=13535 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/13538/task/13557/stat : 13557 (java) S 13535 13538 7184 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 105628992 9856040960 139815 33554432000 1073741824 1073778376 140736945865664 140047590712744 214373021609 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
Current children cumulated CPU time (s) 1800.02
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1780.15
CPU time (s): 1800.94
CPU user time (s): 1797.93
CPU system time (s): 3.01154
CPU usage (%): 101.168
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1797.93
system time used= 3.01154
maximum resident set size= 916888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32821
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1712
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 51748
involuntary context switches= 51308
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.4214 second user time and 13.8929 second system time
The end