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-4254262-1501611327/watcher-4254262-1501611327 -o /tmp/evaluation-result-4254262-1501611327/solver-4254262-1501611327 -C 264 -W 240 -M 15500 --bin-var /tmp/runsolver-exch-node134-1501610486-5294 --watchdog 300 ./xcsp3-exec -dir HOME -tl 264 -ml 11000 -tdir HOME -seed 494135038 HOME/instance-4254262-1501611327.xml
pid=5317
running on 4 cores: 0,2,4,6
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: 0.00 0.01 0.05 3/194 5323
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5323] ppid=5317 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (runsolver) D 5317 5323 5234 34816 5234 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8638483 24240128 108 18446744073709551615 4194304 4338465 140728456183536 140728456181176 140615111611095 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 20422656 140728456187998 140728456188486 140728456188486 140728456191946 0
/proc/5323/statm: 5918 108 54 36 0 2156 0
[startup+0.10016 s]
/proc/loadavg: 0.00 0.01 0.05 3/194 5323
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.200343 s]
/proc/loadavg: 0.00 0.01 0.05 3/194 5323
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.300373 s]
/proc/loadavg: 0.00 0.01 0.05 3/194 5323
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+0.700171 s]
/proc/loadavg: 0.00 0.01 0.05 3/194 5323
/proc/meminfo: memFree=31930936/32770624 swapFree=0/229872
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 9512
[startup+1.50067 s]
/proc/loadavg: 0.00 0.01 0.05 8/225 5355
/proc/meminfo: memFree=31793892/32770624 swapFree=0/277004
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=1.96 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 34816 5234 1077944320 14900 0 6 0 189 7 0 0 20 0 15 0 8638491 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 20546 3173 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=0.78 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 34816 5234 4202560 8977 0 3 0 73 5 0 0 20 0 15 0 8638507 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565557483968 140565174159003 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 34816 5234 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=0.33 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) R 5323 5323 5234 34816 5234 4202560 1423 0 0 0 33 0 0 0 20 0 15 0 8638523 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565531271817 0 4 1 16800974 0 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=0.4 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) R 5323 5323 5234 34816 5234 4202560 1225 0 0 0 40 0 0 0 20 0 15 0 8638523 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565093622864 140565538371735 0 4 1 16800974 0 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.41 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 34816 5234 1077944384 1971 0 0 0 41 0 0 0 20 0 15 0 8638523 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638532 14316269568 20546 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 1.96
Current children cumulated vsize (KiB) 13990244
[startup+3.10077 s]
/proc/loadavg: 0.00 0.01 0.05 8/225 5355
/proc/meminfo: memFree=31666152/32770624 swapFree=0/277412
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=6.72 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 34816 5234 1077944320 37006 0 6 0 662 10 0 0 20 0 15 0 8638491 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 31368 3196 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=2.38 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 34816 5234 4202560 10208 0 3 0 233 5 0 0 20 0 15 0 8638507 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565557482640 140565174846256 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 34816 5234 1077944384 303 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=1.86 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 34816 5234 1077944384 10621 0 0 0 185 1 0 0 20 0 15 0 8638523 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=1.93 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 34816 5234 1077944384 11299 0 0 0 192 1 0 0 20 0 15 0 8638523 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.52 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 34816 5234 1077944384 3268 0 0 0 51 1 0 0 20 0 15 0 8638523 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 34816 5234 1077944384 9 0 0 0 0 0 0 0 20 0 15 0 8638532 14316269568 31368 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 6.72
Current children cumulated vsize (KiB) 13990244
[startup+6.30084 s]
/proc/loadavg: 0.40 0.10 0.07 5/225 5355
/proc/meminfo: memFree=31625276/32770624 swapFree=0/277412
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=11.88 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 34816 5234 1077944320 45751 0 6 0 1177 11 0 0 20 0 15 0 8638491 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 35343 3197 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=5.58 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 34816 5234 4202560 11054 0 3 0 553 5 0 0 20 0 15 0 8638507 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565557482160 140565177098746 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 34816 5234 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 34816 5234 1077944384 595 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 34816 5234 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 34816 5234 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=2.76 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 34816 5234 1077944384 13846 0 0 0 275 1 0 0 20 0 15 0 8638523 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=2.92 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 34816 5234 1077944384 14401 0 0 0 291 1 0 0 20 0 15 0 8638523 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.57 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 34816 5234 1077944384 3726 0 0 0 56 1 0 0 20 0 15 0 8638523 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 34816 5234 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 34816 5234 1077944384 831 0 0 0 0 0 0 0 20 0 15 0 8638532 14316269568 35343 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 11.88
Current children cumulated vsize (KiB) 13990244
[startup+12.7007 s]
/proc/loadavg: 0.53 0.13 0.08 6/225 5355
/proc/meminfo: memFree=31613880/32770624 swapFree=0/277432
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 34816 5234 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=18.32 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 34816 5234 1077944320 47733 0 6 0 1821 11 0 0 20 0 15 0 8638491 14316269568 35877 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 35877 3197 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=11.97 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 34816 5234 4202560 11573 0 3 0 1192 5 0 0 20 0 15 0 8638507 14316269568 35877 18446744073709551615 4194304 4196468 140734869708816 140565557481392 140565177098918 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35877 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 34816 5234 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 35877 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
################
# More data... #
################
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 0 -1 1077944384 18815 0 0 0 301 1 0 0 20 0 15 0 8638523 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 0 -1 1077944384 18682 0 0 0 316 2 0 0 20 0 15 0 8638523 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 0 -1 1077944384 6445 0 0 0 63 1 0 0 20 0 15 0 8638523 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0.02 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 0 -1 1077944384 1841 0 0 0 1 1 0 0 20 0 15 0 8638532 14316269568 43757 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 108.49
Current children cumulated vsize (KiB) 13990244
[startup+162.301 s]
/proc/loadavg: 1.88 0.87 0.37 4/215 5362
/proc/meminfo: memFree=31469724/32770624 swapFree=0/277524
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=168.51 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 0 -1 1077944320 62557 0 6 0 16837 14 0 0 20 0 15 0 8638491 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 48464 3202 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=161.58 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 0 -1 4202560 14603 0 3 0 16152 6 0 0 20 0 15 0 8638507 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565557483720 140565174984111 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 0 -1 1077944384 835 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 0 -1 1077944384 18818 0 0 0 301 1 0 0 20 0 15 0 8638523 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 0 -1 1077944384 18689 0 0 0 316 2 0 0 20 0 15 0 8638523 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 0 -1 1077944384 6451 0 0 0 63 1 0 0 20 0 15 0 8638523 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0.04 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 0 -1 1077944384 1863 0 0 0 2 2 0 0 20 0 15 0 8638532 14316269568 48464 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 168.51
Current children cumulated vsize (KiB) 13990244
[startup+222.306 s]
/proc/loadavg: 1.96 1.07 0.47 4/215 5365
/proc/meminfo: memFree=31467120/32770624 swapFree=0/277544
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=228.54 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 0 -1 1077944320 62905 0 6 0 22839 15 0 0 20 0 15 0 8638491 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 50017 3202 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=221.59 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 0 -1 4202560 14707 0 3 0 22153 6 0 0 20 0 15 0 8638507 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565557481296 140565174668791 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 0 -1 1077944384 18874 0 0 0 301 1 0 0 20 0 15 0 8638523 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 0 -1 1077944384 18833 0 0 0 316 2 0 0 20 0 15 0 8638523 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 0 -1 1077944384 6451 0 0 0 63 1 0 0 20 0 15 0 8638523 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0.06 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 0 -1 1077944384 1880 0 0 0 3 3 0 0 20 0 15 0 8638532 14316269568 50017 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 228.54
Current children cumulated vsize (KiB) 13990244
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+240.001 s]
/proc/loadavg: 1.97 1.13 0.50 4/215 5365
/proc/meminfo: memFree=31464976/32770624 swapFree=0/277552
[pid=5323] ppid=5317 vsize=9512 CPUtime=0 cores=0,2,4,6
/proc/5323/stat : 5323 (xcsp3-exec) S 5317 5323 5234 0 -1 4202496 509 0 0 0 0 0 0 0 20 0 1 0 8638483 9740288 345 18446744073709551615 4194304 5098028 140721674036240 140721674034344 139860621652604 0 65536 5 65538 18446744071579417331 0 0 17 6 0 0 7 0 0 7196144 7232144 33697792 140721674043804 140721674044007 140721674044007 140721674047467 0
/proc/5323/statm: 2378 345 289 221 0 87 0
[pid=5326] ppid=5323 vsize=13980732 CPUtime=246.24 cores=0,2,4,6
/proc/5326/stat : 5326 (java) S 5323 5323 5234 0 -1 1077944320 62908 0 6 0 24609 15 0 0 20 0 15 0 8638491 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140734869691360 140565553245943 0 0 1 16800974 18446744073709551615 0 0 17 4 0 0 9 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
/proc/5326/statm: 3495183 50529 3202 1 0 3483484 0
[pid=5326/tid=5329] ppid=5323 vsize=13980732 CPUtime=239.28 cores=0,2,4,6
/proc/5326/task/5329/stat : 5329 (java) R 5323 5323 5234 0 -1 4202560 14710 0 3 0 23922 6 0 0 20 0 15 0 8638507 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565557481296 140565174693995 0 4 1 16800974 0 0 0 -1 2 0 0 43 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5330] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5330/stat : 5330 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565495191952 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 2 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5331] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5331/stat : 5331 (java) S 5323 5323 5234 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565494139152 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5332] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5332/stat : 5332 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565493086864 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5333] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5333/stat : 5333 (java) S 5323 5323 5234 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 8638509 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565492034064 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5338] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5338/stat : 5338 (java) S 5323 5323 5234 0 -1 1077944384 862 0 0 0 0 0 0 0 20 0 15 0 8638519 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565098900080 140565553257090 0 0 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5341] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5341/stat : 5341 (java) S 5323 5323 5234 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565097846048 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5342] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5342/stat : 5342 (java) S 5323 5323 5234 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 8638520 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565096793712 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5345] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5345/stat : 5345 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565095742032 140565553264539 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5347] ppid=5323 vsize=13980732 CPUtime=3.02 cores=0,2,4,6
/proc/5326/task/5347/stat : 5347 (java) S 5323 5323 5234 0 -1 1077944384 18874 0 0 0 301 1 0 0 20 0 15 0 8638523 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565094688880 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5348] ppid=5323 vsize=13980732 CPUtime=3.18 cores=0,2,4,6
/proc/5326/task/5348/stat : 5348 (java) S 5323 5323 5234 0 -1 1077944384 18833 0 0 0 316 2 0 0 20 0 15 0 8638523 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565093636080 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5350] ppid=5323 vsize=13980732 CPUtime=0.64 cores=0,2,4,6
/proc/5326/task/5350/stat : 5350 (java) S 5323 5323 5234 0 -1 1077944384 6451 0 0 0 63 1 0 0 20 0 15 0 8638523 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565092583792 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 6 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5352] ppid=5323 vsize=13980732 CPUtime=0 cores=0,2,4,6
/proc/5326/task/5352/stat : 5352 (java) S 5323 5323 5234 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 8638523 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565091531232 140565553256149 0 4 1 16800974 18446744071579849748 0 0 -1 0 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
[pid=5326/tid=5355] ppid=5323 vsize=13980732 CPUtime=0.07 cores=0,2,4,6
/proc/5326/task/5355/stat : 5355 (java) S 5323 5323 5234 0 -1 1077944384 1880 0 0 0 3 4 0 0 20 0 15 0 8638532 14316269568 50529 18446744073709551615 4194304 4196468 140734869708816 140565090479024 140565553257090 0 4 1 16800974 18446744071579849748 0 0 -1 4 0 0 0 0 0 6293624 6294260 7548928 140734869713364 140734869713539 140734869713539 140734869716943 0
Current children cumulated CPU time (s) 246.24
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 5326 sig 9
??? kill 5323 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 5323 and gives
# childrusage.ru_utime.tv_sec=0
# childrusage.ru_utime.tv_usec=0
# childrusage.ru_stime.tv_sec=0
# childrusage.ru_stime.tv_usec=2293
# CPU time returned by wait4() is 0.002293
# while last known CPU time is 246.24
#
# 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): 246.24
CPU user time (s): 246.09
CPU system time (s): 0.15
CPU usage (%): 102.596
Max. virtual memory (cumulated for all children) (KiB): 13992036
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 0
system time used= 0.002293
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= 11
involuntary context switches= 1
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.988459 second user time and 1.561 second system time
The end