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

Solver Name	Answer	CPU time	Wall clock time
choco-solver 5a (2017-08-18)	SAT	9.7690096	7.44912
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL

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.

NUMA information:
  number of nodes: 2
  memory of node 0: 16374 MiB (11587 MiB free)
  memory of node 1: 16384 MiB (15423 MiB free)
  node distances:
     10  21
     21  10

command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284052-1503213215/watcher-4284052-1503213215 -o /tmp/evaluation-result-4284052-1503213215/solver-4284052-1503213215 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1503172133-9103 --watchdog 2580 ./xcsp3-exec -dir HOME -tl 2520 -ml 11000 -tdir HOME -seed 2057553630 HOME/instance-4284052-1503213215.xml 

running on 4 cores: 1,3,5,7

Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=19694, runsolver pid=19691
Current StackSize limit: 8192 KiB


[startup+0.100156 s]*
/proc/loadavg: 1.66 1.73 1.68 2/196 19695
/proc/meminfo: memFree=27659304/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=33976 memory=456 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (runsolver) D 19691 19694 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123514492 34791424 114 18446744073709551615 4194304 4346622 140722600578416 140722600575048 140028932408023 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6446216 6449568 15458304 140722600583223 140722600583716 140722600583716 140722600587210 0
/proc/19694/statm: 8494 114 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 456 KiB

[startup+0.208975 s]*
/proc/loadavg: 1.66 1.73 1.68 2/210 19709
/proc/meminfo: memFree=27647888/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13907304 memory=21156 CPUtime=0.05 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 4740 0 0 0 4 1 0 0 20 0 14 0 123514503 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3476826 5289 2558 1 0 3466323 0
[pid=19696/tid=19697] ppid=19694 vsize=13907304 memory=7311146985107750967 CPUtime=0.05 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) D 19694 19694 28892 0 -1 4202560 2911 0 0 0 4 1 0 0 20 0 14 0 123514503 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140384090830752 140384086615293 0 4 1 16800974 18446744071580418449 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514504 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13907304 memory=4050337590530229920 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514504 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 123514504 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 123514504 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13907304 memory=140028935358080 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514505 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 123514506 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 123514506 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383202624368 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123514508 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) S 19694 19694 28892 0 -1 1077944384 314 0 0 0 0 0 0 0 20 0 14 0 123514508 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383200521072 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123514508 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13907304 memory=140028935358080 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) S 19694 19694 28892 0 -1 1077944384 207 0 0 0 0 0 0 0 20 0 14 0 123514508 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123514509 14241079296 5289 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 22536 KiB

[startup+0.312649 s]*
/proc/loadavg: 1.66 1.73 1.68 5/211 19710
/proc/meminfo: memFree=27641108/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13974352 memory=31348 CPUtime=0.18 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 6256 0 0 0 17 1 0 0 20 0 15 0 123514503 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3493588 7837 2971 1 0 3482964 0
[pid=19696/tid=19697] ppid=19694 vsize=13974352 memory=-7677926825137650786 CPUtime=0.12 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 3490 0 0 0 11 1 0 0 20 0 15 0 123514503 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140384090821560 140384086605206 0 4 1 16800974 0 0 0 -1 5 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514504 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514504 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514504 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514504 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13974352 memory=140028935358080 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514505 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514506 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514506 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383202624368 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13974352 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13974352 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) S 19694 19694 28892 0 -1 1077944384 698 0 0 0 1 0 0 0 20 0 15 0 123514508 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383200521072 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) S 19694 19694 28892 0 -1 1077944384 67 0 0 0 0 0 0 0 20 0 15 0 123514508 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13974352 memory=140028935358080 CPUtime=0.04 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) R 19694 19694 28892 0 -1 4202560 699 0 0 0 4 0 0 0 20 0 15 0 123514508 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383198411232 140384078830398 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13974352 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13974352 memory=140028935358080 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514516 14309736448 7837 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 0.18 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 32728 KiB

