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 (5450 MiB free)
memory of node 1: 16384 MiB (6696 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4293852-1532379672/watcher-4293852-1532379672 -o /tmp/evaluation-result-4293852-1532379672/solver-4293852-1532379672 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node137-1532369589-13986 --watchdog 2580 xcsp_picat HOME/instance-4293852-1532379672.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
solver pid=14823, runsolver pid=14820
Current StackSize limit: 8192 KiB
[startup+0.100169 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 14824
/proc/meminfo: memFree=12420324/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=128912 memory=20236 CPUtime=0.1 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 2203 0 0 0 10 0 0 0 20 0 1 0 55530346 132005888 5059 33554432000 4194304 5849740 140730502870864 140730502870864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 32228 5059 695 405 0 29172 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 128912 KiB
Current children cumulated memory: 20236 KiB
[startup+0.209709 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 14824
/proc/meminfo: memFree=12419952/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=129936 memory=21264 CPUtime=0.21 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 2459 0 0 0 20 1 0 0 20 0 1 0 55530346 133054464 5316 33554432000 4194304 5849740 140730502870864 140730502870864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 32484 5316 695 405 0 29428 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 129936 KiB
Current children cumulated memory: 21264 KiB
[startup+0.308951 s]*
/proc/loadavg: 2.00 2.04 2.05 3/188 14824
/proc/meminfo: memFree=12418748/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=130448 memory=21776 CPUtime=0.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 2587 0 0 0 29 1 0 0 20 0 1 0 55530346 133578752 5444 33554432000 4194304 5849740 140730502870864 140730502870040 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 32612 5444 695 405 0 29556 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 130448 KiB
Current children cumulated memory: 21776 KiB
[startup+0.700286 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14824
/proc/meminfo: memFree=12417632/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=134544 memory=25920 CPUtime=0.69 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 3611 0 0 0 66 3 0 0 20 0 1 0 55530346 137773056 6480 33554432000 4194304 5849740 140730502870864 140730502869960 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 33636 6480 695 405 0 30580 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 134544 KiB
Current children cumulated memory: 25920 KiB
[startup+1.50029 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 14824
/proc/meminfo: memFree=12412424/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=140948 memory=32400 CPUtime=1.49 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 4701 0 0 0 144 5 0 0 20 0 1 0 55530346 144330752 8100 33554432000 4194304 5849740 140730502870864 140730502869800 4531499 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 35237 8100 695 405 0 32181 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 140948 KiB
Current children cumulated memory: 32400 KiB
[startup+3.10965 s]
/proc/loadavg: 1.84 2.00 2.04 3/188 14885
/proc/meminfo: memFree=12736644/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=129800 memory=21440 CPUtime=3.1 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 8586 0 0 0 304 6 0 0 20 0 1 0 55530346 132915200 5360 33554432000 4194304 5849740 140730502870864 140730502869112 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 32450 5360 737 405 0 29394 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 129800 KiB
Current children cumulated memory: 21440 KiB
[startup+6.30038 s]
/proc/loadavg: 1.84 2.00 2.04 3/188 14885
/proc/meminfo: memFree=12581800/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=152948 memory=44464 CPUtime=6.28 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 11859 0 0 0 617 11 0 0 20 0 1 0 55530346 156618752 11116 33554432000 4194304 5849740 140730502870864 140730502868904 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 38237 11116 737 405 0 35181 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 152948 KiB
Current children cumulated memory: 44464 KiB
[startup+12.7003 s]
/proc/loadavg: 1.86 2.00 2.04 3/188 14885
/proc/meminfo: memFree=12503540/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=161144 memory=52836 CPUtime=12.69 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 13696 0 0 0 1249 20 0 0 20 0 1 0 55530346 165011456 13209 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 40286 13209 739 405 0 37230 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 161144 KiB
Current children cumulated memory: 52836 KiB
[startup+25.5004 s]
/proc/loadavg: 1.89 2.00 2.04 3/188 14885
/proc/meminfo: memFree=12417800/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=161144 memory=58228 CPUtime=25.49 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 17104 0 0 0 2513 36 0 0 20 0 1 0 55530346 165011456 14557 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 40286 14557 739 405 0 37230 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 161144 KiB
Current children cumulated memory: 58228 KiB
[startup+51.1097 s]
/proc/loadavg: 1.93 2.00 2.04 3/188 14885
/proc/meminfo: memFree=11992700/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=169336 memory=68540 CPUtime=51.1 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 22624 0 0 0 5048 62 0 0 20 0 1 0 55530346 173400064 17135 33554432000 4194304 5849740 140730502870864 140730502869864 5312775 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 42334 17135 739 405 0 39278 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 169336 KiB
Current children cumulated memory: 68540 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/188 14886
/proc/meminfo: memFree=10650468/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=161144 memory=60348 CPUtime=102.29 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 34564 0 0 0 10111 118 0 0 20 0 1 0 55530346 165011456 15087 33554432000 4194304 5849740 140730502870864 140730502870024 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 40286 15087 739 405 0 37230 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 161144 KiB
Current children cumulated memory: 60348 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/188 14887
/proc/meminfo: memFree=9768848/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=169336 memory=68324 CPUtime=162.29 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 47623 0 0 0 16052 177 0 0 20 0 1 0 55530346 173400064 17081 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 42334 17081 739 405 0 39278 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 169336 KiB
Current children cumulated memory: 68324 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14888
/proc/meminfo: memFree=9558160/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=183408 memory=82464 CPUtime=222.29 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 59391 0 0 0 22004 225 0 0 20 0 1 0 55530346 187809792 20616 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 45852 20616 739 405 0 42796 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 183408 KiB
Current children cumulated memory: 82464 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/188 14889
/proc/meminfo: memFree=9163024/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=184464 memory=83416 CPUtime=282.29 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 69701 0 0 0 27963 266 0 0 20 0 1 0 55530346 188891136 20854 33554432000 4194304 5849740 140730502870864 140730502869864 5392643 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 46116 20854 739 405 0 43060 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 184464 KiB
Current children cumulated memory: 83416 KiB
[startup+342.3 s]
/proc/loadavg: 2.07 2.02 2.04 3/187 14890
/proc/meminfo: memFree=9161924/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=184932 memory=84048 CPUtime=342.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 79980 0 0 0 33920 310 0 0 20 0 1 0 55530346 189370368 21012 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 46233 21012 739 405 0 43177 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 184932 KiB
Current children cumulated memory: 84048 KiB
[startup+402.3 s]
/proc/loadavg: 2.03 2.02 2.04 3/187 14891
/proc/meminfo: memFree=8631108/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=190752 memory=89948 CPUtime=402.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 88016 0 0 0 39872 358 0 0 20 0 1 0 55530346 195330048 22487 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 47688 22487 739 405 0 44632 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 190752 KiB
Current children cumulated memory: 89948 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.04 3/187 14892
/proc/meminfo: memFree=8338184/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=221216 memory=120508 CPUtime=462.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 100517 0 0 0 45839 391 0 0 20 0 1 0 55530346 226525184 30127 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 55304 30127 739 405 0 52248 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 221216 KiB
Current children cumulated memory: 120508 KiB
################
# More data... #
################
/proc/14823/statm: 101623 76424 739 405 0 98567 0
Current children cumulated CPU time: 1722.29 s
Current children cumulated vsize: 406492 KiB
Current children cumulated memory: 305696 KiB
[startup+1782.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/187 14938
/proc/meminfo: memFree=6350396/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=543204 memory=442388 CPUtime=1782.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 572104 0 0 0 177490 740 0 0 20 0 1 0 55530346 556240896 110597 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 135801 110597 739 405 0 132745 0
Current children cumulated CPU time: 1782.3 s
Current children cumulated vsize: 543204 KiB
Current children cumulated memory: 442388 KiB
[startup+1842.3 s]
/proc/loadavg: 2.03 2.08 2.07 3/187 14939
/proc/meminfo: memFree=6502364/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=391984 memory=290984 CPUtime=1842.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 610082 0 0 0 183476 754 0 0 20 0 1 0 55530346 401391616 72746 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 97996 72746 739 405 0 94940 0
Current children cumulated CPU time: 1842.3 s
Current children cumulated vsize: 391984 KiB
Current children cumulated memory: 290984 KiB
[startup+1902.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 14940
/proc/meminfo: memFree=6495936/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=397940 memory=297144 CPUtime=1902.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 628458 0 0 0 189459 771 0 0 20 0 1 0 55530346 407490560 74286 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 99485 74286 739 405 0 96429 0
Current children cumulated CPU time: 1902.3 s
Current children cumulated vsize: 397940 KiB
Current children cumulated memory: 297144 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 14941
/proc/meminfo: memFree=6464608/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=429208 memory=328412 CPUtime=1962.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 646943 0 0 0 195442 788 0 0 20 0 1 0 55530346 439508992 82103 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 107302 82103 739 405 0 104246 0
Current children cumulated CPU time: 1962.3 s
Current children cumulated vsize: 429208 KiB
Current children cumulated memory: 328412 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 14942
/proc/meminfo: memFree=6463128/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=430600 memory=329804 CPUtime=2022.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 665507 0 0 0 201425 806 0 0 20 0 1 0 55530346 440934400 82451 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 107650 82451 739 405 0 104594 0
Current children cumulated CPU time: 2022.31 s
Current children cumulated vsize: 430600 KiB
Current children cumulated memory: 329804 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 14943
/proc/meminfo: memFree=6421488/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=472096 memory=371300 CPUtime=2082.3 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 686173 0 0 0 207409 821 0 0 20 0 1 0 55530346 483426304 92825 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 118024 92825 739 405 0 114968 0
Current children cumulated CPU time: 2082.3 s
Current children cumulated vsize: 472096 KiB
Current children cumulated memory: 371300 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 14944
/proc/meminfo: memFree=6400576/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=493136 memory=392340 CPUtime=2142.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 707288 0 0 0 213393 838 0 0 20 0 1 0 55530346 504971264 98085 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 123284 98085 739 405 0 120228 0
Current children cumulated CPU time: 2142.31 s
Current children cumulated vsize: 493136 KiB
Current children cumulated memory: 392340 KiB
[startup+2202.3 s]
/proc/loadavg: 2.71 2.21 2.11 3/187 14945
/proc/meminfo: memFree=6400452/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=493136 memory=392340 CPUtime=2202.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 727821 0 0 0 219380 851 0 0 20 0 1 0 55530346 504971264 98085 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 123284 98085 739 405 0 120228 0
Current children cumulated CPU time: 2202.31 s
Current children cumulated vsize: 493136 KiB
Current children cumulated memory: 392340 KiB
[startup+2262.3 s]
/proc/loadavg: 2.26 2.17 2.10 3/187 14946
/proc/meminfo: memFree=6355220/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=538516 memory=437720 CPUtime=2262.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 750067 0 0 0 225366 865 0 0 20 0 1 0 55530346 551440384 109430 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 134629 109430 739 405 0 131573 0
Current children cumulated CPU time: 2262.31 s
Current children cumulated vsize: 538516 KiB
Current children cumulated memory: 437720 KiB
[startup+2322.3 s]
/proc/loadavg: 2.10 2.14 2.09 3/187 14947
/proc/meminfo: memFree=6286024/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=607528 memory=506696 CPUtime=2322.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 783054 0 0 0 231353 878 0 0 20 0 1 0 55530346 622108672 126674 33554432000 4194304 5849740 140730502870864 140730502869864 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 151882 126674 739 405 0 148826 0
Current children cumulated CPU time: 2322.31 s
Current children cumulated vsize: 607528 KiB
Current children cumulated memory: 506696 KiB
[startup+2382.3 s]
/proc/loadavg: 2.04 2.12 2.09 3/188 14956
/proc/meminfo: memFree=6285912/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=607528 memory=506732 CPUtime=2382.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 818537 0 0 0 237344 887 0 0 20 0 1 0 55530346 622108672 126683 33554432000 4194304 5849740 140730502870864 140730502870024 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 151882 126683 739 405 0 148826 0
Current children cumulated CPU time: 2382.31 s
Current children cumulated vsize: 607528 KiB
Current children cumulated memory: 506732 KiB
[startup+2442.3 s]
/proc/loadavg: 2.01 2.10 2.08 3/188 14957
/proc/meminfo: memFree=6285656/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=607528 memory=506732 CPUtime=2442.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 854149 0 0 0 243336 895 0 0 20 0 1 0 55530346 622108672 126683 33554432000 4194304 5849740 140730502870864 140730502869864 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 151882 126683 739 405 0 148826 0
Current children cumulated CPU time: 2442.31 s
Current children cumulated vsize: 607528 KiB
Current children cumulated memory: 506732 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.08 2.08 3/188 14958
/proc/meminfo: memFree=6285788/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=607528 memory=506732 CPUtime=2502.31 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 887412 0 0 0 249328 903 0 0 20 0 1 0 55530346 622108672 126683 33554432000 4194304 5849740 140730502870864 140730502869864 5437698 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 151882 126683 739 405 0 148826 0
Current children cumulated CPU time: 2502.31 s
Current children cumulated vsize: 607528 KiB
Current children cumulated memory: 506732 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.07 2.07 3/188 14958
/proc/meminfo: memFree=6285912/32770624 swapFree=67108860/67108860
[pid=14823] ppid=14820 vsize=607528 memory=506732 CPUtime=2520.03 cores=1,3,5,7
/proc/14823/stat : 14823 (xcsp_picat) R 14820 14823 13954 0 -1 4202496 902173 0 0 0 251097 906 0 0 20 0 1 0 55530346 622108672 126683 33554432000 4194304 5849740 140730502870864 140730502869864 139900471160711 0 0 4096 8389634 0 0 0 17 3 0 0 0 0 0 7949816 9399828 16248832 140730502878390 140730502878468 140730502878468 140730502881226 0
/proc/14823/statm: 151882 126683 739 405 0 148826 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 607528 KiB
Current children cumulated memory: 506732 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 14823 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.97 s, system=9.07116 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.02
CPU time (s): 2520.04
CPU user time (s): 2510.97
CPU system time (s): 9.07116
CPU usage (%): 100.001
Max. virtual memory (cumulated for all children) (KiB): 607528
Max. memory (cumulated for all children) (KiB): 506732
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.97
system time used= 9.07116
maximum resident set size= 506732
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 902173
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= 35
involuntary context switches= 898
# summary of solver processes directly reported to runsolver:
# pid: 14823
# total CPU time (s): 2520.04
# total CPU user time (s): 2510.97
# total CPU system time (s): 9.07116
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.405 second user time and 18.1438 second system time
The end