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

Solver Name	Answer	CPU time	Wall clock time
R1: choco-solver 5a (2017-07-05)	SAT	114.112	17.2664

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-4248052-1500691570/watcher-4248052-1500691570 -o /tmp/evaluation-result-4248052-1500691570/solver-4248052-1500691570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560 ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 605323177 HOME/instance-4248052-1500691570.xml 

pid=28447
running on 8 cores: 1,3,5,7,9,11,13,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: 8.88 12.01 12.03 3/262 28450
/proc/meminfo: memFree=24139348/32770624 swapFree=5884/280592
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0

[startup+0.100162 s]
/proc/loadavg: 8.88 12.01 12.03 3/262 28450
/proc/meminfo: memFree=24139348/32770624 swapFree=5884/280592
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.200303 s]
/proc/loadavg: 8.88 12.01 12.03 3/262 28450
/proc/meminfo: memFree=24139348/32770624 swapFree=5884/280592
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.300357 s]
/proc/loadavg: 8.88 12.01 12.03 3/262 28450
/proc/meminfo: memFree=24139348/32770624 swapFree=5884/280592
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+0.700246 s]
/proc/loadavg: 8.88 12.01 12.03 3/262 28450
/proc/meminfo: memFree=24139348/32770624 swapFree=5884/280592
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512

[startup+1.50205 s]
/proc/loadavg: 8.88 12.01 12.03 4/283 28471
/proc/meminfo: memFree=23874236/32770624 swapFree=5884/280608
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
[pid=28451] ppid=28450 vsize=13269256 CPUtime=4.46 cores=1,3,5,7,9,11,13,15
/proc/28451/stat : 28451 (java) S 28450 28450 8571 0 -1 1077944320 14087 0 0 0 313 133 0 0 20 0 20 0 4424766 13587718144 101270 33554432000 4194304 4196468 140720926156480 140720926139024 140291204710135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
/proc/28451/statm: 3317314 101270 3228 1 0 3304547 0
[pid=28451/tid=28452] ppid=28450 vsize=13269256 CPUtime=1.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28452/stat : 28452 (java) R 28450 28450 8571 0 -1 4202560 6802 0 0 0 120 3 0 0 20 0 20 0 4424766 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291208945256 140291187173258 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28454] ppid=28450 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28454/stat : 28454 (java) S 28450 28450 8571 0 -1 1077944384 108 0 0 0 7 14 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291157330704 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28455] ppid=28450 vsize=13269256 CPUtime=0.21 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28455/stat : 28455 (java) S 28450 28450 8571 0 -1 1077944384 131 0 0 0 7 14 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291156278160 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28456] ppid=28450 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28456/stat : 28456 (java) S 28450 28450 8571 0 -1 1077944384 122 0 0 0 7 15 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291155225616 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28457] ppid=28450 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28457/stat : 28457 (java) S 28450 28450 8571 0 -1 1077944384 124 0 0 0 7 16 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291154173072 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28458] ppid=28450 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28458/stat : 28458 (java) S 28450 28450 8571 0 -1 1077944384 118 0 0 0 7 16 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291153119504 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28459] ppid=28450 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28459/stat : 28459 (java) S 28450 28450 8571 0 -1 1077944384 123 0 0 0 7 16 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291152066960 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28460] ppid=28450 vsize=13269256 CPUtime=0.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28460/stat : 28460 (java) S 28450 28450 8571 0 -1 1077944384 118 0 0 0 7 16 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291151014416 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28461] ppid=28450 vsize=13269256 CPUtime=0.22 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28461/stat : 28461 (java) S 28450 28450 8571 0 -1 1077944384 110 0 0 0 7 15 0 0 20 0 20 0 4424767 13587718144 101270 33554432000 4194304 4196468 140720926156480 140291149961872 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28462] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28462/stat : 28462 (java) S 28450 28450 8571 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290667006448 140291204721282 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28463] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28466] ppid=28450 vsize=13269256 CPUtime=0.24 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28466/stat : 28466 (java) S 28450 28450 8571 0 -1 1077944384 939 0 0 0 24 0 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290662795248 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28467] ppid=28450 vsize=13269256 CPUtime=0.32 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28467/stat : 28467 (java) S 28450 28450 8571 0 -1 1077944384 976 0 0 0 32 0 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290661742704 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28468] ppid=28450 vsize=13269256 CPUtime=0.36 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28468/stat : 28468 (java) S 28450 28450 8571 0 -1 1077944384 1405 0 0 0 36 0 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290660690160 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28469] ppid=28450 vsize=13269256 CPUtime=0.42 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28469/stat : 28469 (java) S 28450 28450 8571 0 -1 1077944384 1629 0 0 0 41 1 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290659637616 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28470] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28470/stat : 28470 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4424772 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290658585312 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28471] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28471/stat : 28471 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4424773 13587718144 101270 33554432000 4194304 4196468 140720926156480 140290657532848 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
Current children cumulated CPU time (s) 4.46
Current children cumulated vsize (KiB) 13278768