[startup+0.70084 s]
/proc/loadavg: 1.66 1.73 1.68 4/211 19710
/proc/meminfo: memFree=27624392/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13978684 memory=63948 CPUtime=1.04 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 12741 0 0 0 99 5 0 0 20 0 15 0 123514503 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3494671 15987 3160 1 0 3482964 0
[pid=19696/tid=19697] ppid=19694 vsize=13978684 memory=0 CPUtime=0.48 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 7883 0 0 0 46 2 0 0 20 0 15 0 123514503 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140384090828112 140383710483033 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13978684 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514504 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13978684 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514504 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13978684 memory=140028818876976 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514504 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13978684 memory=179121611108623 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514504 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13978684 memory=3184 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123514505 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13978684 memory=7084837805386918737 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514506 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13978684 memory=7955723509255595090 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514506 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383202624368 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13978684 memory=7811331291578264153 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14314172416 15987 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13978684 memory=5787213857196369745 CPUtime=0.13 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) R 19694 19694 28892 0 -1 4202560 1415 0 0 0 13 0 0 0 20 0 15 0 123514508 14314172416 16053 18446744073709551615 4194304 4196468 140736969792752 140383200507920 140384078882653 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13978684 memory=7810762835175041642 CPUtime=0.12 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) R 19694 19694 28892 0 -1 4202560 775 0 0 0 12 0 0 0 20 0 15 0 123514508 14314172416 16053 18446744073709551615 4194304 4196468 140736969792752 140383199449976 140384078834661 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13978684 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) S 19694 19694 28892 0 -1 1077944384 1380 0 0 0 25 0 0 0 20 0 15 0 123514508 14314172416 16053 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13978684 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14314172416 16053 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13978684 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514516 14314172416 16053 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13988196 KiB
Current children cumulated memory: 65328 KiB

[startup+1.5008 s]
/proc/loadavg: 1.66 1.73 1.68 4/211 19710
/proc/meminfo: memFree=27530536/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13980732 memory=278088 CPUtime=2.58 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 14759 0 0 0 238 20 0 0 20 0 15 0 123514503 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3495183 69522 3195 1 0 3483476 0
[pid=19696/tid=19697] ppid=19694 vsize=13980732 memory=7367994820104577357 CPUtime=1.22 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 8592 0 0 0 117 5 0 0 20 0 15 0 123514503 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140384090831760 140383711775467 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13980732 memory=7377013181729891697 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13980732 memory=7019257425709197167 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13980732 memory=1152 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13980732 memory=2416 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 83 0 0 0 0 0 0 0 20 0 15 0 123514505 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13980732 memory=147700 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383202624384 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13980732 memory=0 CPUtime=0.35 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) S 19694 19694 28892 0 -1 1077944384 1798 0 0 0 35 0 0 0 20 0 15 0 123514508 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383200521072 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13980732 memory=0 CPUtime=0.32 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) S 19694 19694 28892 0 -1 1077944384 1095 0 0 0 32 0 0 0 20 0 15 0 123514508 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13980732 memory=0 CPUtime=0.38 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) S 19694 19694 28892 0 -1 1077944384 1663 0 0 0 38 0 0 0 20 0 15 0 123514508 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13980732 memory=3256 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514516 14316269568 69522 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 2.58 s
Current children cumulated vsize: 13990244 KiB

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

/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13980732 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13980732 memory=37 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13980732 memory=37 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13980732 memory=39 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 123514505 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383202624384 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13980732 memory=278556 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13980732 memory=6149776772845295721 CPUtime=0.37 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) S 19694 19694 28892 0 -1 1077944384 1803 0 0 0 37 0 0 0 20 0 15 0 123514508 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383200521072 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13980732 memory=0 CPUtime=0.37 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) S 19694 19694 28892 0 -1 1077944384 1107 0 0 0 37 0 0 0 20 0 15 0 123514508 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13980732 memory=7740399481516615257 CPUtime=0.39 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) S 19694 19694 28892 0 -1 1077944384 2110 0 0 0 39 0 0 0 20 0 15 0 123514508 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13980732 memory=7091577772841133145 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13980732 memory=280057637911520 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 123514516 14316269568 69640 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 7.45 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 279940 KiB

[startup+7.44908 s]
# the end of solver process 19694 was just reported to runsolver
# cumulated CPU time of all completed processes:  user=9.54129 s, system=0.227722 s

Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples

