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 (13313 MiB free)
memory of node 1: 16384 MiB (14584 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303053-1534014714/watcher-4303053-1534014714 -o /tmp/evaluation-result-4303053-1534014714/solver-4303053-1534014714 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18253 --watchdog 2580 xcsp_picat HOME/instance-4303053-1534014714.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
solver pid=20342, runsolver pid=20339
Current StackSize limit: 8192 KiB
[startup+0.100114 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28549600/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2027860 memory=20668 CPUtime=0.1 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 1815 0 0 0 10 0 0 0 20 0 1 0 219034523 2076528640 5167 33554432000 4194304 5849708 140724647342080 140724647341192 5432256 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 506965 5167 678 405 0 503910 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2027860 KiB
Current children cumulated memory: 20668 KiB
[startup+0.20969 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28547756/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2029956 memory=22812 CPUtime=0.21 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 2637 0 0 0 21 0 0 0 20 0 1 0 219034523 2078674944 5703 33554432000 4194304 5849708 140724647342080 140724647341192 5365400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 507489 5703 687 405 0 504434 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2029956 KiB
Current children cumulated memory: 22812 KiB
[startup+0.309501 s]*
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28547756/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2029956 memory=22812 CPUtime=0.3 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 2637 0 0 0 30 0 0 0 20 0 1 0 219034523 2078674944 5703 33554432000 4194304 5849708 140724647342080 140724647341192 5303747 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 507489 5703 687 405 0 504434 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2029956 KiB
Current children cumulated memory: 22812 KiB
[startup+0.700274 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28547384/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2031920 memory=24720 CPUtime=0.7 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 3485 0 0 0 69 1 0 0 20 0 1 0 219034523 2080686080 6180 33554432000 4194304 5849708 140724647342080 140724647341192 5359150 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 507980 6180 696 405 0 504925 0
Current children cumulated CPU time: 0.7 s
Current children cumulated vsize: 2031920 KiB
Current children cumulated memory: 24720 KiB
[startup+1.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28545212/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2034580 memory=26888 CPUtime=1.49 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 4637 0 0 0 148 1 0 0 20 0 1 0 219034523 2083409920 6722 33554432000 4194304 5849708 140724647342080 140724647339896 4211681 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 508645 6722 706 405 0 505590 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2034580 KiB
Current children cumulated memory: 26888 KiB
[startup+3.10927 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28544540/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2034580 memory=27600 CPUtime=3.1 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 6169 0 0 0 307 3 0 0 20 0 1 0 219034523 2083409920 6900 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 508645 6900 710 405 0 505590 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2034580 KiB
Current children cumulated memory: 27600 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28543096/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2033456 memory=26540 CPUtime=6.29 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 8399 0 0 0 623 6 0 0 20 0 1 0 219034523 2082258944 6635 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 508364 6635 710 405 0 505309 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2033456 KiB
Current children cumulated memory: 26540 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28538520/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2038648 memory=31564 CPUtime=12.69 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 20044 0 0 0 1256 13 0 0 20 0 1 0 219034523 2087575552 7891 33554432000 4194304 5849708 140724647342080 140724647341240 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 509662 7891 710 405 0 506607 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2038648 KiB
Current children cumulated memory: 31564 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28537020/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2041588 memory=34612 CPUtime=25.49 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 33918 0 0 0 2523 26 0 0 20 0 1 0 219034523 2090586112 8653 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 510397 8653 710 405 0 507342 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 2041588 KiB
Current children cumulated memory: 34612 KiB
[startup+51.1096 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20343
/proc/meminfo: memFree=28530012/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2046980 memory=39892 CPUtime=51.1 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 52578 0 0 0 5065 45 0 0 20 0 1 0 219034523 2096107520 9973 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 511745 9973 710 405 0 508690 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2046980 KiB
Current children cumulated memory: 39892 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20344
/proc/meminfo: memFree=28517412/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2050024 memory=42924 CPUtime=102.29 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 80814 0 0 0 10154 75 0 0 20 0 1 0 219034523 2099224576 10731 33554432000 4194304 5849708 140724647342080 140724647341240 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 512506 10731 710 405 0 509451 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2050024 KiB
Current children cumulated memory: 42924 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20345
/proc/meminfo: memFree=28487928/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2045300 memory=38188 CPUtime=162.3 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 109977 0 0 0 16119 111 0 0 20 0 1 0 219034523 2094387200 9547 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 511325 9547 710 405 0 508270 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 2045300 KiB
Current children cumulated memory: 38188 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20346
/proc/meminfo: memFree=28506004/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2049060 memory=42080 CPUtime=222.3 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 131797 0 0 0 22086 144 0 0 20 0 1 0 219034523 2098237440 10520 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 512265 10520 710 405 0 509210 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 2049060 KiB
Current children cumulated memory: 42080 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20347
/proc/meminfo: memFree=28505456/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2051912 memory=44976 CPUtime=282.3 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 153892 0 0 0 28058 172 0 0 20 0 1 0 219034523 2101157888 11244 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 512978 11244 710 405 0 509923 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 2051912 KiB
Current children cumulated memory: 44976 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20348
/proc/meminfo: memFree=28510880/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2086892 memory=79724 CPUtime=342.3 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 174157 0 0 0 34033 197 0 0 20 0 1 0 219034523 2136977408 19931 33554432000 4194304 5849708 140724647342080 140724647341080 5437616 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 521723 19931 710 405 0 518668 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 2086892 KiB
Current children cumulated memory: 79724 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20349
/proc/meminfo: memFree=28501328/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2090652 memory=83560 CPUtime=402.31 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 191494 0 0 0 40015 216 0 0 20 0 1 0 219034523 2140827648 20890 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 522663 20890 710 405 0 519608 0
Current children cumulated CPU time: 402.31 s
Current children cumulated vsize: 2090652 KiB
Current children cumulated memory: 83560 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20350
/proc/meminfo: memFree=28460708/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2109160 memory=102024 CPUtime=462.31 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 194649 0 0 0 46002 229 0 0 20 0 1 0 219034523 2159779840 25506 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 527290 25506 710 405 0 524235 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 2109160 KiB
Current children cumulated memory: 102024 KiB
################
# More data... #
################
/proc/20342/statm: 553850 53466 710 405 0 550795 0
Current children cumulated CPU time: 1782.38 s
Current children cumulated vsize: 2215400 KiB
Current children cumulated memory: 213864 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.05 2.09 3/188 20462
/proc/meminfo: memFree=28271352/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=1842.39 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 334232 0 0 0 183803 436 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341240 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 1842.39 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 20463
/proc/meminfo: memFree=28261920/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=1902.39 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 336350 0 0 0 189799 440 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5335588 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 1902.39 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.04 2.08 3/188 20464
/proc/meminfo: memFree=28261568/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=1962.39 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 338927 0 0 0 195795 444 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437738 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 1962.39 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 20465
/proc/meminfo: memFree=28247168/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2022.39 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 360108 0 0 0 201790 449 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2022.39 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.07 3/187 20466
/proc/meminfo: memFree=28093572/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2439068 memory=437532 CPUtime=2082.39 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 384512 0 0 0 207782 457 0 0 20 0 1 0 219034523 2497605632 109383 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 609767 109383 710 405 0 606712 0
Current children cumulated CPU time: 2082.39 s
Current children cumulated vsize: 2439068 KiB
Current children cumulated memory: 437532 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.06 3/187 20467
/proc/meminfo: memFree=28219860/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2142.4 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 421225 0 0 0 213775 465 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2142.4 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20468
/proc/meminfo: memFree=28220348/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2202.4 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 429723 0 0 0 219770 470 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2202.4 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 20469
/proc/meminfo: memFree=28162904/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2262.41 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 460624 0 0 0 225763 478 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5438297 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2262.41 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20478
/proc/meminfo: memFree=28162412/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2322.42 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 490754 0 0 0 231756 486 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2322.42 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20479
/proc/meminfo: memFree=28096572/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2307996 memory=306460 CPUtime=2382.41 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 521964 0 0 0 237750 491 0 0 20 0 1 0 219034523 2363387904 76615 33554432000 4194304 5849708 140724647342080 140724647341080 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 576999 76615 710 405 0 573944 0
Current children cumulated CPU time: 2382.41 s
Current children cumulated vsize: 2307996 KiB
Current children cumulated memory: 306460 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20480
/proc/meminfo: memFree=27966160/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2439068 memory=437532 CPUtime=2442.42 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 551529 0 0 0 243741 501 0 0 20 0 1 0 219034523 2497605632 109383 33554432000 4194304 5849708 140724647342080 140724647341080 5335584 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 609767 109383 710 405 0 606712 0
Current children cumulated CPU time: 2442.42 s
Current children cumulated vsize: 2439068 KiB
Current children cumulated memory: 437532 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20481
/proc/meminfo: memFree=28260620/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2323416 memory=321880 CPUtime=2502.43 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 599705 0 0 0 249734 509 0 0 20 0 1 0 219034523 2379177984 80470 33554432000 4194304 5849708 140724647342080 140724647341080 139996795047815 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 580854 80470 710 405 0 577799 0
Current children cumulated CPU time: 2502.43 s
Current children cumulated vsize: 2323416 KiB
Current children cumulated memory: 321880 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20481
/proc/meminfo: memFree=28260624/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2323416 memory=321880 CPUtime=2520.03 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 602506 0 0 0 251492 511 0 0 20 0 1 0 219034523 2379177984 80470 33554432000 4194304 5849708 140724647342080 140724647341080 5437627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 580854 80470 710 405 0 577799 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2323416 KiB
Current children cumulated memory: 321880 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.91 s]
# the end of solver process 20342 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2514.92 s, system=5.12932 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 20481
/proc/meminfo: memFree=28260624/32770624 swapFree=67108804/67108860
[pid=20342] ppid=20339 vsize=2323416 memory=321880 CPUtime=2520.03 cores=1,3,5,7
/proc/20342/stat : 20342 (xcsp_picat) R 20339 20342 18221 0 -1 4202496 602506 0 0 0 251492 511 0 0 20 0 1 0 219034523 2379177984 80470 33554432000 4194304 5849708 140724647342080 140724647341080 5437627 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 38735872 140724647347382 140724647347460 140724647347460 140724647350218 0
/proc/20342/statm: 580854 80470 710 405 0 577799 0
Current children cumulated CPU time: 2520.03 s
Current children cumulated vsize: 2323416 KiB
Current children cumulated memory: 321880 KiB
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2519.91
CPU time (s): 2520.05
CPU user time (s): 2514.92
CPU system time (s): 5.12932
CPU usage (%): 100.005
Max. virtual memory (cumulated for all children) (KiB): 2439068
Max. memory (cumulated for all children) (KiB): 437532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2514.92
system time used= 5.12932
maximum resident set size= 437532
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 602506
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= 34
involuntary context switches= 1040
# summary of solver processes directly reported to runsolver:
# pid: 20342
# total CPU time (s): 2520.05
# total CPU user time (s): 2514.92
# total CPU system time (s): 5.12932
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.1764 second user time and 18.3918 second system time
The end