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-4089684-1466031459/watcher-4089684-1466031459 -o /tmp/evaluation-result-4089684-1466031459/solver-4089684-1466031459 -C 1800 -W 1900 -M 15500 --bin-var /tmp/runsolver-exch-node138-1466015679-6167 --watchdog 1960 java -jar sat4j-pb.jar HOME/instance-4089684-1466031459.opb
pid=8736
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.56 2.15 2.04 3/194 8739
/proc/meminfo: memFree=31108964/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=272 CPUtime=0 cores=0,2,4,6
/proc/8739/stat : 8739 (java) R 8736 8739 6151 0 -1 4202496 157 0 0 0 0 0 0 0 20 0 1 0 5191580 278528 33 33554432000 1073741824 1073778376 140735844373392 140735844370568 206619897127 0 0 4096 0 0 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 68 33 25 9 0 25 0
[startup+0.100118 s]
/proc/loadavg: 2.56 2.15 2.04 3/194 8739
/proc/meminfo: memFree=31108964/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9558476 CPUtime=0.09 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 4368 0 1 0 8 1 0 0 20 0 18 0 5191580 9787879424 5495 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2389619 5495 2116 9 0 2380296 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 9558476
[startup+0.200283 s]
/proc/loadavg: 2.56 2.15 2.04 3/194 8739
/proc/meminfo: memFree=31108964/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=0.25 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 6175 0 1 0 24 1 0 0 20 0 19 0 5191580 9856040960 7328 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 7328 2232 9 0 2396937 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 9625040
[startup+0.300276 s]
/proc/loadavg: 2.56 2.15 2.04 3/194 8739
/proc/meminfo: memFree=31108964/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=0.47 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 6510 0 1 0 46 1 0 0 20 0 19 0 5191580 9856040960 7906 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 7906 2238 9 0 2396937 0
Current children cumulated CPU time (s) 0.47
Current children cumulated vsize (KiB) 9625040
[startup+0.700251 s]
/proc/loadavg: 2.56 2.15 2.04 3/194 8739
/proc/meminfo: memFree=31108964/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=1 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 7546 0 1 0 99 1 0 0 20 0 19 0 5191580 9856040960 9330 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 9330 2248 9 0 2396937 0
Current children cumulated CPU time (s) 1
Current children cumulated vsize (KiB) 9625040
[startup+1.50071 s]
/proc/loadavg: 2.56 2.15 2.04 4/213 8758
/proc/meminfo: memFree=31075576/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=1.83 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 7558 0 1 0 181 2 0 0 20 0 19 0 5191580 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 11385 2255 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=1.45 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2415 0 1 0 145 0 0 0 20 0 19 0 5191582 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680680757736 140680530146096 0 4 0 16800975 0 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5191584 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 19 0 0 0 20 0 19 0 5191587 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 1948 0 0 0 15 0 0 0 20 0 19 0 5191587 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 11385 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1.83
Current children cumulated vsize (KiB) 9625040
[startup+3.10086 s]
/proc/loadavg: 2.56 2.15 2.04 3/213 8758
/proc/meminfo: memFree=31064840/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=3.43 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 7565 0 1 0 341 2 0 0 20 0 19 0 5191580 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 14969 2255 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=3.05 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2422 0 1 0 304 1 0 0 20 0 19 0 5191582 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680680759576 140680530313168 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5191584 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 19 0 0 0 20 0 19 0 5191587 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 1948 0 0 0 15 0 0 0 20 0 19 0 5191587 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 14969 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 3.43
Current children cumulated vsize (KiB) 9625040
[startup+6.30086 s]
/proc/loadavg: 2.52 2.15 2.04 3/213 8758
/proc/meminfo: memFree=31040880/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=6.62 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 7579 0 1 0 660 2 0 0 20 0 19 0 5191580 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 19868 2257 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=6.24 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2433 0 1 0 623 1 0 0 20 0 19 0 5191582 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680680750800 140680530151276 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 3 0 0 0 0 0 0 0 20 0 19 0 5191583 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 5 0 0 0 0 0 0 0 20 0 19 0 5191584 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 16 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.19 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 19 0 0 0 20 0 19 0 5191587 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.15 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 1948 0 0 0 15 0 0 0 20 0 19 0 5191587 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 2 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 19868 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 6.62
Current children cumulated vsize (KiB) 9625040
################
# More data... #
################
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 20 0 0 0 20 0 19 0 5191587 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 3193 0 0 0 24 0 0 0 20 0 19 0 5191587 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0.51 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 100 0 0 0 23 28 0 0 20 0 19 0 5191587 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 105090 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1727.2
Current children cumulated vsize (KiB) 9625040
[startup+1782.3 s]
/proc/loadavg: 2.18 2.19 2.11 3/213 8956
/proc/meminfo: memFree=30928064/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=1787.33 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 12803 0 1 0 178644 89 0 0 20 0 19 0 5191580 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 105093 2280 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=1779.78 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2528 0 1 0 177945 33 0 0 20 0 19 0 5191582 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680680750784 140680530200978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0.88 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 481 0 0 0 81 7 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 521 0 0 0 70 6 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 237 0 0 0 72 6 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0.75 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 580 0 0 0 70 5 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0.76 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 457 0 0 0 70 6 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0.85 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 464 0 0 0 76 9 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0.71 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 441 0 0 0 64 7 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0.83 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 376 0 0 0 75 8 0 0 20 0 19 0 5191583 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 238 0 0 0 51 3 0 0 20 0 19 0 5191584 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 20 0 0 0 20 0 19 0 5191587 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 3193 0 0 0 24 0 0 0 20 0 19 0 5191587 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 104 0 0 0 24 30 0 0 20 0 19 0 5191587 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 105093 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1787.33
Current children cumulated vsize (KiB) 9625040
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+1794.9 s]
/proc/loadavg: 2.15 2.18 2.11 4/213 8956
/proc/meminfo: memFree=30928192/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 12806 0 1 0 179912 89 0 0 20 0 19 0 5191580 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 105091 2280 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=1792.35 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2529 0 1 0 179202 33 0 0 20 0 19 0 5191582 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680680758480 140680530200978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 481 0 0 0 83 7 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 521 0 0 0 71 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 237 0 0 0 73 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 580 0 0 0 73 5 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 457 0 0 0 71 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 464 0 0 0 77 9 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 441 0 0 0 65 7 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 376 0 0 0 76 8 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 240 0 0 0 51 3 0 0 20 0 19 0 5191584 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 20 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 3193 0 0 0 24 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 104 0 0 0 24 30 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 8739 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1794.9 s]
/proc/loadavg: 2.15 2.18 2.11 4/213 8956
/proc/meminfo: memFree=30928192/32872528 swapFree=532444/565148
[pid=8739] ppid=8736 vsize=9625040 CPUtime=1800.01 cores=0,2,4,6
/proc/8739/stat : 8739 (java) S 8736 8739 6151 0 -1 4202496 12806 0 1 0 179912 89 0 0 20 0 19 0 5191580 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140737456718672 206632419389 0 0 0 16800975 18446744073709551615 0 0 17 0 0 0 0 0 0
/proc/8739/statm: 2406260 105091 2280 9 0 2396937 0
[pid=8739/tid=8741] ppid=8736 vsize=9625040 CPUtime=1792.35 cores=0,2,4,6
/proc/8739/task/8741/stat : 8741 (java) R 8736 8739 6151 0 -1 4202560 2529 0 1 0 179202 33 0 0 20 0 19 0 5191582 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680680758480 140680530200978 0 4 0 16800975 0 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8742] ppid=8736 vsize=9625040 CPUtime=0.9 cores=0,2,4,6
/proc/8739/task/8742/stat : 8742 (java) S 8736 8739 6151 0 -1 4202560 481 0 0 0 83 7 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680653212328 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8743] ppid=8736 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/8739/task/8743/stat : 8743 (java) S 8736 8739 6151 0 -1 4202560 521 0 0 0 71 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680652159784 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8744] ppid=8736 vsize=9625040 CPUtime=0.79 cores=0,2,4,6
/proc/8739/task/8744/stat : 8744 (java) S 8736 8739 6151 0 -1 4202560 237 0 0 0 73 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680651107240 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8745] ppid=8736 vsize=9625040 CPUtime=0.78 cores=0,2,4,6
/proc/8739/task/8745/stat : 8745 (java) S 8736 8739 6151 0 -1 4202560 580 0 0 0 73 5 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680650054696 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8746] ppid=8736 vsize=9625040 CPUtime=0.77 cores=0,2,4,6
/proc/8739/task/8746/stat : 8746 (java) S 8736 8739 6151 0 -1 4202560 457 0 0 0 71 6 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680649001128 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8747] ppid=8736 vsize=9625040 CPUtime=0.86 cores=0,2,4,6
/proc/8739/task/8747/stat : 8747 (java) S 8736 8739 6151 0 -1 4202560 464 0 0 0 77 9 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680518740264 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8748] ppid=8736 vsize=9625040 CPUtime=0.72 cores=0,2,4,6
/proc/8739/task/8748/stat : 8748 (java) S 8736 8739 6151 0 -1 4202560 441 0 0 0 65 7 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680517687720 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8749] ppid=8736 vsize=9625040 CPUtime=0.84 cores=0,2,4,6
/proc/8739/task/8749/stat : 8749 (java) S 8736 8739 6151 0 -1 4202560 376 0 0 0 76 8 0 0 20 0 19 0 5191583 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680516635176 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8750] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8750/stat : 8750 (java) S 8736 8739 6151 0 -1 4202560 240 0 0 0 51 3 0 0 20 0 19 0 5191584 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680033688168 206632433577 0 0 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8751] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8751/stat : 8751 (java) S 8736 8739 6151 0 -1 4202560 17 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680032634488 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8752] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8752/stat : 8752 (java) S 8736 8739 6151 0 -1 4202560 8 0 0 0 0 0 0 0 20 0 19 0 5191585 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680031581832 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8753] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8753/stat : 8753 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680030530576 206632441632 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8754] ppid=8736 vsize=9625040 CPUtime=0.2 cores=0,2,4,6
/proc/8739/task/8754/stat : 8754 (java) S 8736 8739 6151 0 -1 4202560 1925 0 0 0 20 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680029476920 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
[pid=8739/tid=8755] ppid=8736 vsize=9625040 CPUtime=0.24 cores=0,2,4,6
/proc/8739/task/8755/stat : 8755 (java) S 8736 8739 6151 0 -1 4202560 3193 0 0 0 24 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680028424376 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 6 0 0 0 0 0
[pid=8739/tid=8756] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8756/stat : 8756 (java) S 8736 8739 6151 0 -1 4202560 1 0 0 0 0 0 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680027372024 206632432700 0 4 0 16800975 18446744071579510697 0 0 -1 4 0 0 0 0 0
[pid=8739/tid=8757] ppid=8736 vsize=9625040 CPUtime=0.54 cores=0,2,4,6
/proc/8739/task/8757/stat : 8757 (java) S 8736 8739 6151 0 -1 4202560 104 0 0 0 24 30 0 0 20 0 19 0 5191587 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680026319688 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 0 0 0 0 0 0
[pid=8739/tid=8758] ppid=8736 vsize=9625040 CPUtime=0 cores=0,2,4,6
/proc/8739/task/8758/stat : 8758 (java) S 8736 8739 6151 0 -1 4202560 7 0 0 0 0 0 0 0 20 0 19 0 5191597 9856040960 105091 33554432000 1073741824 1073778376 140737456727536 140680025265448 206632433577 0 4 0 16800975 18446744071579510697 0 0 -1 2 0 0 0 0 0
Current children cumulated CPU time (s) 1800.01
Current children cumulated vsize (KiB) 9625040
Child status: 143
Real time (s): 1794.94
CPU time (s): 1800.62
CPU user time (s): 1799.28
CPU system time (s): 1.3428
CPU usage (%): 100.316
Max. virtual memory (cumulated for all children) (KiB): 9625040
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1799.28
system time used= 1.34279
maximum resident set size= 624164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 12848
page faults= 1
swaps= 0
block input operations= 0
block output operations= 1696
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 39626
involuntary context switches= 29272
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.8893 second user time and 12.997 second system time
The end