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-4254187-1501613331/watcher-4254187-1501613331 -o /tmp/evaluation-result-4254187-1501613331/solver-4254187-1501613331 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501610539-18991 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 836774492 HOME/instance-4254187-1501613331.xml
pid=20458
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.94 1.84 1.62 2/198 20461
/proc/meminfo: memFree=31725748/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (runsolver) D 20458 20461 18930 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 60986578 24240128 106 18446744073709551615 4194304 4338465 140728532065264 140728532062904 139726459843287 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 6807552 140728532070492 140728532070981 140728532070981 140728532074442 0
/proc/20461/statm: 5918 106 53 36 0 2156 0
[startup+0.100157 s]
/proc/loadavg: 1.94 1.84 1.62 2/198 20461
/proc/meminfo: memFree=31725748/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200298 s]
/proc/loadavg: 1.94 1.84 1.62 2/198 20461
/proc/meminfo: memFree=31725748/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300316 s]
/proc/loadavg: 1.94 1.84 1.62 2/198 20461
/proc/meminfo: memFree=31725748/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70084 s]
/proc/loadavg: 1.94 1.84 1.62 2/198 20461
/proc/meminfo: memFree=31725748/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50072 s]
/proc/loadavg: 1.94 1.84 1.62 3/214 20477
/proc/meminfo: memFree=31670696/32770624 swapFree=0/206692
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=2.7 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 16630 0 0 0 264 6 0 0 20 0 15 0 60986586 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 17549 3179 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 8472 0 0 0 133 4 0 0 20 0 15 0 60986586 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885632983024 139885226483765 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 66 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=0.44 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 2191 0 0 0 44 0 0 0 20 0 15 0 60986591 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) R 20461 20461 18930 0 -1 4202560 2922 0 0 0 52 0 0 0 20 0 15 0 60986591 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885613872906 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.33 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 1660 0 0 0 33 0 0 0 20 0 15 0 60986591 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 60986595 14316269568 17549 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 2.7
Current children cumulated vsize (KiB) 13990244
[startup+3.10063 s]
/proc/loadavg: 1.95 1.84 1.62 3/214 20477
/proc/meminfo: memFree=31667348/32770624 swapFree=0/206692
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=5.04 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 17227 0 0 0 498 6 0 0 20 0 15 0 60986586 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 17730 3189 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 8567 0 0 0 292 4 0 0 20 0 15 0 60986586 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885632986824 139885226484625 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=0.77 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 2382 0 0 0 77 0 0 0 20 0 15 0 60986591 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=0.89 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 3046 0 0 0 89 0 0 0 20 0 15 0 60986591 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.38 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 1846 0 0 0 38 0 0 0 20 0 15 0 60986591 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 60986595 14316269568 17730 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 5.04
Current children cumulated vsize (KiB) 13990244
[startup+6.30074 s]
/proc/loadavg: 1.95 1.84 1.62 3/214 20477
/proc/meminfo: memFree=31666432/32770624 swapFree=0/206680
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=9.27 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 22811 0 0 0 920 7 0 0 20 0 15 0 60986586 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 20130 3196 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 10010 0 0 0 612 4 0 0 20 0 15 0 60986586 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885632983440 139885226484730 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 307 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=1.25 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) R 20461 20461 18930 0 -1 4202560 3897 0 0 0 124 1 0 0 20 0 15 0 60986591 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885613872896 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=1.37 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 4232 0 0 0 137 0 0 0 20 0 15 0 60986591 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.46 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 2750 0 0 0 46 0 0 0 20 0 15 0 60986591 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 315 0 0 0 0 0 0 0 20 0 15 0 60986595 14316269568 20130 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 9.27
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.95 1.85 1.63 2/196 20590
/proc/meminfo: memFree=31837944/32770624 swapFree=0/206736
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=16.37 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 26197 0 0 0 1629 8 0 0 20 0 15 0 60986586 14316269568 27510 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 27510 3198 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=12.55 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 10532 0 0 0 1251 4 0 0 20 0 15 0 60986586 14316269568 27510 18446744073709551615 4194304 4196468 140727551667984 139885632984144 139885226484013 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 27510 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 60986587 14316269568 27510 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
################
# More data... #
################
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=1.74 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 6950 0 0 0 173 1 0 0 20 0 15 0 60986591 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=1.76 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 7367 0 0 0 175 1 0 0 20 0 15 0 60986591 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 5608 0 0 0 51 1 0 0 20 0 15 0 60986591 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 605 0 0 0 0 1 0 0 20 0 15 0 60986595 14316269568 47188 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 106.3
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.90 1.84 1.65 3/214 20638
/proc/meminfo: memFree=31613940/32770624 swapFree=0/206888
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=166.36 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 40301 0 0 0 16621 15 0 0 20 0 15 0 60986586 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 42825 3224 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=162.08 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 13626 0 0 0 16203 5 0 0 20 0 15 0 60986586 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885632987072 139885227503466 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1829 0 0 0 2 1 0 0 20 0 15 0 60986587 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 583 0 0 0 2 1 0 0 20 0 15 0 60986587 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 427 0 0 0 2 1 0 0 20 0 15 0 60986587 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 235 0 0 0 2 0 0 0 20 0 15 0 60986587 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 1223 0 0 0 3 0 0 0 20 0 15 0 60986588 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=1.75 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 6989 0 0 0 174 1 0 0 20 0 15 0 60986591 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=1.78 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 7494 0 0 0 177 1 0 0 20 0 15 0 60986591 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.52 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 5923 0 0 0 51 1 0 0 20 0 15 0 60986591 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 627 0 0 0 1 2 0 0 20 0 15 0 60986595 14316269568 42825 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 166.36
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.96 1.87 1.68 3/215 20641
/proc/meminfo: memFree=31584000/32770624 swapFree=0/206932
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=226.63 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 42196 0 0 0 22646 17 0 0 20 0 15 0 60986586 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 40947 3225 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=222.04 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 14098 0 0 0 22199 5 0 0 20 0 15 0 60986586 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885632986960 139885226248105 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1863 0 0 0 4 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 839 0 0 0 3 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 465 0 0 0 3 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 257 0 0 0 4 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 1392 0 0 0 4 0 0 0 20 0 15 0 60986588 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=1.85 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 7360 0 0 0 184 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=1.86 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 7865 0 0 0 185 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 6062 0 0 0 52 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 650 0 0 0 1 3 0 0 20 0 15 0 60986595 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 226.63
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.97 1.87 1.68 3/215 20642
/proc/meminfo: memFree=31583696/32770624 swapFree=0/206940
[pid=20461] ppid=20458 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/20461/stat : 20461 (xcsp3-exec) S 20458 20461 18930 0 -1 4202496 510 0 0 0 0 0 0 0 20 0 1 0 60986578 9740288 345 18446744073709551615 4194304 5098028 140729392878848 140729392876952 140100655608444 0 65536 5 65538 18446744071579417331 0 0 17 5 0 0 7 0 0 7196144 7232144 39452672 140729392886171 140729392886374 140729392886374 140729392889835 0
/proc/20461/statm: 2378 345 289 221 0 87 0
[pid=20463] ppid=20461 vsize=13980732 CPUtime=244.34 cores=1,3,5,7
/proc/20463/stat : 20463 (java) S 20461 20461 18930 0 -1 1077944320 42222 0 0 0 24417 17 0 0 20 0 15 0 60986586 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 140727551650528 139885628747511 0 0 1 16800974 18446744073709551615 0 0 17 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
/proc/20463/statm: 3495183 40947 3225 1 0 3483484 0
[pid=20463/tid=20464] ppid=20461 vsize=13980732 CPUtime=239.71 cores=1,3,5,7
/proc/20463/task/20464/stat : 20464 (java) R 20461 20461 18930 0 -1 4202560 14123 0 0 0 23966 5 0 0 20 0 15 0 60986586 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885632987312 139885226484058 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20465] ppid=20461 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20463/task/20465/stat : 20465 (java) S 20461 20461 18930 0 -1 1077944384 1864 0 0 0 4 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885548161296 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20466] ppid=20461 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20463/task/20466/stat : 20466 (java) S 20461 20461 18930 0 -1 1077944384 839 0 0 0 4 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885547108752 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20467] ppid=20461 vsize=13980732 CPUtime=0.05 cores=1,3,5,7
/proc/20463/task/20467/stat : 20467 (java) S 20461 20461 18930 0 -1 1077944384 465 0 0 0 4 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885546056208 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20468] ppid=20461 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/20463/task/20468/stat : 20468 (java) S 20461 20461 18930 0 -1 1077944384 257 0 0 0 5 1 0 0 20 0 15 0 60986587 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885545003664 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20469] ppid=20461 vsize=13980732 CPUtime=0.06 cores=1,3,5,7
/proc/20463/task/20469/stat : 20469 (java) S 20461 20461 18930 0 -1 1077944384 1392 0 0 0 6 0 0 0 20 0 15 0 60986588 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885107313136 139885628758658 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20470] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20470/stat : 20470 (java) S 20461 20461 18930 0 -1 1077944384 58 0 0 0 0 0 0 0 20 0 15 0 60986588 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885106259360 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20471] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20471/stat : 20471 (java) S 20461 20461 18930 0 -1 1077944384 46 0 0 0 0 0 0 0 20 0 15 0 60986589 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885105206768 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20472] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20472/stat : 20472 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885104155344 139885628766107 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20473] ppid=20461 vsize=13980732 CPUtime=1.85 cores=1,3,5,7
/proc/20463/task/20473/stat : 20473 (java) S 20461 20461 18930 0 -1 1077944384 7360 0 0 0 184 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885103101936 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20474] ppid=20461 vsize=13980732 CPUtime=1.86 cores=1,3,5,7
/proc/20463/task/20474/stat : 20474 (java) S 20461 20461 18930 0 -1 1077944384 7865 0 0 0 185 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885102049392 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20475] ppid=20461 vsize=13980732 CPUtime=0.53 cores=1,3,5,7
/proc/20463/task/20475/stat : 20475 (java) S 20461 20461 18930 0 -1 1077944384 6062 0 0 0 52 1 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885100996848 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20476] ppid=20461 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/20463/task/20476/stat : 20476 (java) S 20461 20461 18930 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 60986591 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885099944544 139885628757717 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
[pid=20463/tid=20477] ppid=20461 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/20463/task/20477/stat : 20477 (java) S 20461 20461 18930 0 -1 1077944384 650 0 0 0 1 3 0 0 20 0 15 0 60986595 14316269568 40947 18446744073709551615 4194304 4196468 140727551667984 139885098892080 139885628758658 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 32727040 140727551672787 140727551672962 140727551672962 140727551676367 0
Current children cumulated CPU time (s) 244.34
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 20463 sig 9
??? kill 20461 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 20461 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=1867
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=123
# CPU time returned by wait4() is 0.00199
# while last known CPU time is 244.34
#
# Solver probably didn't/couldn't wait for its children
# Using CPU time of the last sample as value...
Real time (s): 240.01
CPU time (s): 244.34
CPU user time (s): 244.17
CPU system time (s): 0.17
CPU usage (%): 101.804
Max. virtual memory (cumulated for all children) (KiB): 13990244
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.001867
system time used= 0.000123
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 0.970291 second user time and 1.45845 second system time
The end