[startup+3.1022 s]
/proc/loadavg: 8.41 11.86 11.98 10/283 28471
/proc/meminfo: memFree=23369800/32770624 swapFree=5884/280608
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
[pid=28451] ppid=28450 vsize=13269256 CPUtime=11.83 cores=1,3,5,7,9,11,13,15
/proc/28451/stat : 28451 (java) S 28450 28450 8571 0 -1 1077944320 26318 0 0 0 841 342 0 0 20 0 20 0 4424766 13587718144 232981 33554432000 4194304 4196468 140720926156480 140720926139024 140291204710135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
/proc/28451/statm: 3317314 232981 3255 1 0 3304547 0
[pid=28451/tid=28452] ppid=28450 vsize=13269256 CPUtime=2.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28452/stat : 28452 (java) S 28450 28450 8571 0 -1 1077944384 6891 0 0 0 200 5 0 0 20 0 20 0 4424766 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291208948000 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28454] ppid=28450 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28454/stat : 28454 (java) R 28450 28450 8571 0 -1 4202560 1529 0 0 0 57 40 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291157330904 140291189737048 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28455] ppid=28450 vsize=13269256 CPUtime=0.97 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28455/stat : 28455 (java) R 28450 28450 8571 0 -1 4202560 1414 0 0 0 57 40 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291156278360 140291189737221 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28456] ppid=28450 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28456/stat : 28456 (java) R 28450 28450 8571 0 -1 4202560 1426 0 0 0 57 42 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291155225816 140291189732256 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28457] ppid=28450 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28457/stat : 28457 (java) R 28450 28450 8571 0 -1 4202560 1410 0 0 0 58 41 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291154173272 140291189737554 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28458] ppid=28450 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28458/stat : 28458 (java) R 28450 28450 8571 0 -1 4202560 1765 0 0 0 57 42 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291153119704 140291189738409 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28459] ppid=28450 vsize=13269256 CPUtime=0.98 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28459/stat : 28459 (java) R 28450 28450 8571 0 -1 4202560 1371 0 0 0 57 41 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291152067160 140291189733872 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28460] ppid=28450 vsize=13269256 CPUtime=0.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28460/stat : 28460 (java) R 28450 28450 8571 0 -1 4202560 1666 0 0 0 57 42 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291151014616 140291197814773 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28461] ppid=28450 vsize=13269256 CPUtime=0.96 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28461/stat : 28461 (java) R 28450 28450 8571 0 -1 4202560 1360 0 0 0 55 41 0 0 20 0 20 0 4424767 13587718144 232981 33554432000 4194304 4196468 140720926156480 140291149961760 140291197814773 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28462] ppid=28450 vsize=13269256 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28462/stat : 28462 (java) S 28450 28450 8571 0 -1 1077944384 625 0 0 0 1 0 0 0 20 0 20 0 4424769 13587718144 232981 33554432000 4194304 4196468 140720926156480 140290667004960 140291204720341 0 0 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28463] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 35 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 232981 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 22 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 232981 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4424772 13587718144 232981 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28466] ppid=28450 vsize=13269256 CPUtime=0.4 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28466/stat : 28466 (java) S 28450 28450 8571 0 -1 1077944384 1381 0 0 0 40 0 0 0 20 0 20 0 4424772 13587718144 232981 33554432000 4194304 4196468 140720926156480 140290662795248 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28467] ppid=28450 vsize=13269256 CPUtime=0.44 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28467/stat : 28467 (java) S 28450 28450 8571 0 -1 1077944384 993 0 0 0 44 0 0 0 20 0 20 0 4424772 13587718144 233493 33554432000 4194304 4196468 140720926156480 140290661742704 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28468] ppid=28450 vsize=13269256 CPUtime=0.51 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28468/stat : 28468 (java) S 28450 28450 8571 0 -1 1077944384 1431 0 0 0 51 0 0 0 20 0 20 0 4424772 13587718144 233493 33554432000 4194304 4196468 140720926156480 140290660690160 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28469] ppid=28450 vsize=13269256 CPUtime=0.45 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28469/stat : 28469 (java) S 28450 28450 8571 0 -1 1077944384 1757 0 0 0 44 1 0 0 20 0 20 0 4424772 13587718144 233493 33554432000 4194304 4196468 140720926156480 140290659637616 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28470] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28470/stat : 28470 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4424772 13587718144 233493 33554432000 4194304 4196468 140720926156480 140290658585312 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28471] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28471/stat : 28471 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 20 0 4424773 13587718144 233493 33554432000 4194304 4196468 140720926156480 140290657532848 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
Current children cumulated CPU time (s) 11.83
Current children cumulated vsize (KiB) 13278768

