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 (4632 MiB free)
memory of node 1: 16384 MiB (7902 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295408-1532529451/watcher-4295408-1532529451 -o /tmp/evaluation-result-4295408-1532529451/solver-4295408-1532529451 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node107-1532498874-27091 --watchdog 2580 xcsp_picat HOME/instance-4295408-1532529451.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=30590, runsolver pid=30587
[startup+0.100156 s]*
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12823132/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=112560 memory=16280 CPUtime=0.1 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 1684 0 0 0 10 0 0 0 20 0 1 0 70508271 115261440 4070 33554432000 4194304 5849740 140722040397744 140722040396136 5308851 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 28140 4070 716 405 0 25084 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 112560 KiB
Current children cumulated memory: 16280 KiB
[startup+0.209516 s]*
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12823132/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=112560 memory=16280 CPUtime=0.21 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 1688 0 0 0 21 0 0 0 20 0 1 0 70508271 115261440 4070 33554432000 4194304 5849740 140722040397744 140722040396136 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 28140 4070 716 405 0 25084 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 112560 KiB
Current children cumulated memory: 16280 KiB
[startup+0.308942 s]*
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12823132/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=112664 memory=16456 CPUtime=0.3 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 1724 0 0 0 30 0 0 0 20 0 1 0 70508271 115367936 4114 33554432000 4194304 5849740 140722040397744 140722040396136 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 28166 4114 729 405 0 25110 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 112664 KiB
Current children cumulated memory: 16456 KiB
[startup+0.700273 s]
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12822388/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=113972 memory=17820 CPUtime=0.69 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 2276 0 0 0 68 1 0 0 20 0 1 0 70508271 116707328 4455 33554432000 4194304 5849740 140722040397744 140722040396136 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 28493 4455 729 405 0 25437 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 113972 KiB
Current children cumulated memory: 17820 KiB
[startup+1.50027 s]
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12821892/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=114624 memory=18416 CPUtime=1.49 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 3154 0 0 0 146 3 0 0 20 0 1 0 70508271 117374976 4604 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 28656 4604 729 405 0 25600 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 114624 KiB
Current children cumulated memory: 18416 KiB
[startup+3.10925 s]
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12819428/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=116648 memory=20352 CPUtime=3.1 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 5150 0 0 0 305 5 0 0 20 0 1 0 70508271 119447552 5088 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 29162 5088 729 405 0 26106 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 116648 KiB
Current children cumulated memory: 20352 KiB
[startup+6.30027 s]
/proc/loadavg: 1.95 2.05 2.06 3/187 30591
/proc/meminfo: memFree=12818884/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=116960 memory=20620 CPUtime=6.29 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 8994 0 0 0 620 9 0 0 20 0 1 0 70508271 119767040 5155 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 29240 5155 729 405 0 26184 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 116960 KiB
Current children cumulated memory: 20620 KiB
[startup+12.7003 s]
/proc/loadavg: 1.96 2.04 2.06 3/187 30591
/proc/meminfo: memFree=12815776/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=120736 memory=24316 CPUtime=12.69 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 16516 0 0 0 1254 15 0 0 20 0 1 0 70508271 123633664 6079 33554432000 4194304 5849740 140722040397744 140722040396744 5394532 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 30184 6079 729 405 0 27128 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 120736 KiB
Current children cumulated memory: 24316 KiB
[startup+25.5003 s]
/proc/loadavg: 1.97 2.04 2.06 3/187 30591
/proc/meminfo: memFree=12804676/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=131768 memory=35608 CPUtime=25.49 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 27790 0 0 0 2523 26 0 0 20 0 1 0 70508271 134930432 8902 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 32942 8902 729 405 0 29886 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 131768 KiB
Current children cumulated memory: 35608 KiB
[startup+51.1096 s]
/proc/loadavg: 1.98 2.04 2.06 3/187 30591
/proc/meminfo: memFree=12786936/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=148904 memory=52736 CPUtime=51.09 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 40931 0 0 0 5068 41 0 0 20 0 1 0 70508271 152477696 13184 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 37226 13184 729 405 0 34170 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 148904 KiB
Current children cumulated memory: 52736 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.04 2.05 3/187 30592
/proc/meminfo: memFree=12773656/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=162044 memory=65528 CPUtime=102.28 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 56780 0 0 0 10163 65 0 0 20 0 1 0 70508271 165933056 16382 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 40511 16382 729 405 0 37455 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 162044 KiB
Current children cumulated memory: 65528 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 30601
/proc/meminfo: memFree=12803772/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=130516 memory=34220 CPUtime=162.26 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 70867 0 0 0 16117 109 0 0 20 0 1 0 70508271 133648384 8555 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 32629 8555 742 405 0 29573 0
Current children cumulated CPU time: 162.26 s
Current children cumulated vsize: 130516 KiB
Current children cumulated memory: 34220 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 30602
/proc/meminfo: memFree=12695736/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=189388 memory=97868 CPUtime=222.26 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 75444 0 0 0 22086 140 0 0 20 0 1 0 70508271 193933312 24467 33554432000 4194304 5849740 140722040397744 140722040396904 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 47347 24467 742 405 0 44291 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 189388 KiB
Current children cumulated memory: 97868 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 30603
/proc/meminfo: memFree=12667272/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=217952 memory=126332 CPUtime=282.25 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 79404 0 0 0 28067 158 0 0 20 0 1 0 70508271 223182848 31583 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 54488 31583 742 405 0 51432 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 217952 KiB
Current children cumulated memory: 126332 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30604
/proc/meminfo: memFree=12637836/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=246508 memory=155064 CPUtime=342.25 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 84633 0 0 0 34047 178 0 0 20 0 1 0 70508271 252424192 38766 33554432000 4194304 5849740 140722040397744 140722040396744 5437698 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 61627 38766 742 405 0 58571 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 246508 KiB
Current children cumulated memory: 155064 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 30666
/proc/meminfo: memFree=13028824/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=221660 memory=130292 CPUtime=402.23 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 97836 0 0 0 40031 192 0 0 20 0 1 0 70508271 226979840 32573 33554432000 4194304 5849740 140722040397744 140722040396744 5397213 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 55415 32573 742 405 0 52359 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 221660 KiB
Current children cumulated memory: 130292 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 30667
/proc/meminfo: memFree=12958696/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=234820 memory=143416 CPUtime=462.23 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 105040 0 0 0 46015 208 0 0 20 0 1 0 70508271 240455680 35854 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 58705 35854 742 405 0 55649 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 234820 KiB
Current children cumulated memory: 143416 KiB
################
# More data... #
################
/proc/30590/statm: 99462 75206 742 405 0 96406 0
Current children cumulated CPU time: 1722.13 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 300824 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30730
/proc/meminfo: memFree=12650600/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=397848 memory=300824 CPUtime=1782.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 242233 0 0 0 177773 440 0 0 20 0 1 0 70508271 407396352 75206 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 99462 75206 742 405 0 96406 0
Current children cumulated CPU time: 1782.13 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 300824 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30731
/proc/meminfo: memFree=12650912/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=397848 memory=300824 CPUtime=1842.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 244634 0 0 0 183763 450 0 0 20 0 1 0 70508271 407396352 75206 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 99462 75206 742 405 0 96406 0
Current children cumulated CPU time: 1842.13 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 300824 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30732
/proc/meminfo: memFree=12597580/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=397848 memory=300824 CPUtime=1902.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 247997 0 0 0 189750 463 0 0 20 0 1 0 70508271 407396352 75206 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 99462 75206 742 405 0 96406 0
Current children cumulated CPU time: 1902.13 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 300824 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30740
/proc/meminfo: memFree=12597144/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=397848 memory=300824 CPUtime=1962.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 249306 0 0 0 195739 474 0 0 20 0 1 0 70508271 407396352 75206 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 99462 75206 742 405 0 96406 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 397848 KiB
Current children cumulated memory: 300824 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30741
/proc/meminfo: memFree=12549196/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=445356 memory=348332 CPUtime=2022.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 263616 0 0 0 201728 485 0 0 20 0 1 0 70508271 456044544 87083 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 111339 87083 742 405 0 108283 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 445356 KiB
Current children cumulated memory: 348332 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30742
/proc/meminfo: memFree=12556848/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=510892 memory=413868 CPUtime=2082.14 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 286877 0 0 0 207716 498 0 0 20 0 1 0 70508271 523153408 103467 33554432000 4194304 5849740 140722040397744 140722040396744 5335566 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 127723 103467 742 405 0 124667 0
Current children cumulated CPU time: 2082.14 s
Current children cumulated vsize: 510892 KiB
Current children cumulated memory: 413868 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30743
/proc/meminfo: memFree=12462260/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2142.14 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 325905 0 0 0 213704 510 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2142.14 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30744
/proc/meminfo: memFree=12429796/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2202.13 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 357560 0 0 0 219696 517 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396904 5335529 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2202.13 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/187 30745
/proc/meminfo: memFree=12409280/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2262.12 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 372359 0 0 0 225688 524 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2262.12 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2322.3 s]
/proc/loadavg: 2.39 2.09 2.07 3/187 30746
/proc/meminfo: memFree=12409732/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2322.11 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 375732 0 0 0 231681 530 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396744 5335540 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2382.3 s]
/proc/loadavg: 2.33 2.15 2.09 3/187 30747
/proc/meminfo: memFree=12403508/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2382.12 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 378970 0 0 0 237678 534 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396744 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2382.12 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2442.3 s]
/proc/loadavg: 2.12 2.12 2.09 3/187 30748
/proc/meminfo: memFree=12381328/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=609500 memory=512476 CPUtime=2442.12 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 381714 0 0 0 243673 539 0 0 20 0 1 0 70508271 624128000 128119 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 152375 128119 742 405 0 149319 0
Current children cumulated CPU time: 2442.12 s
Current children cumulated vsize: 609500 KiB
Current children cumulated memory: 512476 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/187 30749
/proc/meminfo: memFree=12576444/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=409904 memory=317896 CPUtime=2502.11 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 391175 0 0 0 249662 549 0 0 20 0 1 0 70508271 419741696 79474 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 102476 79474 742 405 0 99420 0
Current children cumulated CPU time: 2502.11 s
Current children cumulated vsize: 409904 KiB
Current children cumulated memory: 317896 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.09 2.08 3/187 30749
/proc/meminfo: memFree=12576248/32770624 swapFree=67108860/67108860
[pid=30590] ppid=30587 vsize=409904 memory=317896 CPUtime=2519.83 cores=1,3,5,7
/proc/30590/stat : 30590 (xcsp_picat) R 30587 30590 27059 0 -1 4202496 392118 0 0 0 251431 552 0 0 20 0 1 0 70508271 419741696 79474 33554432000 4194304 5849740 140722040397744 140722040396744 139769373527943 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 15011840 140722040403126 140722040403204 140722040403204 140722040405962 0
/proc/30590/statm: 102476 79474 742 405 0 99420 0
Current children cumulated CPU time: 2519.83 s
Current children cumulated vsize: 409904 KiB
Current children cumulated memory: 317896 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 30590 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.32 s, system=5.52682 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.84
CPU user time (s): 2514.32
CPU system time (s): 5.52682
CPU usage (%): 99.9932
Max. virtual memory (cumulated for all children) (KiB): 609500
Max. memory (cumulated for all children) (KiB): 512476
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.32
system time used= 5.52682
maximum resident set size= 512476
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 392119
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= 161
involuntary context switches= 1433
# summary of solver processes directly reported to runsolver:
# pid: 30590
# total CPU time (s): 2519.84
# total CPU user time (s): 2514.32
# total CPU system time (s): 5.52682
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0801 second user time and 18.5133 second system time
The end