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 (8556 MiB free)
memory of node 1: 16384 MiB (11560 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296292-1532626413/watcher-4296292-1532626413 -o /tmp/evaluation-result-4296292-1532626413/solver-4296292-1532626413 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1532626413-12455 --watchdog 2580 xcsp_picat HOME/instance-4296292-1532626413.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=12478, runsolver pid=12472
Current StackSize limit: 8192 KiB
[startup+0.10031 s]*
/proc/loadavg: 1.29 1.32 1.37 3/188 12485
/proc/meminfo: memFree=20573168/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=112520 memory=16012 CPUtime=0.1 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 1658 0 0 0 10 0 0 0 20 0 1 0 80204491 115220480 4003 33554432000 4194304 5849740 140730876867808 140730876866456 5366466 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28130 4003 735 405 0 25074 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 16012 KiB
[startup+0.209625 s]*
/proc/loadavg: 1.29 1.32 1.37 3/188 12485
/proc/meminfo: memFree=20571400/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=112520 memory=16280 CPUtime=0.2 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 1674 0 0 0 20 0 0 0 20 0 1 0 80204491 115220480 4070 33554432000 4194304 5849740 140730876867808 140730876866456 5359325 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28130 4070 738 405 0 25074 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 16280 KiB
[startup+0.308988 s]*
/proc/loadavg: 1.29 1.32 1.37 3/188 12485
/proc/meminfo: memFree=20571400/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=112520 memory=16280 CPUtime=0.3 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 1680 0 0 0 30 0 0 0 20 0 1 0 80204491 115220480 4070 33554432000 4194304 5849740 140730876867808 140730876866456 5326468 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28130 4070 738 405 0 25074 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112520 KiB
Current children cumulated memory: 16280 KiB
[startup+0.700239 s]
/proc/loadavg: 1.35 1.33 1.37 3/188 12485
/proc/meminfo: memFree=20570904/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=113024 memory=16540 CPUtime=0.69 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 1791 0 0 0 68 1 0 0 20 0 1 0 80204491 115736576 4135 33554432000 4194304 5849740 140730876867808 140730876866456 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28256 4135 751 405 0 25200 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113024 KiB
Current children cumulated memory: 16540 KiB
[startup+1.50025 s]
/proc/loadavg: 1.35 1.33 1.37 3/188 12485
/proc/meminfo: memFree=20569328/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=114308 memory=17900 CPUtime=1.49 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 2413 0 0 0 147 2 0 0 20 0 1 0 80204491 117051392 4475 33554432000 4194304 5849740 140730876867808 140730876866456 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28577 4475 752 405 0 25521 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114308 KiB
Current children cumulated memory: 17900 KiB
[startup+3.10913 s]
/proc/loadavg: 1.35 1.33 1.37 3/188 12485
/proc/meminfo: memFree=20567948/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=112896 memory=16508 CPUtime=3.09 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 4052 0 0 0 305 4 0 0 20 0 1 0 80204491 115605504 4127 33554432000 4194304 5849740 140730876867808 140730876866456 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 28224 4127 754 405 0 25168 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 112896 KiB
Current children cumulated memory: 16508 KiB
[startup+6.30025 s]
/proc/loadavg: 1.40 1.34 1.37 3/188 12485
/proc/meminfo: memFree=20557744/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=117896 memory=22440 CPUtime=6.29 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 6774 0 0 0 620 9 0 0 20 0 1 0 80204491 120725504 5610 33554432000 4194304 5849740 140730876867808 140730876866296 5437591 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 29474 5610 761 405 0 26418 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 117896 KiB
Current children cumulated memory: 22440 KiB
[startup+12.7002 s]
/proc/loadavg: 1.45 1.35 1.38 3/188 12485
/proc/meminfo: memFree=20549972/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=123312 memory=28028 CPUtime=12.69 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 12675 0 0 0 1254 15 0 0 20 0 1 0 80204491 126271488 7007 33554432000 4194304 5849740 140730876867808 140730876866808 5438106 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 30828 7007 761 405 0 27772 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 123312 KiB
Current children cumulated memory: 28028 KiB
[startup+25.5003 s]
/proc/loadavg: 1.54 1.37 1.38 3/188 12485
/proc/meminfo: memFree=20537884/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=129612 memory=38288 CPUtime=25.49 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 24704 0 0 0 2523 26 0 0 20 0 1 0 80204491 132722688 9572 33554432000 4194304 5849740 140730876867808 140730876866808 5437839 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 32403 9572 761 405 0 29347 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 129612 KiB
Current children cumulated memory: 38288 KiB
[startup+51.1093 s]
/proc/loadavg: 1.72 1.43 1.41 3/188 12485
/proc/meminfo: memFree=20533696/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=127004 memory=35564 CPUtime=51.1 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 32748 0 0 0 5063 47 0 0 20 0 1 0 80204491 130052096 8891 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 31751 8891 761 405 0 28695 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 127004 KiB
Current children cumulated memory: 35564 KiB
[startup+102.3 s]
/proc/loadavg: 1.88 1.52 1.44 3/187 12486
/proc/meminfo: memFree=20458940/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=173796 memory=82448 CPUtime=102.29 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 43401 0 0 0 10155 74 0 0 20 0 1 0 80204491 177967104 20612 33554432000 4194304 5849740 140730876867808 140730876866808 5437620 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 43449 20612 761 405 0 40393 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 173796 KiB
Current children cumulated memory: 82448 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 1.61 1.47 3/187 12487
/proc/meminfo: memFree=20442248/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=184264 memory=92808 CPUtime=162.29 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 51744 0 0 0 16133 96 0 0 20 0 1 0 80204491 188686336 23202 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 46066 23202 761 405 0 43010 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 184264 KiB
Current children cumulated memory: 92808 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 1.68 1.51 3/187 12488
/proc/meminfo: memFree=20383216/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=212728 memory=121276 CPUtime=222.29 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 58003 0 0 0 22117 112 0 0 20 0 1 0 80204491 217833472 30319 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 53182 30319 761 405 0 50126 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 212728 KiB
Current children cumulated memory: 121276 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 1.74 1.53 3/187 12489
/proc/meminfo: memFree=20405124/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=227008 memory=135788 CPUtime=282.3 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 67535 0 0 0 28106 124 0 0 20 0 1 0 80204491 232456192 33947 33554432000 4194304 5849740 140730876867808 140730876866808 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 56752 33947 761 405 0 53696 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 227008 KiB
Current children cumulated memory: 135788 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.79 1.56 3/187 12490
/proc/meminfo: memFree=20394564/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=206008 memory=114556 CPUtime=342.3 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 71295 0 0 0 34090 140 0 0 20 0 1 0 80204491 210952192 28639 33554432000 4194304 5849740 140730876867808 140730876866808 5438251 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 51502 28639 761 405 0 48446 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 114556 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.82 1.59 3/189 12500
/proc/meminfo: memFree=20428748/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=206008 memory=114788 CPUtime=402.31 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 80216 0 0 0 40077 154 0 0 20 0 1 0 80204491 210952192 28697 33554432000 4194304 5849740 140730876867808 140730876866808 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 51502 28697 761 405 0 48446 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 206008 KiB
Current children cumulated memory: 114788 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.86 1.62 3/189 12501
/proc/meminfo: memFree=20300796/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=265620 memory=174400 CPUtime=462.3 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 82341 0 0 0 46065 165 0 0 20 0 1 0 80204491 271994880 43600 33554432000 4194304 5849740 140730876867808 140730876866808 5437720 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 66405 43600 761 405 0 63349 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 265620 KiB
Current children cumulated memory: 174400 KiB
################
# More data... #
################
Current children cumulated memory: 320028 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/189 12563
/proc/meminfo: memFree=19989684/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=377540 memory=286192 CPUtime=1722.34 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 184434 0 0 0 171860 374 0 0 20 0 1 0 80204491 386600960 71548 33554432000 4194304 5849740 140730876867808 140730876866808 5335512 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 94385 71548 761 405 0 91329 0
Current children cumulated CPU time: 1722.34 s
Current children cumulated vsize: 377540 KiB
Current children cumulated memory: 286192 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 1.90 3/189 12564
/proc/meminfo: memFree=19747980/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=443076 memory=351728 CPUtime=1782.34 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 185036 0 0 0 177853 381 0 0 20 0 1 0 80204491 453709824 87932 33554432000 4194304 5849740 140730876867808 140730876866808 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 110769 87932 761 405 0 107713 0
Current children cumulated CPU time: 1782.34 s
Current children cumulated vsize: 443076 KiB
Current children cumulated memory: 351728 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/189 12565
/proc/meminfo: memFree=19948884/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=443076 memory=351728 CPUtime=1842.35 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 186702 0 0 0 183845 390 0 0 20 0 1 0 80204491 453709824 87932 33554432000 4194304 5849740 140730876867808 140730876866808 5437616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 110769 87932 761 405 0 107713 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 443076 KiB
Current children cumulated memory: 351728 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 1.91 3/188 12566
/proc/meminfo: memFree=19926128/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=400876 memory=309528 CPUtime=1902.35 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 189477 0 0 0 189835 400 0 0 20 0 1 0 80204491 410497024 77382 33554432000 4194304 5849740 140730876867808 140730876866680 5437778 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 100219 77382 761 405 0 97163 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 400876 KiB
Current children cumulated memory: 309528 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 12567
/proc/meminfo: memFree=19861116/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=466412 memory=375064 CPUtime=1962.35 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 193809 0 0 0 195827 408 0 0 20 0 1 0 80204491 477605888 93766 33554432000 4194304 5849740 140730876867808 140730876866808 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 116603 93766 761 405 0 113547 0
Current children cumulated CPU time: 1962.35 s
Current children cumulated vsize: 466412 KiB
Current children cumulated memory: 375064 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 1.92 3/187 12568
/proc/meminfo: memFree=19862292/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=464956 memory=373600 CPUtime=2022.36 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 198936 0 0 0 201819 417 0 0 20 0 1 0 80204491 476114944 93400 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 116239 93400 761 405 0 113183 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 464956 KiB
Current children cumulated memory: 373600 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 1.93 3/187 12569
/proc/meminfo: memFree=19835236/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=464956 memory=373608 CPUtime=2082.36 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 202741 0 0 0 207809 427 0 0 20 0 1 0 80204491 476114944 93402 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 116239 93402 761 405 0 113183 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 464956 KiB
Current children cumulated memory: 373608 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12570
/proc/meminfo: memFree=19973964/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=326908 memory=235560 CPUtime=2142.37 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 207346 0 0 0 213799 438 0 0 20 0 1 0 80204491 334753792 58890 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 81727 58890 761 405 0 78671 0
Current children cumulated CPU time: 2142.37 s
Current children cumulated vsize: 326908 KiB
Current children cumulated memory: 235560 KiB
[startup+2163.9 s]
# the end of solver process 12478 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2159.5 s, system=4.47428 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2150.4 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12570
/proc/meminfo: memFree=19973964/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=326908 memory=235560 CPUtime=2150.47 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 207349 0 0 0 214608 439 0 0 20 0 1 0 80204491 334753792 58890 33554432000 4194304 5849740 140730876867808 140730876866808 5437609 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 81727 58890 761 405 0 78671 0
Current children cumulated CPU time: 2150.47 s
Current children cumulated vsize: 326908 KiB
Current children cumulated memory: 235560 KiB
[startup+2156.8 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12570
/proc/meminfo: memFree=20116680/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=184720 memory=93332 CPUtime=2156.86 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 208104 0 0 0 215244 442 0 0 20 0 1 0 80204491 189153280 23333 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 46180 23333 761 405 0 43124 0
Current children cumulated CPU time: 2156.86 s
Current children cumulated vsize: 184720 KiB
Current children cumulated memory: 93332 KiB
[startup+2160 s]*
/proc/loadavg: 2.00 1.99 1.94 3/187 12570
/proc/meminfo: memFree=20113952/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=187020 memory=95444 CPUtime=2160.07 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 208679 0 0 0 215563 444 0 0 20 0 1 0 80204491 191508480 23861 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 46755 23861 761 405 0 43699 0
Current children cumulated CPU time: 2160.07 s
Current children cumulated vsize: 187020 KiB
Current children cumulated memory: 95444 KiB
[startup+2161.6 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12570
/proc/meminfo: memFree=20127916/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=173236 memory=81660 CPUtime=2161.67 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 209329 0 0 0 215722 445 0 0 20 0 1 0 80204491 177393664 20415 33554432000 4194304 5849740 140730876867808 140730876866808 5335598 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 43309 20415 761 405 0 40253 0
Current children cumulated CPU time: 2161.67 s
Current children cumulated vsize: 173236 KiB
Current children cumulated memory: 81660 KiB
[startup+2163.2 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12571
/proc/meminfo: memFree=20132928/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=167416 memory=76032 CPUtime=2163.26 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 210925 0 0 0 215880 446 0 0 20 0 1 0 80204491 171433984 19008 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 41854 19008 761 405 0 38798 0
Current children cumulated CPU time: 2163.26 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 76032 KiB
[startup+2163.6 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12571
/proc/meminfo: memFree=20132928/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=167416 memory=76032 CPUtime=2163.67 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 210925 0 0 0 215920 447 0 0 20 0 1 0 80204491 171433984 19008 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 41854 19008 761 405 0 38798 0
Current children cumulated CPU time: 2163.67 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 76032 KiB
[startup+2163.8 s]
/proc/loadavg: 2.00 1.99 1.94 3/187 12571
/proc/meminfo: memFree=20132928/32770624 swapFree=67108860/67108860
[pid=12478] ppid=12472 vsize=167416 memory=76032 CPUtime=2163.87 cores=1,3,5,7
/proc/12478/stat : 12478 (xcsp_picat) R 12472 12478 8081 0 -1 4202496 210925 0 0 0 215940 447 0 0 20 0 1 0 80204491 171433984 19008 33554432000 4194304 5849740 140730876867808 140730876866808 140237747359623 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 21159936 140730876875958 140730876876036 140730876876036 140730876878794 0
/proc/12478/statm: 41854 19008 761 405 0 38798 0
Current children cumulated CPU time: 2163.87 s
Current children cumulated vsize: 167416 KiB
Current children cumulated memory: 76032 KiB
Child status: 0
Real time (s): 2163.9
CPU time (s): 2163.98
CPU user time (s): 2159.5
CPU system time (s): 4.47428
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 466412
Max. memory (cumulated for all children) (KiB): 375064
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2159.5
system time used= 4.47428
maximum resident set size= 375064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 210971
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= 84
involuntary context switches= 706
# summary of solver processes directly reported to runsolver:
# pid: 12478
# total CPU time (s): 2163.98
# total CPU user time (s): 2159.5
# total CPU system time (s): 4.47428
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.79591 second user time and 15.836 second system time
The end