2017 XCSP3 competition: main track (CSP and COP, sequential and parallel solvers) competition: execution trace

Solver Name	Answer	CPU time	Wall clock time
R1: Concrete 3.4	UNSAT	13.6992	4.99788

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-4248832-1500752272/watcher-4248832-1500752272 -o /tmp/evaluation-result-4248832-1500752272/solver-4248832-1500752272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560 bin/concrete HOME/instance-4248832-1500752272.xml 

pid=21547
running on 8 cores: 4-7,12-15

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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.04 1.03 1.20 3/240 21551
/proc/meminfo: memFree=31783316/32770624 swapFree=5832/235952
[pid=21551] ppid=21547 vsize=9508 CPUtime=0 cores=4-7,12-15
/proc/21551/stat : 21551 (bash) S 21547 21551 21492 0 -1 4202496 654 0 0 0 0 0 0 0 20 0 1 0 10492531 9736192 351 33554432000 4194304 5098028 140728723539568 140728723537208 140705894042624 0 0 4100 65536 18446744071580971376 0 0 17 13 0 0 0 0 0 7196144 7232144 34312192 140728723543310 140728723543395 140728723543395 140728723546094 0
/proc/21551/statm: 2377 351 278 221 0 86 0

[startup+0.100063 s]
/proc/loadavg: 1.04 1.03 1.20 3/240 21551
/proc/meminfo: memFree=31783316/32770624 swapFree=5832/235952
[pid=21551] ppid=21547 vsize=9640 CPUtime=0.02 cores=4-7,12-15
/proc/21551/stat : 21551 (bash) S 21547 21551 21492 0 -1 4202496 884 6411 0 1 0 0 0 2 20 0 1 0 10492531 9871360 378 33554432000 4194304 5098028 140728723539568 140728723533576 140705894042624 0 0 4100 65536 18446744071580971376 0 0 17 6 0 0 0 0 0 7196144 7232144 34312192 140728723543310 140728723543395 140728723543395 140728723546094 0
/proc/21551/statm: 2410 378 296 221 0 119 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 9640

[startup+0.200411 s]
/proc/loadavg: 1.04 1.03 1.20 3/240 21551
/proc/meminfo: memFree=31783316/32770624 swapFree=5832/235952
[pid=21551] ppid=21547 vsize=10435860 CPUtime=0.17 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 4924 12544 0 1 4 1 9 3 20 0 13 0 10492531 10686320640 4745 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16784584 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2608965 4745 2117 1 0 2597403 0
Current children cumulated CPU time (s) 0.17
Current children cumulated vsize (KiB) 10435860

[startup+0.300261 s]
/proc/loadavg: 1.04 1.03 1.20 3/240 21551
/proc/meminfo: memFree=31783316/32770624 swapFree=5832/235952
[pid=21551] ppid=21547 vsize=10902392 CPUtime=0.35 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 6956 12544 0 1 21 2 9 3 20 0 20 0 10492531 11164049408 8741 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2725598 8741 3005 1 0 2713890 0
Current children cumulated CPU time (s) 0.35
Current children cumulated vsize (KiB) 10902392

[startup+0.700241 s]
/proc/loadavg: 1.04 1.03 1.20 3/240 21551
/proc/meminfo: memFree=31783316/32770624 swapFree=5832/235952
[pid=21551] ppid=21547 vsize=10902720 CPUtime=0.87 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 12070 12544 0 1 70 5 9 3 20 0 20 0 10492531 11164385280 14842 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2725680 14842 3148 1 0 2713890 0
Current children cumulated CPU time (s) 0.87
Current children cumulated vsize (KiB) 10902720

