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-4261914-1502476964/watcher-4261914-1502476964 -o /tmp/evaluation-result-4261914-1502476964/solver-4261914-1502476964 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502411403-1395 --watchdog 2580 bin/concrete HOME/instance-4261914-1502476964.xml
pid=16977
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.50 1.51 1.56 2/195 16980
/proc/meminfo: memFree=26151148/32770624 swapFree=0/510852
[pid=16980] ppid=16977 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/16980/stat : 16980 (runsolver) D 16977 16980 1330 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 49917180 24240128 107 18446744073709551615 4194304 4338465 140728767876368 140728767874008 140092914578135 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 26554368 140728767877329 140728767877705 140728767877705 140728767881162 0
/proc/16980/statm: 5918 107 54 36 0 2156 0
[startup+0.100369 s]
/proc/loadavg: 1.50 1.51 1.56 2/195 16980
/proc/meminfo: memFree=26151148/32770624 swapFree=0/510852
[pid=16980] ppid=16977 vsize=9636 CPUtime=0.01 cores=1,3,5,7
/proc/16980/stat : 16980 (bash) S 16977 16980 1330 0 -1 4202496 896 6477 0 0 0 0 0 1 20 0 1 0 49917180 9867264 377 18446744073709551615 4194304 5098028 140721841493232 140721841487240 140313096690688 0 0 5 65536 18446744071580971376 0 0 17 3 0 0 7 0 0 7196144 7232144 26230784 140721841500692 140721841500777 140721841500777 140721841504234 0
/proc/16980/statm: 2409 377 296 221 0 118 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 9636
[startup+0.200583 s]
/proc/loadavg: 1.50 1.51 1.56 2/195 16980
/proc/meminfo: memFree=26151148/32770624 swapFree=0/510852
[pid=16980] ppid=16977 vsize=2588 CPUtime=0.08 cores=1,3,5,7
/proc/16980/stat : 16980 (java) R 16977 16980 1330 0 -1 4194304 1026 12367 0 0 0 0 5 3 20 0 1 0 49917180 2650112 46 18446744073709551615 4194304 4196468 140725097589296 140725097586520 140358119835335 0 0 1 0 0 0 0 17 1 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 1182 50 38 1 0 44 0
Current children cumulated CPU time (s) 0.08
Current children cumulated vsize (KiB) 2588
[startup+0.300266 s]
/proc/loadavg: 1.50 1.51 1.56 2/195 16980
/proc/meminfo: memFree=26151148/32770624 swapFree=0/510852
[pid=16980] ppid=16977 vsize=13907308 CPUtime=0.14 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 5745 12367 0 0 5 1 5 3 20 0 14 0 49917180 14241083392 5419 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3476827 5419 2566 1 0 3466324 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 13907308
[startup+0.709327 s]
/proc/loadavg: 1.50 1.51 1.56 2/195 16980
/proc/meminfo: memFree=26151148/32770624 swapFree=0/510852
[pid=16980] ppid=16977 vsize=13974784 CPUtime=0.7 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 13916 12367 0 0 58 4 5 3 20 0 15 0 49917180 14310178816 14848 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3493696 14848 3133 1 0 3482965 0
Current children cumulated CPU time (s) 0.7
Current children cumulated vsize (KiB) 13974784
[startup+1.50416 s]
/proc/loadavg: 1.50 1.51 1.56 3/210 17043
/proc/meminfo: memFree=26055080/32770624 swapFree=0/511140
[pid=16980] ppid=16977 vsize=13985408 CPUtime=1.89 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 29747 12367 0 0 171 10 5 3 20 0 15 0 49917180 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3496352 40168 3367 1 0 3485525 0
[pid=16980/tid=17030] ppid=16977 vsize=13985408 CPUtime=1.29 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) S 16977 16980 1330 0 -1 1077944384 22729 12367 0 0 115 6 5 3 20 0 15 0 49917200 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140358121779632 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) R 16977 16980 1330 0 -1 4202560 203 12367 0 0 0 0 5 3 20 0 15 0 49917201 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358110663682 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) R 16977 16980 1330 0 -1 4202560 39 12367 0 0 0 0 5 3 20 0 15 0 49917201 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358110664728 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) R 16977 16980 1330 0 -1 1077944384 51 12367 0 0 0 0 5 3 20 0 15 0 49917201 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) R 16977 16980 1330 0 -1 4202560 62 12367 0 0 0 0 5 3 20 0 15 0 49917201 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358099169817 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 1344 12367 0 0 0 0 5 3 20 0 15 0 49917202 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357663303072 140358117570261 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 33 12367 0 0 0 0 5 3 20 0 15 0 49917202 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357662250528 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 21 12367 0 0 0 0 5 3 20 0 15 0 49917203 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357661197680 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) S 16977 16980 1330 0 -1 1077944384 1103 12367 0 0 15 0 5 3 20 0 15 0 49917205 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357659093360 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=13985408 CPUtime=0.23 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) S 16977 16980 1330 0 -1 1077944384 608 12367 0 0 15 0 5 3 20 0 15 0 49917205 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357658040560 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=13985408 CPUtime=0.3 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) S 16977 16980 1330 0 -1 1077944384 1386 12367 0 0 22 0 5 3 20 0 15 0 49917205 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357656983632 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=13985408 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 8 12367 0 0 0 0 5 3 20 0 15 0 49917211 14321057792 40168 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 1.89
Current children cumulated vsize (KiB) 13985408
[startup+3.10067 s]
/proc/loadavg: 1.50 1.51 1.56 5/210 17043
/proc/meminfo: memFree=25979884/32770624 swapFree=0/511140
[pid=16980] ppid=16977 vsize=13997884 CPUtime=5.85 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 49382 12367 0 0 562 15 5 3 20 0 15 0 49917180 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3499471 57247 3447 1 0 3488085 0
[pid=16980/tid=17030] ppid=16977 vsize=13997884 CPUtime=2.87 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) R 16977 16980 1330 0 -1 4202560 34761 12367 0 0 270 9 5 3 20 0 15 0 49917200 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140358121790184 140358101640542 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) S 16977 16980 1330 0 -1 1077944384 208 12367 0 0 1 0 5 3 20 0 15 0 49917201 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) S 16977 16980 1330 0 -1 1077944384 39 12367 0 0 1 0 5 3 20 0 15 0 49917201 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) S 16977 16980 1330 0 -1 1077944384 51 12367 0 0 0 0 5 3 20 0 15 0 49917201 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) S 16977 16980 1330 0 -1 1077944384 62 12367 0 0 1 0 5 3 20 0 15 0 49917201 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=13997884 CPUtime=0.09 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 1534 12367 0 0 1 0 5 3 20 0 15 0 49917202 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357663304560 140358117571202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 54 12367 0 0 0 0 5 3 20 0 15 0 49917202 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357662250592 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 46 12367 0 0 0 0 5 3 20 0 15 0 49917203 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357661197696 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=13997884 CPUtime=0.9 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) S 16977 16980 1330 0 -1 1077944384 2456 12367 0 0 82 0 5 3 20 0 15 0 49917205 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357659093360 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=13997884 CPUtime=1.12 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) S 16977 16980 1330 0 -1 1077944384 3870 12367 0 0 103 1 5 3 20 0 15 0 49917205 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357658040560 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=13997884 CPUtime=1.07 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) R 16977 16980 1330 0 -1 4202560 4129 12367 0 0 98 1 5 3 20 0 15 0 49917205 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357656987760 140358117581402 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=13997884 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 11 12367 0 0 0 0 5 3 20 0 15 0 49917211 14333833216 57247 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 5.85
Current children cumulated vsize (KiB) 13997884
[startup+6.30068 s]
/proc/loadavg: 1.62 1.53 1.56 6/210 17044
/proc/meminfo: memFree=25793444/32770624 swapFree=0/511144
[pid=16980] ppid=16977 vsize=14069564 CPUtime=15.41 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 77186 12367 0 0 1508 25 5 3 20 0 15 0 49917180 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3517391 94874 3484 1 0 3506005 0
[pid=16980/tid=17030] ppid=16977 vsize=14069564 CPUtime=5.53 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) R 16977 16980 1330 0 -1 4202560 45816 12367 0 0 533 12 5 3 20 0 15 0 49917200 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140358121791280 140357754499023 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) S 16977 16980 1330 0 -1 1077944384 268 12367 0 0 19 0 5 3 20 0 15 0 49917201 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) S 16977 16980 1330 0 -1 1077944384 219 12367 0 0 19 1 5 3 20 0 15 0 49917201 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) S 16977 16980 1330 0 -1 1077944384 138 12367 0 0 21 1 5 3 20 0 15 0 49917201 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) S 16977 16980 1330 0 -1 1077944384 193 12367 0 0 20 1 5 3 20 0 15 0 49917201 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 2797 12367 0 0 13 0 5 3 20 0 15 0 49917202 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357663304560 140358117571202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 54 12367 0 0 0 0 5 3 20 0 15 0 49917202 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357662250592 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 46 12367 0 0 0 0 5 3 20 0 15 0 49917203 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357661197696 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=14069564 CPUtime=3.33 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) R 16977 16980 1330 0 -1 4202560 6834 12367 0 0 324 1 5 3 20 0 15 0 49917205 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357659081952 140358101056839 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=14069564 CPUtime=3.76 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) R 16977 16980 1330 0 -1 4202560 9263 12367 0 0 366 2 5 3 20 0 15 0 49917205 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357658028240 140358095823713 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=14069564 CPUtime=1.99 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) S 16977 16980 1330 0 -1 1077944384 9370 12367 0 0 188 3 5 3 20 0 15 0 49917205 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357656987760 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 27 12367 0 0 0 0 5 3 20 0 15 0 49917211 14407233536 94874 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 15.41
Current children cumulated vsize (KiB) 14069564
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 16980 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+6.4009 s]
/proc/loadavg: 1.62 1.53 1.56 6/210 17044
/proc/meminfo: memFree=25793444/32770624 swapFree=0/511144
[pid=16980] ppid=16977 vsize=14069564 CPUtime=15.71 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 77799 12367 0 0 1538 25 5 3 20 0 15 0 49917180 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3517391 95389 3484 1 0 3506005 0
[pid=16980/tid=17030] ppid=16977 vsize=14069564 CPUtime=5.63 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) R 16977 16980 1330 0 -1 4202560 45833 12367 0 0 543 12 5 3 20 0 15 0 49917200 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140358121791280 140357751481228 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) S 16977 16980 1330 0 -1 1077944384 268 12367 0 0 19 0 5 3 20 0 15 0 49917201 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) S 16977 16980 1330 0 -1 1077944384 219 12367 0 0 19 1 5 3 20 0 15 0 49917201 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) S 16977 16980 1330 0 -1 1077944384 138 12367 0 0 21 1 5 3 20 0 15 0 49917201 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) S 16977 16980 1330 0 -1 1077944384 193 12367 0 0 20 1 5 3 20 0 15 0 49917201 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 2797 12367 0 0 13 0 5 3 20 0 15 0 49917202 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357663304560 140358117571202 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 54 12367 0 0 0 0 5 3 20 0 15 0 49917202 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357662250592 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 46 12367 0 0 0 0 5 3 20 0 15 0 49917203 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357661197696 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=14069564 CPUtime=3.43 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) R 16977 16980 1330 0 -1 4202560 7407 12367 0 0 334 1 5 3 20 0 15 0 49917205 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357659081952 140358099084892 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=14069564 CPUtime=3.86 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) R 16977 16980 1330 0 -1 4202560 9271 12367 0 0 376 2 5 3 20 0 15 0 49917205 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357658028240 140358101056839 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=14069564 CPUtime=1.99 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) S 16977 16980 1330 0 -1 1077944384 9385 12367 0 0 188 3 5 3 20 0 15 0 49917205 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357656987760 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 27 12367 0 0 0 0 5 3 20 0 15 0 49917211 14407233536 95389 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 15.71
Current children cumulated vsize (KiB) 14069564
[startup+7.2007 s]
/proc/loadavg: 1.62 1.53 1.56 5/210 17044
/proc/meminfo: memFree=25772728/32770624 swapFree=0/511148
[pid=16980] ppid=16977 vsize=14069564 CPUtime=17.67 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 78943 12367 0 0 1733 26 5 3 20 0 15 0 49917180 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3517391 100403 3485 1 0 3506005 0
[pid=16980/tid=17030] ppid=16977 vsize=14069564 CPUtime=6.43 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) R 16977 16980 1330 0 -1 4202560 45912 12367 0 0 622 13 5 3 20 0 15 0 49917200 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140358121792080 140357754349780 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) S 16977 16980 1330 0 -1 1077944384 306 12367 0 0 19 0 5 3 20 0 15 0 49917201 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=14069564 CPUtime=0.28 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) S 16977 16980 1330 0 -1 1077944384 223 12367 0 0 19 1 5 3 20 0 15 0 49917201 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) S 16977 16980 1330 0 -1 1077944384 398 12367 0 0 21 1 5 3 20 0 15 0 49917201 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) S 16977 16980 1330 0 -1 1077944384 196 12367 0 0 20 1 5 3 20 0 15 0 49917201 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 2947 12367 0 0 13 0 5 3 20 0 15 0 49917202 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357663304560 140358117571202 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 59 12367 0 0 0 0 5 3 20 0 15 0 49917202 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357662250592 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 49 12367 0 0 0 0 5 3 20 0 15 0 49917203 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357661197696 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=14069564 CPUtime=4.02 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) S 16977 16980 1330 0 -1 1077944384 7605 12367 0 0 393 1 5 3 20 0 15 0 49917205 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357659093360 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=14069564 CPUtime=4.34 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) S 16977 16980 1330 0 -1 1077944384 9498 12367 0 0 424 2 5 3 20 0 15 0 49917205 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357658040560 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=14069564 CPUtime=2.07 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) S 16977 16980 1330 0 -1 1077944384 9562 12367 0 0 196 3 5 3 20 0 15 0 49917205 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357656987760 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 27 12367 0 0 0 0 5 3 20 0 15 0 49917211 14407233536 100403 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 17.67
Current children cumulated vsize (KiB) 14069564
[startup+7.40067 s]
/proc/loadavg: 1.62 1.53 1.56 5/210 17044
/proc/meminfo: memFree=25772728/32770624 swapFree=0/511148
[pid=16980] ppid=16977 vsize=14069564 CPUtime=17.96 cores=1,3,5,7
/proc/16980/stat : 16980 (java) S 16977 16980 1330 0 -1 1077944320 78952 12367 0 0 1762 26 5 3 20 0 15 0 49917180 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140725097571840 140358117560055 0 0 1 16800974 18446744073709551615 0 0 17 5 0 0 7 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
/proc/16980/statm: 3517391 100967 3485 1 0 3506005 0
[pid=16980/tid=17030] ppid=16977 vsize=14069564 CPUtime=6.63 cores=1,3,5,7
/proc/16980/task/17030/stat : 17030 (java) R 16977 16980 1330 0 -1 4202560 45913 12367 0 0 642 13 5 3 20 0 15 0 49917200 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140358121791424 140357745551192 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17031] ppid=16977 vsize=14069564 CPUtime=0.27 cores=1,3,5,7
/proc/16980/task/17031/stat : 17031 (java) S 16977 16980 1330 0 -1 1077944384 307 12367 0 0 19 0 5 3 20 0 15 0 49917201 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140358059506320 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17032] ppid=16977 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/16980/task/17032/stat : 17032 (java) S 16977 16980 1330 0 -1 1077944384 224 12367 0 0 20 1 5 3 20 0 15 0 49917201 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140358058453520 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17033] ppid=16977 vsize=14069564 CPUtime=0.3 cores=1,3,5,7
/proc/16980/task/17033/stat : 17033 (java) S 16977 16980 1330 0 -1 1077944384 399 12367 0 0 21 1 5 3 20 0 15 0 49917201 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140358057400720 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17034] ppid=16977 vsize=14069564 CPUtime=0.29 cores=1,3,5,7
/proc/16980/task/17034/stat : 17034 (java) S 16977 16980 1330 0 -1 1077944384 198 12367 0 0 20 1 5 3 20 0 15 0 49917201 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140358056347920 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17035] ppid=16977 vsize=14069564 CPUtime=0.21 cores=1,3,5,7
/proc/16980/task/17035/stat : 17035 (java) S 16977 16980 1330 0 -1 1077944384 2948 12367 0 0 13 0 5 3 20 0 15 0 49917202 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357663304560 140358117571202 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17036] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17036/stat : 17036 (java) S 16977 16980 1330 0 -1 1077944384 59 12367 0 0 0 0 5 3 20 0 15 0 49917202 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357662250592 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17037] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17037/stat : 17037 (java) S 16977 16980 1330 0 -1 1077944384 49 12367 0 0 0 0 5 3 20 0 15 0 49917203 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357661197696 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17038] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17038/stat : 17038 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917205 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357660146000 140358117578651 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17039] ppid=16977 vsize=14069564 CPUtime=4.08 cores=1,3,5,7
/proc/16980/task/17039/stat : 17039 (java) S 16977 16980 1330 0 -1 1077944384 7607 12367 0 0 399 1 5 3 20 0 15 0 49917205 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357659093360 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17040] ppid=16977 vsize=14069564 CPUtime=4.35 cores=1,3,5,7
/proc/16980/task/17040/stat : 17040 (java) S 16977 16980 1330 0 -1 1077944384 9498 12367 0 0 425 2 5 3 20 0 15 0 49917205 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357658040560 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17041] ppid=16977 vsize=14069564 CPUtime=2.09 cores=1,3,5,7
/proc/16980/task/17041/stat : 17041 (java) S 16977 16980 1330 0 -1 1077944384 9562 12367 0 0 198 3 5 3 20 0 15 0 49917205 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357656987760 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 26 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17042] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17042/stat : 17042 (java) S 16977 16980 1330 0 -1 1077944384 3 12367 0 0 0 0 5 3 20 0 15 0 49917206 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357655935200 140358117570261 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
[pid=16980/tid=17043] ppid=16977 vsize=14069564 CPUtime=0.08 cores=1,3,5,7
/proc/16980/task/17043/stat : 17043 (java) S 16977 16980 1330 0 -1 1077944384 27 12367 0 0 0 0 5 3 20 0 15 0 49917211 14407233536 100967 18446744073709551615 4194304 4196468 140725097589296 140357654883504 140358117571202 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 22 0 0 6293624 6294260 15675392 140725097592784 140725097595569 140725097595569 140725097598927 0
Current children cumulated CPU time (s) 17.96
Current children cumulated vsize (KiB) 14069564
Child status: 0
Real time (s): 7.46905
CPU time (s): 18.048
CPU user time (s): 17.7399
CPU system time (s): 0.308095
CPU usage (%): 241.637
Max. virtual memory (cumulated for all children) (KiB): 14069564
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 17.7399
system time used= 0.308095
maximum resident set size= 404336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 91780
page faults= 0
swaps= 0
block input operations= 0
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 7255
involuntary context switches= 114
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.029844 second user time and 0.0532 second system time
The end