[startup+6.40088 s]
/proc/loadavg: 1.69 1.74 1.68 3/211 19710
/proc/meminfo: memFree=27392492/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13980732 memory=278904 CPUtime=7.66 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 18276 0 0 0 746 20 0 0 20 0 15 0 123514503 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3495183 69726 3205 1 0 3483476 0
[pid=19696/tid=19697] ppid=19694 vsize=13980732 memory=280057638018128 CPUtime=6.12 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 9393 0 0 0 607 5 0 0 20 0 15 0 123514503 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140384090829608 140383707343706 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13980732 memory=280057637721416 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13980732 memory=176677213 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13980732 memory=140028819005503 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13980732 memory=0 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 123514505 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13980732 memory=35 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383202624384 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13980732 memory=32 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13980732 memory=38 CPUtime=0.42 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) R 19694 19694 28892 0 -1 4202560 2293 0 0 0 41 1 0 0 20 0 15 0 123514508 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383200513560 140384071503209 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13980732 memory=0 CPUtime=0.42 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) R 19694 19694 28892 0 -1 4202560 1952 0 0 0 42 0 0 0 20 0 15 0 123514508 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384068137833 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13980732 memory=3905944220778791853 CPUtime=0.4 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) R 19694 19694 28892 0 -1 4202560 2450 0 0 0 40 0 0 0 20 0 15 0 123514508 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384065613901 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13980732 memory=280057637803184 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13980732 memory=6944656592455359580 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 304 0 0 0 0 0 0 0 20 0 15 0 123514516 14316269568 69726 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 11 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 7.66 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 280284 KiB

[startup+7.2008 s]
/proc/loadavg: 1.69 1.74 1.68 4/211 19710
/proc/meminfo: memFree=27391872/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13980732 memory=282848 CPUtime=9.04 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 24372 0 0 0 883 21 0 0 20 0 15 0 123514503 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3495183 70712 3207 1 0 3483476 0
[pid=19696/tid=19697] ppid=19694 vsize=13980732 memory=7091577772841133145 CPUtime=6.92 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 11099 0 0 0 687 5 0 0 20 0 15 0 123514503 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140384090829560 140383710782286 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13980732 memory=280057637911520 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13980732 memory=1380 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13980732 memory=279260 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13980732 memory=1732 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 357 0 0 0 0 0 0 0 20 0 15 0 123514505 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13980732 memory=5788 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13980732 memory=4612 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383202624384 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13980732 memory=1708 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13980732 memory=1444 CPUtime=0.74 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) R 19694 19694 28892 0 -1 4202560 5293 0 0 0 73 1 0 0 20 0 15 0 123514508 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383200507128 140384064188704 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13980732 memory=1228 CPUtime=0.62 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) R 19694 19694 28892 0 -1 4202560 2744 0 0 0 62 0 0 0 20 0 15 0 123514508 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383199454032 140384068118248 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13980732 memory=12216 CPUtime=0.46 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) R 19694 19694 28892 0 -1 1077944384 3046 0 0 0 46 0 0 0 20 0 15 0 123514508 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13980732 memory=7091577772841133145 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13980732 memory=7590371227331161169 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 123514516 14316269568 70712 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 9.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 284228 KiB

