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 (2855 MiB free)
memory of node 1: 16384 MiB (1380 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303160-1533995103/watcher-4303160-1533995103 -o /tmp/evaluation-result-4303160-1533995103/solver-4303160-1533995103 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node102-1533990060-10870 --watchdog 2580 xcsp_picat HOME/instance-4303160-1533995103.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=11326, runsolver pid=11323
Current StackSize limit: 8192 KiB
[startup+0.100695 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11327
/proc/meminfo: memFree=4310092/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=31248 CPUtime=0.1 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1320 0 0 0 10 0 0 0 20 0 1 0 217073480 2074361856 7812 33554432000 4194304 5849708 140720358016512 140720358015816 4992684 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 7812 622 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31248 KiB
[startup+0.209503 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11327
/proc/meminfo: memFree=4293368/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=50184 CPUtime=0.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1513 0 0 0 20 0 0 0 20 0 1 0 217073480 2074361856 12546 33554432000 4194304 5849708 140720358016512 140720358015816 4572157 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 12546 622 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 50184 KiB
[startup+0.309444 s]*
/proc/loadavg: 2.00 2.01 2.05 3/187 11327
/proc/meminfo: memFree=4274688/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=69100 CPUtime=0.3 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1580 0 0 0 30 0 0 0 20 0 1 0 217073480 2074361856 17275 33554432000 4194304 5849708 140720358016512 140720358015816 4484727 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 17275 622 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 69100 KiB
[startup+0.700318 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11327
/proc/meminfo: memFree=4239624/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=136684 CPUtime=0.68 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1618 0 0 0 67 1 0 0 20 0 1 0 217073480 2074361856 34171 33554432000 4194304 5849708 140720358016512 140720358015816 4454714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 34171 622 405 0 503381 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 136684 KiB
[startup+1.50031 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 11327
/proc/meminfo: memFree=4153360/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=278016 CPUtime=1.49 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1687 0 0 0 146 3 0 0 20 0 1 0 217073480 2074361856 69504 33554432000 4194304 5849708 140720358016512 140720358015816 4488229 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 69504 626 405 0 503381 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 278016 KiB
[startup+3.10934 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 11327
/proc/meminfo: memFree=3804476/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2025744 memory=546316 CPUtime=3.1 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 1982 0 0 0 302 8 0 0 20 0 1 0 217073480 2074361856 136579 33554432000 4194304 5849708 140720358016512 140720358015816 4488915 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 506436 136579 629 405 0 503381 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 546316 KiB
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 11327
/proc/meminfo: memFree=3068380/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=2273116 memory=1383600 CPUtime=6.29 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6263 0 0 0 606 23 0 0 20 0 1 0 217073480 2327670784 345900 33554432000 4194304 5849708 140720358016512 140720358015832 4548541 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 568279 345900 656 405 0 565224 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2273116 KiB
Current children cumulated memory: 1383600 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 11327
/proc/meminfo: memFree=1063832/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=4188056 memory=3445256 CPUtime=12.68 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 94440 0 0 0 1181 87 0 0 20 0 1 0 217073480 4288569344 861314 33554432000 4194304 5849708 140720358016512 140720358015736 5251189 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 1047014 861314 656 405 0 1043959 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 4188056 KiB
Current children cumulated memory: 3445256 KiB
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 4/187 11327
/proc/meminfo: memFree=1378452/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=6141180 memory=5095632 CPUtime=25.47 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 669383 0 0 0 2297 250 0 0 20 0 1 0 217073480 6288568320 1273908 33554432000 4194304 5849708 140720358016512 140720358015800 4533715 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 1535295 1273908 657 405 0 1532240 0
Current children cumulated CPU time: 25.47 s
Current children cumulated vsize: 6141180 KiB
Current children cumulated memory: 5095632 KiB
[startup+51.1097 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 11388
/proc/meminfo: memFree=221468/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12580192 memory=12438368 CPUtime=51.04 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 2616824 0 0 0 4332 772 0 0 20 0 1 0 217073480 12882116608 3109592 33554432000 4194304 5849708 140720358016512 140720358015512 5260504 0 0 4096 8389634 0 0 0 17 4 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3145048 3109592 658 405 0 3141993 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 12580192 KiB
Current children cumulated memory: 12438368 KiB
[startup+102.3 s]
/proc/loadavg: 1.91 1.98 2.03 3/187 11389
/proc/meminfo: memFree=196608/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12629020 memory=10783652 CPUtime=102.22 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 12593152 4924540 0 0 0 8593 1629 0 0 20 0 1 0 217073480 12932116480 2695913 33554432000 4194304 5849708 140720358016512 140720358015512 5269201 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3157255 2695913 658 405 0 3154200 0
Current children cumulated CPU time: 102.22 s
Current children cumulated vsize: 12629020 KiB
Current children cumulated memory: 10783652 KiB
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/187 11390
/proc/meminfo: memFree=6297784/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12677852 memory=12537484 CPUtime=162.19 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6170185 0 0 0 13581 2638 0 0 20 0 1 0 217073480 12982120448 3134371 33554432000 4194304 5849708 140720358016512 140720358015512 5260277 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3169463 3134371 658 405 0 3166408 0
Current children cumulated CPU time: 162.19 s
Current children cumulated vsize: 12677852 KiB
Current children cumulated memory: 12537484 KiB
[startup+222.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/187 11391
/proc/meminfo: memFree=2467452/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12726676 memory=12587380 CPUtime=222.19 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6388573 0 0 0 19275 2944 0 0 20 0 1 0 217073480 13032116224 3146845 33554432000 4194304 5849708 140720358016512 140720358015512 5269609 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3181669 3146845 658 405 0 3178614 0
Current children cumulated CPU time: 222.19 s
Current children cumulated vsize: 12726676 KiB
Current children cumulated memory: 12587380 KiB
[startup+282.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/187 11392
/proc/meminfo: memFree=4830924/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=8815540 memory=8137116 CPUtime=282.19 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6504129 0 0 0 24936 3283 0 0 20 0 1 0 217073480 9027112960 2034279 33554432000 4194304 5849708 140720358016512 140720358015480 5251189 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2203885 2034279 658 405 0 2200830 0
Current children cumulated CPU time: 282.19 s
Current children cumulated vsize: 8815540 KiB
Current children cumulated memory: 8137116 KiB
[startup+342.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/188 11400
/proc/meminfo: memFree=5259216/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12848744 memory=12714504 CPUtime=342.18 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6618806 0 0 0 30619 3599 0 0 20 0 1 0 217073480 13157113856 3178626 33554432000 4194304 5849708 140720358016512 140720358015512 5260504 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3212186 3178626 658 405 0 3209131 0
Current children cumulated CPU time: 342.18 s
Current children cumulated vsize: 12848744 KiB
Current children cumulated memory: 12714504 KiB
[startup+402.3 s]
/proc/loadavg: 1.92 1.99 2.03 3/188 11401
/proc/meminfo: memFree=6844588/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=8898548 memory=6286512 CPUtime=402.19 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6735504 0 0 0 36344 3875 0 0 20 0 1 0 217073480 9112113152 1571628 33554432000 4194304 5849708 140720358016512 140720358015480 5250618 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2224637 1571628 658 405 0 2221582 0
Current children cumulated CPU time: 402.19 s
Current children cumulated vsize: 8898548 KiB
Current children cumulated memory: 6286512 KiB
[startup+462.3 s]
/proc/loadavg: 1.86 1.96 2.02 3/188 11402
/proc/meminfo: memFree=6922704/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=12970816 memory=12834380 CPUtime=462.19 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 6853625 0 0 0 41995 4224 0 0 20 0 1 0 217073480 13282115584 3208595 33554432000 4194304 5849708 140720358016512 140720358015512 5260297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3242704 3208595 658 405 0 3239649 0
Current children cumulated CPU time: 462.19 s
Current children cumulated vsize: 12970816 KiB
Current children cumulated memory: 12834380 KiB
################
# More data... #
################
/proc/11326/statm: 3529569 3495164 600 405 0 3526514 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 14118276 KiB
Current children cumulated memory: 13980656 KiB
[startup+1782.3 s]
/proc/loadavg: 1.99 1.99 2.01 3/188 11464
/proc/meminfo: memFree=8348976/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=9761828 memory=6015128 CPUtime=1782.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10074324 0 0 0 167084 11136 0 0 20 0 1 0 217073480 9996111872 1503782 33554432000 4194304 5849708 140720358016512 140720358015480 5251167 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2440457 1503782 595 405 0 2437402 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 9761828 KiB
Current children cumulated memory: 6015128 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 1.99 2.01 3/187 11465
/proc/meminfo: memFree=6792012/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=9795036 memory=7594352 CPUtime=1842.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10095217 0 0 0 172788 11432 0 0 20 0 1 0 217073480 10030116864 1898588 33554432000 4194304 5849708 140720358016512 140720358015480 5251258 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2448759 1898588 593 405 0 2445704 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 9795036 KiB
Current children cumulated memory: 7594352 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.00 2.02 3/187 11466
/proc/meminfo: memFree=5428500/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=9828236 memory=8983096 CPUtime=1902.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10113616 0 0 0 178496 11724 0 0 20 0 1 0 217073480 10064113664 2245774 33554432000 4194304 5849708 140720358016512 140720358015480 5251210 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2457059 2245774 593 405 0 2454004 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 9828236 KiB
Current children cumulated memory: 8983096 KiB
[startup+1962.3 s]
/proc/loadavg: 2.01 2.00 2.02 3/187 11467
/proc/meminfo: memFree=4664896/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=9861440 memory=9740704 CPUtime=1962.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10131535 0 0 0 184205 12015 0 0 20 0 1 0 217073480 10098114560 2435176 33554432000 4194304 5849708 140720358016512 140720358015480 5262165 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2465360 2435176 580 405 0 2462305 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 9861440 KiB
Current children cumulated memory: 9740704 KiB
[startup+2022.3 s]
/proc/loadavg: 1.96 1.99 2.01 3/187 11468
/proc/meminfo: memFree=7101476/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14386828 memory=14250060 CPUtime=2022.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10150749 0 0 0 189870 12350 0 0 20 0 1 0 217073480 14732111872 3562515 33554432000 4194304 5849708 140720358016512 140720358015512 5260341 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3596707 3562515 570 405 0 3593652 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 14386828 KiB
Current children cumulated memory: 14250060 KiB
[startup+2082.3 s]
/proc/loadavg: 2.47 2.11 2.06 3/187 11469
/proc/meminfo: memFree=6031752/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14435664 memory=14297840 CPUtime=2082.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10166648 0 0 0 195599 12621 0 0 20 0 1 0 217073480 14782119936 3574460 33554432000 4194304 5849708 140720358016512 140720358015512 5260232 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3608916 3574460 548 405 0 3605861 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 14435664 KiB
Current children cumulated memory: 14297840 KiB
[startup+2142.3 s]
/proc/loadavg: 2.17 2.09 2.05 3/188 11478
/proc/meminfo: memFree=4958884/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14484488 memory=14349764 CPUtime=2142.21 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10182386 0 0 0 201315 12906 0 0 20 0 1 0 217073480 14832115712 3587441 33554432000 4194304 5849708 140720358016512 140720358015512 5260297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3621122 3587441 548 405 0 3618067 0
Current children cumulated CPU time: 2142.21 s
Current children cumulated vsize: 14484488 KiB
Current children cumulated memory: 14349764 KiB
[startup+2202.3 s]
/proc/loadavg: 2.06 2.07 2.05 3/188 11479
/proc/meminfo: memFree=3579992/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14533316 memory=14397524 CPUtime=2202.21 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10198719 0 0 0 207041 13180 0 0 20 0 1 0 217073480 14882115584 3599381 33554432000 4194304 5849708 140720358016512 140720358015512 5260297 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3633329 3599381 530 405 0 3630274 0
Current children cumulated CPU time: 2202.21 s
Current children cumulated vsize: 14533316 KiB
Current children cumulated memory: 14397524 KiB
[startup+2262.3 s]
/proc/loadavg: 1.99 2.05 2.04 3/188 11480
/proc/meminfo: memFree=239880/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14582140 memory=14445356 CPUtime=2262.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10214109 0 0 0 212756 13464 0 0 20 0 1 0 217073480 14932111360 3611339 33554432000 4194304 5849708 140720358016512 140720358015512 5269593 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3645535 3611339 530 405 0 3642480 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 14582140 KiB
Current children cumulated memory: 14445356 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.04 2.04 3/188 11481
/proc/meminfo: memFree=8321820/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=10077260 memory=6518312 CPUtime=2322.21 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10232638 0 0 0 218455 13766 0 0 20 0 1 0 217073480 10319114240 1629578 33554432000 4194304 5849708 140720358016512 140720358015480 5249616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2519315 1629578 525 405 0 2516260 0
Current children cumulated CPU time: 2322.21 s
Current children cumulated vsize: 10077260 KiB
Current children cumulated memory: 6518312 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/188 11482
/proc/meminfo: memFree=7617008/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=10110464 memory=7216888 CPUtime=2382.21 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10250333 0 0 0 224171 14050 0 0 20 0 1 0 217073480 10353115136 1804222 33554432000 4194304 5849708 140720358016512 140720358015480 5251128 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2527616 1804222 525 405 0 2524561 0
Current children cumulated CPU time: 2382.21 s
Current children cumulated vsize: 10110464 KiB
Current children cumulated memory: 7216888 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.04 3/187 11484
/proc/meminfo: memFree=7022600/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=10143664 memory=7911340 CPUtime=2442.21 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10268402 0 0 0 229877 14344 0 0 20 0 1 0 217073480 10387111936 1977835 33554432000 4194304 5849708 140720358016512 140720358015480 5249616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2535916 1977835 521 405 0 2532861 0
Current children cumulated CPU time: 2442.21 s
Current children cumulated vsize: 10143664 KiB
Current children cumulated memory: 7911340 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.04 3/187 11485
/proc/meminfo: memFree=6354588/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=10176864 memory=8634432 CPUtime=2502.2 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10285609 0 0 0 235584 14636 0 0 20 0 1 0 217073480 10421108736 2158608 33554432000 4194304 5849708 140720358016512 140720358015480 5249616 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 2544216 2158608 508 405 0 2541161 0
Current children cumulated CPU time: 2502.2 s
Current children cumulated vsize: 10176864 KiB
Current children cumulated memory: 8634432 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.04 3/187 11486
/proc/meminfo: memFree=2591432/32770624 swapFree=67030624/67108860
[pid=11326] ppid=11323 vsize=14801868 memory=14664372 CPUtime=2519.91 cores=0,2,4,6
/proc/11326/stat : 11326 (xcsp_picat) R 11323 11326 10838 0 -1 4202496 10290434 0 0 0 237271 14720 0 0 20 0 1 0 217073480 15157112832 3666093 33554432000 4194304 5849708 140720358016512 140720358015512 5257193 0 0 4096 8389634 0 0 0 17 2 0 0 0 0 0 7949816 9394900 42442752 140720358024374 140720358024452 140720358024452 140720358027210 0
/proc/11326/statm: 3700467 3666093 508 405 0 3697412 0
Current children cumulated CPU time: 2519.91 s
Current children cumulated vsize: 14801868 KiB
Current children cumulated memory: 14664372 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.08 s]
# the end of solver process 11326 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2372.74 s, system=147.252 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.08
CPU time (s): 2519.99
CPU user time (s): 2372.74
CPU system time (s): 147.252
CPU usage (%): 99.9965
Max. virtual memory (cumulated for all children) (KiB): 14801868
Max. memory (cumulated for all children) (KiB): 14664372
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2372.74
system time used= 147.252
maximum resident set size= 14664384
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 10290434
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= 39
involuntary context switches= 2590
# summary of solver processes directly reported to runsolver:
# pid: 11326
# total CPU time (s): 2519.99
# total CPU user time (s): 2372.74
# total CPU system time (s): 147.252
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.66362 second user time and 19.4378 second system time
The end