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 (14456 MiB free)
memory of node 1: 16384 MiB (14174 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293236-1532309843/watcher-4293236-1532309843 -o /tmp/evaluation-result-4293236-1532309843/solver-4293236-1532309843 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node133-1532296142-8378 --watchdog 2580 xcsp_picat HOME/instance-4293236-1532309843.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=9930, runsolver pid=9927
Current StackSize limit: 8192 KiB
[startup+0.100204 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29296792/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=111688 memory=23088 CPUtime=0.1 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 1318 0 0 0 10 0 0 0 20 0 1 0 48547473 114368512 5772 33554432000 4194304 5849740 140727637227648 140727637227648 4509272 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 27922 5772 595 405 0 24866 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 23088 KiB
[startup+0.209814 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29280472/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=111688 memory=35376 CPUtime=0.2 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 1324 0 0 0 20 0 0 0 20 0 1 0 48547473 114368512 8844 33554432000 4194304 5849740 140727637227648 140727637227648 140392300006400 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 27922 8844 595 405 0 24866 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 35376 KiB
[startup+0.309844 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29274328/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=111688 memory=43568 CPUtime=0.3 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 1365 0 0 0 30 0 0 0 20 0 1 0 48547473 114368512 10892 33554432000 4194304 5849740 140727637227648 140727637227648 4536602 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 27922 10892 595 405 0 24866 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 43568 KiB
[startup+0.700431 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29227056/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=196572 memory=123816 CPUtime=0.69 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 8229 0 0 0 67 2 0 0 20 0 1 0 48547473 201289728 30954 33554432000 4194304 5849740 140727637227648 140727637227648 5380581 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 49143 30954 652 405 0 46087 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 196572 KiB
Current children cumulated memory: 123816 KiB
[startup+1.50044 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29126096/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=263636 memory=183884 CPUtime=1.49 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 12625 0 0 0 145 4 0 0 20 0 1 0 48547473 269963264 45971 33554432000 4194304 5849740 140727637227648 140727637225896 5372384 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 65909 45971 661 405 0 62853 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 263636 KiB
Current children cumulated memory: 183884 KiB
[startup+3.10963 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29128928/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=281116 memory=205808 CPUtime=3.1 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 30690 0 0 0 304 6 0 0 20 0 1 0 48547473 287862784 51452 33554432000 4194304 5849740 140727637227648 140727637225896 4206506 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 70279 51452 675 405 0 67223 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 281116 KiB
Current children cumulated memory: 205808 KiB
[startup+6.30033 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29093568/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=271116 memory=198648 CPUtime=6.29 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 47475 0 0 0 622 7 0 0 20 0 1 0 48547473 277622784 49662 33554432000 4194304 5849740 140727637227648 140727637226136 4205078 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 67779 49662 678 405 0 64723 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 271116 KiB
Current children cumulated memory: 198648 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 9931
/proc/meminfo: memFree=29085320/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=275452 memory=202992 CPUtime=12.69 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 50596 0 0 0 1262 7 0 0 20 0 1 0 48547473 282062848 50748 33554432000 4194304 5849740 140727637227648 140727637225192 4205059 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 68863 50748 679 405 0 65807 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 275452 KiB
Current children cumulated memory: 202992 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9932
/proc/meminfo: memFree=29084628/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=275452 memory=202992 CPUtime=25.5 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 58958 0 0 0 2542 8 0 0 20 0 1 0 48547473 282062848 50748 33554432000 4194304 5849740 140727637227648 140727637225192 4205083 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 68863 50748 679 405 0 65807 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 275452 KiB
Current children cumulated memory: 202992 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9932
/proc/meminfo: memFree=29050696/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=293664 memory=221216 CPUtime=51.1 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 85320 0 0 0 5101 9 0 0 20 0 1 0 48547473 300711936 55304 33554432000 4194304 5849740 140727637227648 140727637226648 5307557 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 73416 55304 682 405 0 70360 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 293664 KiB
Current children cumulated memory: 221216 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9933
/proc/meminfo: memFree=29023240/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=293664 memory=221224 CPUtime=102.3 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 99391 0 0 0 10219 11 0 0 20 0 1 0 48547473 300711936 55306 33554432000 4194304 5849740 140727637227648 140727637226808 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 73416 55306 684 405 0 70360 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 293664 KiB
Current children cumulated memory: 221224 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9941
/proc/meminfo: memFree=29002836/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=293740 memory=221732 CPUtime=162.3 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 124915 0 0 0 16212 18 0 0 20 0 1 0 48547473 300789760 55433 33554432000 4194304 5849740 140727637227648 140727637226808 5339443 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 73435 55433 696 405 0 70379 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 293740 KiB
Current children cumulated memory: 221732 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9942
/proc/meminfo: memFree=28898824/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=271296 memory=198036 CPUtime=222.31 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 147507 0 0 0 22208 23 0 0 20 0 1 0 48547473 277807104 49509 33554432000 4194304 5849740 140727637227648 140727637226136 4205101 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 67824 49509 696 405 0 64768 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 271296 KiB
Current children cumulated memory: 198036 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9943
/proc/meminfo: memFree=28949172/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=284648 memory=212448 CPUtime=282.31 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 148591 0 0 0 28207 24 0 0 20 0 1 0 48547473 291479552 53112 33554432000 4194304 5849740 140727637227648 140727637226648 5338897 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 71162 53112 696 405 0 68106 0
Current children cumulated CPU time: 282.31 s
Current children cumulated vsize: 284648 KiB
Current children cumulated memory: 212448 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9945
/proc/meminfo: memFree=28890368/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=278560 memory=206384 CPUtime=342.31 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 158905 0 0 0 34203 28 0 0 20 0 1 0 48547473 285245440 51596 33554432000 4194304 5849740 140727637227648 140727637224648 4205041 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 69640 51596 696 405 0 66584 0
Current children cumulated CPU time: 342.31 s
Current children cumulated vsize: 278560 KiB
Current children cumulated memory: 206384 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9946
/proc/meminfo: memFree=28891192/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=268636 memory=204756 CPUtime=402.31 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 166811 0 0 0 40200 31 0 0 20 0 1 0 48547473 275083264 51189 33554432000 4194304 5849740 140727637227648 140727637226520 5416700 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 67159 51189 696 405 0 64103 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 268636 KiB
Current children cumulated memory: 204756 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/192 9947
/proc/meminfo: memFree=28807444/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=268636 memory=204756 CPUtime=462.32 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 166813 0 0 0 46201 31 0 0 20 0 1 0 48547473 275083264 51189 33554432000 4194304 5849740 140727637227648 140727637226136 4205068 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 67159 51189 696 405 0 64103 0
Current children cumulated CPU time: 462.32 s
Current children cumulated vsize: 268636 KiB
Current children cumulated memory: 204756 KiB
################
# More data... #
################
Current children cumulated memory: 324380 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/194 10132
/proc/meminfo: memFree=29197024/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=326816 memory=263296 CPUtime=1542.39 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 310317 0 0 0 153964 275 0 0 20 0 1 0 48547473 334659584 65824 33554432000 4194304 5849740 140727637227648 140727637226648 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 81704 65824 738 405 0 78648 0
Current children cumulated CPU time: 1542.39 s
Current children cumulated vsize: 326816 KiB
Current children cumulated memory: 263296 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/193 10133
/proc/meminfo: memFree=29194800/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=340688 memory=277168 CPUtime=1602.39 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 315820 0 0 0 159949 290 0 0 20 0 1 0 48547473 348864512 69292 33554432000 4194304 5849740 140727637227648 140727637226808 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 85172 69292 738 405 0 82116 0
Current children cumulated CPU time: 1602.39 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 277168 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10134
/proc/meminfo: memFree=29151192/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=340688 memory=277168 CPUtime=1662.4 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 318672 0 0 0 165938 302 0 0 20 0 1 0 48547473 348864512 69292 33554432000 4194304 5849740 140727637227648 140727637226648 5335512 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 85172 69292 738 405 0 82116 0
Current children cumulated CPU time: 1662.4 s
Current children cumulated vsize: 340688 KiB
Current children cumulated memory: 277168 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10135
/proc/meminfo: memFree=29088836/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=364480 memory=300800 CPUtime=1722.41 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 321942 0 0 0 171927 314 0 0 20 0 1 0 48547473 373227520 75200 33554432000 4194304 5849740 140727637227648 140727637226648 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 91120 75200 738 405 0 88064 0
Current children cumulated CPU time: 1722.41 s
Current children cumulated vsize: 364480 KiB
Current children cumulated memory: 300800 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10136
/proc/meminfo: memFree=29086064/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=364480 memory=300960 CPUtime=1782.41 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 334681 0 0 0 177916 325 0 0 20 0 1 0 48547473 373227520 75240 33554432000 4194304 5849740 140727637227648 140727637226520 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 91120 75240 738 405 0 88064 0
Current children cumulated CPU time: 1782.41 s
Current children cumulated vsize: 364480 KiB
Current children cumulated memory: 300960 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10138
/proc/meminfo: memFree=29108836/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=375456 memory=311936 CPUtime=1842.41 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 342952 0 0 0 183907 334 0 0 20 0 1 0 48547473 384466944 77984 33554432000 4194304 5849740 140727637227648 140727637226648 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 93864 77984 738 405 0 90808 0
Current children cumulated CPU time: 1842.41 s
Current children cumulated vsize: 375456 KiB
Current children cumulated memory: 311936 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10139
/proc/meminfo: memFree=29009748/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=440992 memory=377472 CPUtime=1902.4 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 361715 0 0 0 189892 348 0 0 20 0 1 0 48547473 451575808 94368 33554432000 4194304 5849740 140727637227648 140727637226648 5437611 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 110248 94368 738 405 0 107192 0
Current children cumulated CPU time: 1902.4 s
Current children cumulated vsize: 440992 KiB
Current children cumulated memory: 377472 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227360/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1962.41 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 195872 369 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226136 4212035 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1962.41 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1972.12 s]
# the end of solver process 9930 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1968.53 s, system=3.71128 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1964.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227484/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1964.91 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196122 369 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226136 5307648 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1964.91 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1968 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227484/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1968.11 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196442 369 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226808 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1968.11 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1969.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227608/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1969.71 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196601 370 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226648 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1969.71 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1971.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227608/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1971.3 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196760 370 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226648 5307547 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1971.3 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1971.6 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227608/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1971.7 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196800 370 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226648 5307597 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1971.7 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1972 s]*
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227608/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1972.11 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196841 370 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226648 140392300027783 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1972.11 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
[startup+1972.11 s]
/proc/loadavg: 2.00 2.01 2.05 3/191 10147
/proc/meminfo: memFree=29227608/32770624 swapFree=67108860/67108860
[pid=9930] ppid=9927 vsize=236464 memory=159140 CPUtime=1972.21 cores=0,2,4,6
/proc/9930/stat : 9930 (xcsp_picat) R 9927 9930 8347 0 -1 4202496 371275 0 0 0 196851 370 0 0 20 0 1 0 48547473 242139136 39785 33554432000 4194304 5849740 140727637227648 140727637226648 5307637 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 25886720 140727637234870 140727637234948 140727637234948 140727637237706 0
/proc/9930/statm: 59116 39785 738 405 0 56060 0
Current children cumulated CPU time: 1972.21 s
Current children cumulated vsize: 236464 KiB
Current children cumulated memory: 159140 KiB
Child status: 0
Real time (s): 1972.12
CPU time (s): 1972.24
CPU user time (s): 1968.53
CPU system time (s): 3.71128
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 440992
Max. memory (cumulated for all children) (KiB): 377472
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1968.53
system time used= 3.71128
maximum resident set size= 377472
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 371308
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= 64
involuntary context switches= 587
# summary of solver processes directly reported to runsolver:
# pid: 9930
# total CPU time (s): 1972.24
# total CPU user time (s): 1968.53
# total CPU system time (s): 3.71128
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.82515 second user time and 14.1715 second system time
The end