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 (9782 MiB free)
memory of node 1: 16384 MiB (10805 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4395378-1568341359/watcher-4395378-1568341359 -o /tmp/evaluation-result-4395378-1568341359/solver-4395378-1568341359 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568322359-24210 --watchdog 2580 xcsp_picat HOME/instance-4395378-1568341359.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=29651, runsolver pid=29648
Current StackSize limit: 8192 KiB
[startup+0.100213 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=21056556/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2039532 memory=27052 CPUtime=0.1 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 1845 0 0 0 10 0 0 0 20 0 1 0 410074344 2088480768 6763 33554432000 4194304 5870510 140732971937072 140732971934216 4643038 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 509883 6763 868 410 0 505356 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2039532 KiB
Current children cumulated memory: 27052 KiB
[startup+0.209845 s]*
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=21029444/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2056668 memory=58140 CPUtime=0.21 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 5257 0 0 0 20 1 0 0 20 0 1 0 410074344 2106028032 14535 33554432000 4194304 5870510 140732971937072 140732971934216 5287642 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 514167 14535 967 410 0 509640 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2056668 KiB
Current children cumulated memory: 58140 KiB
[startup+0.309802 s]*
/proc/loadavg: 2.00 2.01 2.05 4/200 29652
/proc/meminfo: memFree=21013944/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2071824 memory=71640 CPUtime=0.31 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 9162 0 0 0 29 2 0 0 20 0 1 0 410074344 2121547776 17910 33554432000 4194304 5870510 140732971937072 140732971936248 140053623127943 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 517956 17910 967 410 0 513429 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2071824 KiB
Current children cumulated memory: 71640 KiB
[startup+0.700424 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=20981480/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2122852 memory=117268 CPUtime=0.69 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 19176 0 0 0 65 4 0 0 20 0 1 0 410074344 2173800448 29317 33554432000 4194304 5870510 140732971937072 140732971936168 5557216 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 530713 29317 967 410 0 526186 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2122852 KiB
Current children cumulated memory: 117268 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=20933996/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2164576 memory=153440 CPUtime=1.49 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 25783 0 0 0 144 5 0 0 20 0 1 0 410074344 2216525824 38360 33554432000 4194304 5870510 140732971937072 140732971936168 140053623127943 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 541144 38360 967 410 0 536617 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2164576 KiB
Current children cumulated memory: 153440 KiB
[startup+3.10966 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=20937468/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2167348 memory=158876 CPUtime=3.1 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 34594 0 0 0 304 6 0 0 20 0 1 0 410074344 2219364352 39719 33554432000 4194304 5870510 140732971937072 140732971936168 5337589 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 541837 39719 974 410 0 537310 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2167348 KiB
Current children cumulated memory: 158876 KiB
[startup+6.30034 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29652
/proc/meminfo: memFree=20913788/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2167336 memory=159084 CPUtime=6.29 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 88824 0 0 0 617 12 0 0 20 0 1 0 410074344 2219352064 39771 33554432000 4194304 5870510 140732971937072 140732971936232 5337596 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 541834 39771 988 410 0 537307 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2167336 KiB
Current children cumulated memory: 159084 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29654
/proc/meminfo: memFree=20896440/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2167336 memory=159120 CPUtime=12.69 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 130588 0 0 0 1251 18 0 0 20 0 1 0 410074344 2219352064 39780 33554432000 4194304 5870510 140732971937072 140732971935576 5337584 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 541834 39780 997 410 0 537307 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2167336 KiB
Current children cumulated memory: 159120 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29654
/proc/meminfo: memFree=20929148/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2148536 memory=146092 CPUtime=25.49 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 148525 0 0 0 2528 21 0 0 20 0 1 0 410074344 2200100864 36523 33554432000 4194304 5870510 140732971937072 140732971936024 140053628348252 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 537134 36523 999 410 0 532607 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2148536 KiB
Current children cumulated memory: 146092 KiB
[startup+51.1098 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29655
/proc/meminfo: memFree=20881928/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2178960 memory=177504 CPUtime=51.1 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 163033 0 0 0 5087 23 0 0 20 0 1 0 410074344 2231255040 44376 33554432000 4194304 5870510 140732971937072 140732971935640 5262797 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 544740 44376 999 410 0 540213 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2178960 KiB
Current children cumulated memory: 177504 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 29661
/proc/meminfo: memFree=20883796/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2209420 memory=210936 CPUtime=102.29 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 191139 0 0 0 10203 26 0 0 20 0 1 0 410074344 2262446080 52734 33554432000 4194304 5870510 140732971937072 140732971935640 5272433 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 552355 52734 999 410 0 547828 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2209420 KiB
Current children cumulated memory: 210936 KiB
[startup+162.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/200 29665
/proc/meminfo: memFree=20889056/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2209424 memory=210936 CPUtime=162.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 203095 0 0 0 16199 31 0 0 20 0 1 0 410074344 2262450176 52734 33554432000 4194304 5870510 140732971937072 140732971935640 5282606 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 552356 52734 999 410 0 547829 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2209424 KiB
Current children cumulated memory: 210936 KiB
[startup+222.3 s]
/proc/loadavg: 2.44 2.16 2.09 3/199 29670
/proc/meminfo: memFree=20868148/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2228392 memory=231984 CPUtime=222.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 207665 0 0 0 22199 31 0 0 20 0 1 0 410074344 2281873408 57996 33554432000 4194304 5870510 140732971937072 140732971935640 5282489 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557098 57996 999 410 0 552571 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2228392 KiB
Current children cumulated memory: 231984 KiB
[startup+282.3 s]
/proc/loadavg: 2.16 2.13 2.09 3/199 29676
/proc/meminfo: memFree=20855108/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2228428 memory=232020 CPUtime=282.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 222700 0 0 0 28197 33 0 0 20 0 1 0 410074344 2281910272 58005 33554432000 4194304 5870510 140732971937072 140732971935640 5272427 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557107 58005 999 410 0 552580 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2228428 KiB
Current children cumulated memory: 232020 KiB
[startup+342.3 s]
/proc/loadavg: 2.06 2.11 2.08 3/199 29680
/proc/meminfo: memFree=20851880/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2228596 memory=232188 CPUtime=342.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 223514 0 0 0 34194 36 0 0 20 0 1 0 410074344 2282082304 58047 33554432000 4194304 5870510 140732971937072 140732971936088 5304504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557149 58047 999 410 0 552622 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2228596 KiB
Current children cumulated memory: 232188 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.09 2.08 3/199 29685
/proc/meminfo: memFree=20858200/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2228596 memory=232188 CPUtime=402.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 236913 0 0 0 40192 38 0 0 20 0 1 0 410074344 2282082304 58047 33554432000 4194304 5870510 140732971937072 140732971935512 5308341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557149 58047 999 410 0 552622 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2228596 KiB
Current children cumulated memory: 232188 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/199 29691
/proc/meminfo: memFree=20833504/32770624 swapFree=66999216/67108860
[pid=29651] ppid=29648 vsize=2228596 memory=232188 CPUtime=462.3 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 238190 0 0 0 46187 43 0 0 20 0 1 0 410074344 2282082304 58047 33554432000 4194304 5870510 140732971937072 140732971936088 5312592 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557149 58047 999 410 0 552622 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2228596 KiB
Current children cumulated memory: 232188 KiB
################
# More data... #
################
/proc/29651/statm: 562188 62166 999 410 0 557661 0
Current children cumulated CPU time: 1722.32 s
Current children cumulated vsize: 2248752 KiB
Current children cumulated memory: 248664 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30002
/proc/meminfo: memFree=21727956/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2248752 memory=240272 CPUtime=1782.33 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 344501 0 0 0 178069 164 0 0 20 0 1 0 410074344 2302722048 60068 33554432000 4194304 5870510 140732971937072 140732971935512 5282808 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 562188 60068 999 410 0 557661 0
Current children cumulated CPU time: 1782.33 s
Current children cumulated vsize: 2248752 KiB
Current children cumulated memory: 240272 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30006
/proc/meminfo: memFree=21671816/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2248752 memory=244568 CPUtime=1842.33 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 345417 0 0 0 184063 170 0 0 20 0 1 0 410074344 2302722048 61142 33554432000 4194304 5870510 140732971937072 140732971935512 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 562188 61142 999 410 0 557661 0
Current children cumulated CPU time: 1842.33 s
Current children cumulated vsize: 2248752 KiB
Current children cumulated memory: 244568 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30012
/proc/meminfo: memFree=21659040/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2252592 memory=249804 CPUtime=1902.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 346906 0 0 0 190057 175 0 0 20 0 1 0 410074344 2306654208 62451 33554432000 4194304 5870510 140732971937072 140732971935512 5281854 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 563148 62451 999 410 0 558621 0
Current children cumulated CPU time: 1902.32 s
Current children cumulated vsize: 2252592 KiB
Current children cumulated memory: 249804 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 30016
/proc/meminfo: memFree=21660848/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2252592 memory=245876 CPUtime=1962.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 348596 0 0 0 196049 183 0 0 20 0 1 0 410074344 2306654208 61469 33554432000 4194304 5870510 140732971937072 140732971936088 5283106 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 563148 61469 999 410 0 558621 0
Current children cumulated CPU time: 1962.32 s
Current children cumulated vsize: 2252592 KiB
Current children cumulated memory: 245876 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30021
/proc/meminfo: memFree=21648128/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2252592 memory=247756 CPUtime=2022.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 349487 0 0 0 202043 189 0 0 20 0 1 0 410074344 2306654208 61939 33554432000 4194304 5870510 140732971937072 140732971935512 5282617 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 563148 61939 999 410 0 558621 0
Current children cumulated CPU time: 2022.32 s
Current children cumulated vsize: 2252592 KiB
Current children cumulated memory: 247756 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30027
/proc/meminfo: memFree=21615496/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=281196 CPUtime=2082.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 353158 0 0 0 208037 195 0 0 20 0 1 0 410074344 2333937664 70299 33554432000 4194304 5870510 140732971937072 140732971935512 5282767 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 70299 999 410 0 565282 0
Current children cumulated CPU time: 2082.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 281196 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/199 30031
/proc/meminfo: memFree=21625512/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=273004 CPUtime=2142.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 354002 0 0 0 214029 203 0 0 20 0 1 0 410074344 2333937664 68251 33554432000 4194304 5870510 140732971937072 140732971935512 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 68251 999 410 0 565282 0
Current children cumulated CPU time: 2142.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 273004 KiB
[startup+2202.3 s]
/proc/loadavg: 2.56 2.16 2.09 3/199 30036
/proc/meminfo: memFree=21625656/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=273004 CPUtime=2202.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 356417 0 0 0 220022 210 0 0 20 0 1 0 410074344 2333937664 68251 33554432000 4194304 5870510 140732971937072 140732971935512 5282759 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 68251 999 410 0 565282 0
Current children cumulated CPU time: 2202.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 273004 KiB
[startup+2262.3 s]
/proc/loadavg: 2.22 2.13 2.08 3/199 30042
/proc/meminfo: memFree=21625548/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=273004 CPUtime=2262.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 358723 0 0 0 226017 215 0 0 20 0 1 0 410074344 2333937664 68251 33554432000 4194304 5870510 140732971937072 140732971935512 5283024 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 68251 999 410 0 565282 0
Current children cumulated CPU time: 2262.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 273004 KiB
[startup+2322.3 s]
/proc/loadavg: 2.42 2.19 2.11 3/200 30179
/proc/meminfo: memFree=21670104/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=270756 CPUtime=2322.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 361022 0 0 0 232011 221 0 0 20 0 1 0 410074344 2333937664 67689 33554432000 4194304 5870510 140732971937072 140732971935512 5282505 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 67689 999 410 0 565282 0
Current children cumulated CPU time: 2322.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 270756 KiB
[startup+2382.3 s]
/proc/loadavg: 2.27 2.20 2.12 3/201 30510
/proc/meminfo: memFree=20118588/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=285292 CPUtime=2382.33 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 362592 0 0 0 238004 229 0 0 20 0 1 0 410074344 2333937664 71323 33554432000 4194304 5870510 140732971937072 140732971935512 5308315 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 71323 999 410 0 565282 0
Current children cumulated CPU time: 2382.33 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 285292 KiB
[startup+2442.3 s]
/proc/loadavg: 2.10 2.16 2.11 3/202 30517
/proc/meminfo: memFree=20222252/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=285292 CPUtime=2442.32 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 365232 0 0 0 243995 237 0 0 20 0 1 0 410074344 2333937664 71323 33554432000 4194304 5870510 140732971937072 140732971935512 5282170 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 71323 999 410 0 565282 0
Current children cumulated CPU time: 2442.32 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 285292 KiB
[startup+2502.3 s]
/proc/loadavg: 2.04 2.13 2.10 3/202 30521
/proc/meminfo: memFree=20144108/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2229916 memory=240036 CPUtime=2502.33 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 367899 0 0 0 249988 245 0 0 20 0 1 0 410074344 2283433984 60009 33554432000 4194304 5870510 140732971937072 140732971935512 5282578 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 557479 60009 999 410 0 552952 0
Current children cumulated CPU time: 2502.33 s
Current children cumulated vsize: 2229916 KiB
Current children cumulated memory: 240036 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.03 2.12 2.10 3/202 30521
/proc/meminfo: memFree=20108952/32770624 swapFree=66999220/67108860
[pid=29651] ppid=29648 vsize=2279236 memory=275052 CPUtime=2520.03 cores=0,2,4,6
/proc/29651/stat : 29651 (xcsp_picat) R 29648 29651 24179 0 -1 4202496 368105 0 0 0 251757 246 0 0 20 0 1 0 410074344 2333937664 68763 33554432000 4194304 5870510 140732971937072 140732971935512 5283135 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7970040 9572284 16687104 140732971942943 140732971943021 140732971943021 140732971945930 0
/proc/29651/statm: 569809 68763 999 410 0 565282 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2279236 KiB
Current children cumulated memory: 275052 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 29651 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2517.58 s, system=2.46905 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): 2520.04
CPU user time (s): 2517.58
CPU system time (s): 2.46905
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 2328556
Max. memory (cumulated for all children) (KiB): 318268
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2517.58
system time used= 2.46905
maximum resident set size= 322164
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 368105
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= 20
involuntary context switches= 1539
# summary of solver processes directly reported to runsolver:
# pid: 29651
# total CPU time (s): 2520.04
# total CPU user time (s): 2517.58
# total CPU system time (s): 2.46905
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.292 second user time and 18.3083 second system time
The end