[startup+1.50076 s]
/proc/loadavg: 1.04 1.03 1.20 3/283 21700
/proc/meminfo: memFree=31595336/32770624 swapFree=5832/235684
[pid=21551] ppid=21547 vsize=10913344 CPUtime=2.01 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 24752 12544 0 1 180 9 9 3 20 0 20 0 10492531 11175264256 34663 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2728336 34663 3370 1 0 2716450 0
[pid=21551/tid=21663] ppid=21547 vsize=10913344 CPUtime=1.37 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) D 21547 21551 21492 0 -1 4202560 19162 12544 0 1 118 7 9 3 20 0 20 0 10492546 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857606447536 139857602245789 0 4 0 16800975 18446744071580419588 0 0 -1 12 0 0 7 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857558776080 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857207679376 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857206626832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) S 21547 21551 21492 0 -1 1077944384 2 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857205574288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857204521744 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857203469200 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 2 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492547 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 6 12544 0 1 0 0 9 3 20 0 20 0 10492549 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857076635632 139857602235010 0 0 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 33 12544 0 1 0 0 9 3 20 0 20 0 10492550 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857075581856 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 21 12544 0 1 0 0 9 3 20 0 20 0 10492550 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857074529264 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10913344 CPUtime=0.26 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 1496 12544 0 1 14 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857072425456 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10913344 CPUtime=0.24 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) S 21547 21551 21492 0 -1 1077944384 471 12544 0 1 12 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857071372912 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10913344 CPUtime=0.21 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) S 21547 21551 21492 0 -1 1077944384 514 12544 0 1 9 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857070320368 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10913344 CPUtime=0.36 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) S 21547 21551 21492 0 -1 1077944384 892 12544 0 1 24 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857069267824 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10913344 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11175264256 34663 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 2.01
Current children cumulated vsize (KiB) 10913344

[startup+3.10105 s]
/proc/loadavg: 1.04 1.03 1.20 9/283 21700
/proc/meminfo: memFree=31440868/32770624 swapFree=5832/237120
[pid=21551] ppid=21547 vsize=10925820 CPUtime=6.54 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 45293 12544 1 1 623 19 9 3 20 0 20 0 10492531 11188039680 53937 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2731455 53937 3479 1 0 2719010 0
[pid=21551/tid=21663] ppid=21547 vsize=10925820 CPUtime=2.79 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) R 21547 21551 21492 0 -1 4202560 25237 12544 1 1 259 8 9 3 20 0 20 0 10492546 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857606450896 139857602245210 0 4 0 16800975 0 0 0 -1 12 0 0 20 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) S 21547 21551 21492 0 -1 1077944384 12 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857558776080 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) S 21547 21551 21492 0 -1 1077944384 42 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857207679376 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) S 21547 21551 21492 0 -1 1077944384 51 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857206626832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) S 21547 21551 21492 0 -1 1077944384 31 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857205574288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) S 21547 21551 21492 0 -1 1077944384 18 12544 0 1 0 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857204521744 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) S 21547 21551 21492 0 -1 1077944384 136 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857203469200 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 24 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 14 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10925820 CPUtime=0.14 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 2191 12544 0 1 2 0 9 3 20 0 20 0 10492549 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857076635632 139857602235010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 55 12544 0 1 0 0 9 3 20 0 20 0 10492550 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857075581920 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10925820 CPUtime=1.12 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 5812 12544 0 1 99 1 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857072425456 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10925820 CPUtime=0.82 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) R 21547 21551 21492 0 -1 4202560 2120 12544 0 1 69 1 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857071354496 139857585608564 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10925820 CPUtime=0.85 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) R 21547 21551 21492 0 -1 4202560 2582 12544 0 1 73 0 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857070301104 139857585610651 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10925820 CPUtime=1.22 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) R 21547 21551 21492 0 -1 4202560 4785 12544 0 1 109 1 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857069266176 139857594241429 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 5 12544 0 1 0 0 9 3 20 0 20 0 10492555 11188039680 53937 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 6.54
Current children cumulated vsize (KiB) 10925820

Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 21551 sig 9
??? end of watcher thread
Dumping a history of the last processes samples

