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 (10701 MiB free)
memory of node 1: 16384 MiB (5893 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303374-1534019288/watcher-4303374-1534019288 -o /tmp/evaluation-result-4303374-1534019288/solver-4303374-1534019288 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node138-1533993481-21559 --watchdog 2580 xcsp_picat HOME/instance-4303374-1534019288.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
Current StackSize limit: 8192 KiB
solver pid=24578, runsolver pid=24575
[startup+0.100861 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16970932/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2025744 memory=26712 CPUtime=0.1 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 1764 0 0 0 10 0 0 0 20 0 1 0 219491964 2074361856 6678 33554432000 4194304 5849708 140732856041792 140732856041160 4828956 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 506436 6678 613 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 26712 KiB
[startup+0.209546 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16968760/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2026028 memory=27496 CPUtime=0.2 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 1916 0 0 0 20 0 0 0 20 0 1 0 219491964 2074652672 6874 33554432000 4194304 5849708 140732856041792 140732856041160 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 506507 6874 666 405 0 503452 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026028 KiB
Current children cumulated memory: 27496 KiB
[startup+0.308861 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16968016/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2026560 memory=27796 CPUtime=0.31 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 2077 0 0 0 30 1 0 0 20 0 1 0 219491964 2075197440 6949 33554432000 4194304 5849708 140732856041792 140732856041160 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 506640 6949 666 405 0 503585 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2026560 KiB
Current children cumulated memory: 27796 KiB
[startup+0.700224 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16967272/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2027840 memory=29080 CPUtime=0.69 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 2397 0 0 0 67 2 0 0 20 0 1 0 219491964 2076508160 7270 33554432000 4194304 5849708 140732856041792 140732856040904 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 506960 7270 666 405 0 503905 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027840 KiB
Current children cumulated memory: 29080 KiB
[startup+1.50024 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16965372/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2031936 memory=33224 CPUtime=1.49 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 3421 0 0 0 144 5 0 0 20 0 1 0 219491964 2080702464 8306 33554432000 4194304 5849708 140732856041792 140732856041032 5472628 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 507984 8306 666 405 0 504929 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2031936 KiB
Current children cumulated memory: 33224 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16956072/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2038080 memory=39572 CPUtime=3.1 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 5021 0 0 0 299 11 0 0 20 0 1 0 219491964 2086993920 9893 33554432000 4194304 5849708 140732856041792 140732856041032 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 509520 9893 666 405 0 506465 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038080 KiB
Current children cumulated memory: 39572 KiB
[startup+6.30022 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16943572/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2050368 memory=51860 CPUtime=6.28 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 6551 0 0 0 607 21 0 0 20 0 1 0 219491964 2099576832 12965 33554432000 4194304 5849708 140732856041792 140732856041032 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 512592 12965 666 405 0 509537 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2050368 KiB
Current children cumulated memory: 51860 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16926064/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2056432 memory=57928 CPUtime=12.68 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 20866 0 0 0 1241 27 0 0 20 0 1 0 219491964 2105786368 14482 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 514108 14482 699 405 0 511053 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2056432 KiB
Current children cumulated memory: 57928 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 24579
/proc/meminfo: memFree=16913344/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2059752 memory=60748 CPUtime=25.48 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 30572 0 0 0 2507 41 0 0 20 0 1 0 219491964 2109186048 15187 33554432000 4194304 5849708 140732856041792 140732856040664 139758360387463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 514938 15187 699 405 0 511883 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2059752 KiB
Current children cumulated memory: 60748 KiB
[startup+51.1094 s]
/proc/loadavg: 1.93 2.02 2.04 3/187 24579
/proc/meminfo: memFree=16905900/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2063136 memory=64632 CPUtime=51.09 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 49497 0 0 0 5042 67 0 0 20 0 1 0 219491964 2112651264 16158 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 515784 16158 699 405 0 512729 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2063136 KiB
Current children cumulated memory: 64632 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 2.02 2.04 3/187 24580
/proc/meminfo: memFree=16865432/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2066472 memory=67944 CPUtime=102.28 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 66805 0 0 0 10115 113 0 0 20 0 1 0 219491964 2116067328 16986 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 516618 16986 699 405 0 513563 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2066472 KiB
Current children cumulated memory: 67944 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/188 24589
/proc/meminfo: memFree=16892452/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2064588 memory=66060 CPUtime=162.28 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 89085 0 0 0 16061 167 0 0 20 0 1 0 219491964 2114138112 16515 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 516147 16515 699 405 0 513092 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2064588 KiB
Current children cumulated memory: 66060 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24590
/proc/meminfo: memFree=16857228/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2081620 memory=82960 CPUtime=222.28 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 111568 0 0 0 22002 226 0 0 20 0 1 0 219491964 2131578880 20740 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 520405 20740 699 405 0 517350 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2081620 KiB
Current children cumulated memory: 82960 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24591
/proc/meminfo: memFree=16824720/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2080448 memory=81948 CPUtime=282.28 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 131296 0 0 0 27950 278 0 0 20 0 1 0 219491964 2130378752 20487 33554432000 4194304 5849708 140732856041792 140732856040664 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 520112 20487 699 405 0 517057 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2080448 KiB
Current children cumulated memory: 81948 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24592
/proc/meminfo: memFree=16851184/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2087332 memory=88764 CPUtime=342.27 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 153391 0 0 0 33898 329 0 0 20 0 1 0 219491964 2137427968 22191 33554432000 4194304 5849708 140732856041792 140732856040792 5312614 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 521833 22191 699 405 0 518778 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2087332 KiB
Current children cumulated memory: 88764 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 24593
/proc/meminfo: memFree=16852800/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2084232 memory=85624 CPUtime=402.27 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 177745 0 0 0 39849 378 0 0 20 0 1 0 219491964 2134253568 21406 33554432000 4194304 5849708 140732856041792 140732856040792 5312782 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 521058 21406 699 405 0 518003 0
Current children cumulated CPU time: 402.27 s
Current children cumulated vsize: 2084232 KiB
Current children cumulated memory: 85624 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/187 24594
/proc/meminfo: memFree=16844024/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2089272 memory=90640 CPUtime=462.27 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 203441 0 0 0 45799 428 0 0 20 0 1 0 219491964 2139414528 22660 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 522318 22660 699 405 0 519263 0
Current children cumulated CPU time: 462.27 s
Current children cumulated vsize: 2089272 KiB
Current children cumulated memory: 90640 KiB
################
# More data... #
################
/proc/24578/statm: 531911 33105 699 405 0 528856 0
Current children cumulated CPU time: 1722.22 s
Current children cumulated vsize: 2127644 KiB
Current children cumulated memory: 132420 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24633
/proc/meminfo: memFree=16725744/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2136256 memory=140964 CPUtime=1782.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 587627 0 0 0 176918 1304 0 0 20 0 1 0 219491964 2187526144 35241 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 534064 35241 699 405 0 531009 0
Current children cumulated CPU time: 1782.22 s
Current children cumulated vsize: 2136256 KiB
Current children cumulated memory: 140964 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24635
/proc/meminfo: memFree=16772460/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2093748 memory=98412 CPUtime=1842.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 598239 0 0 0 182878 1344 0 0 20 0 1 0 219491964 2143997952 24603 33554432000 4194304 5849708 140732856041792 140732856040792 5392291 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 523437 24603 699 405 0 520382 0
Current children cumulated CPU time: 1842.22 s
Current children cumulated vsize: 2093748 KiB
Current children cumulated memory: 98412 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24636
/proc/meminfo: memFree=16752112/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2106292 memory=111072 CPUtime=1902.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 614409 0 0 0 188847 1375 0 0 20 0 1 0 219491964 2156843008 27768 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 526573 27768 699 405 0 523518 0
Current children cumulated CPU time: 1902.22 s
Current children cumulated vsize: 2106292 KiB
Current children cumulated memory: 111072 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24644
/proc/meminfo: memFree=16796096/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2094752 memory=99540 CPUtime=1962.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 631226 0 0 0 194819 1403 0 0 20 0 1 0 219491964 2145026048 24885 33554432000 4194304 5849708 140732856041792 140732856040792 5437714 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 523688 24885 699 405 0 520633 0
Current children cumulated CPU time: 1962.22 s
Current children cumulated vsize: 2094752 KiB
Current children cumulated memory: 99540 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24667
/proc/meminfo: memFree=16783452/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2104316 memory=109112 CPUtime=2022.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 647099 0 0 0 200787 1435 0 0 20 0 1 0 219491964 2154819584 27278 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 526079 27278 699 405 0 523024 0
Current children cumulated CPU time: 2022.22 s
Current children cumulated vsize: 2104316 KiB
Current children cumulated memory: 109112 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24668
/proc/meminfo: memFree=16775936/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2094648 memory=99420 CPUtime=2082.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 666201 0 0 0 206755 1467 0 0 20 0 1 0 219491964 2144919552 24855 33554432000 4194304 5849708 140732856041792 140732856040952 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 523662 24855 699 405 0 520607 0
Current children cumulated CPU time: 2082.22 s
Current children cumulated vsize: 2094648 KiB
Current children cumulated memory: 99420 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24669
/proc/meminfo: memFree=16765672/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2108104 memory=112836 CPUtime=2142.22 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 682672 0 0 0 212723 1499 0 0 20 0 1 0 219491964 2158698496 28209 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 527026 28209 699 405 0 523971 0
Current children cumulated CPU time: 2142.22 s
Current children cumulated vsize: 2108104 KiB
Current children cumulated memory: 112836 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24670
/proc/meminfo: memFree=16766296/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2095704 memory=100312 CPUtime=2202.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 702371 0 0 0 218694 1527 0 0 20 0 1 0 219491964 2146000896 25078 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 523926 25078 699 405 0 520871 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 2095704 KiB
Current children cumulated memory: 100312 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24671
/proc/meminfo: memFree=16781540/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2097072 memory=101708 CPUtime=2262.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 706853 0 0 0 224666 1555 0 0 20 0 1 0 219491964 2147401728 25427 33554432000 4194304 5849708 140732856041792 140732856040792 5438254 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 524268 25427 699 405 0 521213 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2097072 KiB
Current children cumulated memory: 101708 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24672
/proc/meminfo: memFree=16768316/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2109384 memory=114108 CPUtime=2322.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 725782 0 0 0 230638 1583 0 0 20 0 1 0 219491964 2160009216 28527 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 527346 28527 699 405 0 524291 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 2109384 KiB
Current children cumulated memory: 114108 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24673
/proc/meminfo: memFree=16785732/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2096316 memory=101064 CPUtime=2382.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 745403 0 0 0 236610 1611 0 0 20 0 1 0 219491964 2146627584 25266 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 524079 25266 699 405 0 521024 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 2096316 KiB
Current children cumulated memory: 101064 KiB
[startup+2442.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/187 24735
/proc/meminfo: memFree=17410104/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2097704 memory=102460 CPUtime=2442.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 749100 0 0 0 242583 1638 0 0 20 0 1 0 219491964 2148048896 25615 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 524426 25615 699 405 0 521371 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 2097704 KiB
Current children cumulated memory: 102460 KiB
[startup+2502.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/187 24736
/proc/meminfo: memFree=17418256/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2097032 memory=101784 CPUtime=2502.21 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 767250 0 0 0 248548 1673 0 0 20 0 1 0 219491964 2147360768 25446 33554432000 4194304 5849708 140732856041792 140732856040792 139758360387463 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 524258 25446 699 405 0 521203 0
Current children cumulated CPU time: 2502.21 s
Current children cumulated vsize: 2097032 KiB
Current children cumulated memory: 101784 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 1.99 2.00 2.04 3/188 24744
/proc/meminfo: memFree=17389744/32770624 swapFree=67108796/67108860
[pid=24578] ppid=24575 vsize=2105816 memory=110612 CPUtime=2519.92 cores=0,2,4,6
/proc/24578/stat : 24578 (xcsp_picat) R 24575 24578 21527 0 -1 4202496 778734 0 0 0 250310 1682 0 0 20 0 1 0 219491964 2156355584 27653 33554432000 4194304 5849708 140732856041792 140732856040792 5437841 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 15282176 140732856046774 140732856046852 140732856046852 140732856049610 0
/proc/24578/statm: 526454 27653 699 405 0 523399 0
Current children cumulated CPU time: 2519.92 s
Current children cumulated vsize: 2105816 KiB
Current children cumulated memory: 110612 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 24578 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2503.1 s, system=16.8275 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.93
CPU user time (s): 2503.1
CPU system time (s): 16.8275
CPU usage (%): 99.9967
Max. virtual memory (cumulated for all children) (KiB): 2142624
Max. memory (cumulated for all children) (KiB): 147308
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2503.1
system time used= 16.8275
maximum resident set size= 147308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 778735
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= 17
involuntary context switches= 1407
# summary of solver processes directly reported to runsolver:
# pid: 24578
# total CPU time (s): 2519.93
# total CPU user time (s): 2503.1
# total CPU system time (s): 16.8275
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.9902 second user time and 17.3665 second system time
The end