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 (15041 MiB free)
memory of node 1: 16384 MiB (11883 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293272-1532310585/watcher-4293272-1532310585 -o /tmp/evaluation-result-4293272-1532310585/solver-4293272-1532310585 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293272-1532310585.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=9477, runsolver pid=9474
Current StackSize limit: 8192 KiB
[startup+0.100794 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 9478
/proc/meminfo: memFree=27544536/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=111688 memory=32864 CPUtime=0.09 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 1773 0 0 0 9 0 0 0 20 0 1 0 48621691 114368512 8216 33554432000 4194304 5849740 140734497930352 140734497929656 4454809 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 27922 8216 603 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 32864 KiB
[startup+0.209636 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 9478
/proc/meminfo: memFree=27526420/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136140 memory=47836 CPUtime=0.2 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2499 0 0 0 20 0 0 0 20 0 1 0 48621691 139407360 11959 33554432000 4194304 5849740 140734497930352 140734497929656 139840901353351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34035 11959 713 405 0 30979 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 47836 KiB
[startup+0.309405 s]*
/proc/loadavg: 2.00 1.99 2.03 3/187 9478
/proc/meminfo: memFree=27526420/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136140 memory=47836 CPUtime=0.3 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2504 0 0 0 30 0 0 0 20 0 1 0 48621691 139407360 11959 33554432000 4194304 5849740 140734497930352 140734497929656 5606222 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34035 11959 713 405 0 30979 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136140 KiB
Current children cumulated memory: 47836 KiB
[startup+0.700231 s]
/proc/loadavg: 2.08 2.00 2.04 3/187 9478
/proc/meminfo: memFree=27526420/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136276 memory=47836 CPUtime=0.68 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2526 0 0 0 68 0 0 0 20 0 1 0 48621691 139546624 11959 33554432000 4194304 5849740 140734497930352 140734497929656 5472704 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34069 11959 713 405 0 31013 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 136276 KiB
Current children cumulated memory: 47836 KiB
[startup+1.50022 s]
/proc/loadavg: 2.08 2.00 2.04 3/187 9478
/proc/meminfo: memFree=27526296/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136276 memory=47836 CPUtime=1.48 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2530 0 0 0 148 0 0 0 20 0 1 0 48621691 139546624 11959 33554432000 4194304 5849740 140734497930352 140734497929464 139840901353351 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34069 11959 713 405 0 31013 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 136276 KiB
Current children cumulated memory: 47836 KiB
[startup+3.10888 s]
/proc/loadavg: 2.08 2.00 2.04 3/187 9478
/proc/meminfo: memFree=27525924/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136408 memory=48168 CPUtime=3.09 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2691 0 0 0 309 0 0 0 20 0 1 0 48621691 139681792 12042 33554432000 4194304 5849740 140734497930352 140734497929448 5534908 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34102 12042 713 405 0 31046 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 136408 KiB
Current children cumulated memory: 48168 KiB
[startup+6.30022 s]
/proc/loadavg: 2.07 2.00 2.04 3/187 9478
/proc/meminfo: memFree=27525500/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=136408 memory=48188 CPUtime=6.29 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 2837 0 0 0 628 1 0 0 20 0 1 0 48621691 139681792 12047 33554432000 4194304 5849740 140734497930352 140734497929592 5606191 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 34102 12047 713 405 0 31046 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 136408 KiB
Current children cumulated memory: 48188 KiB
[startup+12.7004 s]
/proc/loadavg: 2.06 2.00 2.04 3/187 9478
/proc/meminfo: memFree=27487080/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=172484 memory=84236 CPUtime=12.68 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 8233 0 0 0 1267 1 0 0 20 0 1 0 48621691 176623616 21059 33554432000 4194304 5849740 140734497930352 140734497929000 5335948 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 43121 21059 742 405 0 40065 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 172484 KiB
Current children cumulated memory: 84236 KiB
[startup+25.5004 s]
/proc/loadavg: 1.98 1.99 2.03 3/188 9486
/proc/meminfo: memFree=27485492/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=175784 memory=87588 CPUtime=25.48 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 17874 0 0 0 2542 6 0 0 20 0 1 0 48621691 180002816 21897 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 43946 21897 750 405 0 40890 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 175784 KiB
Current children cumulated memory: 87588 KiB
[startup+51.1096 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 9486
/proc/meminfo: memFree=27493736/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=163828 memory=75764 CPUtime=51.09 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 27966 0 0 0 5090 19 0 0 20 0 1 0 48621691 167759872 18941 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 40957 18941 751 405 0 37901 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 163828 KiB
Current children cumulated memory: 75764 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/188 9487
/proc/meminfo: memFree=27458308/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=200576 memory=108440 CPUtime=102.27 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 44495 0 0 0 10184 43 0 0 20 0 1 0 48621691 205389824 27110 33554432000 4194304 5849740 140734497930352 140734497929512 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 50144 27110 751 405 0 47088 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 200576 KiB
Current children cumulated memory: 108440 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9488
/proc/meminfo: memFree=27437972/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=212676 memory=127888 CPUtime=162.26 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 47795 0 0 0 16160 66 0 0 20 0 1 0 48621691 217780224 31972 33554432000 4194304 5849740 140734497930352 140734497929352 5311410 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 53169 31972 751 405 0 50113 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 212676 KiB
Current children cumulated memory: 127888 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9490
/proc/meminfo: memFree=27434636/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=209116 memory=124072 CPUtime=222.25 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 51555 0 0 0 22139 86 0 0 20 0 1 0 48621691 214134784 31018 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 52279 31018 751 405 0 49223 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 209116 KiB
Current children cumulated memory: 124072 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9491
/proc/meminfo: memFree=27391980/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=235372 memory=152876 CPUtime=282.25 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 55428 0 0 0 28120 105 0 0 20 0 1 0 48621691 241020928 38219 33554432000 4194304 5849740 140734497930352 140734497929000 5317544 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 58843 38219 751 405 0 55787 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 235372 KiB
Current children cumulated memory: 152876 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9493
/proc/meminfo: memFree=27391748/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=235372 memory=152936 CPUtime=342.24 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 56170 0 0 0 34098 126 0 0 20 0 1 0 48621691 241020928 38234 33554432000 4194304 5849740 140734497930352 140734497929224 5416715 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 58843 38234 751 405 0 55787 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 235372 KiB
Current children cumulated memory: 152936 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9494
/proc/meminfo: memFree=27391052/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=235320 memory=152884 CPUtime=402.23 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 62141 0 0 0 40080 143 0 0 20 0 1 0 48621691 240967680 38221 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 58830 38221 751 405 0 55774 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 235320 KiB
Current children cumulated memory: 152884 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9495
/proc/meminfo: memFree=27378040/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=241048 memory=158472 CPUtime=462.23 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 63361 0 0 0 46059 164 0 0 20 0 1 0 48621691 246833152 39618 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 60262 39618 751 405 0 57206 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 241048 KiB
Current children cumulated memory: 158472 KiB
################
# More data... #
################
/proc/9477/statm: 78116 57507 751 405 0 75060 0
Current children cumulated CPU time: 1722.09 s
Current children cumulated vsize: 312464 KiB
Current children cumulated memory: 230028 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9556
/proc/meminfo: memFree=27217404/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=312464 memory=230028 CPUtime=1782.09 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 180139 0 0 0 177610 599 0 0 20 0 1 0 48621691 319963136 57507 33554432000 4194304 5849740 140734497930352 140734497929512 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 78116 57507 751 405 0 75060 0
Current children cumulated CPU time: 1782.09 s
Current children cumulated vsize: 312464 KiB
Current children cumulated memory: 230028 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9565
/proc/meminfo: memFree=27251032/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=312464 memory=230028 CPUtime=1842.08 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 180884 0 0 0 183595 613 0 0 20 0 1 0 48621691 319963136 57507 33554432000 4194304 5849740 140734497930352 140734497929512 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 78116 57507 751 405 0 75060 0
Current children cumulated CPU time: 1842.08 s
Current children cumulated vsize: 312464 KiB
Current children cumulated memory: 230028 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9566
/proc/meminfo: memFree=27221620/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=312464 memory=230028 CPUtime=1902.07 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 181615 0 0 0 189576 631 0 0 20 0 1 0 48621691 319963136 57507 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 78116 57507 751 405 0 75060 0
Current children cumulated CPU time: 1902.07 s
Current children cumulated vsize: 312464 KiB
Current children cumulated memory: 230028 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9567
/proc/meminfo: memFree=27221804/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=312440 memory=230004 CPUtime=1962.06 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 182278 0 0 0 195559 647 0 0 20 0 1 0 48621691 319938560 57501 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 78110 57501 751 405 0 75054 0
Current children cumulated CPU time: 1962.06 s
Current children cumulated vsize: 312440 KiB
Current children cumulated memory: 230004 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9568
/proc/meminfo: memFree=27215032/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=318980 memory=236568 CPUtime=2022.07 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 183490 0 0 0 201539 668 0 0 20 0 1 0 48621691 326635520 59142 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 79745 59142 751 405 0 76689 0
Current children cumulated CPU time: 2022.07 s
Current children cumulated vsize: 318980 KiB
Current children cumulated memory: 236568 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 9569
/proc/meminfo: memFree=27246540/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=282504 memory=199988 CPUtime=2082.06 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 186319 0 0 0 207518 688 0 0 20 0 1 0 48621691 289284096 49997 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 70626 49997 751 405 0 67570 0
Current children cumulated CPU time: 2082.06 s
Current children cumulated vsize: 282504 KiB
Current children cumulated memory: 199988 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9571
/proc/meminfo: memFree=27207672/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=320248 memory=237940 CPUtime=2142.05 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 193568 0 0 0 213501 704 0 0 20 0 1 0 48621691 327933952 59485 33554432000 4194304 5849740 140734497930352 140734497928840 4212453 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 80062 59485 751 405 0 77006 0
Current children cumulated CPU time: 2142.05 s
Current children cumulated vsize: 320248 KiB
Current children cumulated memory: 237940 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9572
/proc/meminfo: memFree=27234720/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=293220 memory=210912 CPUtime=2202.04 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 200919 0 0 0 219481 723 0 0 20 0 1 0 48621691 300257280 52728 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 73305 52728 751 405 0 70249 0
Current children cumulated CPU time: 2202.04 s
Current children cumulated vsize: 293220 KiB
Current children cumulated memory: 210912 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9573
/proc/meminfo: memFree=27171788/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=354172 memory=271736 CPUtime=2262.04 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 207650 0 0 0 225465 739 0 0 20 0 1 0 48621691 362672128 67934 33554432000 4194304 5849740 140734497930352 140734497929352 5312857 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 88543 67934 751 405 0 85487 0
Current children cumulated CPU time: 2262.04 s
Current children cumulated vsize: 354172 KiB
Current children cumulated memory: 271736 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9575
/proc/meminfo: memFree=27110308/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=419716 memory=337280 CPUtime=2322.03 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 213997 0 0 0 231451 752 0 0 20 0 1 0 48621691 429789184 84320 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 104929 84320 751 405 0 101873 0
Current children cumulated CPU time: 2322.03 s
Current children cumulated vsize: 419716 KiB
Current children cumulated memory: 337280 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/187 9576
/proc/meminfo: memFree=27219956/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=300712 memory=218188 CPUtime=2382.02 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 222488 0 0 0 237435 767 0 0 20 0 1 0 48621691 307929088 54547 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 75178 54547 751 405 0 72122 0
Current children cumulated CPU time: 2382.02 s
Current children cumulated vsize: 300712 KiB
Current children cumulated memory: 218188 KiB
[startup+2442.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/188 9646
/proc/meminfo: memFree=27270820/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=349076 memory=266568 CPUtime=2442.02 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 230424 0 0 0 243421 781 0 0 20 0 1 0 48621691 357453824 66642 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 87269 66642 751 405 0 84213 0
Current children cumulated CPU time: 2442.02 s
Current children cumulated vsize: 349076 KiB
Current children cumulated memory: 266568 KiB
[startup+2502.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/188 9647
/proc/meminfo: memFree=27273252/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=349076 memory=266768 CPUtime=2502.01 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 236259 0 0 0 249407 794 0 0 20 0 1 0 48621691 357453824 66692 33554432000 4194304 5849740 140734497930352 140734497929352 139840901353351 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 87269 66692 751 405 0 84213 0
Current children cumulated CPU time: 2502.01 s
Current children cumulated vsize: 349076 KiB
Current children cumulated memory: 266768 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.02 2.01 2.05 3/188 9647
/proc/meminfo: memFree=27258980/32770624 swapFree=67108860/67108860
[pid=9477] ppid=9474 vsize=363580 memory=281272 CPUtime=2519.72 cores=0,2,4,6
/proc/9477/stat : 9477 (xcsp_picat) R 9474 9477 7287 0 -1 4202496 237044 0 0 0 251174 798 0 0 20 0 1 0 48621691 372305920 70318 33554432000 4194304 5849740 140734497930352 140734497929224 5395643 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 18042880 140734497932470 140734497932548 140734497932548 140734497935306 0
/proc/9477/statm: 90895 70318 751 405 0 87839 0
Current children cumulated CPU time: 2519.72 s
Current children cumulated vsize: 363580 KiB
Current children cumulated memory: 281272 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 9477 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2511.74 s, system=7.98925 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.73
CPU user time (s): 2511.74
CPU system time (s): 7.98925
CPU usage (%): 99.9888
Max. virtual memory (cumulated for all children) (KiB): 429828
Max. memory (cumulated for all children) (KiB): 347392
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2511.74
system time used= 7.98925
maximum resident set size= 347392
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 237044
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= 52
involuntary context switches= 3163
# summary of solver processes directly reported to runsolver:
# pid: 9477
# total CPU time (s): 2519.73
# total CPU user time (s): 2511.74
# total CPU system time (s): 7.98925
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.6149 second user time and 17.4991 second system time
The end