[startup+3.20145 s]
/proc/loadavg: 1.04 1.03 1.20 9/283 21700
/proc/meminfo: memFree=31440868/32770624 swapFree=5832/237120
[pid=21551] ppid=21547 vsize=10925820 CPUtime=6.85 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 45766 12544 1 1 654 19 9 3 20 0 20 0 10492531 11188039680 55802 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2731455 55802 3479 1 0 2719010 0
[pid=21551/tid=21663] ppid=21547 vsize=10925820 CPUtime=2.89 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) R 21547 21551 21492 0 -1 4202560 25586 12544 1 1 269 8 9 3 20 0 20 0 10492546 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857606457488 139857602235798 0 4 0 16800975 0 0 0 -1 12 0 0 20 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) S 21547 21551 21492 0 -1 1077944384 12 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857558776080 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) S 21547 21551 21492 0 -1 1077944384 42 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857207679376 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) S 21547 21551 21492 0 -1 1077944384 51 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857206626832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) S 21547 21551 21492 0 -1 1077944384 31 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857205574288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) S 21547 21551 21492 0 -1 1077944384 18 12544 0 1 0 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857204521744 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) S 21547 21551 21492 0 -1 1077944384 136 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857203469200 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 24 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10925820 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 14 12544 0 1 1 0 9 3 20 0 20 0 10492547 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10925820 CPUtime=0.14 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 2191 12544 0 1 2 0 9 3 20 0 20 0 10492549 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857076635632 139857602235010 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 55 12544 0 1 0 0 9 3 20 0 20 0 10492550 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857075581920 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10925820 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10925820 CPUtime=1.17 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) R 21547 21551 21492 0 -1 4202560 5824 12544 0 1 104 1 9 3 20 0 20 0 10492555 11188039680 55802 33554432000 4194304 4196468 140731690074448 139857072402816 139857585691941 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0

################
# More data... #
################

[pid=21551/tid=21671] ppid=21547 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 80 12544 0 1 1 0 9 3 20 0 20 0 10492547 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10927868 CPUtime=0.13 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 22 12544 0 1 1 0 9 3 20 0 20 0 10492547 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10927868 CPUtime=0.14 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 2226 12544 0 1 2 0 9 3 20 0 20 0 10492549 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857076635632 139857602235010 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 56 12544 0 1 0 0 9 3 20 0 20 0 10492550 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857075581920 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10927868 CPUtime=1.91 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 7713 12544 0 1 177 2 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857072425456 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10927868 CPUtime=1.62 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) S 21547 21551 21492 0 -1 1077944384 3994 12544 0 1 149 1 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857071372912 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10927868 CPUtime=1.65 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) S 21547 21551 21492 0 -1 1077944384 5136 12544 0 1 152 1 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857070320368 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10927868 CPUtime=1.65 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) S 21547 21551 21492 0 -1 1077944384 5540 12544 0 1 151 2 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857069267824 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10927868 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 5 12544 0 1 0 0 9 3 20 0 20 0 10492555 11190136832 78124 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 10.3
Current children cumulated vsize (KiB) 10927868