[startup+6.30133 s]
/proc/loadavg: 8.41 11.86 11.98 10/283 28471
/proc/meminfo: memFree=22593432/32770624 swapFree=5884/280608
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
[pid=28451] ppid=28450 vsize=13269256 CPUtime=27.45 cores=1,3,5,7,9,11,13,15
/proc/28451/stat : 28451 (java) S 28450 28450 8571 0 -1 1077944320 42139 0 0 0 2134 611 0 0 20 0 20 0 4424766 13587718144 395002 33554432000 4194304 4196468 140720926156480 140720926139024 140291204710135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
/proc/28451/statm: 3317314 395002 3269 1 0 3304547 0
[pid=28451/tid=28452] ppid=28450 vsize=13269256 CPUtime=3.54 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28452/stat : 28452 (java) R 28450 28450 8571 0 -1 4202560 7708 0 0 0 347 7 0 0 20 0 20 0 4424766 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291208946216 140290832510045 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28454] ppid=28450 vsize=13269256 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28454/stat : 28454 (java) S 28450 28450 8571 0 -1 1077944384 2325 0 0 0 189 75 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291157330704 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28455] ppid=28450 vsize=13269256 CPUtime=2.64 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28455/stat : 28455 (java) S 28450 28450 8571 0 -1 1077944384 1897 0 0 0 190 74 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291156278160 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28456] ppid=28450 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28456/stat : 28456 (java) S 28450 28450 8571 0 -1 1077944384 1771 0 0 0 191 74 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291155225616 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28457] ppid=28450 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28457/stat : 28457 (java) S 28450 28450 8571 0 -1 1077944384 1881 0 0 0 191 74 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291154173072 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28458] ppid=28450 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28458/stat : 28458 (java) S 28450 28450 8571 0 -1 1077944384 2364 0 0 0 190 75 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291153119504 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28459] ppid=28450 vsize=13269256 CPUtime=2.59 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28459/stat : 28459 (java) S 28450 28450 8571 0 -1 1077944384 1672 0 0 0 186 73 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291152066960 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28460] ppid=28450 vsize=13269256 CPUtime=2.65 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28460/stat : 28460 (java) S 28450 28450 8571 0 -1 1077944384 2130 0 0 0 189 76 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291151014416 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28461] ppid=28450 vsize=13269256 CPUtime=2.6 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28461/stat : 28461 (java) S 28450 28450 8571 0 -1 1077944384 2155 0 0 0 187 73 0 0 20 0 20 0 4424767 13587718144 395002 33554432000 4194304 4196468 140720926156480 140291149961872 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28462] ppid=28450 vsize=13269256 CPUtime=0.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28462/stat : 28462 (java) S 28450 28450 8571 0 -1 1077944384 4585 0 0 0 4 0 0 0 20 0 20 0 4424769 13587718144 395002 33554432000 4194304 4196468 140720926156480 140290667006448 140291204721282 0 0 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28463] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 39 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 395002 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 44 0 0 0 0 0 0 0 20 0 20 0 4424769 13587718144 395002 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13269256 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 20 0 4424772 13587718144 395002 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0

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

