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-4254299-1501980036/watcher-4254299-1501980036 -o /tmp/evaluation-result-4254299-1501980036/solver-4254299-1501980036 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node132-1501978181-12403 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 330119386 HOME/instance-4254299-1501980036.xml
pid=13376
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.85 1.90 1.89 4/198 13379
/proc/meminfo: memFree=31427880/32770624 swapFree=0/316024
[pid=13379] ppid=13376 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (runsolver) D 13376 13379 12039 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 97656852 24240128 108 18446744073709551615 4194304 4338465 140725682254160 140725682251800 140390522163927 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 11280384 140725682258019 140725682258508 140725682258508 140725682261962 0
/proc/13379/statm: 5918 108 54 36 0 2156 0
[startup+0.100137 s]
/proc/loadavg: 1.85 1.90 1.89 4/198 13379
/proc/meminfo: memFree=31427880/32770624 swapFree=0/316024
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.201498 s]
/proc/loadavg: 1.85 1.90 1.89 4/198 13379
/proc/meminfo: memFree=31427880/32770624 swapFree=0/316024
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300242 s]
/proc/loadavg: 1.85 1.90 1.89 4/198 13379
/proc/meminfo: memFree=31427880/32770624 swapFree=0/316024
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.70159 s]
/proc/loadavg: 1.85 1.90 1.89 4/198 13379
/proc/meminfo: memFree=31427880/32770624 swapFree=0/316024
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/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.85 1.90 1.89 5/214 13395
/proc/meminfo: memFree=31351580/32770624 swapFree=0/316060
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13984392 CPUtime=3.81 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 29276 0 0 0 374 7 0 0 20 0 15 0 97656860 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3496098 30428 3188 1 0 3484391 0
[pid=13381/tid=13382] ppid=13379 vsize=13984392 CPUtime=1.36 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 9429 0 0 0 132 4 0 0 20 0 15 0 97656860 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140416557667712 140416188007251 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97656861 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 97656862 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97656863 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415535908512 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97656863 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415534855408 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13984392 CPUtime=0.94 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) R 13379 13379 12039 0 -1 4202560 8470 0 0 0 94 0 0 0 20 0 15 0 97656865 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415532735752 140416536817760 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13984392 CPUtime=0.92 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) R 13379 13379 12039 0 -1 4202560 7365 0 0 0 91 1 0 0 20 0 15 0 97656865 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415531682888 140416534950869 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13984392 CPUtime=0.54 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) R 13379 13379 12039 0 -1 1077944384 2694 0 0 0 54 0 0 0 20 0 15 0 97656865 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13984392 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656869 14320017408 30428 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 3.81
Current children cumulated vsize (KiB) 13993904
[startup+3.10073 s]
/proc/loadavg: 1.94 1.92 1.90 5/214 13395
/proc/meminfo: memFree=31308612/32770624 swapFree=0/316060
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=8.7 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 36638 0 0 0 861 9 0 0 20 0 15 0 97656860 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 34556 3200 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=2.96 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 9907 0 0 0 292 4 0 0 20 0 15 0 97656860 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140416557669200 140416195717970 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 50 0 0 0 0 0 0 0 20 0 15 0 97656862 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415535908512 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415534855408 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=2.55 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) R 13379 13379 12039 0 -1 4202560 10981 0 0 0 254 1 0 0 20 0 15 0 97656865 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415532739440 140416537336713 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=2.52 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) R 13379 13379 12039 0 -1 4202560 11080 0 0 0 251 1 0 0 20 0 15 0 97656865 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415531691032 140416538352557 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.63 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 3301 0 0 0 63 0 0 0 20 0 15 0 97656865 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 19 0 0 0 0 0 0 0 20 0 15 0 97656869 14316269568 34556 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 8.7
Current children cumulated vsize (KiB) 13990244
[startup+6.30066 s]
/proc/loadavg: 1.94 1.92 1.90 6/214 13395
/proc/meminfo: memFree=31272996/32770624 swapFree=0/316060
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=17.15 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 59063 0 0 0 1704 11 0 0 20 0 15 0 97656860 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 42650 3204 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=6.16 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 10574 0 0 0 612 4 0 0 20 0 15 0 97656860 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140416557666256 140416194449007 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 288 0 0 0 0 0 0 0 20 0 15 0 97656862 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415535908512 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415534855408 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=5.15 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) S 13379 13379 12039 0 -1 1077944384 21198 0 0 0 513 2 0 0 20 0 15 0 97656865 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415532751088 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=5.15 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) S 13379 13379 12039 0 -1 1077944384 22060 0 0 0 512 3 0 0 20 0 15 0 97656865 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415531698544 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.66 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 3589 0 0 0 66 0 0 0 20 0 15 0 97656865 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 54 0 0 0 0 0 0 0 20 0 15 0 97656869 14316269568 42650 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 8 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 17.15
Current children cumulated vsize (KiB) 13990244
[startup+12.7006 s]
/proc/loadavg: 1.95 1.92 1.90 3/214 13395
/proc/meminfo: memFree=31245692/32770624 swapFree=0/316076
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=23.58 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 62236 0 0 0 2346 12 0 0 20 0 15 0 97656860 14316269568 49394 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 49394 3205 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=12.56 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 11157 0 0 0 1251 5 0 0 20 0 15 0 97656860 14316269568 49394 18446744073709551615 4194304 4196468 140728469679920 140416557666240 140416193396538 0 4 1 16800974 0 0 0 -1 5 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 49394 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 97656861 14316269568 49394 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
################
# More data... #
################
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415535908576 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415534855424 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=6.39 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) S 13379 13379 12039 0 -1 1077944384 28216 0 0 0 636 3 0 0 20 0 15 0 97656865 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415532751088 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=6.5 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) S 13379 13379 12039 0 -1 1077944384 30131 0 0 0 647 3 0 0 20 0 15 0 97656865 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415531698544 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 8619 0 0 0 81 1 0 0 20 0 15 0 97656865 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 1667 0 0 0 0 1 0 0 20 0 15 0 97656869 14316269568 63583 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 115.99
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.73 1.87 1.89 3/215 13402
/proc/meminfo: memFree=31209620/32770624 swapFree=0/316184
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=176.09 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 89267 0 0 0 17588 21 0 0 20 0 15 0 97656860 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 63965 3244 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=162.11 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 14193 0 0 0 16205 6 0 0 20 0 15 0 97656860 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140416557669968 140416188230384 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 849 0 0 0 1 1 0 0 20 0 15 0 97656861 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1647 0 0 0 2 0 0 0 20 0 15 0 97656861 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 233 0 0 0 2 0 0 0 20 0 15 0 97656861 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13980732 CPUtime=0.02 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 461 0 0 0 2 0 0 0 20 0 15 0 97656861 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 1000 0 0 0 1 0 0 0 20 0 15 0 97656862 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 9 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415535908576 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415534855424 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=6.41 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) S 13379 13379 12039 0 -1 1077944384 28541 0 0 0 638 3 0 0 20 0 15 0 97656865 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415532751088 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=6.54 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) S 13379 13379 12039 0 -1 1077944384 30399 0 0 0 650 4 0 0 20 0 15 0 97656865 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415531698544 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 8871 0 0 0 81 1 0 0 20 0 15 0 97656865 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 1692 0 0 0 1 2 0 0 20 0 15 0 97656869 14316269568 63965 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 176.09
Current children cumulated vsize (KiB) 13990244
[startup+222.307 s]
/proc/loadavg: 1.99 1.93 1.90 3/216 13483
/proc/meminfo: memFree=31159036/32770624 swapFree=0/316232
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=236.13 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 90811 0 0 0 23591 22 0 0 20 0 15 0 97656860 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 63449 3244 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=222.1 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 14504 0 0 0 22204 6 0 0 20 0 15 0 97656860 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416557670032 140416196204462 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 860 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1762 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 1069 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 489 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 1207 0 0 0 1 0 0 0 20 0 15 0 97656862 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415535908576 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415534855424 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=6.41 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) S 13379 13379 12039 0 -1 1077944384 28542 0 0 0 638 3 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415532751088 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=6.54 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) S 13379 13379 12039 0 -1 1077944384 30405 0 0 0 650 4 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415531698544 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 8872 0 0 0 81 1 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 1720 0 0 0 1 3 0 0 20 0 15 0 97656869 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 236.13
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.99 1.93 1.91 3/219 13498
/proc/meminfo: memFree=31153152/32770624 swapFree=0/316280
[pid=13379] ppid=13376 vsize=9512 CPUtime=0 cores=1,3,5,7
/proc/13379/stat : 13379 (xcsp3-exec) S 13376 13379 12039 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 97656852 9740288 345 18446744073709551615 4194304 5098028 140730439826672 140730439824776 139793627615868 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 8 0 0 7196144 7232144 26898432 140730439831970 140730439832173 140730439832173 140730439835627 0
/proc/13379/statm: 2378 345 289 221 0 87 0
[pid=13381] ppid=13379 vsize=13980732 CPUtime=253.83 cores=1,3,5,7
/proc/13381/stat : 13381 (java) S 13379 13379 12039 0 -1 1077944320 90873 0 0 0 25360 23 0 0 20 0 15 0 97656860 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140728469662464 140416553430775 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
/proc/13381/statm: 3495183 63449 3244 1 0 3483476 0
[pid=13381/tid=13382] ppid=13379 vsize=13980732 CPUtime=239.8 cores=1,3,5,7
/proc/13381/task/13382/stat : 13382 (java) R 13379 13379 12039 0 -1 4202560 14556 0 0 0 23974 6 0 0 20 0 15 0 97656860 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416557670032 140416195321973 0 4 1 16800974 0 0 0 -1 3 0 0 3 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13383] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13383/stat : 13383 (java) S 13379 13379 12039 0 -1 1077944384 860 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416510396944 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13384] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13384/stat : 13384 (java) S 13379 13379 12039 0 -1 1077944384 1762 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416509344400 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13385] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13385/stat : 13385 (java) S 13379 13379 12039 0 -1 1077944384 1069 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416508291344 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13386] ppid=13379 vsize=13980732 CPUtime=0.03 cores=1,3,5,7
/proc/13381/task/13386/stat : 13386 (java) S 13379 13379 12039 0 -1 1077944384 489 0 0 0 2 1 0 0 20 0 15 0 97656861 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140416150333840 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13387] ppid=13379 vsize=13980732 CPUtime=0.01 cores=1,3,5,7
/proc/13381/task/13387/stat : 13387 (java) S 13379 13379 12039 0 -1 1077944384 1209 0 0 0 1 0 0 0 20 0 15 0 97656862 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415536962288 140416553441922 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 9 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13388] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13388/stat : 13388 (java) S 13379 13379 12039 0 -1 1077944384 68 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415535908576 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13389] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13389/stat : 13389 (java) S 13379 13379 12039 0 -1 1077944384 72 0 0 0 0 0 0 0 20 0 15 0 97656863 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415534855424 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13390] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13390/stat : 13390 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415533803984 140416553449371 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13391] ppid=13379 vsize=13980732 CPUtime=6.41 cores=1,3,5,7
/proc/13381/task/13391/stat : 13391 (java) S 13379 13379 12039 0 -1 1077944384 28544 0 0 0 638 3 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415532751088 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13392] ppid=13379 vsize=13980732 CPUtime=6.54 cores=1,3,5,7
/proc/13381/task/13392/stat : 13392 (java) S 13379 13379 12039 0 -1 1077944384 30407 0 0 0 650 4 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415531698544 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13393] ppid=13379 vsize=13980732 CPUtime=0.82 cores=1,3,5,7
/proc/13381/task/13393/stat : 13393 (java) S 13379 13379 12039 0 -1 1077944384 8874 0 0 0 81 1 0 0 20 0 15 0 97656865 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415530645488 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13394] ppid=13379 vsize=13980732 CPUtime=0 cores=1,3,5,7
/proc/13381/task/13394/stat : 13394 (java) S 13379 13379 12039 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 97656866 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415529593184 140416553440981 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
[pid=13381/tid=13395] ppid=13379 vsize=13980732 CPUtime=0.04 cores=1,3,5,7
/proc/13381/task/13395/stat : 13395 (java) S 13379 13379 12039 0 -1 1077944384 1722 0 0 0 1 3 0 0 20 0 15 0 97656869 14316269568 63449 18446744073709551615 4194304 4196468 140728469679920 140415528541232 140416553441922 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 8 0 0 6293624 6294260 36859904 140728469684698 140728469684873 140728469684873 140728469688271 0
Current children cumulated CPU time (s) 253.83
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 13381 sig 9
??? kill 13379 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 13379 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=909
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=909
# CPU time returned by wait4() is 0.001818
# while last known CPU time is 253.83
#
# 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): 253.83
CPU user time (s): 253.6
CPU system time (s): 0.23
CPU usage (%): 105.758
Max. virtual memory (cumulated for all children) (KiB): 13993904
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0.000909
system time used= 0.000909
maximum resident set size= 1384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 509
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.07375 second user time and 1.34476 second system time
The end