[startup+4.40075 s]
/proc/loadavg: 1.04 1.03 1.20 10/283 21700
/proc/meminfo: memFree=31160936/32770624 swapFree=5832/238036
[pid=21551] ppid=21547 vsize=10929916 CPUtime=11.61 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 55807 12544 1 1 1124 25 9 3 20 0 20 0 10492531 11192233984 79748 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2732479 79748 3490 1 0 2720034 0
[pid=21551/tid=21663] ppid=21547 vsize=10929916 CPUtime=4.04 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) R 21547 21551 21492 0 -1 4202560 26790 12544 1 1 382 10 9 3 20 0 20 0 10492546 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857606437744 139857238302585 0 4 0 16800975 0 0 0 -1 12 0 0 20 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10929916 CPUtime=0.16 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) S 21547 21551 21492 0 -1 1077944384 33 12544 0 1 3 1 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857558776080 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) S 21547 21551 21492 0 -1 1077944384 54 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857207679376 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) S 21547 21551 21492 0 -1 1077944384 68 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857206626832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) S 21547 21551 21492 0 -1 1077944384 48 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857205574288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) S 21547 21551 21492 0 -1 1077944384 34 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857204521744 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) S 21547 21551 21492 0 -1 1077944384 137 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857203469200 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 91 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10929916 CPUtime=0.15 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 28 12544 0 1 3 0 9 3 20 0 20 0 10492547 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10929916 CPUtime=0.16 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 2812 12544 0 1 4 0 9 3 20 0 20 0 10492549 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857076635632 139857602235010 0 0 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10929916 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 56 12544 0 1 0 0 9 3 20 0 20 0 10492550 11192233984 79748 33554432000 4194304 4196468 140731690074448 139857075581920 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10929916 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10929916 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10929916 CPUtime=2.06 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 7780 12544 0 1 192 2 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857072425456 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10929916 CPUtime=1.81 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) R 21547 21551 21492 0 -1 4202560 4340 12544 0 1 168 1 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857071359456 139857585436599 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10929916 CPUtime=1.83 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) S 21547 21551 21492 0 -1 1077944384 5196 12544 0 1 170 1 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857070320368 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10929916 CPUtime=1.9 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) S 21547 21551 21492 0 -1 1077944384 6188 12544 0 1 176 2 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857069267824 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10929916 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10929916 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 6 12544 0 1 0 0 9 3 20 0 20 0 10492555 11192233984 79752 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 11.61
Current children cumulated vsize (KiB) 10929916

[startup+4.80102 s]
/proc/loadavg: 1.04 1.03 1.20 10/283 21700
/proc/meminfo: memFree=31160936/32770624 swapFree=5832/238036
[pid=21551] ppid=21547 vsize=10995452 CPUtime=12.94 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 73879 12544 1 1 1254 28 9 3 20 0 20 0 10492531 11259342848 92196 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2748863 92196 3493 1 0 2736418 0
[pid=21551/tid=21663] ppid=21547 vsize=10995452 CPUtime=4.35 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) S 21547 21551 21492 0 -1 1077944384 39376 12544 1 1 411 12 9 3 20 0 20 0 10492546 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857606461408 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 20 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10995452 CPUtime=0.21 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) R 21547 21551 21492 0 -1 4202560 34 12544 0 1 8 1 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857558775888 139857594852071 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10995452 CPUtime=0.19 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) R 21547 21551 21492 0 -1 4202560 55 12544 0 1 7 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857207679496 139857594852071 0 4 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10995452 CPUtime=0.18 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) R 21547 21551 21492 0 -1 4202560 91 12544 0 1 6 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857206626952 139857587982680 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10995452 CPUtime=0.2 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) R 21547 21551 21492 0 -1 4202560 49 12544 0 1 8 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857205574488 139857586924499 0 4 0 16800975 0 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10995452 CPUtime=0.18 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) R 21547 21551 21492 0 -1 4202560 54 12544 0 1 6 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857204521864 139857594852071 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10995452 CPUtime=0.19 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) R 21547 21551 21492 0 -1 4202560 161 12544 0 1 7 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857203469320 139857594852071 0 4 0 16800975 0 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10995452 CPUtime=0.17 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) R 21547 21551 21492 0 -1 4202560 384 12544 0 1 5 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857202416776 139857594852071 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10995452 CPUtime=0.19 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) R 21547 21551 21492 0 -1 4202560 28 12544 0 1 7 0 9 3 20 0 20 0 10492547 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857201364232 139857594852071 0 4 0 16800975 0 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10995452 CPUtime=0.19 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) S 21547 21551 21492 0 -1 1077944384 2839 12544 0 1 7 0 9 3 20 0 20 0 10492549 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857076634256 139857602234069 0 0 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 56 12544 0 1 0 0 9 3 20 0 20 0 10492550 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857075581920 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10995452 CPUtime=2.16 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 8296 12544 0 1 202 2 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857072410448 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10995452 CPUtime=2.2 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) R 21547 21551 21492 0 -1 4202560 7255 12544 0 1 206 2 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857071358792 139857586612725 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10995452 CPUtime=1.95 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) S 21547 21551 21492 0 -1 1077944384 6052 12544 0 1 182 1 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857070305360 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10995452 CPUtime=1.99 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) S 21547 21551 21492 0 -1 1077944384 6964 12544 0 1 184 3 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857069262144 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 6 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 92196 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 12.94
Current children cumulated vsize (KiB) 10995452

