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 (7037 MiB free)
memory of node 1: 16384 MiB (10998 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309382-1534317548/watcher-4309382-1534317548 -o /tmp/evaluation-result-4309382-1534317548/solver-4309382-1534317548 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node150-1534293054-21340 --watchdog 2580 xcsp_picat HOME/instance-4309382-1534317548.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=24224, runsolver pid=24221
Current StackSize limit: 8192 KiB
[startup+0.100979 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18453376/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2026288 memory=18788 CPUtime=0.09 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 1827 0 0 0 9 0 0 0 20 0 1 0 249318061 2074918912 4697 33554432000 4194304 5849940 140733541610320 140733541609416 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 506572 4697 705 405 0 503516 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026288 KiB
Current children cumulated memory: 18788 KiB
[startup+0.209481 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18452892/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2026676 memory=19048 CPUtime=0.2 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 1956 0 0 0 19 1 0 0 20 0 1 0 249318061 2075316224 4762 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 506669 4762 705 405 0 503613 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2026676 KiB
Current children cumulated memory: 19048 KiB
[startup+0.308644 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18452892/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2026932 memory=19304 CPUtime=0.3 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 2020 0 0 0 29 1 0 0 20 0 1 0 249318061 2075578368 4826 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 506733 4826 705 405 0 503677 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026932 KiB
Current children cumulated memory: 19304 KiB
[startup+0.700225 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18452024/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2028980 memory=21372 CPUtime=0.68 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 2532 0 0 0 66 2 0 0 20 0 1 0 249318061 2077675520 5343 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 507245 5343 705 405 0 504189 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2028980 KiB
Current children cumulated memory: 21372 KiB
[startup+1.50025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18450536/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2032052 memory=24444 CPUtime=1.49 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 3300 0 0 0 143 6 0 0 20 0 1 0 249318061 2080821248 6111 33554432000 4194304 5849940 140733541610320 140733541609352 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 508013 6111 705 405 0 504957 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2032052 KiB
Current children cumulated memory: 24444 KiB
[startup+3.10923 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18450968/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2028680 memory=21104 CPUtime=3.09 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 7234 0 0 0 300 9 0 0 20 0 1 0 249318061 2077368320 5276 33554432000 4194304 5849940 140733541610320 140733541609240 139988966723463 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 507170 5276 746 405 0 504114 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2028680 KiB
Current children cumulated memory: 21104 KiB
[startup+6.30025 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18430508/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2041996 memory=34260 CPUtime=6.28 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 11200 0 0 0 614 14 0 0 20 0 1 0 249318061 2091003904 8565 33554432000 4194304 5849940 140733541610320 140733541609320 5394987 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 510499 8565 746 405 0 507443 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2041996 KiB
Current children cumulated memory: 34260 KiB
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18422740/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2037896 memory=30160 CPUtime=12.68 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 16041 0 0 0 1243 25 0 0 20 0 1 0 249318061 2086805504 7540 33554432000 4194304 5849940 140733541610320 140733541609560 5399956 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 509474 7540 746 405 0 506418 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2037896 KiB
Current children cumulated memory: 30160 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18455752/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2048148 memory=39592 CPUtime=25.48 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 20265 0 0 0 2509 39 0 0 20 0 1 0 249318061 2097303552 9898 33554432000 4194304 5849940 140733541610320 140733541609320 5395684 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 512037 9898 746 405 0 508981 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2048148 KiB
Current children cumulated memory: 39592 KiB
[startup+51.1094 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24225
/proc/meminfo: memFree=18433668/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2055220 memory=47892 CPUtime=51.09 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 30122 0 0 0 5045 64 0 0 20 0 1 0 249318061 2104545280 11973 33554432000 4194304 5849940 140733541610320 140733541609192 5438470 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 513805 11973 746 405 0 510749 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2055220 KiB
Current children cumulated memory: 47892 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24234
/proc/meminfo: memFree=18409516/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2084048 memory=75220 CPUtime=102.27 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 44027 0 0 0 10122 105 0 0 20 0 1 0 249318061 2134065152 18805 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 521012 18805 746 405 0 517956 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2084048 KiB
Current children cumulated memory: 75220 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24235
/proc/meminfo: memFree=18377120/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2102592 memory=94260 CPUtime=162.27 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 62796 0 0 0 16080 147 0 0 20 0 1 0 249318061 2153054208 23565 33554432000 4194304 5849940 140733541610320 140733541609048 5360666 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 525648 23565 746 405 0 522592 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 2102592 KiB
Current children cumulated memory: 94260 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24236
/proc/meminfo: memFree=18369712/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2112236 memory=103888 CPUtime=222.27 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 84454 0 0 0 22054 173 0 0 20 0 1 0 249318061 2162929664 25972 33554432000 4194304 5849940 140733541610320 140733541609320 5312848 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 528059 25972 746 405 0 525003 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2112236 KiB
Current children cumulated memory: 103888 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24237
/proc/meminfo: memFree=18308408/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2182048 memory=173784 CPUtime=282.25 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 95381 0 0 0 28027 198 0 0 20 0 1 0 249318061 2234417152 43446 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 545512 43446 746 405 0 542456 0
Current children cumulated CPU time: 282.25 s
Current children cumulated vsize: 2182048 KiB
Current children cumulated memory: 173784 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24238
/proc/meminfo: memFree=18338064/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2147716 memory=139608 CPUtime=342.25 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 121125 0 0 0 34008 217 0 0 20 0 1 0 249318061 2199261184 34902 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 536929 34902 746 405 0 533873 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 2147716 KiB
Current children cumulated memory: 139608 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24240
/proc/meminfo: memFree=18280120/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2195980 memory=187920 CPUtime=402.25 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 124945 0 0 0 39988 237 0 0 20 0 1 0 249318061 2248683520 46980 33554432000 4194304 5849940 140733541610320 140733541609320 5437933 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 548995 46980 746 405 0 545939 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 2195980 KiB
Current children cumulated memory: 187920 KiB
[startup+462.3 s]
/proc/loadavg: 2.45 2.15 2.09 3/187 24241
/proc/meminfo: memFree=18260628/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2221180 memory=213120 CPUtime=462.24 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 146363 0 0 0 45971 253 0 0 20 0 1 0 249318061 2274488320 53280 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 555295 53280 746 405 0 552239 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 2221180 KiB
Current children cumulated memory: 213120 KiB
################
# More data... #
################
/proc/24224/statm: 601863 101030 746 405 0 598807 0
Current children cumulated CPU time: 1722.1 s
Current children cumulated vsize: 2407452 KiB
Current children cumulated memory: 404120 KiB
[startup+1782.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/187 24340
/proc/meminfo: memFree=17796640/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2498344 memory=495012 CPUtime=1782.11 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 554907 0 0 0 177633 578 0 0 20 0 1 0 249318061 2558304256 123753 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 624586 123753 746 405 0 621530 0
Current children cumulated CPU time: 1782.11 s
Current children cumulated vsize: 2498344 KiB
Current children cumulated memory: 495012 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/187 24341
/proc/meminfo: memFree=17791888/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2498344 memory=495012 CPUtime=1842.1 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 597875 0 0 0 183617 593 0 0 20 0 1 0 249318061 2558304256 123753 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 624586 123753 746 405 0 621530 0
Current children cumulated CPU time: 1842.1 s
Current children cumulated vsize: 2498344 KiB
Current children cumulated memory: 495012 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.05 2.05 3/188 24350
/proc/meminfo: memFree=17645664/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2656616 memory=653284 CPUtime=1902.09 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 633053 0 0 0 189602 607 0 0 20 0 1 0 249318061 2720374784 163321 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 664154 163321 746 405 0 661098 0
Current children cumulated CPU time: 1902.09 s
Current children cumulated vsize: 2656616 KiB
Current children cumulated memory: 653284 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 24351
/proc/meminfo: memFree=17686096/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2591080 memory=587748 CPUtime=1962.09 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 657494 0 0 0 195590 619 0 0 20 0 1 0 249318061 2653265920 146937 33554432000 4194304 5849940 140733541610320 140733541609480 5438010 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 647770 146937 746 405 0 644714 0
Current children cumulated CPU time: 1962.09 s
Current children cumulated vsize: 2591080 KiB
Current children cumulated memory: 587748 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24352
/proc/meminfo: memFree=17984944/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2289128 memory=285780 CPUtime=2022.08 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 706108 0 0 0 201572 636 0 0 20 0 1 0 249318061 2344067072 71445 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 572282 71445 746 405 0 569226 0
Current children cumulated CPU time: 2022.08 s
Current children cumulated vsize: 2289128 KiB
Current children cumulated memory: 285780 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 24353
/proc/meminfo: memFree=17979340/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2294652 memory=291320 CPUtime=2082.08 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 727842 0 0 0 207559 649 0 0 20 0 1 0 249318061 2349723648 72830 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 573663 72830 746 405 0 570607 0
Current children cumulated CPU time: 2082.08 s
Current children cumulated vsize: 2294652 KiB
Current children cumulated memory: 291320 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 24354
/proc/meminfo: memFree=18018004/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2312752 memory=309380 CPUtime=2142.07 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 751056 0 0 0 213543 664 0 0 20 0 1 0 249318061 2368258048 77345 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 578188 77345 746 405 0 575132 0
Current children cumulated CPU time: 2142.07 s
Current children cumulated vsize: 2312752 KiB
Current children cumulated memory: 309380 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 24356
/proc/meminfo: memFree=17955644/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2343064 memory=339732 CPUtime=2202.07 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 774496 0 0 0 219532 675 0 0 20 0 1 0 249318061 2399297536 84933 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 585766 84933 746 405 0 582710 0
Current children cumulated CPU time: 2202.07 s
Current children cumulated vsize: 2343064 KiB
Current children cumulated memory: 339732 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24357
/proc/meminfo: memFree=17899296/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2399204 memory=395872 CPUtime=2262.07 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 803030 0 0 0 225520 687 0 0 20 0 1 0 249318061 2456784896 98968 33554432000 4194304 5849940 140733541610320 140733541609480 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 599801 98968 746 405 0 596745 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 2399204 KiB
Current children cumulated memory: 395872 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24358
/proc/meminfo: memFree=17869120/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2429448 memory=426116 CPUtime=2322.06 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 822323 0 0 0 231505 701 0 0 20 0 1 0 249318061 2487754752 106529 33554432000 4194304 5849940 140733541610320 140733541609320 5437906 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 607362 106529 746 405 0 604306 0
Current children cumulated CPU time: 2322.06 s
Current children cumulated vsize: 2429448 KiB
Current children cumulated memory: 426116 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24360
/proc/meminfo: memFree=17868884/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2429448 memory=426116 CPUtime=2382.05 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 833865 0 0 0 237496 709 0 0 20 0 1 0 249318061 2487754752 106529 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 607362 106529 746 405 0 604306 0
Current children cumulated CPU time: 2382.05 s
Current children cumulated vsize: 2429448 KiB
Current children cumulated memory: 426116 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 24361
/proc/meminfo: memFree=17861628/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2429448 memory=426116 CPUtime=2442.05 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 861897 0 0 0 243489 716 0 0 20 0 1 0 249318061 2487754752 106529 33554432000 4194304 5849940 140733541610320 140733541609320 5438033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 607362 106529 746 405 0 604306 0
Current children cumulated CPU time: 2442.05 s
Current children cumulated vsize: 2429448 KiB
Current children cumulated memory: 426116 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 24370
/proc/meminfo: memFree=17853496/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2429448 memory=426116 CPUtime=2502.04 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 879132 0 0 0 249473 731 0 0 20 0 1 0 249318061 2487754752 106529 33554432000 4194304 5849940 140733541610320 140733541609320 5438033 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 607362 106529 746 405 0 604306 0
Current children cumulated CPU time: 2502.04 s
Current children cumulated vsize: 2429448 KiB
Current children cumulated memory: 426116 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 24393
/proc/meminfo: memFree=17850960/32770624 swapFree=67108792/67108860
[pid=24224] ppid=24221 vsize=2429448 memory=426116 CPUtime=2519.75 cores=0,2,4,6
/proc/24224/stat : 24224 (xcsp_picat) R 24221 24224 21309 0 -1 4202496 879134 0 0 0 251242 733 0 0 20 0 1 0 249318061 2487754752 106529 33554432000 4194304 5849940 140733541610320 140733541609320 139988966723463 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9396308 27664384 140733541614774 140733541614852 140733541614852 140733541617610 0
/proc/24224/statm: 607362 106529 746 405 0 604306 0
Current children cumulated CPU time: 2519.75 s
Current children cumulated vsize: 2429448 KiB
Current children cumulated memory: 426116 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 24224 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2512.43 s, system=7.34438 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): 2519.77
CPU user time (s): 2512.43
CPU system time (s): 7.34438
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 2656616
Max. memory (cumulated for all children) (KiB): 653284
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2512.43
system time used= 7.34438
maximum resident set size= 653284
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 879134
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= 43
involuntary context switches= 3177
# summary of solver processes directly reported to runsolver:
# pid: 24224
# total CPU time (s): 2519.77
# total CPU user time (s): 2512.43
# total CPU system time (s): 7.34438
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.80277 second user time and 19.1363 second system time
The end