/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28466] ppid=28450 vsize=13801768 CPUtime=1.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28466/stat : 28466 (java) R 28450 28450 8571 0 -1 4202560 4814 0 0 0 103 1 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290662795544 140291190733905 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28467] ppid=28450 vsize=13801768 CPUtime=0.94 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28467/stat : 28467 (java) S 28450 28450 8571 0 -1 1077944384 4121 0 0 0 94 0 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290661742704 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28468] ppid=28450 vsize=13801768 CPUtime=1.19 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28468/stat : 28468 (java) S 28450 28450 8571 0 -1 1077944384 5101 0 0 0 119 0 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290660690160 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28469] ppid=28450 vsize=13801768 CPUtime=0.54 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28469/stat : 28469 (java) S 28450 28450 8571 0 -1 1077944384 2303 0 0 0 53 1 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290659637616 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28470] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28470/stat : 28470 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290658585312 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28471] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28471/stat : 28471 (java) S 28450 28450 8571 0 -1 1077944384 742 0 0 0 0 0 0 0 20 0 28 0 4424773 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290657532848 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28472] ppid=28450 vsize=13801768 CPUtime=9.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28472/stat : 28472 (java) R 28450 28450 8571 0 -1 4202560 683 0 0 0 905 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290649520232 140290832132723 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28473] ppid=28450 vsize=13801768 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28473/stat : 28473 (java) R 28450 28450 8571 0 -1 4202560 1711 0 0 0 907 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290648464720 140290834720634 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28474] ppid=28450 vsize=13801768 CPUtime=8.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28474/stat : 28474 (java) R 28450 28450 8571 0 -1 4202560 228 0 0 0 899 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290647411784 140290829670424 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28475] ppid=28450 vsize=13801768 CPUtime=9.07 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28475/stat : 28475 (java) R 28450 28450 8571 0 -1 4202560 7678 0 0 0 906 1 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290646362600 140290834721171 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28476] ppid=28450 vsize=13801768 CPUtime=9.22 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28476/stat : 28476 (java) R 28450 28450 8571 0 -1 4202560 919 0 0 0 922 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290645308680 140290833049048 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28477] ppid=28450 vsize=13801768 CPUtime=9.23 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28477/stat : 28477 (java) R 28450 28450 8571 0 -1 4202560 279 0 0 0 923 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290644257248 140290834842578 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28478] ppid=28450 vsize=13801768 CPUtime=8.96 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28478/stat : 28478 (java) R 28450 28450 8571 0 -1 4202560 504 0 0 0 896 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290643203560 140290834721054 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28479] ppid=28450 vsize=13801768 CPUtime=9.18 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28479/stat : 28479 (java) R 28450 28450 8571 0 -1 4202560 871 0 0 0 918 0 0 0 20 0 28 0 4425399 14133010432 505898 33554432000 4194304 4196468 140720926156480 140290642152296 140290834842449 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
Current children cumulated CPU time (s) 104.48
Current children cumulated vsize (KiB) 13811280

