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 (14457 MiB free)
memory of node 1: 16384 MiB (14440 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293088-1532306244/watcher-4293088-1532306244 -o /tmp/evaluation-result-4293088-1532306244/solver-4293088-1532306244 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8379 --watchdog 2580 xcsp_picat HOME/instance-4293088-1532306244.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
Current StackSize limit: 8192 KiB
solver pid=9510, runsolver pid=9507
[startup+0.100195 s]*
/proc/loadavg: 2.09 2.07 2.03 4/192 9511
/proc/meminfo: memFree=29570504/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=111688 memory=23088 CPUtime=0.09 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 1347 0 0 0 9 0 0 0 20 0 1 0 48187593 114368512 5772 33554432000 4194304 5849740 140731299977152 140731299976456 4465958 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 27922 5772 595 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23088 KiB
[startup+0.209949 s]*
/proc/loadavg: 2.09 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29552652/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=136432 memory=41136 CPUtime=0.2 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 2778 0 0 0 20 0 0 0 20 0 1 0 48187593 139706368 10284 33554432000 4194304 5849740 140731299977152 140731299976456 4475412 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 34108 10284 612 405 0 31052 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 136432 KiB
Current children cumulated memory: 41136 KiB
[startup+0.309793 s]*
/proc/loadavg: 2.09 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29544508/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=136432 memory=47280 CPUtime=0.3 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 2794 0 0 0 30 0 0 0 20 0 1 0 48187593 139706368 11820 33554432000 4194304 5849740 140731299977152 140731299976456 4454519 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 34108 11820 612 405 0 31052 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 136432 KiB
Current children cumulated memory: 47280 KiB
[startup+0.700348 s]
/proc/loadavg: 2.09 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29507832/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=192368 memory=116484 CPUtime=0.68 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 8239 0 0 0 66 2 0 0 20 0 1 0 48187593 196984832 29121 33554432000 4194304 5849740 140731299977152 140731299976456 139708028768135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 48092 29121 667 405 0 45036 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 192368 KiB
Current children cumulated memory: 116484 KiB
[startup+1.50037 s]
/proc/loadavg: 2.09 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29458776/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=208756 memory=132904 CPUtime=1.49 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 8776 0 0 0 139 10 0 0 20 0 1 0 48187593 213766144 33226 33554432000 4194304 5849740 140731299977152 140731299975800 5367990 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 52189 33226 695 405 0 49133 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 208756 KiB
Current children cumulated memory: 132904 KiB
[startup+3.10978 s]
/proc/loadavg: 2.09 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29453004/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=208756 memory=133152 CPUtime=3.1 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 12934 0 0 0 300 10 0 0 20 0 1 0 48187593 213766144 33288 33554432000 4194304 5849740 140731299977152 140731299975800 5318874 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 52189 33288 720 405 0 49133 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 208756 KiB
Current children cumulated memory: 133152 KiB
[startup+6.3003 s]
/proc/loadavg: 2.08 2.07 2.03 3/192 9511
/proc/meminfo: memFree=29452924/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=208756 memory=133172 CPUtime=6.29 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 15790 0 0 0 619 10 0 0 20 0 1 0 48187593 213766144 33293 33554432000 4194304 5849740 140731299977152 140731299975640 5308384 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 52189 33293 724 405 0 49133 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 208756 KiB
Current children cumulated memory: 133172 KiB
[startup+12.7004 s]
/proc/loadavg: 2.07 2.07 2.03 3/191 9512
/proc/meminfo: memFree=29441304/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=208756 memory=133172 CPUtime=12.68 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 19999 0 0 0 1258 10 0 0 20 0 1 0 48187593 213766144 33293 33554432000 4194304 5849740 140731299977152 140731299976152 5437467 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 52189 33293 724 405 0 49133 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 208756 KiB
Current children cumulated memory: 133172 KiB
[startup+25.5004 s]
/proc/loadavg: 2.06 2.06 2.03 3/191 9512
/proc/meminfo: memFree=29425904/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=208756 memory=133188 CPUtime=25.48 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 25953 0 0 0 2535 13 0 0 20 0 1 0 48187593 213766144 33297 33554432000 4194304 5849740 140731299977152 140731299976152 5437828 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 52189 33297 728 405 0 49133 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 208756 KiB
Current children cumulated memory: 133188 KiB
[startup+51.1097 s]
/proc/loadavg: 2.04 2.06 2.03 3/191 9512
/proc/meminfo: memFree=29407528/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=212888 memory=133324 CPUtime=51.09 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 29120 0 0 0 5092 17 0 0 20 0 1 0 48187593 217997312 33331 33554432000 4194304 5849740 140731299977152 140731299976152 5435266 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 53222 33331 728 405 0 50166 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 212888 KiB
Current children cumulated memory: 133324 KiB
[startup+102.3 s]
/proc/loadavg: 2.02 2.05 2.03 3/191 9513
/proc/meminfo: memFree=29380044/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=212232 memory=135776 CPUtime=102.27 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 36882 0 0 0 10192 35 0 0 20 0 1 0 48187593 217325568 33944 33554432000 4194304 5849740 140731299977152 140731299975640 139708028768135 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 53058 33944 740 405 0 50002 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 212232 KiB
Current children cumulated memory: 135776 KiB
[startup+162.3 s]
/proc/loadavg: 1.95 2.02 2.03 3/192 9522
/proc/meminfo: memFree=29313644/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=171664 CPUtime=162.26 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 38242 0 0 0 16164 62 0 0 20 0 1 0 48187593 251527168 42916 33554432000 4194304 5849740 140731299977152 140731299976152 5438056 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 42916 740 405 0 58352 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 171664 KiB
[startup+222.3 s]
/proc/loadavg: 1.98 2.02 2.03 3/193 9524
/proc/meminfo: memFree=29310376/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=175796 CPUtime=222.27 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 38762 0 0 0 22137 90 0 0 20 0 1 0 48187593 251527168 43949 33554432000 4194304 5849740 140731299977152 140731299976152 5437631 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 43949 740 405 0 58352 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 175796 KiB
[startup+282.3 s]
/proc/loadavg: 1.99 2.01 2.03 3/193 9525
/proc/meminfo: memFree=29357688/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=175796 CPUtime=282.27 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 38765 0 0 0 28108 119 0 0 20 0 1 0 48187593 251527168 43949 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 43949 740 405 0 58352 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 175796 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/193 9526
/proc/meminfo: memFree=29339648/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=175796 CPUtime=342.28 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 39287 0 0 0 34076 152 0 0 20 0 1 0 48187593 251527168 43949 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 43949 740 405 0 58352 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 175796 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/193 9527
/proc/meminfo: memFree=29310756/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=175796 CPUtime=402.29 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 39295 0 0 0 40045 184 0 0 20 0 1 0 48187593 251527168 43949 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 43949 740 405 0 58352 0
Current children cumulated CPU time: 402.29 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 175796 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 9528
/proc/meminfo: memFree=29283228/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=245632 memory=175796 CPUtime=462.29 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 39812 0 0 0 46011 218 0 0 20 0 1 0 48187593 251527168 43949 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 61408 43949 740 405 0 58352 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 245632 KiB
Current children cumulated memory: 175796 KiB
################
# More data... #
################
/proc/9510/statm: 85846 68511 741 405 0 82790 0
Current children cumulated CPU time: 1722.35 s
Current children cumulated vsize: 343384 KiB
Current children cumulated memory: 274044 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9652
/proc/meminfo: memFree=29184796/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=310616 memory=241276 CPUtime=1782.36 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 98970 0 0 0 177252 984 0 0 20 0 1 0 48187593 318070784 60319 33554432000 4194304 5849740 140731299977152 140731299976152 5407389 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 77654 60319 741 405 0 74598 0
Current children cumulated CPU time: 1782.36 s
Current children cumulated vsize: 310616 KiB
Current children cumulated memory: 241276 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9653
/proc/meminfo: memFree=29152564/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=343384 memory=274044 CPUtime=1842.36 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 100533 0 0 0 183219 1017 0 0 20 0 1 0 48187593 351625216 68511 33554432000 4194304 5849740 140731299977152 140731299975640 4211727 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 85846 68511 741 405 0 82790 0
Current children cumulated CPU time: 1842.36 s
Current children cumulated vsize: 343384 KiB
Current children cumulated memory: 274044 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9655
/proc/meminfo: memFree=29119472/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=343384 memory=274044 CPUtime=1902.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 102002 0 0 0 189184 1053 0 0 20 0 1 0 48187593 351625216 68511 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 85846 68511 741 405 0 82790 0
Current children cumulated CPU time: 1902.37 s
Current children cumulated vsize: 343384 KiB
Current children cumulated memory: 274044 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9661
/proc/meminfo: memFree=29052688/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=343384 memory=274044 CPUtime=1962.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 104457 0 0 0 195154 1083 0 0 20 0 1 0 48187593 351625216 68511 33554432000 4194304 5849740 140731299977152 140731299976152 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 85846 68511 741 405 0 82790 0
Current children cumulated CPU time: 1962.37 s
Current children cumulated vsize: 343384 KiB
Current children cumulated memory: 274044 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9662
/proc/meminfo: memFree=28999568/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=382780 memory=313380 CPUtime=2022.38 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 113381 0 0 0 201118 1120 0 0 20 0 1 0 48187593 391966720 78345 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 95695 78345 741 405 0 92639 0
Current children cumulated CPU time: 2022.38 s
Current children cumulated vsize: 382780 KiB
Current children cumulated memory: 313380 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 9664
/proc/meminfo: memFree=29059888/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=357028 memory=287556 CPUtime=2082.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 115616 0 0 0 207057 1180 0 0 20 0 1 0 48187593 365596672 71889 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 89257 71889 741 405 0 86201 0
Current children cumulated CPU time: 2082.37 s
Current children cumulated vsize: 357028 KiB
Current children cumulated memory: 287556 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 9665
/proc/meminfo: memFree=28954520/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=491516 memory=422176 CPUtime=2142.38 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 125066 0 0 0 213029 1209 0 0 20 0 1 0 48187593 503312384 105544 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 122879 105544 741 405 0 119823 0
Current children cumulated CPU time: 2142.38 s
Current children cumulated vsize: 491516 KiB
Current children cumulated memory: 422176 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 9666
/proc/meminfo: memFree=28759944/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=653716 memory=584372 CPUtime=2202.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 130486 0 0 0 219011 1226 0 0 20 0 1 0 48187593 669405184 146093 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 163429 146093 741 405 0 160373 0
Current children cumulated CPU time: 2202.37 s
Current children cumulated vsize: 653716 KiB
Current children cumulated memory: 584372 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 9667
/proc/meminfo: memFree=28952732/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=456548 memory=387208 CPUtime=2262.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 155376 0 0 0 224989 1248 0 0 20 0 1 0 48187593 467505152 96802 33554432000 4194304 5849740 140731299977152 140731299975640 5308435 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 114137 96802 741 405 0 111081 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 456548 KiB
Current children cumulated memory: 387208 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 9668
/proc/meminfo: memFree=28924592/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=477960 memory=408516 CPUtime=2322.37 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 162162 0 0 0 230963 1274 0 0 20 0 1 0 48187593 489431040 102129 33554432000 4194304 5849740 140731299977152 140731299976312 5437616 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 119490 102129 741 405 0 116434 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 477960 KiB
Current children cumulated memory: 408516 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9669
/proc/meminfo: memFree=28918824/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=477960 memory=408620 CPUtime=2382.38 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 175177 0 0 0 236937 1301 0 0 20 0 1 0 48187593 489431040 102155 33554432000 4194304 5849740 140731299977152 140731299976024 5437821 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 119490 102155 741 405 0 116434 0
Current children cumulated CPU time: 2382.38 s
Current children cumulated vsize: 477960 KiB
Current children cumulated memory: 408620 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9670
/proc/meminfo: memFree=28887112/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=502360 memory=433020 CPUtime=2442.38 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 190245 0 0 0 242911 1327 0 0 20 0 1 0 48187593 514416640 108255 33554432000 4194304 5849740 140731299977152 140731299976152 5311369 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 125590 108255 741 405 0 122534 0
Current children cumulated CPU time: 2442.38 s
Current children cumulated vsize: 502360 KiB
Current children cumulated memory: 433020 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9671
/proc/meminfo: memFree=28903068/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=436824 memory=367484 CPUtime=2502.39 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 194640 0 0 0 248891 1348 0 0 20 0 1 0 48187593 447307776 91871 33554432000 4194304 5849740 140731299977152 140731299976152 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 109206 91871 741 405 0 106150 0
Current children cumulated CPU time: 2502.39 s
Current children cumulated vsize: 436824 KiB
Current children cumulated memory: 367484 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/192 9672
/proc/meminfo: memFree=28808480/32770624 swapFree=67108860/67108860
[pid=9510] ppid=9507 vsize=436824 memory=367484 CPUtime=2520.1 cores=1,3,5,7
/proc/9510/stat : 9510 (xcsp_picat) R 9507 9510 8347 0 -1 4202496 206975 0 0 0 250656 1354 0 0 20 0 1 0 48187593 447307776 91871 33554432000 4194304 5849740 140731299977152 140731299976312 139708028768135 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 46366720 140731299980470 140731299980548 140731299980548 140731299983306 0
/proc/9510/statm: 109206 91871 741 405 0 106150 0
Current children cumulated CPU time: 2520.1 s
Current children cumulated vsize: 436824 KiB
Current children cumulated memory: 367484 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 9510 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2506.57 s, system=13.5468 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.02
CPU time (s): 2520.12
CPU user time (s): 2506.57
CPU system time (s): 13.5468
CPU usage (%): 100.004
Max. virtual memory (cumulated for all children) (KiB): 653716
Max. memory (cumulated for all children) (KiB): 584376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2506.57
system time used= 13.5468
maximum resident set size= 584376
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 206975
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= 883
# summary of solver processes directly reported to runsolver:
# pid: 9510
# total CPU time (s): 2520.12
# total CPU user time (s): 2506.57
# total CPU system time (s): 13.5468
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.5081 second user time and 18.0745 second system time
The end