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 (13320 MiB free)
memory of node 1: 16384 MiB (10698 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309439-1534295739/watcher-4309439-1534295739 -o /tmp/evaluation-result-4309439-1534295739/solver-4309439-1534295739 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node135-1534293063-15170 --watchdog 2580 xcsp_picat HOME/instance-4309439-1534295739.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=15663, runsolver pid=15660
[startup+0.100114 s]*
/proc/loadavg: 2.00 2.04 2.02 4/190 15664
/proc/meminfo: memFree=24576660/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2025744 memory=22828 CPUtime=0.1 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 1305 0 0 0 10 0 0 0 20 0 1 0 247137067 2074361856 5707 33554432000 4194304 5849940 140732882454272 140732882454272 4502624 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 506436 5707 591 405 0 503380 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 22828 KiB
[startup+0.210114 s]*
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24564244/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2025744 memory=35344 CPUtime=0.21 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 1376 0 0 0 20 1 0 0 20 0 1 0 247137067 2074361856 8836 33554432000 4194304 5849940 140732882454272 140732882454272 4494004 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 506436 8836 607 405 0 503380 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 35344 KiB
[startup+0.309734 s]*
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24549908/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2025744 memory=47880 CPUtime=0.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 1394 0 0 0 30 1 0 0 20 0 1 0 247137067 2074361856 11970 33554432000 4194304 5849940 140732882454272 140732882454272 4505511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 506436 11970 627 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 47880 KiB
[startup+0.700308 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24518736/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2047452 memory=95352 CPUtime=0.69 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 6683 0 0 0 67 2 0 0 20 0 1 0 247137067 2096590848 23838 33554432000 4194304 5849940 140732882454272 140732882453576 4550663 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 511863 23838 679 405 0 508807 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2047452 KiB
Current children cumulated memory: 95352 KiB
[startup+1.50034 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24493804/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2059308 memory=107072 CPUtime=1.5 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 11470 0 0 0 140 10 0 0 20 0 1 0 247137067 2108731392 26768 33554432000 4194304 5849940 140732882454272 140732882452520 5392784 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 514827 26768 710 405 0 511771 0
Current children cumulated CPU time: 1.5 s
Current children cumulated vsize: 2059308 KiB
Current children cumulated memory: 107072 KiB
[startup+3.10977 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24488100/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2062276 memory=110204 CPUtime=3.1 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 17668 0 0 0 300 10 0 0 20 0 1 0 247137067 2111770624 27551 33554432000 4194304 5849940 140732882454272 140732882452536 5336940 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 515569 27551 718 405 0 512513 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2062276 KiB
Current children cumulated memory: 110204 KiB
[startup+6.30023 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24472208/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2065544 memory=113488 CPUtime=6.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 22734 0 0 0 619 10 0 0 20 0 1 0 247137067 2115117056 28372 33554432000 4194304 5849940 140732882454272 140732882451816 5328971 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 516386 28372 722 405 0 513330 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2065544 KiB
Current children cumulated memory: 113488 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24460740/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2065496 memory=113456 CPUtime=12.69 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 30010 0 0 0 1258 11 0 0 20 0 1 0 247137067 2115067904 28364 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 516374 28364 726 405 0 513318 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2065496 KiB
Current children cumulated memory: 113456 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24498316/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2068220 memory=116180 CPUtime=25.49 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 41041 0 0 0 2536 13 0 0 20 0 1 0 247137067 2117857280 29045 33554432000 4194304 5849940 140732882454272 140732882453432 5437828 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 517055 29045 726 405 0 513999 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2068220 KiB
Current children cumulated memory: 116180 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.04 2.02 3/190 15664
/proc/meminfo: memFree=24476688/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2070572 memory=115760 CPUtime=51.1 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 47513 0 0 0 5091 19 0 0 20 0 1 0 247137067 2120265728 28940 33554432000 4194304 5849940 140732882454272 140732882453432 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 517643 28940 726 405 0 514587 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2070572 KiB
Current children cumulated memory: 115760 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/191 15666
/proc/meminfo: memFree=24491728/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2070528 memory=118436 CPUtime=102.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 59095 0 0 0 10199 30 0 0 20 0 1 0 247137067 2120220672 29609 33554432000 4194304 5849940 140732882454272 140732882453432 5354021 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 517632 29609 726 405 0 514576 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2070528 KiB
Current children cumulated memory: 118436 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.02 3/191 15667
/proc/meminfo: memFree=24512576/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2086824 memory=134732 CPUtime=162.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 66734 0 0 0 16184 45 0 0 20 0 1 0 247137067 2136907776 33683 33554432000 4194304 5849940 140732882454272 140732882452760 5310139 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 521706 33683 726 405 0 518650 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2086824 KiB
Current children cumulated memory: 134732 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15668
/proc/meminfo: memFree=24484824/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2087000 memory=134908 CPUtime=222.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 76484 0 0 0 22174 55 0 0 20 0 1 0 247137067 2137088000 33727 33554432000 4194304 5849940 140732882454272 140732882453144 5359307 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 521750 33727 726 405 0 518694 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2087000 KiB
Current children cumulated memory: 134908 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/191 15736
/proc/meminfo: memFree=24508968/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2086760 memory=138352 CPUtime=282.28 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 79175 0 0 0 28157 71 0 0 20 0 1 0 247137067 2136842240 34588 33554432000 4194304 5849940 140732882454272 140732882453272 5307765 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 521690 34588 726 405 0 518634 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2086760 KiB
Current children cumulated memory: 138352 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/191 15737
/proc/meminfo: memFree=24537388/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2086864 memory=138896 CPUtime=342.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 80007 0 0 0 34141 88 0 0 20 0 1 0 247137067 2136948736 34724 33554432000 4194304 5849940 140732882454272 140732882453272 5359372 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 521716 34724 726 405 0 518660 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2086864 KiB
Current children cumulated memory: 138896 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15738
/proc/meminfo: memFree=24523468/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2067156 memory=117988 CPUtime=402.28 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 88144 0 0 0 40121 107 0 0 20 0 1 0 247137067 2116767744 29497 33554432000 4194304 5849940 140732882454272 140732882452536 4226639 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 516789 29497 738 405 0 513733 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2067156 KiB
Current children cumulated memory: 117988 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/190 15739
/proc/meminfo: memFree=24520256/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2095312 memory=146660 CPUtime=462.29 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 89700 0 0 0 46103 126 0 0 20 0 1 0 247137067 2145599488 36665 33554432000 4194304 5849940 140732882454272 140732882452760 5307875 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 523828 36665 738 405 0 520772 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2095312 KiB
Current children cumulated memory: 146660 KiB
################
# More data... #
################
/proc/15663/statm: 537001 50540 738 405 0 533945 0
Current children cumulated CPU time: 1722.3 s
Current children cumulated vsize: 2148004 KiB
Current children cumulated memory: 202160 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15780
/proc/meminfo: memFree=24349512/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2180772 memory=234928 CPUtime=1782.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 292600 0 0 0 177409 822 0 0 20 0 1 0 247137067 2233110528 58732 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 545193 58732 738 405 0 542137 0
Current children cumulated CPU time: 1782.31 s
Current children cumulated vsize: 2180772 KiB
Current children cumulated memory: 234928 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15781
/proc/meminfo: memFree=24349440/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2180772 memory=234928 CPUtime=1842.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 295341 0 0 0 183376 855 0 0 20 0 1 0 247137067 2233110528 58732 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 545193 58732 738 405 0 542137 0
Current children cumulated CPU time: 1842.31 s
Current children cumulated vsize: 2180772 KiB
Current children cumulated memory: 234928 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15782
/proc/meminfo: memFree=24365800/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2148004 memory=202160 CPUtime=1902.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 306480 0 0 0 189349 882 0 0 20 0 1 0 247137067 2199556096 50540 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 537001 50540 738 405 0 533945 0
Current children cumulated CPU time: 1902.31 s
Current children cumulated vsize: 2148004 KiB
Current children cumulated memory: 202160 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15783
/proc/meminfo: memFree=24260960/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2187604 memory=241760 CPUtime=1962.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 316944 0 0 0 195308 923 0 0 20 0 1 0 247137067 2240106496 60440 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 546901 60440 738 405 0 543845 0
Current children cumulated CPU time: 1962.31 s
Current children cumulated vsize: 2187604 KiB
Current children cumulated memory: 241760 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15785
/proc/meminfo: memFree=24360692/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2120428 memory=174712 CPUtime=2022.32 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 327027 0 0 0 201285 947 0 0 20 0 1 0 247137067 2171318272 43678 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 530107 43678 738 405 0 527051 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2120428 KiB
Current children cumulated memory: 174712 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15794
/proc/meminfo: memFree=24526052/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2120428 memory=174712 CPUtime=2082.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 332604 0 0 0 207256 975 0 0 20 0 1 0 247137067 2171318272 43678 33554432000 4194304 5849940 140732882454272 140732882453272 5307802 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 530107 43678 738 405 0 527051 0
Current children cumulated CPU time: 2082.31 s
Current children cumulated vsize: 2120428 KiB
Current children cumulated memory: 174712 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15916
/proc/meminfo: memFree=24592064/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2125100 memory=179256 CPUtime=2142.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 346321 0 0 0 213223 1008 0 0 20 0 1 0 247137067 2176102400 44814 33554432000 4194304 5849940 140732882454272 140732882453272 5437772 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 531275 44814 738 405 0 528219 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 2125100 KiB
Current children cumulated memory: 179256 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15917
/proc/meminfo: memFree=24531020/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2157868 memory=212024 CPUtime=2202.32 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 352563 0 0 0 219194 1038 0 0 20 0 1 0 247137067 2209656832 53006 33554432000 4194304 5849940 140732882454272 140732882453272 5339258 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 539467 53006 738 405 0 536411 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2157868 KiB
Current children cumulated memory: 212024 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/192 15918
/proc/meminfo: memFree=24452500/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2192844 memory=247008 CPUtime=2262.31 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 366998 0 0 0 225160 1071 0 0 20 0 1 0 247137067 2245472256 61752 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 548211 61752 738 405 0 545155 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 2192844 KiB
Current children cumulated memory: 247008 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/191 15919
/proc/meminfo: memFree=24450396/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2192844 memory=247008 CPUtime=2322.32 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 372121 0 0 0 231131 1101 0 0 20 0 1 0 247137067 2245472256 61752 33554432000 4194304 5849940 140732882454272 140732882453432 5392491 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 548211 61752 738 405 0 545155 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2192844 KiB
Current children cumulated memory: 247008 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15921
/proc/meminfo: memFree=24480924/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2160076 memory=214240 CPUtime=2382.32 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 385513 0 0 0 237103 1129 0 0 20 0 1 0 247137067 2211917824 53560 33554432000 4194304 5849940 140732882454272 140732882453432 5437784 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 540019 53560 738 405 0 536963 0
Current children cumulated CPU time: 2382.32 s
Current children cumulated vsize: 2160076 KiB
Current children cumulated memory: 214240 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/190 15922
/proc/meminfo: memFree=24438328/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2192844 memory=247008 CPUtime=2442.32 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 391461 0 0 0 243074 1158 0 0 20 0 1 0 247137067 2245472256 61752 33554432000 4194304 5849940 140732882454272 140732882453272 5311694 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 548211 61752 738 405 0 545155 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2192844 KiB
Current children cumulated memory: 247008 KiB
[startup+2502.3 s]
/proc/loadavg: 2.16 2.05 2.05 3/190 15923
/proc/meminfo: memFree=24423412/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2209512 memory=263676 CPUtime=2502.33 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 403190 0 0 0 249044 1189 0 0 20 0 1 0 247137067 2262540288 65919 33554432000 4194304 5849940 140732882454272 140732882453272 5339655 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 552378 65919 738 405 0 549322 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2209512 KiB
Current children cumulated memory: 263676 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.40 2.11 2.07 3/190 15924
/proc/meminfo: memFree=24424104/32770624 swapFree=67108840/67108860
[pid=15663] ppid=15660 vsize=2208584 memory=262700 CPUtime=2520.04 cores=1,3,5,7
/proc/15663/stat : 15663 (xcsp_picat) R 15660 15663 15138 0 -1 4202496 411013 0 0 0 250807 1197 0 0 20 0 1 0 247137067 2261590016 65675 33554432000 4194304 5849940 140732882454272 140732882453272 140426616676231 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 34246656 140732882461878 140732882461956 140732882461956 140732882464714 0
/proc/15663/statm: 552146 65675 738 405 0 549090 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 2208584 KiB
Current children cumulated memory: 262700 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 15663 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.07 s, system=11.9792 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.05
CPU user time (s): 2508.07
CPU system time (s): 11.9792
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2222900
Max. memory (cumulated for all children) (KiB): 277056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.07
system time used= 11.9792
maximum resident set size= 277056
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 411013
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= 15
involuntary context switches= 992
# summary of solver processes directly reported to runsolver:
# pid: 15663
# total CPU time (s): 2520.05
# total CPU user time (s): 2508.07
# total CPU system time (s): 11.9792
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.76341 second user time and 18.6803 second system time
The end