[startup+16.8013 s]
/proc/loadavg: 7.99 11.59 11.89 10/291 28479
/proc/meminfo: memFree=21438612/32770624 swapFree=5884/280632
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
[pid=28451] ppid=28450 vsize=13801768 CPUtime=110.81 cores=1,3,5,7,9,11,13,15
/proc/28451/stat : 28451 (java) S 28450 28450 8571 0 -1 1077944320 72779 0 0 0 10255 826 0 0 20 0 28 0 4424766 14133010432 506058 33554432000 4194304 4196468 140720926156480 140720926139024 140291204710135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
/proc/28451/statm: 3450442 506058 3275 1 0 3437675 0
[pid=28451/tid=28452] ppid=28450 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28452/stat : 28452 (java) S 28450 28450 8571 0 -1 1077944384 7920 0 0 0 351 7 0 0 20 0 28 0 4424766 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291208950912 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28454] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28454/stat : 28454 (java) S 28450 28450 8571 0 -1 1077944384 2670 0 0 0 201 103 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291157330704 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28455] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28455/stat : 28455 (java) S 28450 28450 8571 0 -1 1077944384 2264 0 0 0 202 102 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291156278160 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28456] ppid=28450 vsize=13801768 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28456/stat : 28456 (java) S 28450 28450 8571 0 -1 1077944384 2028 0 0 0 203 99 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291155225616 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28457] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28457/stat : 28457 (java) S 28450 28450 8571 0 -1 1077944384 2564 0 0 0 203 101 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291154173072 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28458] ppid=28450 vsize=13801768 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28458/stat : 28458 (java) S 28450 28450 8571 0 -1 1077944384 2823 0 0 0 205 100 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291153119504 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28459] ppid=28450 vsize=13801768 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28459/stat : 28459 (java) S 28450 28450 8571 0 -1 1077944384 1969 0 0 0 198 100 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291152066960 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28460] ppid=28450 vsize=13801768 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28460/stat : 28460 (java) S 28450 28450 8571 0 -1 1077944384 2362 0 0 0 200 100 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291151014416 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28461] ppid=28450 vsize=13801768 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28461/stat : 28461 (java) S 28450 28450 8571 0 -1 1077944384 3415 0 0 0 199 100 0 0 20 0 28 0 4424767 14133010432 506058 33554432000 4194304 4196468 140720926156480 140291149961872 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28462] ppid=28450 vsize=13801768 CPUtime=0.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28462/stat : 28462 (java) S 28450 28450 8571 0 -1 1077944384 4947 0 0 0 4 1 0 0 20 0 28 0 4424769 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290667006448 140291204721282 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28463] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28466] ppid=28450 vsize=13801768 CPUtime=1.27 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28466/stat : 28466 (java) R 28450 28450 8571 0 -1 4202560 5158 0 0 0 126 1 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290662776816 140291188241659 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28467] ppid=28450 vsize=13801768 CPUtime=1.13 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28467/stat : 28467 (java) R 28450 28450 8571 0 -1 4202560 4949 0 0 0 113 0 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290661732464 140291189619039 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28468] ppid=28450 vsize=13801768 CPUtime=1.46 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28468/stat : 28468 (java) R 28450 28450 8571 0 -1 4202560 5892 0 0 0 146 0 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290660680352 140291182304887 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28469] ppid=28450 vsize=13801768 CPUtime=0.58 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28469/stat : 28469 (java) S 28450 28450 8571 0 -1 1077944384 2447 0 0 0 57 1 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290659637616 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28470] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28470/stat : 28470 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290658585312 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28471] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28471/stat : 28471 (java) S 28450 28450 8571 0 -1 1077944384 742 0 0 0 0 0 0 0 20 0 28 0 4424773 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290657532848 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28472] ppid=28450 vsize=13801768 CPUtime=9.74 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28472/stat : 28472 (java) R 28450 28450 8571 0 -1 4202560 705 0 0 0 974 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290649517048 140290834963384 0 4 0 16800975 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28473] ppid=28450 vsize=13801768 CPUtime=9.78 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28473/stat : 28473 (java) R 28450 28450 8571 0 -1 4202560 2306 0 0 0 978 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290648468088 140290834963331 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28474] ppid=28450 vsize=13801768 CPUtime=9.65 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28474/stat : 28474 (java) R 28450 28450 8571 0 -1 4202560 238 0 0 0 965 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290647411944 140290834963397 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28475] ppid=28450 vsize=13801768 CPUtime=9.76 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28475/stat : 28475 (java) R 28450 28450 8571 0 -1 4202560 12515 0 0 0 975 1 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290646360392 140290834984060 0 4 0 16800975 0 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28476] ppid=28450 vsize=13801768 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28476/stat : 28476 (java) R 28450 28450 8571 0 -1 4202560 980 0 0 0 988 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290645307376 140290834963450 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28477] ppid=28450 vsize=13801768 CPUtime=9.98 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28477/stat : 28477 (java) R 28450 28450 8571 0 -1 4202560 690 0 0 0 998 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290644257176 140290834963341 0 4 0 16800975 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28478] ppid=28450 vsize=13801768 CPUtime=9.7 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28478/stat : 28478 (java) R 28450 28450 8571 0 -1 4202560 520 0 0 0 970 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290643202440 140290834963170 0 4 0 16800975 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28479] ppid=28450 vsize=13801768 CPUtime=9.88 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28479/stat : 28479 (java) R 28450 28450 8571 0 -1 4202560 1318 0 0 0 988 0 0 0 20 0 28 0 4425399 14133010432 506058 33554432000 4194304 4196468 140720926156480 140290642149000 140290834963397 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
Current children cumulated CPU time (s) 110.81
Current children cumulated vsize (KiB) 13811280

