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-4254351-1501612513/watcher-4254351-1501612513 -o /tmp/evaluation-result-4254351-1501612513/solver-4254351-1501612513 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node129-1501611185-5152 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 1501774539 HOME/instance-4254351-1501612513.xml
pid=5611
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 264 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 294 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 240 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.89 1.54 0.81 3/196 5614
/proc/meminfo: memFree=31869340/32770624 swapFree=0/181468
[pid=5614] ppid=5611 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (runsolver) D 5611 5614 5091 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 9874352 24240128 108 18446744073709551615 4194304 4338465 140734471589104 140734471586744 139780346237655 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 9396224 140734471598173 140734471598662 140734471598662 140734471602122 0
/proc/5614/statm: 5918 108 54 36 0 2156 0
[startup+0.10009 s]
/proc/loadavg: 1.89 1.54 0.81 3/196 5614
/proc/meminfo: memFree=31869340/32770624 swapFree=0/181468
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200281 s]
/proc/loadavg: 1.89 1.54 0.81 3/196 5614
/proc/meminfo: memFree=31869340/32770624 swapFree=0/181468
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300631 s]
/proc/loadavg: 1.89 1.54 0.81 3/196 5614
/proc/meminfo: memFree=31869340/32770624 swapFree=0/181468
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700604 s]
/proc/loadavg: 1.89 1.54 0.81 3/196 5614
/proc/meminfo: memFree=31869340/32770624 swapFree=0/181468
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50058 s]
/proc/loadavg: 2.06 1.58 0.83 7/212 5630
/proc/meminfo: memFree=31727500/32770624 swapFree=0/181332
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=3.07 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 17353 0 0 0 301 6 0 0 20 0 15 0 9874361 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 36216 3188 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=1.35 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 9088 0 0 0 131 4 0 0 20 0 15 0 9874361 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139790131157840 139789732271886 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9874363 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=0.62 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) R 5614 5614 5091 0 -1 4202560 2350 0 0 0 62 0 0 0 20 0 15 0 9874366 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790111306150 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=0.58 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 2091 0 0 0 58 0 0 0 20 0 15 0 9874366 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.49 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 2504 0 0 0 48 1 0 0 20 0 15 0 9874366 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874371 14316269568 36216 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 3.07
Current children cumulated vsize (KiB) 13990244
[startup+3.10064 s]
/proc/loadavg: 2.06 1.58 0.83 5/212 5630
/proc/meminfo: memFree=31692496/32770624 swapFree=0/181332
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=5.69 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 20003 0 0 0 562 7 0 0 20 0 15 0 9874361 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 41386 3190 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=2.94 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 9479 0 0 0 290 4 0 0 20 0 15 0 9874361 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139790131158368 139789733334248 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 9874362 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 16 0 0 0 0 0 0 0 20 0 15 0 9874363 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=1.07 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 3078 0 0 0 106 1 0 0 20 0 15 0 9874366 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.06 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 3070 0 0 0 106 0 0 0 20 0 15 0 9874366 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.59 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 3049 0 0 0 58 1 0 0 20 0 15 0 9874366 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 10 0 0 0 0 0 0 0 20 0 15 0 9874371 14316269568 41386 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 5.69
Current children cumulated vsize (KiB) 13990244
[startup+6.3006 s]
/proc/loadavg: 2.06 1.58 0.83 3/212 5630
/proc/meminfo: memFree=31627392/32770624 swapFree=0/181332
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=9.33 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 25295 0 0 0 921 12 0 0 20 0 15 0 9874361 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 53009 3212 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=6.12 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 10239 0 0 0 608 4 0 0 20 0 15 0 9874361 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139790131157640 139789733334220 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 15 0 9874362 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 198 0 0 0 1 1 0 0 20 0 15 0 9874362 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 55 0 0 0 1 1 0 0 20 0 15 0 9874362 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 689 0 0 0 1 0 0 0 20 0 15 0 9874362 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 393 0 0 0 0 0 0 0 20 0 15 0 9874363 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=1.3 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 4429 0 0 0 129 1 0 0 20 0 15 0 9874366 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.14 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 3673 0 0 0 114 0 0 0 20 0 15 0 9874366 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.64 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 4104 0 0 0 63 1 0 0 20 0 15 0 9874366 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 84 0 0 0 0 0 0 0 20 0 15 0 9874371 14316269568 53009 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 9.33
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 2.13 1.61 0.85 3/212 5630
/proc/meminfo: memFree=31599508/32770624 swapFree=0/181344
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=16.5 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 33595 0 0 0 1637 13 0 0 20 0 15 0 9874361 14316269568 54023 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 54023 3223 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=12.52 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 10596 0 0 0 1248 4 0 0 20 0 15 0 9874361 14316269568 54023 18446744073709551615 4194304 4196468 140735076094000 139790131155312 139789732639663 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 86 0 0 0 1 1 0 0 20 0 15 0 9874362 14316269568 54023 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 198 0 0 0 1 1 0 0 20 0 15 0 9874362 14316269568 54023 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
################
# More data... #
################
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=2.11 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 13485 0 0 0 209 2 0 0 20 0 15 0 9874366 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 10506 0 0 0 177 1 0 0 20 0 15 0 9874366 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 5889 0 0 0 67 1 0 0 20 0 15 0 9874366 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 716 0 0 0 1 1 0 0 20 0 15 0 9874371 14316269568 59681 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 106.88
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.91 1.72 1.00 3/212 5635
/proc/meminfo: memFree=31525824/32770624 swapFree=0/181412
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=166.95 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 52943 0 0 0 16675 20 0 0 20 0 15 0 9874361 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 60278 3230 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=162.07 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 14025 0 0 0 16202 5 0 0 20 0 15 0 9874361 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139790131156272 139789734266925 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 192 0 0 0 3 1 0 0 20 0 15 0 9874362 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 1395 0 0 0 3 1 0 0 20 0 15 0 9874362 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 1261 0 0 0 3 1 0 0 20 0 15 0 9874362 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 881 0 0 0 3 1 0 0 20 0 15 0 9874362 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 963 0 0 0 0 0 0 0 20 0 15 0 9874363 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=2.12 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 13718 0 0 0 210 2 0 0 20 0 15 0 9874366 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 10698 0 0 0 177 1 0 0 20 0 15 0 9874366 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 7716 0 0 0 67 1 0 0 20 0 15 0 9874366 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 749 0 0 0 1 1 0 0 20 0 15 0 9874371 14316269568 60278 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 166.95
Current children cumulated vsize (KiB) 13990244
[startup+222.301 s]
/proc/loadavg: 2.03 1.79 1.07 3/212 5637
/proc/meminfo: memFree=31546836/32770624 swapFree=0/181428
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=227.03 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 55874 0 0 0 22682 21 0 0 20 0 15 0 9874361 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 60313 3230 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=222.05 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 14406 0 0 0 22200 5 0 0 20 0 15 0 9874361 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139790131155904 139789734267008 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 1075 0 0 0 4 2 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 1508 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 1303 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 991 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 1141 0 0 0 1 0 0 0 20 0 15 0 9874363 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 14536 0 0 0 213 2 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 10700 0 0 0 177 1 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 8112 0 0 0 67 1 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 757 0 0 0 2 2 0 0 20 0 15 0 9874371 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 227.03
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 2.02 1.80 1.09 5/211 5719
/proc/meminfo: memFree=31699272/32770624 swapFree=0/181472
[pid=5614] ppid=5611 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/5614/stat : 5614 (xcsp3-exec) S 5611 5614 5091 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 9874352 9740288 345 18446744073709551615 4194304 5098028 140723092883648 140723092881752 140344095085180 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 9 0 0 7196144 7232144 26365952 140723092890011 140723092890215 140723092890215 140723092893675 0
/proc/5614/statm: 2378 345 289 221 0 87 0
[pid=5616] ppid=5614 vsize=13980732 CPUtime=244.75 cores=1,3,5,7
/proc/5616/stat : 5616 (java) S 5614 5614 5091 0 -1 1077944320 56214 0 0 0 24453 22 0 0 20 0 15 0 9874361 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 140735076076544 139790126919415 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
/proc/5616/statm: 3495183 60313 3230 1 0 3483484 0
[pid=5616/tid=5617] ppid=5614 vsize=13980732 CPUtime=239.76 cores=1,3,5,7
/proc/5616/task/5617/stat : 5617 (java) R 5614 5614 5091 0 -1 4202560 14707 0 0 0 23971 5 0 0 20 0 15 0 9874361 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139790131155904 139789734267183 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5618] ppid=5614 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/5616/task/5618/stat : 5618 (java) S 5614 5614 5091 0 -1 1077944384 1075 0 0 0 4 2 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789726641296 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5619] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5619/stat : 5619 (java) S 5614 5614 5091 0 -1 1077944384 1508 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789725588496 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5620] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5620/stat : 5620 (java) S 5614 5614 5091 0 -1 1077944384 1303 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789724535696 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5621] ppid=5614 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/5616/task/5621/stat : 5621 (java) S 5614 5614 5091 0 -1 1077944384 991 0 0 0 4 1 0 0 20 0 15 0 9874362 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789723482896 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5622] ppid=5614 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/5616/task/5622/stat : 5622 (java) S 5614 5614 5091 0 -1 1077944384 1148 0 0 0 1 0 0 0 20 0 15 0 9874363 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789043714416 139790126930562 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5623] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5623/stat : 5623 (java) S 5614 5614 5091 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789042660384 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5624] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5624/stat : 5624 (java) S 5614 5614 5091 0 -1 1077944384 45 0 0 0 0 0 0 0 20 0 15 0 9874364 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789041607536 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5625] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5625/stat : 5625 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139789040555856 139790126938011 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5626] ppid=5614 vsize=13980732 CPUtime=2.15 cores=1,3,5,7
/proc/5616/task/5626/stat : 5626 (java) S 5614 5614 5091 0 -1 1077944384 14537 0 0 0 213 2 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788837448560 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5627] ppid=5614 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/5616/task/5627/stat : 5627 (java) S 5614 5614 5091 0 -1 1077944384 10703 0 0 0 177 1 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788836395760 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5628] ppid=5614 vsize=13980732 CPUtime=0.68 cores=1,3,5,7
/proc/5616/task/5628/stat : 5628 (java) S 5614 5614 5091 0 -1 1077944384 8117 0 0 0 67 1 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788835342960 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5629] ppid=5614 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/5616/task/5629/stat : 5629 (java) S 5614 5614 5091 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 9874366 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788834290400 139790126929621 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
[pid=5616/tid=5630] ppid=5614 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/5616/task/5630/stat : 5630 (java) S 5614 5614 5091 0 -1 1077944384 780 0 0 0 2 2 0 0 20 0 15 0 9874371 14316269568 60313 18446744073709551615 4194304 4196468 140735076094000 139788833237680 139790126930562 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 25346048 140735076098516 140735076098691 140735076098691 140735076102095 0
Current children cumulated CPU time (s) 244.75
Current children cumulated vsize (KiB) 13990244
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 5616 sig 9
??? kill 5614 sig 9
??? kill -5614 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
# WARNING:
# CPU time reported by wait4() is probably wrong !
# wait4(...,&childrusage) returns 5614 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1729
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=117
# CPU time returned by wait4() is 0.001846
# while last known CPU time is 244.75
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.016
CPU time (s): 244.75
CPU user time (s): 244.53
CPU system time (s): 0.22
CPU usage (%): 101.972
Max. virtual memory (cumulated for all children) (KiB): 13992248
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001729
system time used= 0.000117
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 510
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 3
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 1.13747 second user time and 1.26432 second system time
The end