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 (9110 MiB free)
memory of node 1: 16384 MiB (11252 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296256-1532624097/watcher-4296256-1532624097 -o /tmp/evaluation-result-4296256-1532624097/solver-4296256-1532624097 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1532624097-7934 --watchdog 2580 xcsp_picat HOME/instance-4296256-1532624097.xml
running on 4 cores: 0,2,4,6
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=7964, runsolver pid=7957
Current StackSize limit: 8192 KiB
[startup+0.100532 s]*
/proc/loadavg: 0.67 0.68 0.74 4/191 7965
/proc/meminfo: memFree=20821424/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=112132 memory=16712 CPUtime=0.09 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 1771 0 0 0 9 0 0 0 20 0 1 0 79972870 114823168 4178 33554432000 4194304 5849740 140731317400000 140731317399080 139673595174791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 28033 4178 718 405 0 24977 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 112132 KiB
Current children cumulated memory: 16712 KiB
[startup+0.209667 s]*
/proc/loadavg: 0.67 0.68 0.74 4/191 7965
/proc/meminfo: memFree=20819192/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=113476 memory=18152 CPUtime=0.2 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 2290 0 0 0 20 0 0 0 20 0 1 0 79972870 116199424 4538 33554432000 4194304 5849740 140731317400000 140731317399080 5394532 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 28369 4538 736 405 0 25313 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 113476 KiB
Current children cumulated memory: 18152 KiB
[startup+0.309316 s]*
/proc/loadavg: 0.67 0.68 0.74 4/191 7965
/proc/meminfo: memFree=20817704/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=113476 memory=18152 CPUtime=0.3 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 2292 0 0 0 30 0 0 0 20 0 1 0 79972870 116199424 4538 33554432000 4194304 5849740 140731317400000 140731317399080 5360787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 28369 4538 736 405 0 25313 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 113476 KiB
Current children cumulated memory: 18152 KiB
[startup+0.700229 s]
/proc/loadavg: 0.67 0.68 0.74 4/191 7965
/proc/meminfo: memFree=20816216/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=114288 memory=19036 CPUtime=0.68 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 2834 0 0 0 68 0 0 0 20 0 1 0 79972870 117030912 4759 33554432000 4194304 5849740 140731317400000 140731317399080 5308435 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 28572 4759 744 405 0 25516 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 114288 KiB
Current children cumulated memory: 19036 KiB
[startup+1.50023 s]
/proc/loadavg: 0.67 0.68 0.74 5/191 7965
/proc/meminfo: memFree=20814852/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=114040 memory=18492 CPUtime=1.49 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 3307 0 0 0 148 1 0 0 20 0 1 0 79972870 116776960 4623 33554432000 4194304 5849740 140731317400000 140731317398648 139673595174791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 28510 4623 759 405 0 25454 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114040 KiB
Current children cumulated memory: 18492 KiB
[startup+3.10959 s]
/proc/loadavg: 0.78 0.70 0.74 5/191 7965
/proc/meminfo: memFree=20813520/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=117288 memory=21988 CPUtime=3.09 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 5152 0 0 0 306 3 0 0 20 0 1 0 79972870 120102912 5497 33554432000 4194304 5849740 140731317400000 140731317398648 5309620 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 29322 5497 761 405 0 26266 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 117288 KiB
Current children cumulated memory: 21988 KiB
[startup+6.30023 s]
/proc/loadavg: 0.78 0.70 0.74 5/191 7966
/proc/meminfo: memFree=20806880/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=122124 memory=26636 CPUtime=6.28 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 8420 0 0 0 621 7 0 0 20 0 1 0 79972870 125054976 6659 33554432000 4194304 5849740 140731317400000 140731317399000 139673595174791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 30531 6659 761 405 0 27475 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 122124 KiB
Current children cumulated memory: 26636 KiB
[startup+12.7002 s]
/proc/loadavg: 0.97 0.74 0.76 4/191 7966
/proc/meminfo: memFree=20795844/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=127660 memory=32340 CPUtime=12.69 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 15916 0 0 0 1254 15 0 0 20 0 1 0 79972870 130723840 8085 33554432000 4194304 5849740 140731317400000 140731317399000 139673595174791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 31915 8085 761 405 0 28859 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 127660 KiB
Current children cumulated memory: 32340 KiB
[startup+25.5003 s]
/proc/loadavg: 1.13 0.78 0.77 4/191 7966
/proc/meminfo: memFree=20783296/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=133932 memory=38544 CPUtime=25.49 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 29820 0 0 0 2522 27 0 0 20 0 1 0 79972870 137146368 9636 33554432000 4194304 5849740 140731317400000 140731317399000 5437620 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 33483 9636 761 405 0 30427 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 133932 KiB
Current children cumulated memory: 38544 KiB
[startup+51.1095 s]
/proc/loadavg: 1.42 0.88 0.80 4/191 7966
/proc/meminfo: memFree=20777736/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=135736 memory=40272 CPUtime=51.1 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 49614 0 0 0 5062 48 0 0 20 0 1 0 79972870 138993664 10068 33554432000 4194304 5849740 140731317400000 140731317399000 5335568 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 33934 10068 761 405 0 30878 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 135736 KiB
Current children cumulated memory: 40272 KiB
[startup+102.3 s]
/proc/loadavg: 1.77 1.07 0.87 4/191 7967
/proc/meminfo: memFree=20747884/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=153580 memory=62144 CPUtime=102.28 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 74428 0 0 0 10148 80 0 0 20 0 1 0 79972870 157265920 15536 33554432000 4194304 5849740 140731317400000 140731317399160 139673595174791 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 38395 15536 761 405 0 35339 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 153580 KiB
Current children cumulated memory: 62144 KiB
[startup+162.3 s]
/proc/loadavg: 1.92 1.24 0.94 4/190 7968
/proc/meminfo: memFree=20717352/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=176356 memory=84500 CPUtime=162.28 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 94434 0 0 0 16122 106 0 0 20 0 1 0 79972870 180588544 21125 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 44089 21125 761 405 0 41033 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 176356 KiB
Current children cumulated memory: 84500 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.38 1.01 4/190 7970
/proc/meminfo: memFree=20678824/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=194028 memory=102312 CPUtime=222.28 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 111612 0 0 0 22102 126 0 0 20 0 1 0 79972870 198684672 25578 33554432000 4194304 5849740 140731317400000 140731317399000 5392215 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 48507 25578 761 405 0 45451 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 194028 KiB
Current children cumulated memory: 102312 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.49 1.07 4/190 7971
/proc/meminfo: memFree=20637456/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=200004 memory=108664 CPUtime=282.28 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 133077 0 0 0 28078 150 0 0 20 0 1 0 79972870 204804096 27166 33554432000 4194304 5849740 140731317400000 140731317399000 5437611 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 50001 27166 761 405 0 46945 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 200004 KiB
Current children cumulated memory: 108664 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.58 1.13 4/192 7981
/proc/meminfo: memFree=20587288/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=235752 memory=144412 CPUtime=342.26 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 147793 0 0 0 34062 164 0 0 20 0 1 0 79972870 241410048 36103 33554432000 4194304 5849740 140731317400000 140731317398872 5392428 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 58938 36103 761 405 0 55882 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 235752 KiB
Current children cumulated memory: 144412 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.66 1.18 4/193 8005
/proc/meminfo: memFree=20485264/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=262512 memory=171172 CPUtime=402.26 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 167835 0 0 0 40047 179 0 0 20 0 1 0 79972870 268812288 42793 33554432000 4194304 5849740 140731317400000 140731317399000 5437576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 65628 42793 761 405 0 62572 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 262512 KiB
Current children cumulated memory: 171172 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.72 1.24 4/193 8006
/proc/meminfo: memFree=20466288/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=343364 memory=251920 CPUtime=462.27 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 188923 0 0 0 46034 193 0 0 20 0 1 0 79972870 351604736 62980 33554432000 4194304 5849740 140731317400000 140731317399160 5437607 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 85841 62980 761 405 0 82785 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 343364 KiB
Current children cumulated memory: 251920 KiB
################
# More data... #
################
/proc/7964/statm: 147295 124460 761 405 0 144239 0
Current children cumulated CPU time: 1722.18 s
Current children cumulated vsize: 589180 KiB
Current children cumulated memory: 497840 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.82 4/191 8046
/proc/meminfo: memFree=19924000/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=589180 memory=497840 CPUtime=1782.17 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 646300 0 0 0 177758 459 0 0 20 0 1 0 79972870 603320320 124460 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 147295 124460 761 405 0 144239 0
Current children cumulated CPU time: 1782.17 s
Current children cumulated vsize: 589180 KiB
Current children cumulated memory: 497840 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.84 4/190 8048
/proc/meminfo: memFree=19923960/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=589180 memory=497840 CPUtime=1842.18 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 683253 0 0 0 183751 467 0 0 20 0 1 0 79972870 603320320 124460 33554432000 4194304 5849740 140731317400000 140731317399000 5437616 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 147295 124460 761 405 0 144239 0
Current children cumulated CPU time: 1842.18 s
Current children cumulated vsize: 589180 KiB
Current children cumulated memory: 497840 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.85 4/191 8050
/proc/meminfo: memFree=19924840/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=589180 memory=497840 CPUtime=1902.18 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 720204 0 0 0 189740 478 0 0 20 0 1 0 79972870 603320320 124460 33554432000 4194304 5849740 140731317400000 140731317399160 5335504 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 147295 124460 761 405 0 144239 0
Current children cumulated CPU time: 1902.18 s
Current children cumulated vsize: 589180 KiB
Current children cumulated memory: 497840 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.86 4/191 8051
/proc/meminfo: memFree=19923900/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=589180 memory=497840 CPUtime=1962.17 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 757152 0 0 0 195732 485 0 0 20 0 1 0 79972870 603320320 124460 33554432000 4194304 5849740 140731317400000 140731317399160 5335529 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 147295 124460 761 405 0 144239 0
Current children cumulated CPU time: 1962.17 s
Current children cumulated vsize: 589180 KiB
Current children cumulated memory: 497840 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.87 4/191 8053
/proc/meminfo: memFree=19888464/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=625292 memory=533720 CPUtime=2022.17 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 788429 0 0 0 201722 495 0 0 20 0 1 0 79972870 640299008 133430 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 156323 133430 761 405 0 153267 0
Current children cumulated CPU time: 2022.17 s
Current children cumulated vsize: 625292 KiB
Current children cumulated memory: 533720 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.87 5/191 8054
/proc/meminfo: memFree=19981672/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=445204 memory=353864 CPUtime=2082.15 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 820811 0 0 0 207709 506 0 0 20 0 1 0 79972870 455888896 88466 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 111301 88466 761 405 0 108245 0
Current children cumulated CPU time: 2082.15 s
Current children cumulated vsize: 445204 KiB
Current children cumulated memory: 353864 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.88 4/192 8063
/proc/meminfo: memFree=19981444/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=445204 memory=353864 CPUtime=2142.15 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 834493 0 0 0 213698 517 0 0 20 0 1 0 79972870 455888896 88466 33554432000 4194304 5849740 140731317400000 140731317399000 5437668 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 111301 88466 761 405 0 108245 0
Current children cumulated CPU time: 2142.15 s
Current children cumulated vsize: 445204 KiB
Current children cumulated memory: 353864 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.88 4/191 8064
/proc/meminfo: memFree=19981000/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=446544 memory=355204 CPUtime=2202.15 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 848683 0 0 0 219690 525 0 0 20 0 1 0 79972870 457261056 88801 33554432000 4194304 5849740 140731317400000 140731317399000 5392576 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 111636 88801 761 405 0 108580 0
Current children cumulated CPU time: 2202.15 s
Current children cumulated vsize: 446544 KiB
Current children cumulated memory: 355204 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.89 4/191 8065
/proc/meminfo: memFree=19995748/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=431172 memory=339832 CPUtime=2262.14 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 867230 0 0 0 225681 533 0 0 20 0 1 0 79972870 441520128 84958 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 107793 84958 761 405 0 104737 0
Current children cumulated CPU time: 2262.14 s
Current children cumulated vsize: 431172 KiB
Current children cumulated memory: 339832 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.90 5/191 8066
/proc/meminfo: memFree=19996652/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=431172 memory=339832 CPUtime=2322.14 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 883248 0 0 0 231666 548 0 0 20 0 1 0 79972870 441520128 84958 33554432000 4194304 5849740 140731317400000 140731317399000 5313190 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 107793 84958 761 405 0 104737 0
Current children cumulated CPU time: 2322.14 s
Current children cumulated vsize: 431172 KiB
Current children cumulated memory: 339832 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.90 4/192 8068
/proc/meminfo: memFree=20117260/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=496708 memory=405368 CPUtime=2382.14 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 900374 0 0 0 237656 558 0 0 20 0 1 0 79972870 508628992 101342 33554432000 4194304 5849740 140731317400000 140731317399160 5437591 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 124177 101342 761 405 0 121121 0
Current children cumulated CPU time: 2382.14 s
Current children cumulated vsize: 496708 KiB
Current children cumulated memory: 405368 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/191 8069
/proc/meminfo: memFree=20089632/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=499544 memory=408028 CPUtime=2442.14 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 920243 0 0 0 243647 567 0 0 20 0 1 0 79972870 511533056 102007 33554432000 4194304 5849740 140731317400000 140731317399000 5437808 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 124886 102007 761 405 0 121830 0
Current children cumulated CPU time: 2442.14 s
Current children cumulated vsize: 499544 KiB
Current children cumulated memory: 408028 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 1.91 4/191 8070
/proc/meminfo: memFree=20022476/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=565080 memory=473740 CPUtime=2502.14 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 939644 0 0 0 249636 578 0 0 20 0 1 0 79972870 578641920 118435 33554432000 4194304 5849740 140731317400000 140731317399000 5437698 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 141270 118435 761 405 0 138214 0
Current children cumulated CPU time: 2502.14 s
Current children cumulated vsize: 565080 KiB
Current children cumulated memory: 473740 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 1.92 4/191 8070
/proc/meminfo: memFree=20022664/32770624 swapFree=67108860/67108860
[pid=7964] ppid=7957 vsize=565080 memory=473740 CPUtime=2519.84 cores=0,2,4,6
/proc/7964/stat : 7964 (xcsp_picat) R 7957 7964 4275 0 -1 4202496 948374 0 0 0 251404 580 0 0 20 0 1 0 79972870 578641920 118435 33554432000 4194304 5849740 140731317400000 140731317399000 5312787 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 29282304 140731317404854 140731317404932 140731317404932 140731317407690 0
/proc/7964/statm: 141270 118435 761 405 0 138214 0
Current children cumulated CPU time: 2519.84 s
Current children cumulated vsize: 565080 KiB
Current children cumulated memory: 473740 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 7964 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.04 s, system=5.81392 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.86
CPU user time (s): 2514.04
CPU system time (s): 5.81392
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 690828
Max. memory (cumulated for all children) (KiB): 599488
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.04
system time used= 5.81392
maximum resident set size= 599488
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 948374
page faults= 0
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 196
involuntary context switches= 876
# summary of solver processes directly reported to runsolver:
# pid: 7964
# total CPU time (s): 2519.86
# total CPU user time (s): 2514.04
# total CPU system time (s): 5.81392
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.48413 second user time and 19.2148 second system time
The end