[startup+17.2015 s]
/proc/loadavg: 7.99 11.59 11.89 10/291 28479
/proc/meminfo: memFree=21438612/32770624 swapFree=5884/280632
[pid=28450] ppid=28447 vsize=9512 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28450/stat : 28450 (xcsp3-exec) S 28447 28450 8571 0 -1 4202496 518 0 0 0 0 0 0 0 20 0 1 0 4424765 9740288 346 33554432000 4194304 5098028 140729507759136 140729507757240 140375015174780 0 65536 4100 65538 18446744071579417331 0 0 17 9 0 0 0 0 0 7196144 7232144 10387456 140729507767439 140729507767648 140729507767648 140729507770347 0
/proc/28450/statm: 2378 346 289 221 0 87 0
[pid=28451] ppid=28450 vsize=13801768 CPUtime=113.91 cores=1,3,5,7,9,11,13,15
/proc/28451/stat : 28451 (java) S 28450 28450 8571 0 -1 1077944320 74521 0 0 0 10564 827 0 0 20 0 28 0 4424766 14133010432 506165 33554432000 4194304 4196468 140720926156480 140720926139024 140291204710135 0 0 0 16800975 18446744073709551615 0 0 17 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
/proc/28451/statm: 3450442 506165 3275 1 0 3437675 0
[pid=28451/tid=28452] ppid=28450 vsize=13801768 CPUtime=3.58 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28452/stat : 28452 (java) S 28450 28450 8571 0 -1 1077944384 7920 0 0 0 351 7 0 0 20 0 28 0 4424766 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291208950912 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28454] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28454/stat : 28454 (java) S 28450 28450 8571 0 -1 1077944384 2670 0 0 0 201 103 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291157330704 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28455] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28455/stat : 28455 (java) S 28450 28450 8571 0 -1 1077944384 2264 0 0 0 202 102 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291156278160 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28456] ppid=28450 vsize=13801768 CPUtime=3.02 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28456/stat : 28456 (java) S 28450 28450 8571 0 -1 1077944384 2028 0 0 0 203 99 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291155225616 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28457] ppid=28450 vsize=13801768 CPUtime=3.04 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28457/stat : 28457 (java) S 28450 28450 8571 0 -1 1077944384 2564 0 0 0 203 101 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291154173072 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28458] ppid=28450 vsize=13801768 CPUtime=3.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28458/stat : 28458 (java) S 28450 28450 8571 0 -1 1077944384 2823 0 0 0 205 100 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291153119504 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28459] ppid=28450 vsize=13801768 CPUtime=2.98 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28459/stat : 28459 (java) S 28450 28450 8571 0 -1 1077944384 1969 0 0 0 198 100 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291152066960 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28460] ppid=28450 vsize=13801768 CPUtime=3 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28460/stat : 28460 (java) S 28450 28450 8571 0 -1 1077944384 2362 0 0 0 200 100 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291151014416 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28461] ppid=28450 vsize=13801768 CPUtime=2.99 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28461/stat : 28461 (java) S 28450 28450 8571 0 -1 1077944384 3415 0 0 0 199 100 0 0 20 0 28 0 4424767 14133010432 506165 33554432000 4194304 4196468 140720926156480 140291149961872 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28462] ppid=28450 vsize=13801768 CPUtime=0.06 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28462/stat : 28462 (java) S 28450 28450 8571 0 -1 1077944384 4947 0 0 0 5 1 0 0 20 0 28 0 4424769 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290667006448 140291204721282 0 0 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28463] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28463/stat : 28463 (java) S 28450 28450 8571 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290665952736 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28464] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28464/stat : 28464 (java) S 28450 28450 8571 0 -1 1077944384 73 0 0 0 0 0 0 0 20 0 28 0 4424769 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290664900096 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28465] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28465/stat : 28465 (java) S 28450 28450 8571 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290663848656 140291204728731 0 4 0 16800975 18446744071579849748 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28466] ppid=28450 vsize=13801768 CPUtime=1.56 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28466/stat : 28466 (java) R 28450 28450 8571 0 -1 4202560 5490 0 0 0 155 1 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290662782232 140291183948544 0 4 0 16800975 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28467] ppid=28450 vsize=13801768 CPUtime=1.4 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28467/stat : 28467 (java) R 28450 28450 8571 0 -1 4202560 5277 0 0 0 140 0 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290661728768 140291186230178 0 4 0 16800975 0 0 0 -1 9 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28468] ppid=28450 vsize=13801768 CPUtime=1.68 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28468/stat : 28468 (java) R 28450 28450 8571 0 -1 4202560 5963 0 0 0 168 0 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290660675936 140291183112144 0 4 0 16800975 0 0 0 -1 11 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28469] ppid=28450 vsize=13801768 CPUtime=0.62 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28469/stat : 28469 (java) S 28450 28450 8571 0 -1 1077944384 2608 0 0 0 61 1 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290659637616 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28470] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28470/stat : 28470 (java) S 28450 28450 8571 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 28 0 4424772 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290658585312 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28471] ppid=28450 vsize=13801768 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28471/stat : 28471 (java) S 28450 28450 8571 0 -1 1077944384 742 0 0 0 0 0 0 0 20 0 28 0 4424773 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290657532848 140291204721282 0 4 0 16800975 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28472] ppid=28450 vsize=13801768 CPUtime=10.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28472/stat : 28472 (java) S 28450 28450 8571 0 -1 1077944384 711 0 0 0 1005 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290649522352 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28473] ppid=28450 vsize=13801768 CPUtime=10.05 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28473/stat : 28473 (java) S 28450 28450 8571 0 -1 1077944384 2316 0 0 0 1005 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290648471120 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28474] ppid=28450 vsize=13801768 CPUtime=9.97 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28474/stat : 28474 (java) S 28450 28450 8571 0 -1 1077944384 246 0 0 0 997 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290647417552 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 15 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28475] ppid=28450 vsize=13801768 CPUtime=10.1 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28475/stat : 28475 (java) S 28450 28450 8571 0 -1 1077944384 13202 0 0 0 1008 2 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290646365008 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28476] ppid=28450 vsize=13801768 CPUtime=10.18 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28476/stat : 28476 (java) R 28450 28450 8571 0 -1 4202560 980 0 0 0 1018 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290645309272 140290835402989 0 4 0 16800975 0 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28477] ppid=28450 vsize=13801768 CPUtime=10.2 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28477/stat : 28477 (java) S 28450 28450 8571 0 -1 1077944384 690 0 0 0 1020 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290644259920 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28478] ppid=28450 vsize=13801768 CPUtime=9.94 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28478/stat : 28478 (java) S 28450 28450 8571 0 -1 1077944384 522 0 0 0 994 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290643207376 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 13 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
[pid=28451/tid=28479] ppid=28450 vsize=13801768 CPUtime=10.16 cores=1,3,5,7,9,11,13,15
/proc/28451/task/28479/stat : 28479 (java) S 28450 28450 8571 0 -1 1077944384 1455 0 0 0 1016 0 0 0 20 0 28 0 4425399 14133010432 506165 33554432000 4194304 4196468 140720926156480 140290642154832 140291204720341 0 4 0 16800975 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 24428544 140720926160060 140720926160236 140720926160236 140720926162895 0
Current children cumulated CPU time (s) 113.91
Current children cumulated vsize (KiB) 13811280

