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 (3773 MiB free)
memory of node 1: 16384 MiB (6547 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4296053-1532604829/watcher-4296053-1532604829 -o /tmp/evaluation-result-4296053-1532604829/solver-4296053-1532604829 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node104-1532594747-28432 --watchdog 2580 xcsp_picat HOME/instance-4296053-1532604829.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=29461, runsolver pid=29458
Current StackSize limit: 8192 KiB
[startup+0.100476 s]*
/proc/loadavg: 2.00 2.01 2.00 3/189 29462
/proc/meminfo: memFree=10541668/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=128512 memory=30016 CPUtime=0.09 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 2287 0 0 0 9 0 0 0 20 0 1 0 78046068 131596288 7504 33554432000 4194304 5849740 140731130240800 140731130240104 4376696 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 32128 7504 598 405 0 29072 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 30016 KiB
[startup+0.209708 s]*
/proc/loadavg: 2.00 2.01 2.00 3/189 29462
/proc/meminfo: memFree=10529396/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=128512 memory=42304 CPUtime=0.2 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 2293 0 0 0 20 0 0 0 20 0 1 0 78046068 131596288 10576 33554432000 4194304 5849740 140731130240800 140731130240104 140443855670272 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 32128 10576 598 405 0 29072 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 42304 KiB
[startup+0.309607 s]*
/proc/loadavg: 2.00 2.01 2.00 3/189 29462
/proc/meminfo: memFree=10518908/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=128512 memory=54788 CPUtime=0.3 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 2347 0 0 0 30 0 0 0 20 0 1 0 78046068 131596288 13697 33554432000 4194304 5849740 140731130240800 140731130240104 4548525 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 32128 13697 618 405 0 29072 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 128512 KiB
Current children cumulated memory: 54788 KiB
[startup+0.700318 s]
/proc/loadavg: 1.92 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10508112/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=146108 memory=89392 CPUtime=0.68 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 5086 0 0 0 66 2 0 0 20 0 1 0 78046068 149614592 22348 33554432000 4194304 5849740 140731130240800 140731130240104 5254579 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 36527 22348 661 405 0 33471 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 146108 KiB
Current children cumulated memory: 89392 KiB
[startup+1.50034 s]
/proc/loadavg: 1.92 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10478512/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=199060 memory=139260 CPUtime=1.49 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 8889 0 0 0 144 5 0 0 20 0 1 0 78046068 203837440 34815 33554432000 4194304 5849740 140731130240800 140731130239784 4493984 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 49765 34815 710 405 0 46709 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 199060 KiB
Current children cumulated memory: 139260 KiB
[startup+3.10958 s]
/proc/loadavg: 1.92 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10320292/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=307604 memory=251292 CPUtime=3.1 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 12195 0 0 0 303 7 0 0 20 0 1 0 78046068 314986496 62823 33554432000 4194304 5849740 140731130240800 140731130240040 5520108 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 76901 62823 727 405 0 73845 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 307604 KiB
Current children cumulated memory: 251292 KiB
[startup+6.30033 s]
/proc/loadavg: 1.93 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10320120/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=314984 memory=258672 CPUtime=6.28 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 32980 0 0 0 620 8 0 0 20 0 1 0 78046068 322543616 64668 33554432000 4194304 5849740 140731130240800 140731130239736 5365386 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 78746 64668 732 405 0 75690 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 314984 KiB
Current children cumulated memory: 258672 KiB
[startup+12.7004 s]
/proc/loadavg: 1.93 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10304824/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=322176 memory=265976 CPUtime=12.69 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 58483 0 0 0 1256 13 0 0 20 0 1 0 78046068 329908224 66494 33554432000 4194304 5849740 140731130240800 140731130239288 4204862 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 80544 66494 755 405 0 77488 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 322176 KiB
Current children cumulated memory: 265976 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.00 2.00 4/189 29462
/proc/meminfo: memFree=10294516/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=322380 memory=266192 CPUtime=25.48 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 79860 0 0 0 2535 13 0 0 20 0 1 0 78046068 330117120 66548 33554432000 4194304 5849740 140731130240800 140731130239288 5307547 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 80595 66548 757 405 0 77539 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 322380 KiB
Current children cumulated memory: 266192 KiB
[startup+51.1097 s]
/proc/loadavg: 1.97 2.00 2.00 3/189 29462
/proc/meminfo: memFree=10304396/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=322380 memory=266200 CPUtime=51.09 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 112860 0 0 0 5089 20 0 0 20 0 1 0 78046068 330117120 66550 33554432000 4194304 5849740 140731130240800 140731130239288 4211621 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 80595 66550 759 405 0 77539 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 322380 KiB
Current children cumulated memory: 266200 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/187 29463
/proc/meminfo: memFree=10216804/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=322368 memory=268272 CPUtime=102.29 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 164399 0 0 0 10184 45 0 0 20 0 1 0 78046068 330104832 67068 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 80592 67068 768 405 0 77536 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 322368 KiB
Current children cumulated memory: 268272 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.00 3/186 29464
/proc/meminfo: memFree=10292424/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=328844 memory=273604 CPUtime=162.3 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 192543 0 0 0 16162 68 0 0 20 0 1 0 78046068 336736256 68401 33554432000 4194304 5849740 140731130240800 140731130239672 5365379 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 82211 68401 768 405 0 79155 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 328844 KiB
Current children cumulated memory: 273604 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29466
/proc/meminfo: memFree=10296204/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=330900 memory=276616 CPUtime=222.31 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 198084 0 0 0 22149 82 0 0 20 0 1 0 78046068 338841600 69154 33554432000 4194304 5849740 140731130240800 140731130239288 5359121 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 82725 69154 768 405 0 79669 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 330900 KiB
Current children cumulated memory: 276616 KiB
[startup+282.3 s]
/proc/loadavg: 2.04 2.01 2.00 3/187 29467
/proc/meminfo: memFree=10295648/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=330900 memory=276804 CPUtime=282.32 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 223991 0 0 0 28124 108 0 0 20 0 1 0 78046068 338841600 69201 33554432000 4194304 5849740 140731130240800 140731130239960 5437425 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 82725 69201 768 405 0 79669 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 330900 KiB
Current children cumulated memory: 276804 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.01 2.00 3/187 29468
/proc/meminfo: memFree=10285188/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=333156 memory=279060 CPUtime=342.33 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 251417 0 0 0 34099 134 0 0 20 0 1 0 78046068 341151744 69765 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 83289 69765 768 405 0 80233 0
Current children cumulated CPU time: 342.33 s
Current children cumulated vsize: 333156 KiB
Current children cumulated memory: 279060 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 29477
/proc/meminfo: memFree=10366372/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=339112 memory=285132 CPUtime=402.32 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 281574 0 0 0 40071 161 0 0 20 0 1 0 78046068 347250688 71283 33554432000 4194304 5849740 140731130240800 140731130239672 5307583 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 84778 71283 768 405 0 81722 0
Current children cumulated CPU time: 402.32 s
Current children cumulated vsize: 339112 KiB
Current children cumulated memory: 285132 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/188 29478
/proc/meminfo: memFree=10338992/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=363664 memory=307632 CPUtime=462.33 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 287049 0 0 0 46047 186 0 0 20 0 1 0 78046068 372391936 76908 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 90916 76908 768 405 0 87860 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 363664 KiB
Current children cumulated memory: 307632 KiB
################
# More data... #
################
/proc/29461/statm: 88804 76532 768 405 0 85748 0
Current children cumulated CPU time: 1722.47 s
Current children cumulated vsize: 355216 KiB
Current children cumulated memory: 306128 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/189 29601
/proc/meminfo: memFree=10588432/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=355216 memory=306128 CPUtime=1782.48 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 462533 0 0 0 177445 803 0 0 20 0 1 0 78046068 363741184 76532 33554432000 4194304 5849740 140731130240800 140731130239288 4211419 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 88804 76532 768 405 0 85748 0
Current children cumulated CPU time: 1782.48 s
Current children cumulated vsize: 355216 KiB
Current children cumulated memory: 306128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/189 29602
/proc/meminfo: memFree=10597740/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=332464 memory=283244 CPUtime=1842.49 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 467842 0 0 0 183411 838 0 0 20 0 1 0 78046068 340443136 70811 33554432000 4194304 5849740 140731130240800 140731130239672 4226706 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 83116 70811 768 405 0 80060 0
Current children cumulated CPU time: 1842.49 s
Current children cumulated vsize: 332464 KiB
Current children cumulated memory: 283244 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29603
/proc/meminfo: memFree=10579712/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=354060 memory=298336 CPUtime=1902.49 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 474594 0 0 0 189380 869 0 0 20 0 1 0 78046068 362557440 74584 33554432000 4194304 5849740 140731130240800 140731130239800 5311555 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 88515 74584 768 405 0 85459 0
Current children cumulated CPU time: 1902.49 s
Current children cumulated vsize: 354060 KiB
Current children cumulated memory: 298336 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29604
/proc/meminfo: memFree=10483792/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=439364 memory=390068 CPUtime=1962.5 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 484822 0 0 0 195348 902 0 0 20 0 1 0 78046068 449908736 97517 33554432000 4194304 5849740 140731130240800 140731130239672 5437698 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 109841 97517 768 405 0 106785 0
Current children cumulated CPU time: 1962.5 s
Current children cumulated vsize: 439364 KiB
Current children cumulated memory: 390068 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29605
/proc/meminfo: memFree=10551676/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=377616 memory=328528 CPUtime=2022.5 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 489897 0 0 0 201325 925 0 0 20 0 1 0 78046068 386678784 82132 33554432000 4194304 5849740 140731130240800 140731130239512 5437550 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 94404 82132 768 405 0 91348 0
Current children cumulated CPU time: 2022.5 s
Current children cumulated vsize: 377616 KiB
Current children cumulated memory: 328528 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29606
/proc/meminfo: memFree=10550888/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=371968 memory=322908 CPUtime=2082.51 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 495586 0 0 0 207293 958 0 0 20 0 1 0 78046068 380895232 80727 33554432000 4194304 5849740 140731130240800 140731130239800 5313261 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 92992 80727 768 405 0 89936 0
Current children cumulated CPU time: 2082.51 s
Current children cumulated vsize: 371968 KiB
Current children cumulated memory: 322908 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29607
/proc/meminfo: memFree=10545448/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=366184 memory=316968 CPUtime=2142.52 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 503166 0 0 0 213266 986 0 0 20 0 1 0 78046068 374972416 79242 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 91546 79242 768 405 0 88490 0
Current children cumulated CPU time: 2142.52 s
Current children cumulated vsize: 366184 KiB
Current children cumulated memory: 316968 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29616
/proc/meminfo: memFree=10480604/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=456240 memory=406888 CPUtime=2202.53 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 507391 0 0 0 219239 1014 0 0 20 0 1 0 78046068 467189760 101722 33554432000 4194304 5849740 140731130240800 140731130239672 4206417 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 114060 101722 768 405 0 111004 0
Current children cumulated CPU time: 2202.53 s
Current children cumulated vsize: 456240 KiB
Current children cumulated memory: 406888 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29617
/proc/meminfo: memFree=10550592/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=372296 memory=313260 CPUtime=2262.53 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 514451 0 0 0 225211 1042 0 0 20 0 1 0 78046068 381231104 78315 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 93074 78315 768 405 0 90018 0
Current children cumulated CPU time: 2262.53 s
Current children cumulated vsize: 372296 KiB
Current children cumulated memory: 313260 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29618
/proc/meminfo: memFree=10502564/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=432956 memory=376160 CPUtime=2322.54 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 520466 0 0 0 231172 1082 0 0 20 0 1 0 78046068 443346944 94040 33554432000 4194304 5849740 140731130240800 140731130239800 5307232 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 108239 94040 768 405 0 105183 0
Current children cumulated CPU time: 2322.54 s
Current children cumulated vsize: 432956 KiB
Current children cumulated memory: 376160 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29619
/proc/meminfo: memFree=10517908/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=432956 memory=376160 CPUtime=2382.54 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 524592 0 0 0 237143 1111 0 0 20 0 1 0 78046068 443346944 94040 33554432000 4194304 5849740 140731130240800 140731130239800 5339410 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 108239 94040 768 405 0 105183 0
Current children cumulated CPU time: 2382.54 s
Current children cumulated vsize: 432956 KiB
Current children cumulated memory: 376160 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/188 29620
/proc/meminfo: memFree=10549600/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=376720 memory=327760 CPUtime=2442.56 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 526354 0 0 0 243116 1140 0 0 20 0 1 0 78046068 385761280 81940 33554432000 4194304 5849740 140731130240800 140731130239800 5311410 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 94180 81940 768 405 0 91124 0
Current children cumulated CPU time: 2442.56 s
Current children cumulated vsize: 376720 KiB
Current children cumulated memory: 327760 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.00 3/187 29621
/proc/meminfo: memFree=10548364/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=376720 memory=327760 CPUtime=2502.56 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 532039 0 0 0 249087 1169 0 0 20 0 1 0 78046068 385761280 81940 33554432000 4194304 5849740 140731130240800 140731130239448 5435152 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 94180 81940 768 405 0 91124 0
Current children cumulated CPU time: 2502.56 s
Current children cumulated vsize: 376720 KiB
Current children cumulated memory: 327760 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.00 2.00 4/187 29621
/proc/meminfo: memFree=10477060/32770624 swapFree=67108860/67108860
[pid=29461] ppid=29458 vsize=376720 memory=327760 CPUtime=2520.06 cores=0,2,4,6
/proc/29461/stat : 29461 (xcsp_picat) R 29458 29461 26989 0 -1 4202496 533475 0 0 0 250829 1177 0 0 20 0 1 0 78046068 385761280 81940 33554432000 4194304 5849740 140731130240800 140731130239800 140443855691655 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9399828 26116096 140731130242230 140731130242308 140731130242308 140731130245066 0
/proc/29461/statm: 94180 81940 768 405 0 91124 0
Current children cumulated CPU time: 2520.06 s
Current children cumulated vsize: 376720 KiB
Current children cumulated memory: 327760 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 29461 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.29 s, system=11.7814 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): 2519.8
CPU time (s): 2520.07
CPU user time (s): 2508.29
CPU system time (s): 11.7814
CPU usage (%): 100.011
Max. virtual memory (cumulated for all children) (KiB): 552316
Max. memory (cumulated for all children) (KiB): 472428
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.29
system time used= 11.7814
maximum resident set size= 472428
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 533475
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= 37
involuntary context switches= 908
# summary of solver processes directly reported to runsolver:
# pid: 29461
# total CPU time (s): 2520.07
# total CPU user time (s): 2508.29
# total CPU system time (s): 11.7814
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1974 second user time and 18.2332 second system time
The end