[startup+4.90106 s]
/proc/loadavg: 1.04 1.03 1.20 10/283 21700
/proc/meminfo: memFree=31160936/32770624 swapFree=5832/238036
[pid=21551] ppid=21547 vsize=10995452 CPUtime=13.43 cores=4-7,12-15
/proc/21551/stat : 21551 (java) S 21547 21551 21492 0 -1 1077944320 74768 12544 1 1 1303 28 9 3 20 0 20 0 10492531 11259342848 93054 33554432000 4194304 4196468 140731690074448 140731690056992 139857602223863 0 0 0 16800975 18446744073709551615 0 0 17 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
/proc/21551/statm: 2748863 93054 3493 1 0 2736418 0
[pid=21551/tid=21663] ppid=21547 vsize=10995452 CPUtime=4.35 cores=4-7,12-15
/proc/21551/task/21663/stat : 21663 (java) S 21547 21551 21492 0 -1 1077944384 39377 12544 1 1 411 12 9 3 20 0 20 0 10492546 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857606461408 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 20 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21665] ppid=21547 vsize=10995452 CPUtime=0.26 cores=4-7,12-15
/proc/21551/task/21665/stat : 21665 (java) S 21547 21551 21492 0 -1 1077944384 42 12544 0 1 13 1 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857558776080 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21666] ppid=21547 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/21551/task/21666/stat : 21666 (java) S 21547 21551 21492 0 -1 1077944384 60 12544 0 1 12 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857207679376 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21667] ppid=21547 vsize=10995452 CPUtime=0.22 cores=4-7,12-15
/proc/21551/task/21667/stat : 21667 (java) S 21547 21551 21492 0 -1 1077944384 92 12544 0 1 10 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857206626832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21668] ppid=21547 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/21551/task/21668/stat : 21668 (java) S 21547 21551 21492 0 -1 1077944384 53 12544 0 1 12 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857205574288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21669] ppid=21547 vsize=10995452 CPUtime=0.23 cores=4-7,12-15
/proc/21551/task/21669/stat : 21669 (java) S 21547 21551 21492 0 -1 1077944384 57 12544 0 1 11 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857204521744 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21670] ppid=21547 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/21551/task/21670/stat : 21670 (java) S 21547 21551 21492 0 -1 1077944384 161 12544 0 1 12 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857203469200 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21671] ppid=21547 vsize=10995452 CPUtime=0.2 cores=4-7,12-15
/proc/21551/task/21671/stat : 21671 (java) S 21547 21551 21492 0 -1 1077944384 384 12544 0 1 8 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857202416656 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21672] ppid=21547 vsize=10995452 CPUtime=0.24 cores=4-7,12-15
/proc/21551/task/21672/stat : 21672 (java) S 21547 21551 21492 0 -1 1077944384 36 12544 0 1 12 0 9 3 20 0 20 0 10492547 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857201364112 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 12 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21681] ppid=21547 vsize=10995452 CPUtime=0.23 cores=4-7,12-15
/proc/21551/task/21681/stat : 21681 (java) R 21547 21551 21492 0 -1 4202560 2843 12544 0 1 11 0 9 3 20 0 20 0 10492549 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857076634032 139857587915563 0 0 0 16800975 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21684] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21684/stat : 21684 (java) S 21547 21551 21492 0 -1 1077944384 57 12544 0 1 0 0 9 3 20 0 20 0 10492550 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857075581296 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21686] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21686/stat : 21686 (java) S 21547 21551 21492 0 -1 1077944384 43 12544 0 1 0 0 9 3 20 0 20 0 10492550 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857074529280 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21694] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21694/stat : 21694 (java) S 21547 21551 21492 0 -1 1077944384 1 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857073477840 139857602242459 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21695] ppid=21547 vsize=10995452 CPUtime=2.16 cores=4-7,12-15
/proc/21551/task/21695/stat : 21695 (java) S 21547 21551 21492 0 -1 1077944384 8296 12544 0 1 202 2 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857072410288 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21696] ppid=21547 vsize=10995452 CPUtime=2.3 cores=4-7,12-15
/proc/21551/task/21696/stat : 21696 (java) R 21547 21551 21492 0 -1 4202560 8107 12544 0 1 216 2 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857071358936 139857602237745 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21697] ppid=21547 vsize=10995452 CPUtime=1.95 cores=4-7,12-15
/proc/21551/task/21697/stat : 21697 (java) S 21547 21551 21492 0 -1 1077944384 6054 12544 0 1 182 1 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857070306832 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21698] ppid=21547 vsize=10995452 CPUtime=1.99 cores=4-7,12-15
/proc/21551/task/21698/stat : 21698 (java) S 21547 21551 21492 0 -1 1077944384 6964 12544 0 1 184 3 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857069263696 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21699] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21699/stat : 21699 (java) S 21547 21551 21492 0 -1 1077944384 3 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857068214496 139857602234069 0 4 0 16800975 18446744071579849748 0 0 -1 14 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
[pid=21551/tid=21700] ppid=21547 vsize=10995452 CPUtime=0.12 cores=4-7,12-15
/proc/21551/task/21700/stat : 21700 (java) S 21547 21551 21492 0 -1 1077944384 6 12544 0 1 0 0 9 3 20 0 20 0 10492555 11259342848 93054 33554432000 4194304 4196468 140731690074448 139857067162032 139857602235010 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 7553024 140731690080961 140731690083735 140731690083735 140731690086351 0
Current children cumulated CPU time (s) 13.43
Current children cumulated vsize (KiB) 10995452