Child status: 0
Real time (s): 17.2664
CPU time (s): 114.112
CPU user time (s): 105.823
CPU system time (s): 8.28924
CPU usage (%): 660.893
Max. virtual memory (cumulated for all children) (KiB): 13811280

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 105.823
system time used= 8.28923
maximum resident set size= 2024696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 75358
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 5747
involuntary context switches= 7117

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.200712 second user time and 0.220047 second system time

The end

Begin job on node126 at 2017-07-22 04:46:10
IDJOB=4248052
IDBENCH=131533
IDSOLVER=2626
FILE ID=node126/4248052-1500691570
RUNJOBID= node126-1500683384-8603
PBS_JOBID= 20623339
Free space on /tmp= 61976 MiB

SOLVER NAME= choco-solver 5a
BENCH NAME= XCSP17/Subisomorphism/Subisomorphism-m1-si6-bvg/Subisomorphism-si6-b03-m800-07.xml
COMMAND LINE= ./xcsp3-exec -dir DIR -tl TIMEOUT -p NBCORE -ml 10000 -tdir TMPDIR -seed RANDOMSEED BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4248052-1500691570/watcher-4248052-1500691570 -o /tmp/evaluation-result-4248052-1500691570/solver-4248052-1500691570 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node126-1500683384-8603 --watchdog 2560  ./xcsp3-exec -dir HOME -tl 2400 -p 8 -ml 10000 -tdir HOME -seed 605323177 HOME/instance-4248052-1500691570.xml

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

