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 (8597 MiB free)
memory of node 1: 16384 MiB (9991 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4309489-1534317815/watcher-4309489-1534317815 -o /tmp/evaluation-result-4309489-1534317815/solver-4309489-1534317815 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node139-1534293040-16589 --watchdog 2580 xcsp_picat HOME/instance-4309489-1534317815.xml
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=19357, runsolver pid=19354
[startup+0.100575 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 19358
/proc/meminfo: memFree=19011652/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2025744 memory=25932 CPUtime=0.09 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1577 0 0 0 9 0 0 0 20 0 1 0 249344720 2074361856 6483 33554432000 4194304 5849940 140726311109104 140726311108408 4504141 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 506436 6483 592 405 0 503380 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 25932 KiB
[startup+0.20971 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 19358
/proc/meminfo: memFree=18999380/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2025744 memory=38448 CPUtime=0.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1583 0 0 0 20 0 0 0 20 0 1 0 249344720 2074361856 9612 33554432000 4194304 5849940 140726311109104 140726311108408 4514943 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 506436 9612 597 405 0 503380 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 38448 KiB
[startup+0.309637 s]*
/proc/loadavg: 2.00 2.06 2.07 3/187 19358
/proc/meminfo: memFree=18989140/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2025744 memory=50964 CPUtime=0.31 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1690 0 0 0 30 1 0 0 20 0 1 0 249344720 2074361856 12741 33554432000 4194304 5849940 140726311109104 140726311108408 4509296 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 506436 12741 621 405 0 503380 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50964 KiB
[startup+0.700292 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 19358
/proc/meminfo: memFree=18948864/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2027508 memory=90448 CPUtime=0.69 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 2383 0 0 0 67 2 0 0 20 0 1 0 249344720 2076168192 22612 33554432000 4194304 5849940 140726311109104 140726311108408 140545071652743 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 506877 22612 703 405 0 503821 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2027508 KiB
Current children cumulated memory: 90448 KiB
[startup+1.5004 s]
/proc/loadavg: 2.00 2.06 2.07 3/187 19358
/proc/meminfo: memFree=18926000/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2110520 memory=175520 CPUtime=1.48 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 9457 0 0 0 143 5 0 0 20 0 1 0 249344720 2161172480 43880 33554432000 4194304 5849940 140726311109104 140726311108296 4539726 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 527630 43880 705 405 0 524574 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2110520 KiB
Current children cumulated memory: 175520 KiB
[startup+3.10899 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 19358
/proc/meminfo: memFree=18776600/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2176056 memory=241376 CPUtime=3.09 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 10126 0 0 0 303 6 0 0 20 0 1 0 249344720 2228281344 60344 33554432000 4194304 5849940 140726311109104 140726311108344 140545071652743 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 544014 60344 722 405 0 540958 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2176056 KiB
Current children cumulated memory: 241376 KiB
[startup+6.3004 s]
/proc/loadavg: 1.92 2.04 2.06 3/187 19358
/proc/meminfo: memFree=18773600/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2191884 memory=257076 CPUtime=6.28 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 35770 0 0 0 620 8 0 0 20 0 1 0 249344720 2244489216 64269 33554432000 4194304 5849940 140726311109104 140726311108200 5369742 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 547971 64269 734 405 0 544915 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 2191884 KiB
Current children cumulated memory: 257076 KiB
[startup+12.7003 s]
/proc/loadavg: 1.93 2.04 2.06 3/187 19358
/proc/meminfo: memFree=18758208/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2195136 memory=260196 CPUtime=12.68 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 62261 0 0 0 1256 12 0 0 20 0 1 0 249344720 2247819264 65049 33554432000 4194304 5849940 140726311109104 140726311106648 4211660 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 548784 65049 750 405 0 545728 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 2195136 KiB
Current children cumulated memory: 260196 KiB
[startup+25.5004 s]
/proc/loadavg: 1.95 2.04 2.06 3/187 19358
/proc/meminfo: memFree=18758456/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2195096 memory=260416 CPUtime=25.48 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 98475 0 0 0 2534 14 0 0 20 0 1 0 249344720 2247778304 65104 33554432000 4194304 5849940 140726311109104 140726311107976 5311726 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 548774 65104 752 405 0 545718 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2195096 KiB
Current children cumulated memory: 260416 KiB
[startup+51.1095 s]
/proc/loadavg: 1.96 2.04 2.06 3/187 19358
/proc/meminfo: memFree=18757708/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2196580 memory=261860 CPUtime=51.09 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 131584 0 0 0 5079 30 0 0 20 0 1 0 249344720 2249297920 65465 33554432000 4194304 5849940 140726311109104 140726311107592 4207983 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 549145 65465 754 405 0 546089 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2196580 KiB
Current children cumulated memory: 261860 KiB
[startup+102.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 19360
/proc/meminfo: memFree=18747612/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2205752 memory=270928 CPUtime=102.27 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 183266 0 0 0 10176 51 0 0 20 0 1 0 249344720 2258690048 67732 33554432000 4194304 5849940 140726311109104 140726311108264 5311618 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 551438 67732 754 405 0 548382 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 2205752 KiB
Current children cumulated memory: 270928 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 2.03 2.05 3/187 19361
/proc/meminfo: memFree=18693932/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2220252 memory=285572 CPUtime=162.28 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 216623 0 0 0 16150 78 0 0 20 0 1 0 249344720 2273538048 71393 33554432000 4194304 5849940 140726311109104 140726311107976 5398438 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 555063 71393 754 405 0 552007 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2220252 KiB
Current children cumulated memory: 285572 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 19362
/proc/meminfo: memFree=18740376/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2228836 memory=293932 CPUtime=222.27 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 244150 0 0 0 22127 100 0 0 20 0 1 0 249344720 2282328064 73483 33554432000 4194304 5849940 140726311109104 140726311107512 4211660 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 557209 73483 754 405 0 554153 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 2228836 KiB
Current children cumulated memory: 293932 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19364
/proc/meminfo: memFree=18725520/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2260256 memory=325484 CPUtime=282.27 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 280954 0 0 0 28100 127 0 0 20 0 1 0 249344720 2314502144 81371 33554432000 4194304 5849940 140726311109104 140726311107496 5416510 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 565064 81371 754 405 0 562008 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 2260256 KiB
Current children cumulated memory: 325484 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19365
/proc/meminfo: memFree=18836072/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2234412 memory=293248 CPUtime=342.27 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 311417 0 0 0 34076 151 0 0 20 0 1 0 249344720 2288037888 73312 33554432000 4194304 5849940 140726311109104 140726311108264 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 558603 73312 754 405 0 555547 0
Current children cumulated CPU time: 342.27 s
Current children cumulated vsize: 2234412 KiB
Current children cumulated memory: 293248 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19373
/proc/meminfo: memFree=18665564/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2217876 memory=283124 CPUtime=402.26 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 344634 0 0 0 40045 181 0 0 20 0 1 0 249344720 2271105024 70781 33554432000 4194304 5849940 140726311109104 140726311107976 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 554469 70781 754 405 0 551413 0
Current children cumulated CPU time: 402.26 s
Current children cumulated vsize: 2217876 KiB
Current children cumulated memory: 283124 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19374
/proc/meminfo: memFree=18656472/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2226396 memory=291844 CPUtime=462.26 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 376273 0 0 0 46017 209 0 0 20 0 1 0 249344720 2279829504 72961 33554432000 4194304 5849940 140726311109104 140726311107976 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 556599 72961 754 405 0 553543 0
Current children cumulated CPU time: 462.26 s
Current children cumulated vsize: 2226396 KiB
Current children cumulated memory: 291844 KiB
################
# More data... #
################
/proc/19357/statm: 629708 146823 754 405 0 626652 0
Current children cumulated CPU time: 1722.21 s
Current children cumulated vsize: 2518832 KiB
Current children cumulated memory: 587292 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19473
/proc/meminfo: memFree=18305972/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2557004 memory=625464 CPUtime=1782.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 812293 0 0 0 177416 805 0 0 20 0 1 0 249344720 2618372096 156366 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 639251 156366 754 405 0 636195 0
Current children cumulated CPU time: 1782.21 s
Current children cumulated vsize: 2557004 KiB
Current children cumulated memory: 625464 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 19474
/proc/meminfo: memFree=18307692/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2554640 memory=623100 CPUtime=1842.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 854163 0 0 0 183393 828 0 0 20 0 1 0 249344720 2615951360 155775 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638660 155775 754 405 0 635604 0
Current children cumulated CPU time: 1842.21 s
Current children cumulated vsize: 2554640 KiB
Current children cumulated memory: 623100 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19476
/proc/meminfo: memFree=18303448/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2554640 memory=623100 CPUtime=1902.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 884343 0 0 0 189364 857 0 0 20 0 1 0 249344720 2615951360 155775 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638660 155775 754 405 0 635604 0
Current children cumulated CPU time: 1902.21 s
Current children cumulated vsize: 2554640 KiB
Current children cumulated memory: 623100 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19477
/proc/meminfo: memFree=18187956/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2554640 memory=623100 CPUtime=1962.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 919399 0 0 0 195341 880 0 0 20 0 1 0 249344720 2615951360 155775 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638660 155775 754 405 0 635604 0
Current children cumulated CPU time: 1962.21 s
Current children cumulated vsize: 2554640 KiB
Current children cumulated memory: 623100 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 19478
/proc/meminfo: memFree=18075616/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2555284 memory=623592 CPUtime=2022.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 958536 0 0 0 201314 907 0 0 20 0 1 0 249344720 2616610816 155898 33554432000 4194304 5849940 140726311109104 140726311108104 5437839 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638821 155898 754 405 0 635765 0
Current children cumulated CPU time: 2022.21 s
Current children cumulated vsize: 2555284 KiB
Current children cumulated memory: 623592 KiB
[startup+2082.3 s]
/proc/loadavg: 2.44 2.12 2.08 3/187 19480
/proc/meminfo: memFree=18162052/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2554632 memory=623092 CPUtime=2082.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 988542 0 0 0 207292 928 0 0 20 0 1 0 249344720 2615943168 155773 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638658 155773 754 405 0 635602 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2554632 KiB
Current children cumulated memory: 623092 KiB
[startup+2142.3 s]
/proc/loadavg: 2.23 2.13 2.08 3/187 19481
/proc/meminfo: memFree=18047172/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2554632 memory=623092 CPUtime=2142.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1015712 0 0 0 213266 954 0 0 20 0 1 0 249344720 2615943168 155773 33554432000 4194304 5849940 140726311109104 140726311108264 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638658 155773 754 405 0 635602 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2554632 KiB
Current children cumulated memory: 623092 KiB
[startup+2202.3 s]
/proc/loadavg: 2.08 2.10 2.08 3/188 19490
/proc/meminfo: memFree=18157852/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2555916 memory=624376 CPUtime=2202.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1058956 0 0 0 219235 985 0 0 20 0 1 0 249344720 2617257984 156094 33554432000 4194304 5849940 140726311109104 140726311107976 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638979 156094 754 405 0 635923 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2555916 KiB
Current children cumulated memory: 624376 KiB
[startup+2262.3 s]
/proc/loadavg: 2.03 2.09 2.07 3/188 19513
/proc/meminfo: memFree=18142728/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2555916 memory=624376 CPUtime=2262.21 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1093439 0 0 0 225211 1010 0 0 20 0 1 0 249344720 2617257984 156094 33554432000 4194304 5849940 140726311109104 140726311107976 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638979 156094 754 405 0 635923 0
Current children cumulated CPU time: 2262.21 s
Current children cumulated vsize: 2555916 KiB
Current children cumulated memory: 624376 KiB
[startup+2322.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/188 19514
/proc/meminfo: memFree=18138260/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2555900 memory=624360 CPUtime=2322.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1127228 0 0 0 231193 1027 0 0 20 0 1 0 249344720 2617241600 156090 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 638975 156090 754 405 0 635919 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2555900 KiB
Current children cumulated memory: 624360 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/188 19515
/proc/meminfo: memFree=18228572/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2429016 memory=497392 CPUtime=2382.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1191630 0 0 0 237158 1062 0 0 20 0 1 0 249344720 2487312384 124348 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 607254 124348 754 405 0 604198 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2429016 KiB
Current children cumulated memory: 497392 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/188 19516
/proc/meminfo: memFree=18167992/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2514552 memory=582776 CPUtime=2442.2 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1219939 0 0 0 243120 1100 0 0 20 0 1 0 249344720 2574901248 145694 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 628638 145694 754 405 0 625582 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2514552 KiB
Current children cumulated memory: 582776 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 19517
/proc/meminfo: memFree=18220012/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2447144 memory=515604 CPUtime=2502.19 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1263914 0 0 0 249093 1126 0 0 20 0 1 0 249344720 2505875456 128901 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 611786 128901 754 405 0 608730 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2447144 KiB
Current children cumulated memory: 515604 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 19517
/proc/meminfo: memFree=18240540/32770624 swapFree=67108860/67108860
[pid=19357] ppid=19354 vsize=2436040 memory=504408 CPUtime=2519.91 cores=1,3,5,7
/proc/19357/stat : 19357 (xcsp_picat) R 19354 19357 16557 0 -1 4202496 1273710 0 0 0 250855 1136 0 0 20 0 1 0 249344720 2494504960 126102 33554432000 4194304 5849940 140726311109104 140726311108104 140545071652743 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9396308 42696704 140726311113910 140726311113988 140726311113988 140726311116746 0
/proc/19357/statm: 609010 126102 754 405 0 605954 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 2436040 KiB
Current children cumulated memory: 504408 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 19357 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2508.55 s, system=11.3717 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.93
CPU user time (s): 2508.55
CPU system time (s): 11.3717
CPU usage (%): 99.9962
Max. virtual memory (cumulated for all children) (KiB): 2852376
Max. memory (cumulated for all children) (KiB): 896736
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2508.55
system time used= 11.3717
maximum resident set size= 896736
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1273711
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= 23
involuntary context switches= 1249
# summary of solver processes directly reported to runsolver:
# pid: 19357
# total CPU time (s): 2519.93
# total CPU user time (s): 2508.55
# total CPU system time (s): 11.3717
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.1028 second user time and 16.9283 second system time
The end