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 (10904 MiB free)
memory of node 1: 16384 MiB (7013 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303044-1534031107/watcher-4303044-1534031107 -o /tmp/evaluation-result-4303044-1534031107/solver-4303044-1534031107 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1534026063-30658 --watchdog 2580 xcsp_picat HOME/instance-4303044-1534031107.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=31192, runsolver pid=31189
Current StackSize limit: 8192 KiB
[startup+0.100708 s]*
/proc/loadavg: 1.92 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18327636/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2026168 memory=22740 CPUtime=0.09 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1805 0 0 0 9 0 0 0 20 0 1 0 220673903 2074796032 5685 33554432000 4194304 5849708 140735162185088 140735162184328 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 506542 5685 702 405 0 503487 0
Current children cumulated CPU time: 0.09 s
Current children cumulated vsize: 2026168 KiB
Current children cumulated memory: 22740 KiB
[startup+0.209714 s]*
/proc/loadavg: 1.92 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18326944/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2026460 memory=23216 CPUtime=0.21 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1919 0 0 0 20 1 0 0 20 0 1 0 220673903 2075095040 5804 33554432000 4194304 5849708 140735162185088 140735162184328 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 506615 5804 705 405 0 503560 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2026460 KiB
Current children cumulated memory: 23216 KiB
[startup+0.308916 s]*
/proc/loadavg: 1.92 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18326200/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2026972 memory=23600 CPUtime=0.3 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 2047 0 0 0 29 1 0 0 20 0 1 0 220673903 2075619328 5900 33554432000 4194304 5849708 140735162185088 140735162184328 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 506743 5900 705 405 0 503688 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2026972 KiB
Current children cumulated memory: 23600 KiB
[startup+0.700222 s]
/proc/loadavg: 1.92 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18324712/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2029020 memory=25668 CPUtime=0.68 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 2559 0 0 0 65 3 0 0 20 0 1 0 220673903 2077716480 6417 33554432000 4194304 5849708 140735162185088 140735162184328 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 507255 6417 705 405 0 504200 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2029020 KiB
Current children cumulated memory: 25668 KiB
[startup+1.50023 s]
/proc/loadavg: 1.92 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18321584/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2032224 memory=29036 CPUtime=1.48 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 3360 0 0 0 141 7 0 0 20 0 1 0 220673903 2080997376 7259 33554432000 4194304 5849708 140735162185088 140735162184200 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 508056 7259 705 405 0 505001 0
Current children cumulated CPU time: 1.48 s
Current children cumulated vsize: 2032224 KiB
Current children cumulated memory: 29036 KiB
[startup+3.10946 s]
/proc/loadavg: 1.93 2.00 2.02 3/191 31193
/proc/meminfo: memFree=18311528/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2038368 memory=35252 CPUtime=3.1 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 4940 0 0 0 296 14 0 0 20 0 1 0 220673903 2087288832 8813 33554432000 4194304 5849708 140735162185088 140735162184200 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 509592 8813 705 405 0 506537 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2038368 KiB
Current children cumulated memory: 35252 KiB
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.02 3/191 31257
/proc/meminfo: memFree=18285364/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2027060 memory=23988 CPUtime=6.29 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 13642 0 0 0 612 17 0 0 20 0 1 0 220673903 2075709440 5997 33554432000 4194304 5849708 140735162185088 140735162184328 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 506765 5997 746 405 0 503710 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2027060 KiB
Current children cumulated memory: 23988 KiB
[startup+12.7003 s]
/proc/loadavg: 1.85 1.98 2.02 3/191 31257
/proc/meminfo: memFree=18248048/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2068852 memory=59236 CPUtime=12.69 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 19144 0 0 0 1236 33 0 0 20 0 1 0 220673903 2118504448 14809 33554432000 4194304 5849708 140735162185088 140735162184184 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 517213 14809 746 405 0 514158 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2068852 KiB
Current children cumulated memory: 59236 KiB
[startup+25.5003 s]
/proc/loadavg: 1.89 1.98 2.02 3/191 31257
/proc/meminfo: memFree=18231772/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2068852 memory=59236 CPUtime=25.49 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 20618 0 0 0 2502 47 0 0 20 0 1 0 220673903 2118504448 14809 33554432000 4194304 5849708 140735162185088 140735162183576 5312656 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 517213 14809 746 405 0 514158 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2068852 KiB
Current children cumulated memory: 59236 KiB
[startup+51.1097 s]
/proc/loadavg: 1.93 1.99 2.02 3/191 31257
/proc/meminfo: memFree=18216280/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2068852 memory=62336 CPUtime=51.09 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 21495 0 0 0 5038 71 0 0 20 0 1 0 220673903 2118504448 15584 33554432000 4194304 5849708 140735162185088 140735162184088 4235051 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 517213 15584 746 405 0 514158 0
Current children cumulated CPU time: 51.09 s
Current children cumulated vsize: 2068852 KiB
Current children cumulated memory: 62336 KiB
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.02 3/192 31259
/proc/meminfo: memFree=18194056/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2076736 memory=77320 CPUtime=102.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 24454 0 0 0 10114 114 0 0 20 0 1 0 220673903 2126577664 19330 33554432000 4194304 5849708 140735162185088 140735162184088 5358729 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 519184 19330 746 405 0 516129 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2076736 KiB
Current children cumulated memory: 77320 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.02 3/192 31260
/proc/meminfo: memFree=18203036/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2068852 memory=65164 CPUtime=162.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 28506 0 0 0 16058 170 0 0 20 0 1 0 220673903 2118504448 16291 33554432000 4194304 5849708 140735162185088 140735162184088 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 517213 16291 746 405 0 514158 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2068852 KiB
Current children cumulated memory: 65164 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/191 31261
/proc/meminfo: memFree=18168884/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2077924 memory=78460 CPUtime=222.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 30348 0 0 0 22012 216 0 0 20 0 1 0 220673903 2127794176 19615 33554432000 4194304 5849708 140735162185088 140735162184088 5397355 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 519481 19615 746 405 0 516426 0
Current children cumulated CPU time: 222.28 s
Current children cumulated vsize: 2077924 KiB
Current children cumulated memory: 78460 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/191 31262
/proc/meminfo: memFree=18126016/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2100804 memory=101420 CPUtime=282.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 36891 0 0 0 27976 252 0 0 20 0 1 0 220673903 2151223296 25355 33554432000 4194304 5849708 140735162185088 140735162184088 5437725 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 525201 25355 746 405 0 522146 0
Current children cumulated CPU time: 282.28 s
Current children cumulated vsize: 2100804 KiB
Current children cumulated memory: 101420 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/192 31271
/proc/meminfo: memFree=18125908/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2100804 memory=101612 CPUtime=342.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 42603 0 0 0 33936 292 0 0 20 0 1 0 220673903 2151223296 25403 33554432000 4194304 5849708 140735162185088 140735162183960 5438297 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 525201 25403 746 405 0 522146 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2100804 KiB
Current children cumulated memory: 101612 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/191 31272
/proc/meminfo: memFree=18089872/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2121268 memory=122076 CPUtime=402.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 50657 0 0 0 39898 330 0 0 20 0 1 0 220673903 2172178432 30519 33554432000 4194304 5849708 140735162185088 140735162184088 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 530317 30519 746 405 0 527262 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2121268 KiB
Current children cumulated memory: 122076 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.02 3/192 31274
/proc/meminfo: memFree=18096828/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2121268 memory=122076 CPUtime=462.28 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 56102 0 0 0 45861 367 0 0 20 0 1 0 220673903 2172178432 30519 33554432000 4194304 5849708 140735162185088 140735162184088 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 530317 30519 746 405 0 527262 0
Current children cumulated CPU time: 462.28 s
Current children cumulated vsize: 2121268 KiB
Current children cumulated memory: 122076 KiB
################
# More data... #
################
/proc/31192/statm: 677880 178113 746 405 0 674825 0
Current children cumulated CPU time: 1722.26 s
Current children cumulated vsize: 2711520 KiB
Current children cumulated memory: 712452 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 31342
/proc/meminfo: memFree=17175964/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2791300 memory=792236 CPUtime=1782.26 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 669937 0 0 0 177465 761 0 0 20 0 1 0 220673903 2858291200 198059 33554432000 4194304 5849708 140735162185088 140735162184088 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 697825 198059 746 405 0 694770 0
Current children cumulated CPU time: 1782.26 s
Current children cumulated vsize: 2791300 KiB
Current children cumulated memory: 792236 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31343
/proc/meminfo: memFree=17314632/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2791300 memory=792236 CPUtime=1842.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 687048 0 0 0 183455 770 0 0 20 0 1 0 220673903 2858291200 198059 33554432000 4194304 5849708 140735162185088 140735162184088 5438227 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 697825 198059 746 405 0 694770 0
Current children cumulated CPU time: 1842.25 s
Current children cumulated vsize: 2791300 KiB
Current children cumulated memory: 792236 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31344
/proc/meminfo: memFree=17224060/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2791300 memory=792236 CPUtime=1902.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 783598 0 0 0 189443 782 0 0 20 0 1 0 220673903 2858291200 198059 33554432000 4194304 5849708 140735162185088 140735162184088 5312777 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 697825 198059 746 405 0 694770 0
Current children cumulated CPU time: 1902.25 s
Current children cumulated vsize: 2791300 KiB
Current children cumulated memory: 792236 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 31346
/proc/meminfo: memFree=17685476/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2366392 memory=367328 CPUtime=1962.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 855039 0 0 0 195425 800 0 0 20 0 1 0 220673903 2423185408 91832 33554432000 4194304 5849708 140735162185088 140735162184088 5335584 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 591598 91832 746 405 0 588543 0
Current children cumulated CPU time: 1962.25 s
Current children cumulated vsize: 2366392 KiB
Current children cumulated memory: 367328 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31347
/proc/meminfo: memFree=17630484/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2366392 memory=367328 CPUtime=2022.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 911513 0 0 0 201413 812 0 0 20 0 1 0 220673903 2423185408 91832 33554432000 4194304 5849708 140735162185088 140735162184088 5335582 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 591598 91832 746 405 0 588543 0
Current children cumulated CPU time: 2022.25 s
Current children cumulated vsize: 2366392 KiB
Current children cumulated memory: 367328 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/191 31348
/proc/meminfo: memFree=17590460/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2472104 memory=473040 CPUtime=2082.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 951343 0 0 0 207398 827 0 0 20 0 1 0 220673903 2531434496 118260 33554432000 4194304 5849708 140735162185088 140735162184088 5335582 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 618026 118260 746 405 0 614971 0
Current children cumulated CPU time: 2082.25 s
Current children cumulated vsize: 2472104 KiB
Current children cumulated memory: 473040 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/192 31357
/proc/meminfo: memFree=17495564/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2472104 memory=473040 CPUtime=2142.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 988310 0 0 0 213386 839 0 0 20 0 1 0 220673903 2531434496 118260 33554432000 4194304 5849708 140735162185088 140735162184088 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 618026 118260 746 405 0 614971 0
Current children cumulated CPU time: 2142.25 s
Current children cumulated vsize: 2472104 KiB
Current children cumulated memory: 473040 KiB
[startup+2202.3 s]
/proc/loadavg: 2.07 2.04 2.04 3/192 31358
/proc/meminfo: memFree=17620624/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2472104 memory=473040 CPUtime=2202.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1016646 0 0 0 219376 849 0 0 20 0 1 0 220673903 2531434496 118260 33554432000 4194304 5849708 140735162185088 140735162183960 5312614 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 618026 118260 746 405 0 614971 0
Current children cumulated CPU time: 2202.25 s
Current children cumulated vsize: 2472104 KiB
Current children cumulated memory: 473040 KiB
[startup+2262.3 s]
/proc/loadavg: 2.06 2.05 2.04 3/191 31359
/proc/meminfo: memFree=17536788/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2472104 memory=473040 CPUtime=2262.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1038435 0 0 0 225363 862 0 0 20 0 1 0 220673903 2531434496 118260 33554432000 4194304 5849708 140735162185088 140735162184088 5335582 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 618026 118260 746 405 0 614971 0
Current children cumulated CPU time: 2262.25 s
Current children cumulated vsize: 2472104 KiB
Current children cumulated memory: 473040 KiB
[startup+2322.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/191 31360
/proc/meminfo: memFree=17434844/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2573868 memory=574804 CPUtime=2322.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1086906 0 0 0 231347 878 0 0 20 0 1 0 220673903 2635640832 143701 33554432000 4194304 5849708 140735162185088 140735162184088 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 643467 143701 746 405 0 640412 0
Current children cumulated CPU time: 2322.25 s
Current children cumulated vsize: 2573868 KiB
Current children cumulated memory: 574804 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/191 31361
/proc/meminfo: memFree=17306840/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2649792 memory=650728 CPUtime=2382.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1111658 0 0 0 237336 889 0 0 20 0 1 0 220673903 2713387008 162682 33554432000 4194304 5849708 140735162185088 140735162184088 140127608340359 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 662448 162682 746 405 0 659393 0
Current children cumulated CPU time: 2382.25 s
Current children cumulated vsize: 2649792 KiB
Current children cumulated memory: 650728 KiB
[startup+2442.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/190 31363
/proc/meminfo: memFree=17250804/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2649792 memory=650728 CPUtime=2442.24 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1158488 0 0 0 243321 903 0 0 20 0 1 0 220673903 2713387008 162682 33554432000 4194304 5849708 140735162185088 140735162183960 5391848 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 662448 162682 746 405 0 659393 0
Current children cumulated CPU time: 2442.24 s
Current children cumulated vsize: 2649792 KiB
Current children cumulated memory: 650728 KiB
[startup+2502.3 s]
/proc/loadavg: 2.12 2.08 2.05 3/191 31365
/proc/meminfo: memFree=17243156/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2817920 memory=818852 CPUtime=2502.25 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1212977 0 0 0 249303 922 0 0 20 0 1 0 220673903 2885550080 204713 33554432000 4194304 5849708 140735162185088 140735162184088 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 704480 204713 746 405 0 701425 0
Current children cumulated CPU time: 2502.25 s
Current children cumulated vsize: 2817920 KiB
Current children cumulated memory: 818852 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.08 2.07 2.05 3/191 31365
/proc/meminfo: memFree=17230252/32770624 swapFree=67108688/67108860
[pid=31192] ppid=31189 vsize=2817920 memory=818852 CPUtime=2519.96 cores=0,2,4,6
/proc/31192/stat : 31192 (xcsp_picat) R 31189 31192 30627 0 -1 4202496 1231979 0 0 0 251070 926 0 0 20 0 1 0 220673903 2885550080 204713 33554432000 4194304 5849708 140735162185088 140735162184088 5340258 0 0 4096 8389634 0 0 0 17 0 0 0 0 0 0 7949816 9394900 37900288 140735162193078 140735162193156 140735162193156 140735162195914 0
/proc/31192/statm: 704480 204713 746 405 0 701425 0
Current children cumulated CPU time: 2519.96 s
Current children cumulated vsize: 2817920 KiB
Current children cumulated memory: 818852 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 31192 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2510.7 s, system=9.28484 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.03
CPU time (s): 2519.99
CPU user time (s): 2510.7
CPU system time (s): 9.28484
CPU usage (%): 99.9982
Max. virtual memory (cumulated for all children) (KiB): 2856836
Max. memory (cumulated for all children) (KiB): 857772
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2510.7
system time used= 9.28484
maximum resident set size= 857772
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1231979
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= 3
involuntary context switches= 943
# summary of solver processes directly reported to runsolver:
# pid: 31192
# total CPU time (s): 2519.99
# total CPU user time (s): 2510.7
# total CPU system time (s): 9.28484
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.05249 second user time and 19.4847 second system time
The end