MD5SUM BENCH= 98d2d58aab7f5f40944baaa5254cf1ac
RANDOM SEED=605323177

node126.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.50
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		: 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	: 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		: 2668.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.50
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		: 1733.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	: 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	: 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.50
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		: 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	: 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	: 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.50
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		: 2667.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.50
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		: 2533.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	: 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		: 2668.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.50
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	: 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	: 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		: 2267.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.50
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		: 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	: 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		: 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.50
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:        24139416 kB
MemAvailable:   24296480 kB
Buffers:          112148 kB
Cached:           327744 kB
SwapCached:            0 kB
Active:          7903528 kB
Inactive:         289248 kB
Active(anon):    7755756 kB
Inactive(anon):     8656 kB
Active(file):     147772 kB
Inactive(file):   280592 kB
Unevictable:        5884 kB
Mlocked:            5884 kB
SwapTotal:      67108860 kB
SwapFree:       67108860 kB
Dirty:              8004 kB
Writeback:             0 kB
AnonPages:       7774668 kB
Mapped:            42504 kB
Shmem:              8840 kB
Slab:             122708 kB
SReclaimable:      89068 kB
SUnreclaim:        33640 kB
KernelStack:        4896 kB
PageTables:        20384 kB
NFS_Unstable:          0 kB
Bounce:                0 kB
WritebackTmp:          0 kB
CommitLimit:    83494172 kB
Committed_AS:    9167944 kB
VmallocTotal:   34359738367 kB
VmallocUsed:      350232 kB
VmallocChunk:   34341910524 kB
HardwareCorrupted:     0 kB
AnonHugePages:   7544832 kB
HugePages_Total:       0
HugePages_Free:        0
HugePages_Rsvd:        0
HugePages_Surp:        0
Hugepagesize:       2048 kB
DirectMap4k:      134528 kB
DirectMap2M:    33411072 kB

Free space on /tmp at the end= 61968 MiB
End job on node126 at 2017-07-22 04:46:27

Name	Subisomorphism/Subisomorphism-m1-si6-bvg/ Subisomorphism-si6-b03-m800-07.xml
MD5SUM	98d2d58aab7f5f40944baaa5254cf1ac
Bench Category	CSP (decision problem)
Best result obtained on this benchmark	SAT
Best value of the objective obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark	0.61332101
Satisfiable
(Un)Satisfiability was proved
Number of variables	480
Number of constraints	718
Number of domains	1
Minimum domain size	800
Maximum domain size	800
Distribution of domain sizes	[{"size":800,"count":480}]
Minimum variable degree	2
Maximum variable degree	4
Distribution of variable degrees	[{"degree":2,"count":2},{"degree":3,"count":2},{"degree":4,"count":476}]
Minimum constraint arity	2
Maximum constraint arity	480
Distribution of constraint arities	[{"arity":2,"count":717},{"arity":480,"count":1}]
Number of extensional constraints	717
Number of intensional constraints	0
Distribution of constraint types	[{"type":"extension","count":717},{"type":"allDifferent","count":1}]
Optimization problem	NO
Type of objective

Trace number 4248052

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data