Child status: 0
Real time (s): 4.99788
CPU time (s): 13.6992
CPU user time (s): 13.3567
CPU system time (s): 0.342541
CPU usage (%): 274.101
Max. virtual memory (cumulated for all children) (KiB): 10995452

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13.3567
system time used= 0.342541
maximum resident set size= 373568
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 92945
page faults= 2
swaps= 0
block input operations= 5984
block output operations= 184
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 9337
involuntary context switches= 2385

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.048532 second user time and 0.050689 second system time

The end

Begin job on node144 at 2017-07-22 21:37:52
IDJOB=4248832
IDBENCH=134346
IDSOLVER=2630
FILE ID=node144/4248832-1500752272
RUNJOBID= node144-1500752272-21524
PBS_JOBID= 20624582
Free space on /tmp= 62012 MiB

SOLVER NAME= Concrete 3.4
BENCH NAME= XCSP17/RadarSurveillance/RadarSurveillance-m1-s8-24/RadarSurveillance-8-24-3-2-20.xml
COMMAND LINE= bin/concrete BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248832-1500752272/watcher-4248832-1500752272 -o /tmp/evaluation-result-4248832-1500752272/solver-4248832-1500752272 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node144-1500752272-21524 --watchdog 2560  bin/concrete HOME/instance-4248832-1500752272.xml

TIME LIMIT= 2400 seconds
MEMORY LIMIT= 15500 MiB
NBCORE= 8

MD5SUM BENCH= f214ebe96c5c3c8776c4f6e3a073efa7
RANDOM SEED=1820194257

node144.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017