[startup+7.40082 s]
/proc/loadavg: 1.69 1.74 1.68 4/211 19710
/proc/meminfo: memFree=27391872/32770624 swapFree=67108860/67108860
[pid=19694] ppid=19691 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19694/stat : 19694 (xcsp3-exec) S 19691 19694 28892 0 -1 4202496 516 0 0 0 0 0 0 0 20 0 1 0 123514492 9740288 345 18446744073709551615 4194304 5098028 140734679352752 140734679350856 140595214750332 0 65536 5 65538 18446744071579417331 0 0 17 7 0 0 11 0 0 7196144 7232144 37511168 140734679355768 140734679355973 140734679355973 140734679359467 0
/proc/19694/statm: 2378 345 289 221 0 87 0
[pid=19696] ppid=19694 vsize=13980732 memory=290328 CPUtime=9.65 cores=1,3,5,7
/proc/19696/stat : 19696 (java) S 19694 19694 28892 0 -1 1077944320 26297 0 0 0 943 22 0 0 20 0 15 0 123514503 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140736969775296 140384086593271 0 0 1 16800974 18446744073709551615 0 0 17 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
/proc/19696/statm: 3495183 72582 3209 1 0 3483476 0
[pid=19696/tid=19697] ppid=19694 vsize=13980732 memory=280057638373072 CPUtime=7.12 cores=1,3,5,7
/proc/19696/task/19697/stat : 19697 (java) R 19694 19694 28892 0 -1 4202560 11131 0 0 0 707 5 0 0 20 0 15 0 123514503 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140384090832096 140384086605206 0 4 1 16800974 0 0 0 -1 1 0 0 7 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19698] ppid=19694 vsize=13980732 memory=280057638249536 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19698/stat : 19698 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140384028540048 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19699] ppid=19694 vsize=13980732 memory=280057638373040 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19699/stat : 19699 (java) S 19694 19694 28892 0 -1 1077944384 61 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140384027487248 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19700] ppid=19694 vsize=13980732 memory=280057638386928 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19700/stat : 19700 (java) S 19694 19694 28892 0 -1 1077944384 56 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383684664208 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19701] ppid=19694 vsize=13980732 memory=140028819195490 CPUtime=0.06 cores=1,3,5,7
/proc/19696/task/19701/stat : 19701 (java) S 19694 19694 28892 0 -1 1077944384 55 0 0 0 3 3 0 0 20 0 15 0 123514504 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383683611408 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19702] ppid=19694 vsize=13980732 memory=280057638400464 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19702/stat : 19702 (java) S 19694 19694 28892 0 -1 1077944384 368 0 0 0 0 0 0 0 20 0 15 0 123514505 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383204731248 140384086604418 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19703] ppid=19694 vsize=13980732 memory=2110379426303940 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19703/stat : 19703 (java) S 19694 19694 28892 0 -1 1077944384 34 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383203677216 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19704] ppid=19694 vsize=13980732 memory=280057638405056 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19704/stat : 19704 (java) S 19694 19694 28892 0 -1 1077944384 23 0 0 0 0 0 0 0 20 0 15 0 123514506 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383202624384 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19705] ppid=19694 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19705/stat : 19705 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514508 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383201572688 140384086611867 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19706] ppid=19694 vsize=13980732 memory=0 CPUtime=0.94 cores=1,3,5,7
/proc/19696/task/19706/stat : 19706 (java) R 19694 19694 28892 0 -1 4202560 6121 0 0 0 93 1 0 0 20 0 15 0 123514508 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383200507128 140384068137736 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19707] ppid=19694 vsize=13980732 memory=0 CPUtime=0.81 cores=1,3,5,7
/proc/19696/task/19707/stat : 19707 (java) R 19694 19694 28892 0 -1 4202560 3791 0 0 0 81 0 0 0 20 0 15 0 123514508 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383199468272 140384071717343 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19708] ppid=19694 vsize=13980732 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/19696/task/19708/stat : 19708 (java) R 19694 19694 28892 0 -1 1077944384 3053 0 0 0 46 0 0 0 20 0 15 0 123514508 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383198415472 140384086604418 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19709] ppid=19694 vsize=13980732 memory=56 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19709/stat : 19709 (java) S 19694 19694 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514509 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383197362912 140384086603477 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
[pid=19696/tid=19710] ppid=19694 vsize=13980732 memory=297237821058711863 CPUtime=0 cores=1,3,5,7
/proc/19696/task/19710/stat : 19710 (java) S 19694 19694 28892 0 -1 1077944384 306 0 0 0 0 0 0 0 20 0 15 0 123514516 14316269568 72582 18446744073709551615 4194304 4196468 140736969792752 140383196310192 140384086604418 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 11 0 0 6293624 6294260 10596352 140736969798065 140736969798241 140736969798241 140736969801679 0
Current children cumulated CPU time: 9.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 291708 KiB

Child status: 0
Real time (s): 7.44912
CPU time (s): 9.76901
CPU user time (s): 9.54129
CPU system time (s): 0.227722
CPU usage (%): 131.143
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 291708

getrusage(RUSAGE_CHILDREN,...) data:
user time used= 9.54129
system time used= 0.227722
maximum resident set size= 291176
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 27099
page faults= 0
swaps= 0
block input operations= 0
block output operations= 112
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2419
involuntary context switches= 17


# summary of solver processes directly reported to runsolver:
#   pid: 19694
#   total CPU time (s): 9.76901
#   total CPU user time (s): 9.54129
#   total CPU system time (s): 0.227722

??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.067512 second user time and 0.10877 second system time

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

Some explanations

Solver answer on this benchmark

General information on the benchmark

Solver Data

Verifier Data

Watcher Data

Launcher Data
