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 (15424 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4284050-1503213210/watcher-4284050-1503213210 -o /tmp/evaluation-result-4284050-1503213210/solver-4284050-1503213210 -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 597294831 HOME/instance-4284050-1503213210.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=19615, runsolver pid=19612
Current StackSize limit: 8192 KiB
[startup+0.100159 s]*
/proc/loadavg: 1.64 1.73 1.68 2/196 19616
/proc/meminfo: memFree=27659560/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=33976 memory=452 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (runsolver) D 19612 19615 28892 0 -1 4202560 111 0 0 0 0 0 0 0 20 0 1 0 123514016 34791424 113 18446744073709551615 4194304 4346622 140736771639984 140736771636616 140200277807831 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6446216 6449568 29102080 140736771645496 140736771645988 140736771645988 140736771649482 0
/proc/19615/statm: 8494 113 52 38 0 4205 0
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 33976 KiB
Current children cumulated memory: 452 KiB
[startup+0.209122 s]*
/proc/loadavg: 1.64 1.73 1.68 2/210 19630
/proc/meminfo: memFree=27647652/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13907304 memory=22296 CPUtime=0.05 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 4499 0 0 0 5 0 0 0 20 0 14 0 123514028 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3476826 5574 2555 1 0 3466323 0
[pid=19617/tid=19618] ppid=19615 vsize=13907304 memory=7311146985107750967 CPUtime=0.04 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) D 19615 19615 28892 0 -1 4202560 2675 0 0 0 4 0 0 0 20 0 14 0 123514028 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066983446432 140066979230973 0 4 1 16800974 18446744071580418449 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13907304 memory=13729 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514029 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13907304 memory=4050337761875629728 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 123514029 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 14 0 123514029 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514029 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13907304 memory=140200280757888 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 14 0 123514030 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 14 0 123514031 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 14 0 123514031 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123514033 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13907304 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) S 19615 19615 28892 0 -1 1077944384 299 0 0 0 0 0 0 0 20 0 14 0 123514033 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066160253680 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) S 19615 19615 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 14 0 123514033 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066159201136 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13907304 memory=140200280757888 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 216 0 0 0 0 0 0 0 20 0 14 0 123514033 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13907304 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 14 0 123514034 14241079296 5574 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 13916816 KiB
Current children cumulated memory: 23676 KiB
[startup+0.311479 s]*
/proc/loadavg: 1.64 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27638748/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13974352 memory=35000 CPUtime=0.23 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 8023 0 0 0 21 2 0 0 20 0 15 0 123514028 14309736448 8750 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3493844 8750 2975 1 0 3483220 0
[pid=19617/tid=19618] ppid=19615 vsize=13975376 memory=-7677926825137650786 CPUtime=0.13 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 5525 0 0 0 12 1 0 0 20 0 15 0 123514028 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066983431328 140066971888669 0 4 1 16800974 0 0 0 -1 1 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13975376 memory=140200280757888 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514030 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13975376 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13975376 memory=0 CPUtime=0.01 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) S 19615 19615 28892 0 -1 1077944384 536 0 0 0 1 0 0 0 20 0 15 0 123514033 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066160253680 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13975376 memory=-1 CPUtime=0.01 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) S 19615 19615 28892 0 -1 1077944384 215 0 0 0 1 0 0 0 20 0 15 0 123514033 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066159201136 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13975376 memory=140200280757888 CPUtime=0.05 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 698 0 0 0 5 0 0 0 20 0 15 0 123514033 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13975376 memory=-1 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13975376 memory=140200280757888 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514039 14310785024 8947 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 0.23 s
Current children cumulated vsize: 13983864 KiB
Current children cumulated memory: 36380 KiB
[startup+0.702751 s]
/proc/loadavg: 1.64 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27623996/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13980732 memory=59740 CPUtime=1.04 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 11179 0 0 0 100 4 0 0 20 0 15 0 123514028 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3495183 14935 3159 1 0 3483476 0
[pid=19617/tid=19618] ppid=19615 vsize=13980732 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 7476 0 0 0 48 3 0 0 20 0 15 0 123514028 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066983444480 140066963252581 0 4 1 16800974 0 0 0 -1 5 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13980732 memory=6944656592455097440 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13980732 memory=140200147806768 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13980732 memory=179289114833167 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13980732 memory=3184 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123514030 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13980732 memory=7084837805386918737 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13980732 memory=7955723509255595090 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13980732 memory=8028335287202179153 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13980732 memory=5787213857196369745 CPUtime=0.14 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) R 19615 19615 28892 0 -1 4202560 834 0 0 0 14 0 0 0 20 0 15 0 123514033 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066160243792 140066964090187 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13980732 memory=8027778938295052133 CPUtime=0.1 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) R 19615 19615 28892 0 -1 4202560 394 0 0 0 10 0 0 0 20 0 15 0 123514033 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066159194328 140066962732291 0 4 1 16800974 0 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13980732 memory=0 CPUtime=0.25 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) R 19615 19615 28892 0 -1 4202560 1168 0 0 0 25 0 0 0 20 0 15 0 123514033 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066158143824 140066957729127 0 4 1 16800974 0 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13980732 memory=-7677926825137650786 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514039 14316269568 14935 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 1.04 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 61120 KiB
[startup+1.50088 s]
/proc/loadavg: 1.64 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27581488/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13980732 memory=120152 CPUtime=3.29 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 22309 0 0 0 322 7 0 0 20 0 15 0 123514028 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3495183 30038 3188 1 0 3483476 0
[pid=19617/tid=19618] ppid=19615 vsize=13980732 memory=7886193721910519912 CPUtime=1.31 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 8733 0 0 0 127 4 0 0 20 0 15 0 123514028 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066983447616 140066623066417 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13980732 memory=7593463053642853741 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13980732 memory=7019257425709197167 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13980732 memory=1156 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13980732 memory=2412 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13980732 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123514030 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13980732 memory=91124 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13980732 memory=3908 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13980732 memory=288230574492221466 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13980732 memory=0 CPUtime=0.76 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) R 19615 19615 28892 0 -1 4202560 4895 0 0 0 76 0 0 0 20 0 15 0 123514033 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066160240464 140066957445337 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13980732 memory=0 CPUtime=0.72 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) R 19615 19615 28892 0 -1 4202560 4705 0 0 0 72 0 0 0 20 0 15 0 123514033 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066159187216 140066979230298 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13980732 memory=0 CPUtime=0.46 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 2666 0 0 0 45 1 0 0 20 0 15 0 123514033 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13980732 memory=3248 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514039 14316269568 30038 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 3.29 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 121532 KiB
[startup+2.47312 s]
# the end of solver process 19615 was just reported to runsolver
# cumulated CPU time of all completed processes: user=5.43225 s, system=0.08941 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1.60099 s]
/proc/loadavg: 1.64 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27581488/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13980732 memory=124532 CPUtime=3.6 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 22384 0 0 0 353 7 0 0 20 0 15 0 123514028 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3495183 31133 3190 1 0 3483476 0
[pid=19617/tid=19618] ppid=19615 vsize=13980732 memory=5861546396693583977 CPUtime=1.41 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 8737 0 0 0 137 4 0 0 20 0 15 0 123514028 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066983445896 140066623197860 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13980732 memory=7590366859332184145 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13980732 memory=6225788249536221547 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13980732 memory=5859271421085237344 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13980732 memory=84314503007406 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13980732 memory=7450474852399474792 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 5 0 0 0 0 0 0 0 20 0 15 0 123514030 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13980732 memory=4028 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13980732 memory=140200147817648 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13980732 memory=11777 CPUtime=0.86 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) R 19615 19615 28892 0 -1 4202560 4908 0 0 0 86 0 0 0 20 0 15 0 123514033 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066160243392 140066962705735 0 4 1 16800974 0 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13980732 memory=0 CPUtime=0.82 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) R 19615 19615 28892 0 -1 4202560 4731 0 0 0 82 0 0 0 20 0 15 0 123514033 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066159187920 140066959061038 0 4 1 16800974 0 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13980732 memory=0 CPUtime=0.47 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 2698 0 0 0 46 1 0 0 20 0 15 0 123514033 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13980732 memory=280400295362800 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13980732 memory=7666369436213602664 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514039 14316269568 31133 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 3.6 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 125912 KiB
[startup+2.00082 s]*
/proc/loadavg: 1.66 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27532912/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13980732 memory=139372 CPUtime=4.65 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 22583 0 0 0 458 7 0 0 20 0 15 0 123514028 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3495183 34843 3196 1 0 3483476 0
[pid=19617/tid=19618] ppid=19615 vsize=13980732 memory=0 CPUtime=1.82 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 8760 0 0 0 178 4 0 0 20 0 15 0 123514028 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066983445680 140066623525645 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13980732 memory=4228 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13980732 memory=13928 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13980732 memory=6656426216303648864 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 123514030 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13980732 memory=0 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13980732 memory=0 CPUtime=1.16 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) S 19615 19615 28892 0 -1 1077944384 4968 0 0 0 116 0 0 0 20 0 15 0 123514033 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066160253680 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13980732 memory=0 CPUtime=1.12 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) S 19615 19615 28892 0 -1 1077944384 4792 0 0 0 112 0 0 0 20 0 15 0 123514033 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066159201136 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13980732 memory=0 CPUtime=0.51 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 2743 0 0 0 50 1 0 0 20 0 15 0 123514033 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13980732 memory=7665780141316400996 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13980732 memory=7523664986265632868 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514039 14316269568 34843 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 4.65 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 140752 KiB
[startup+2.4008 s]
/proc/loadavg: 1.66 1.73 1.68 3/211 19631
/proc/meminfo: memFree=27532912/32770624 swapFree=67108860/67108860
[pid=19615] ppid=19612 vsize=9512 memory=1380 CPUtime=0 cores=1,3,5,7
/proc/19615/stat : 19615 (xcsp3-exec) S 19612 19615 28892 0 -1 4202496 515 0 0 0 0 0 0 0 20 0 1 0 123514016 9740288 345 18446744073709551615 4194304 5098028 140720908283232 140720908281336 139693377495676 0 65536 5 65538 18446744071579417331 0 0 17 3 0 0 11 0 0 7196144 7232144 25436160 140720908288377 140720908288581 140720908288581 140720908292075 0
/proc/19615/statm: 2378 345 289 221 0 87 0
[pid=19617] ppid=19615 vsize=13980732 memory=152208 CPUtime=5.4 cores=1,3,5,7
/proc/19617/stat : 19617 (java) S 19615 19615 28892 0 -1 1077944320 23570 0 0 0 532 8 0 0 20 0 15 0 123514028 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140735721619088 140066979208951 0 0 1 16800974 18446744073709551615 0 0 17 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
/proc/19617/statm: 3495183 38052 3199 1 0 3483476 0
[pid=19617/tid=19618] ppid=19615 vsize=13980732 memory=11164 CPUtime=2.22 cores=1,3,5,7
/proc/19617/task/19618/stat : 19618 (java) R 19615 19615 28892 0 -1 4202560 9124 0 0 0 217 5 0 0 20 0 15 0 123514028 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066983444192 140066623525608 0 4 1 16800974 0 0 0 -1 3 0 0 4 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19619] ppid=19615 vsize=13980732 memory=15880 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19619/stat : 19619 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066940107792 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19620] ppid=19615 vsize=13980732 memory=4048 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19620/stat : 19620 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066939055248 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19621] ppid=19615 vsize=13980732 memory=37848 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19621/stat : 19621 (java) S 19615 19615 28892 0 -1 1077944384 1 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066938002192 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19622] ppid=19615 vsize=13980732 memory=1788 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19622/stat : 19622 (java) S 19615 19615 28892 0 -1 1077944384 2 0 0 0 0 0 0 0 20 0 15 0 123514029 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066576329616 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19623] ppid=19615 vsize=13980732 memory=640 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19623/stat : 19623 (java) S 19615 19615 28892 0 -1 1077944384 15 0 0 0 0 0 0 0 20 0 15 0 123514030 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066164463856 140066979220098 0 0 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19624] ppid=19615 vsize=13980732 memory=960 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19624/stat : 19624 (java) S 19615 19615 28892 0 -1 1077944384 33 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066163410080 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 3 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19625] ppid=19615 vsize=13980732 memory=1232 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19625/stat : 19625 (java) S 19615 19615 28892 0 -1 1077944384 21 0 0 0 0 0 0 0 20 0 15 0 123514031 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066162356976 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19626] ppid=19615 vsize=13980732 memory=2248 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19626/stat : 19626 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514033 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066161305552 140066979227547 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19627] ppid=19615 vsize=13980732 memory=280400295787456 CPUtime=1.35 cores=1,3,5,7
/proc/19617/task/19627/stat : 19627 (java) S 19615 19615 28892 0 -1 1077944384 5177 0 0 0 134 1 0 0 20 0 15 0 123514033 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066160253680 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 7 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19628] ppid=19615 vsize=13980732 memory=-6876588628788210059 CPUtime=1.27 cores=1,3,5,7
/proc/19617/task/19628/stat : 19628 (java) S 19615 19615 28892 0 -1 1077944384 5092 0 0 0 127 0 0 0 20 0 15 0 123514033 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066159201136 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 5 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19629] ppid=19615 vsize=13980732 memory=4137284780655939955 CPUtime=0.53 cores=1,3,5,7
/proc/19617/task/19629/stat : 19629 (java) S 19615 19615 28892 0 -1 1077944384 2852 0 0 0 52 1 0 0 20 0 15 0 123514033 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066158148080 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19630] ppid=19615 vsize=13980732 memory=1399096207214678387 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19630/stat : 19630 (java) S 19615 19615 28892 0 -1 1077944384 3 0 0 0 0 0 0 0 20 0 15 0 123514034 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066157095776 140066979219157 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
[pid=19617/tid=19631] ppid=19615 vsize=13980732 memory=-3622645143214314312 CPUtime=0 cores=1,3,5,7
/proc/19617/task/19631/stat : 19631 (java) S 19615 19615 28892 0 -1 1077944384 8 0 0 0 0 0 0 0 20 0 15 0 123514039 14316269568 38052 18446744073709551615 4194304 4196468 140735721636544 140066156042800 140066979220098 0 4 1 16800974 18446744071579849748 0 0 -1 1 0 0 0 0 0 6293624 6294260 21897216 140735721640369 140735721640545 140735721640545 140735721643983 0
Current children cumulated CPU time: 5.4 s
Current children cumulated vsize: 13990244 KiB
Current children cumulated memory: 153588 KiB
Child status: 0
Real time (s): 2.47318
CPU time (s): 5.52166
CPU user time (s): 5.43225
CPU system time (s): 0.08941
CPU usage (%): 223.262
Max. virtual memory (cumulated for all children) (KiB): 13990244
Max. memory (cumulated for all children) (KiB): 153588
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 5.43225
system time used= 0.08941
maximum resident set size= 158788
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 24503
page faults= 0
swaps= 0
block input operations= 0
block output operations= 72
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 2222
involuntary context switches= 7
# summary of solver processes directly reported to runsolver:
# pid: 19615
# total CPU time (s): 5.52166
# total CPU user time (s): 5.43225
# total CPU system time (s): 0.08941
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 0.04091 second user time and 0.061366 second system time
The end