/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 0
initial apicid	: 0
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 2
initial apicid	: 2
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 2
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 4
initial apicid	: 4
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 3
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 6
initial apicid	: 6
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 4
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 16
initial apicid	: 16
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 5
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2133.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 18
initial apicid	: 18
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 6
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 20
initial apicid	: 20
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 7
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 22
initial apicid	: 22
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 8
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 1
initial apicid	: 1
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 9
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 3
initial apicid	: 3
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 10
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 5
initial apicid	: 5
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 11
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 0
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 7
initial apicid	: 7
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5333.49
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 12
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 2000.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 0
cpu cores	: 4
apicid		: 17
initial apicid	: 17
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 13
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 1
cpu cores	: 4
apicid		: 19
initial apicid	: 19
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 14
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1733.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 2
cpu cores	: 4
apicid		: 21
initial apicid	: 21
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:

processor	: 15
vendor_id	: GenuineIntel
cpu family	: 6
model		: 26
model name	: Intel(R) Xeon(R) CPU           X5550  @ 2.67GHz
stepping	: 5
microcode	: 0x19
cpu MHz		: 1600.000
cache size	: 8192 KB
physical id	: 1
siblings	: 8
core id		: 3
cpu cores	: 4
apicid		: 23
initial apicid	: 23
fpu		: yes
fpu_exception	: yes
cpuid level	: 11
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips	: 5332.55
clflush size	: 64
cache_alignment	: 64
address sizes	: 40 bits physical, 48 bits virtual
power management:


/proc/meminfo:
MemTotal:       32770624 kB
MemFree:        31784968 kB
MemAvailable:   32003728 kB
Buffers:          146424 kB
Cached:           355892 kB
SwapCached:            0 kB
Active:           306608 kB
Inactive:         244664 kB
Active(anon):      52072 kB
Inactive(anon):     8712 kB
Active(file):     254536 kB
Inactive(file):   235952 kB
Unevictable:        5832 kB
Mlocked:            5832 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:             48436 kB
Writeback:             0 kB
AnonPages:         55356 kB
Mapped:            30664 kB
Shmem:              8844 kB
Slab:             121764 kB
SReclaimable:      88216 kB
SUnreclaim:        33548 kB
KernelStack:        4096 kB
PageTables:         4292 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:     308644 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:      4096 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      130432 kB
DirectMap2M:    33415168 kB

Free space on /tmp at the end= 61968 MiB
End job on node144 at 2017-07-22 21:37:57

Name	RadarSurveillance/RadarSurveillance-m1-s8-24/ RadarSurveillance-8-24-3-2-20.xml
MD5SUM	f214ebe96c5c3c8776c4f6e3a073efa7
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	UNSAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.12754899
Satisfiable
(Un)Satisfiability was proved
Number of variables	144
Number of constraints	64
Number of domains	1
Minimum domain size	4
Maximum domain size	4
Distribution of domain sizes	[{"size":4,"count":132}]
Minimum variable degree	0
Maximum variable degree	6
Distribution of variable degrees	[{"degree":0,"count":12},{"degree":1,"count":13},{"degree":2,"count":9},{"degree":3,"count":16},{"degree":4,"count":4},{"degree":5,"count":17},{"degree":6,"count":73}]
Minimum constraint arity	4
Maximum constraint arity	18
Distribution of constraint arities	[{"arity":4,"count":4},{"arity":5,"count":3},{"arity":6,"count":5},{"arity":7,"count":6},{"arity":8,"count":10},{"arity":9,"count":6},{"arity":10,"count":9},{"arity":11,"count":2},{"arity":12,"count":6},{"arity":13,"count":2},{"arity":14,"count":4},{"arity":15,"count":3},{"arity":16,"count":1},{"arity":18,"count":3}]
Number of extensional constraints	0
Number of intensional constraints	64
Distribution of constraint types	[{"type":"intension","count":64}]
Optimization problem	NO
Type of objective

Trace number 4248832

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data