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 (15033 MiB free)
memory of node 1: 16384 MiB (11808 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293567-1532319416/watcher-4293567-1532319416 -o /tmp/evaluation-result-4293567-1532319416/solver-4293567-1532319416 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node151-1532294350-7318 --watchdog 2580 xcsp_picat HOME/instance-4293567-1532319416.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=10732, runsolver pid=10729
Current StackSize limit: 8192 KiB
[startup+0.100828 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10733
/proc/meminfo: memFree=27454780/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=111688 memory=37936 CPUtime=0.09 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 1454 0 0 0 9 0 0 0 20 0 1 0 49504811 114368512 9484 33554432000 4194304 5849740 140736128378160 140736128377464 4840489 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 27922 9484 616 405 0 24866 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 111688 KiB
Current children cumulated memory: 37936 KiB
[startup+0.209609 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10733
/proc/meminfo: memFree=27404844/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=181300 memory=86284 CPUtime=0.2 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 2322 0 0 0 19 1 0 0 20 0 1 0 49504811 185651200 21571 33554432000 4194304 5849740 140736128378160 140736128377464 5249653 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 45325 21571 620 405 0 42269 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 181300 KiB
Current children cumulated memory: 86284 KiB
[startup+0.309531 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10733
/proc/meminfo: memFree=27394604/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=181300 memory=94476 CPUtime=0.3 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 2326 0 0 0 29 1 0 0 20 0 1 0 49504811 185651200 23619 33554432000 4194304 5849740 140736128378160 140736128377464 4655651 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 45325 23619 620 405 0 42269 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 181300 KiB
Current children cumulated memory: 94476 KiB
[startup+0.700366 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10733
/proc/meminfo: memFree=27384364/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=181300 memory=113372 CPUtime=0.69 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 2479 0 0 0 68 1 0 0 20 0 1 0 49504811 185651200 28343 33554432000 4194304 5849740 140736128378160 140736128377480 5257103 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 45325 28343 628 405 0 42269 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 181300 KiB
Current children cumulated memory: 113372 KiB
[startup+1.50039 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27383080/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=187952 memory=112408 CPUtime=1.48 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 4063 0 0 0 146 2 0 0 20 0 1 0 49504811 192462848 28102 33554432000 4194304 5849740 140736128378160 140736128377480 5249709 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 46988 28102 656 405 0 43932 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 187952 KiB
Current children cumulated memory: 112408 KiB
[startup+3.10893 s]
/proc/loadavg: 1.92 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27384984/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=188640 memory=113248 CPUtime=3.09 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 4419 0 0 0 307 2 0 0 20 0 1 0 49504811 193167360 28312 33554432000 4194304 5849740 140736128378160 140736128377256 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 47160 28312 721 405 0 44104 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 188640 KiB
Current children cumulated memory: 113248 KiB
[startup+6.30026 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27383496/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=189920 memory=114696 CPUtime=6.29 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 5042 0 0 0 626 3 0 0 20 0 1 0 49504811 194478080 28674 33554432000 4194304 5849740 140736128378160 140736128377256 5521452 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 47480 28674 721 405 0 44424 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 189920 KiB
Current children cumulated memory: 114696 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27381512/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=191968 memory=116744 CPUtime=12.68 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 6254 0 0 0 1263 5 0 0 20 0 1 0 49504811 196575232 29186 33554432000 4194304 5849740 140736128378160 140736128377272 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 47992 29186 721 405 0 44936 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 191968 KiB
Current children cumulated memory: 116744 KiB
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27375288/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=198624 memory=123400 CPUtime=25.49 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 9573 0 0 0 2538 11 0 0 20 0 1 0 49504811 203390976 30850 33554432000 4194304 5849740 140736128378160 140736128377256 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 49656 30850 721 405 0 46600 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 198624 KiB
Current children cumulated memory: 123400 KiB
[startup+51.1093 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 10733
/proc/meminfo: memFree=27243612/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=336212 memory=254328 CPUtime=51.09 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 30163 0 0 0 5094 15 0 0 20 0 1 0 49504811 344281088 63582 33554432000 4194304 5849740 140736128378160 140736128375704 4211621 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 84053 63582 749 405 0 80997 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 336212 KiB
Current children cumulated memory: 254328 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 10734
/proc/meminfo: memFree=27261572/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=313504 memory=235732 CPUtime=102.27 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 51667 0 0 0 10201 26 0 0 20 0 1 0 49504811 321028096 58933 33554432000 4194304 5849740 140736128378160 140736128376648 4211660 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 78376 58933 753 405 0 75320 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 313504 KiB
Current children cumulated memory: 235732 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 10735
/proc/meminfo: memFree=27261844/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=313468 memory=235696 CPUtime=162.26 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 57822 0 0 0 16184 42 0 0 20 0 1 0 49504811 320991232 58924 33554432000 4194304 5849740 140736128378160 140736128377160 5307594 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 78367 58924 753 405 0 75311 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 313468 KiB
Current children cumulated memory: 235696 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10743
/proc/meminfo: memFree=27247520/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=313424 memory=239708 CPUtime=222.25 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 62576 0 0 0 22170 55 0 0 20 0 1 0 49504811 320946176 59927 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 78356 59927 753 405 0 75300 0
Current children cumulated CPU time: 222.25 s
Current children cumulated vsize: 313424 KiB
Current children cumulated memory: 239708 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10744
/proc/meminfo: memFree=27254436/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=313296 memory=241624 CPUtime=282.24 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 62617 0 0 0 28154 70 0 0 20 0 1 0 49504811 320815104 60406 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 78324 60406 753 405 0 75268 0
Current children cumulated CPU time: 282.24 s
Current children cumulated vsize: 313296 KiB
Current children cumulated memory: 241624 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10745
/proc/meminfo: memFree=27252260/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=320452 memory=244540 CPUtime=342.24 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 63383 0 0 0 34141 83 0 0 20 0 1 0 49504811 328142848 61135 33554432000 4194304 5849740 140736128378160 140736128376648 4204155 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 80113 61135 753 405 0 77057 0
Current children cumulated CPU time: 342.24 s
Current children cumulated vsize: 320452 KiB
Current children cumulated memory: 244540 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10746
/proc/meminfo: memFree=27244380/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=320452 memory=244540 CPUtime=402.23 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 63691 0 0 0 40120 103 0 0 20 0 1 0 49504811 328142848 61135 33554432000 4194304 5849740 140736128378160 140736128377160 5307557 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 80113 61135 753 405 0 77057 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 320452 KiB
Current children cumulated memory: 244540 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 10747
/proc/meminfo: memFree=27243396/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=320248 memory=245352 CPUtime=462.23 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 64489 0 0 0 46107 116 0 0 20 0 1 0 49504811 327933952 61338 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 80062 61338 753 405 0 77006 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 320248 KiB
Current children cumulated memory: 245352 KiB
################
# More data... #
################
/proc/10732/statm: 99567 82291 753 405 0 96511 0
Current children cumulated CPU time: 1722.07 s
Current children cumulated vsize: 398268 KiB
Current children cumulated memory: 329164 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10808
/proc/meminfo: memFree=27070332/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=490536 memory=421476 CPUtime=1782.07 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 280399 0 0 0 177781 426 0 0 20 0 1 0 49504811 502308864 105369 33554432000 4194304 5849740 140736128378160 140736128377160 5307733 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 122634 105369 753 405 0 119578 0
Current children cumulated CPU time: 1782.07 s
Current children cumulated vsize: 490536 KiB
Current children cumulated memory: 421476 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10809
/proc/meminfo: memFree=27069884/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=490536 memory=421636 CPUtime=1842.06 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 287747 0 0 0 183769 437 0 0 20 0 1 0 49504811 502308864 105409 33554432000 4194304 5849740 140736128378160 140736128377032 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 122634 105409 753 405 0 119578 0
Current children cumulated CPU time: 1842.06 s
Current children cumulated vsize: 490536 KiB
Current children cumulated memory: 421636 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10870
/proc/meminfo: memFree=27080884/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=511508 memory=442628 CPUtime=1902.06 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 293888 0 0 0 189760 446 0 0 20 0 1 0 49504811 523784192 110657 33554432000 4194304 5849740 140736128378160 140736128377160 5437591 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 127877 110657 753 405 0 124821 0
Current children cumulated CPU time: 1902.06 s
Current children cumulated vsize: 511508 KiB
Current children cumulated memory: 442628 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10871
/proc/meminfo: memFree=26912596/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=556576 memory=487568 CPUtime=1962.05 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 308787 0 0 0 195748 457 0 0 20 0 1 0 49504811 569933824 121892 33554432000 4194304 5849740 140736128378160 140736128377160 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 139144 121892 753 405 0 136088 0
Current children cumulated CPU time: 1962.05 s
Current children cumulated vsize: 556576 KiB
Current children cumulated memory: 487568 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10880
/proc/meminfo: memFree=26993816/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=472580 memory=403700 CPUtime=2022.04 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 323937 0 0 0 201736 468 0 0 20 0 1 0 49504811 483921920 100925 33554432000 4194304 5849740 140736128378160 140736128377160 5335593 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 118145 100925 753 405 0 115089 0
Current children cumulated CPU time: 2022.04 s
Current children cumulated vsize: 472580 KiB
Current children cumulated memory: 403700 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10881
/proc/meminfo: memFree=27067044/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=428568 memory=359568 CPUtime=2082.03 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 333593 0 0 0 207726 477 0 0 20 0 1 0 49504811 438853632 89892 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 107142 89892 753 405 0 104086 0
Current children cumulated CPU time: 2082.03 s
Current children cumulated vsize: 428568 KiB
Current children cumulated memory: 359568 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10882
/proc/meminfo: memFree=27000636/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=494056 memory=425176 CPUtime=2142.03 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 349606 0 0 0 213714 489 0 0 20 0 1 0 49504811 505913344 106294 33554432000 4194304 5849740 140736128378160 140736128377160 5437698 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 123514 106294 753 405 0 120458 0
Current children cumulated CPU time: 2142.03 s
Current children cumulated vsize: 494056 KiB
Current children cumulated memory: 425176 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10883
/proc/meminfo: memFree=26985956/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=507368 memory=438488 CPUtime=2202.02 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 359242 0 0 0 219704 498 0 0 20 0 1 0 49504811 519544832 109622 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 126842 109622 753 405 0 123786 0
Current children cumulated CPU time: 2202.02 s
Current children cumulated vsize: 507368 KiB
Current children cumulated memory: 438488 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 10884
/proc/meminfo: memFree=27147840/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=338088 memory=269000 CPUtime=2262.02 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 372481 0 0 0 225693 509 0 0 20 0 1 0 49504811 346202112 67250 33554432000 4194304 5849740 140736128378160 140736128375704 5317510 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 84522 67250 763 405 0 81466 0
Current children cumulated CPU time: 2262.02 s
Current children cumulated vsize: 338088 KiB
Current children cumulated memory: 269000 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10886
/proc/meminfo: memFree=27151192/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=334844 memory=265628 CPUtime=2322.01 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 392269 0 0 0 231682 519 0 0 20 0 1 0 49504811 342880256 66407 33554432000 4194304 5849740 140736128378160 140736128376568 4211671 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 83711 66407 763 405 0 80655 0
Current children cumulated CPU time: 2322.01 s
Current children cumulated vsize: 334844 KiB
Current children cumulated memory: 265628 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10887
/proc/meminfo: memFree=27166412/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=316016 memory=246812 CPUtime=2382 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 406560 0 0 0 237657 543 0 0 20 0 1 0 49504811 323600384 61703 33554432000 4194304 5849740 140736128378160 140736128377160 139671228678023 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 79004 61703 763 405 0 75948 0
Current children cumulated CPU time: 2382 s
Current children cumulated vsize: 316016 KiB
Current children cumulated memory: 246812 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10888
/proc/meminfo: memFree=27131580/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=351028 memory=282072 CPUtime=2441.99 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 416515 0 0 0 243639 560 0 0 20 0 1 0 49504811 359452672 70518 33554432000 4194304 5849740 140736128378160 140736128376888 5335568 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 87757 70518 763 405 0 84701 0
Current children cumulated CPU time: 2441.99 s
Current children cumulated vsize: 351028 KiB
Current children cumulated memory: 282072 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 10890
/proc/meminfo: memFree=27131580/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=351028 memory=282072 CPUtime=2501.98 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 424653 0 0 0 249626 572 0 0 20 0 1 0 49504811 359452672 70518 33554432000 4194304 5849740 140736128378160 140736128377160 5437720 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 87757 70518 763 405 0 84701 0
Current children cumulated CPU time: 2501.98 s
Current children cumulated vsize: 351028 KiB
Current children cumulated memory: 282072 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 10890
/proc/meminfo: memFree=27128804/32770624 swapFree=67108860/67108860
[pid=10732] ppid=10729 vsize=360060 memory=284652 CPUtime=2519.69 cores=0,2,4,6
/proc/10732/stat : 10732 (xcsp_picat) R 10729 10732 7287 0 -1 4202496 425180 0 0 0 251391 578 0 0 20 0 1 0 49504811 368701440 71163 33554432000 4194304 5849740 140736128378160 140736128377032 5312560 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9399828 37527552 140736128382134 140736128382212 140736128382212 140736128384970 0
/proc/10732/statm: 90015 71163 763 405 0 86959 0
Current children cumulated CPU time: 2519.69 s
Current children cumulated vsize: 360060 KiB
Current children cumulated memory: 284652 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 10732 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.91 s, system=5.78945 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2520.01
CPU time (s): 2519.7
CPU user time (s): 2513.91
CPU system time (s): 5.78945
CPU usage (%): 99.9877
Max. virtual memory (cumulated for all children) (KiB): 556576
Max. memory (cumulated for all children) (KiB): 487696
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.91
system time used= 5.78945
maximum resident set size= 487696
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 425180
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= 92
involuntary context switches= 3155
# summary of solver processes directly reported to runsolver:
# pid: 10732
# total CPU time (s): 2519.7
# total CPU user time (s): 2513.91
# total CPU system time (s): 5.78945
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.63437 second user time and 18.2194 second system time
The end