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 (10763 MiB free)
memory of node 1: 16384 MiB (7028 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303032-1534023409/watcher-4303032-1534023409 -o /tmp/evaluation-result-4303032-1534023409/solver-4303032-1534023409 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25513 --watchdog 2580 xcsp_picat HOME/instance-4303032-1534023409.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=30336, runsolver pid=30333
[startup+0.100121 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18194756/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2033560 memory=30532 CPUtime=0.1 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 1666 0 0 0 10 0 0 0 20 0 1 0 219904105 2082365440 7633 33554432000 4194304 5849708 140729124825680 140729124825680 4593482 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 508390 7633 629 405 0 505335 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 30532 KiB
[startup+0.209921 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18173780/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2033560 memory=49456 CPUtime=0.21 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 1779 0 0 0 21 0 0 0 20 0 1 0 219904105 2082365440 12364 33554432000 4194304 5849708 140729124825680 140729124825680 4488935 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 508390 12364 629 405 0 505335 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 49456 KiB
[startup+0.309643 s]*
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18157396/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2033560 memory=65840 CPUtime=0.31 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 1787 0 0 0 31 0 0 0 20 0 1 0 219904105 2082365440 16460 33554432000 4194304 5849708 140729124825680 140729124825680 4485115 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 508390 16460 629 405 0 505335 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 65840 KiB
[startup+0.70037 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18126676/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2033560 memory=123184 CPUtime=0.69 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 1822 0 0 0 68 1 0 0 20 0 1 0 219904105 2082365440 30796 33554432000 4194304 5849708 140729124825680 140729124825680 4538494 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 508390 30796 629 405 0 505335 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 2033560 KiB
Current children cumulated memory: 123184 KiB
[startup+1.50033 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18058844/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2041640 memory=174712 CPUtime=1.49 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 4083 0 0 0 138 11 0 0 20 0 1 0 219904105 2090639360 43678 33554432000 4194304 5849708 140729124825680 140729124825680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 510410 43678 706 405 0 507355 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2041640 KiB
Current children cumulated memory: 174712 KiB
[startup+3.109 s]
/proc/loadavg: 2.05 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18078572/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2048592 memory=181936 CPUtime=3.1 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 5458 0 0 0 287 23 0 0 20 0 1 0 219904105 2097758208 45484 33554432000 4194304 5849708 140729124825680 140729124824776 5472285 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 512148 45484 723 405 0 509093 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 181936 KiB
[startup+6.30023 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18078208/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2048592 memory=181936 CPUtime=6.3 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 7037 0 0 0 605 25 0 0 20 0 1 0 219904105 2097758208 45484 33554432000 4194304 5849708 140729124825680 140729124824776 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 512148 45484 723 405 0 509093 0
Current children cumulated CPU time: 6.3 s
Current children cumulated vsize: 2048592 KiB
Current children cumulated memory: 181936 KiB
[startup+12.7002 s]
/proc/loadavg: 2.04 2.04 2.05 3/191 30337
/proc/meminfo: memFree=18052180/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2071492 memory=204824 CPUtime=12.69 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 19833 0 0 0 1241 28 0 0 20 0 1 0 219904105 2121207808 51206 33554432000 4194304 5849708 140729124825680 140729124824088 5332905 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 517873 51206 751 405 0 514818 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2071492 KiB
Current children cumulated memory: 204824 KiB
[startup+25.5003 s]
/proc/loadavg: 2.33 2.10 2.07 3/191 30337
/proc/meminfo: memFree=18013076/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2075084 memory=205340 CPUtime=25.5 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 29028 0 0 0 2497 53 0 0 20 0 1 0 219904105 2124886016 51335 33554432000 4194304 5849708 140729124825680 140729124824168 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 518771 51335 762 405 0 515716 0
Current children cumulated CPU time: 25.5 s
Current children cumulated vsize: 2075084 KiB
Current children cumulated memory: 205340 KiB
[startup+51.1096 s]
/proc/loadavg: 2.56 2.17 2.09 3/191 30337
/proc/meminfo: memFree=17981496/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2082364 memory=215568 CPUtime=51.1 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 34384 0 0 0 5041 69 0 0 20 0 1 0 219904105 2132340736 53892 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 520591 53892 764 405 0 517536 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2082364 KiB
Current children cumulated memory: 215568 KiB
[startup+102.3 s]
/proc/loadavg: 2.28 2.16 2.09 3/191 30338
/proc/meminfo: memFree=17976844/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2089620 memory=222856 CPUtime=102.29 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 46324 0 0 0 10135 94 0 0 20 0 1 0 219904105 2139770880 55714 33554432000 4194304 5849708 140729124825680 140729124824552 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 522405 55714 764 405 0 519350 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 2089620 KiB
Current children cumulated memory: 222856 KiB
[startup+162.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/191 30400
/proc/meminfo: memFree=18063360/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2119544 memory=252928 CPUtime=162.29 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 53264 0 0 0 16094 135 0 0 20 0 1 0 219904105 2170413056 63232 33554432000 4194304 5849708 140729124825680 140729124824680 5392643 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 529886 63232 764 405 0 526831 0
Current children cumulated CPU time: 162.29 s
Current children cumulated vsize: 2119544 KiB
Current children cumulated memory: 252928 KiB
[startup+222.3 s]
/proc/loadavg: 2.04 2.11 2.08 3/191 30408
/proc/meminfo: memFree=18027852/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2135928 memory=274504 CPUtime=222.29 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 54031 0 0 0 22066 163 0 0 20 0 1 0 219904105 2187190272 68626 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 533982 68626 764 405 0 530927 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2135928 KiB
Current children cumulated memory: 274504 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.09 2.08 3/190 30409
/proc/meminfo: memFree=17985904/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2157432 memory=296008 CPUtime=282.29 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 56175 0 0 0 28030 199 0 0 20 0 1 0 219904105 2209210368 74002 33554432000 4194304 5849708 140729124825680 140729124824680 5358922 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 539358 74002 764 405 0 536303 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 296008 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.07 2.07 3/191 30411
/proc/meminfo: memFree=17978728/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2157432 memory=296008 CPUtime=342.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 56661 0 0 0 33996 232 0 0 20 0 1 0 219904105 2209210368 74002 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 539358 74002 764 405 0 536303 0
Current children cumulated CPU time: 342.28 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 296008 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/191 30412
/proc/meminfo: memFree=17980540/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2157432 memory=296008 CPUtime=402.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 58406 0 0 0 39964 264 0 0 20 0 1 0 219904105 2209210368 74002 33554432000 4194304 5849708 140729124825680 140729124824840 5361731 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 539358 74002 764 405 0 536303 0
Current children cumulated CPU time: 402.28 s
Current children cumulated vsize: 2157432 KiB
Current children cumulated memory: 296008 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.05 2.06 3/191 30413
/proc/meminfo: memFree=17908108/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2175896 memory=314472 CPUtime=462.29 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 62401 0 0 0 45928 301 0 0 20 0 1 0 219904105 2228117504 78618 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 543974 78618 764 405 0 540919 0
Current children cumulated CPU time: 462.29 s
Current children cumulated vsize: 2175896 KiB
Current children cumulated memory: 314472 KiB
################
# More data... #
################
/proc/30336/statm: 561033 95677 764 405 0 557978 0
Current children cumulated CPU time: 1722.28 s
Current children cumulated vsize: 2244132 KiB
Current children cumulated memory: 382708 KiB
[startup+1782.3 s]
/proc/loadavg: 2.28 2.15 2.09 3/192 30495
/proc/meminfo: memFree=17758012/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2252772 memory=391348 CPUtime=1782.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 497112 0 0 0 177159 1069 0 0 20 0 1 0 219904105 2306838528 97837 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 563193 97837 764 405 0 560138 0
Current children cumulated CPU time: 1782.28 s
Current children cumulated vsize: 2252772 KiB
Current children cumulated memory: 391348 KiB
[startup+1842.3 s]
/proc/loadavg: 2.10 2.13 2.09 3/192 30496
/proc/meminfo: memFree=17729092/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2274248 memory=412824 CPUtime=1842.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 517850 0 0 0 183124 1104 0 0 20 0 1 0 219904105 2328829952 103206 33554432000 4194304 5849708 140729124825680 140729124824680 5307618 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 568562 103206 764 405 0 565507 0
Current children cumulated CPU time: 1842.28 s
Current children cumulated vsize: 2274248 KiB
Current children cumulated memory: 412824 KiB
[startup+1902.3 s]
/proc/loadavg: 2.04 2.10 2.08 3/192 30498
/proc/meminfo: memFree=17711488/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2249248 memory=387952 CPUtime=1902.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 533839 0 0 0 189094 1134 0 0 20 0 1 0 219904105 2303229952 96988 33554432000 4194304 5849708 140729124825680 140729124824680 5416719 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 562312 96988 764 405 0 559257 0
Current children cumulated CPU time: 1902.28 s
Current children cumulated vsize: 2249248 KiB
Current children cumulated memory: 387952 KiB
[startup+1962.3 s]
/proc/loadavg: 2.07 2.10 2.08 3/191 30499
/proc/meminfo: memFree=17634284/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2266456 memory=405032 CPUtime=1962.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 552666 0 0 0 195060 1167 0 0 20 0 1 0 219904105 2320850944 101258 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 566614 101258 764 405 0 563559 0
Current children cumulated CPU time: 1962.27 s
Current children cumulated vsize: 2266456 KiB
Current children cumulated memory: 405032 KiB
[startup+2022.3 s]
/proc/loadavg: 2.03 2.08 2.08 3/190 30508
/proc/meminfo: memFree=17627480/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2304800 memory=443376 CPUtime=2022.28 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 576195 0 0 0 201024 1204 0 0 20 0 1 0 219904105 2360115200 110844 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 576200 110844 764 405 0 573145 0
Current children cumulated CPU time: 2022.28 s
Current children cumulated vsize: 2304800 KiB
Current children cumulated memory: 443376 KiB
[startup+2082.3 s]
/proc/loadavg: 2.01 2.07 2.07 3/190 30509
/proc/meminfo: memFree=17581632/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2319444 memory=458020 CPUtime=2082.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 594043 0 0 0 206994 1233 0 0 20 0 1 0 219904105 2375110656 114505 33554432000 4194304 5849708 140729124825680 140729124824168 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 579861 114505 764 405 0 576806 0
Current children cumulated CPU time: 2082.27 s
Current children cumulated vsize: 2319444 KiB
Current children cumulated memory: 458020 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.06 2.06 3/190 30510
/proc/meminfo: memFree=17570900/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2320780 memory=459356 CPUtime=2142.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 620837 0 0 0 212960 1267 0 0 20 0 1 0 219904105 2376478720 114839 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 580195 114839 764 405 0 577140 0
Current children cumulated CPU time: 2142.27 s
Current children cumulated vsize: 2320780 KiB
Current children cumulated memory: 459356 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.04 2.06 3/190 30511
/proc/meminfo: memFree=17519468/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2340120 memory=478696 CPUtime=2202.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 648926 0 0 0 218929 1298 0 0 20 0 1 0 219904105 2396282880 119674 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 585030 119674 764 405 0 581975 0
Current children cumulated CPU time: 2202.27 s
Current children cumulated vsize: 2340120 KiB
Current children cumulated memory: 478696 KiB
[startup+2262.3 s]
/proc/loadavg: 2.04 2.05 2.06 3/192 30514
/proc/meminfo: memFree=17380508/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2398856 memory=537432 CPUtime=2262.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 675222 0 0 0 224899 1328 0 0 20 0 1 0 219904105 2456428544 134358 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 599714 134358 764 405 0 596659 0
Current children cumulated CPU time: 2262.27 s
Current children cumulated vsize: 2398856 KiB
Current children cumulated memory: 537432 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/192 30515
/proc/meminfo: memFree=17445720/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2333760 memory=472336 CPUtime=2322.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 713076 0 0 0 230863 1364 0 0 20 0 1 0 219904105 2389770240 118084 33554432000 4194304 5849708 140729124825680 140729124824680 5335822 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 583440 118084 764 405 0 580385 0
Current children cumulated CPU time: 2322.27 s
Current children cumulated vsize: 2333760 KiB
Current children cumulated memory: 472336 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/192 30516
/proc/meminfo: memFree=17225048/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2554212 memory=692788 CPUtime=2382.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 756454 0 0 0 236819 1408 0 0 20 0 1 0 219904105 2615513088 173197 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 638553 173197 764 405 0 635498 0
Current children cumulated CPU time: 2382.27 s
Current children cumulated vsize: 2554212 KiB
Current children cumulated memory: 692788 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/192 30517
/proc/meminfo: memFree=17430308/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2349076 memory=487516 CPUtime=2442.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 793558 0 0 0 242783 1444 0 0 20 0 1 0 219904105 2405453824 121879 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 587269 121879 764 405 0 584214 0
Current children cumulated CPU time: 2442.27 s
Current children cumulated vsize: 2349076 KiB
Current children cumulated memory: 487516 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/192 30518
/proc/meminfo: memFree=17356652/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2422528 memory=561104 CPUtime=2502.27 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 826047 0 0 0 248747 1480 0 0 20 0 1 0 219904105 2480668672 140276 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 605632 140276 764 405 0 602577 0
Current children cumulated CPU time: 2502.27 s
Current children cumulated vsize: 2422528 KiB
Current children cumulated memory: 561104 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.02 2.05 3/191 30518
/proc/meminfo: memFree=17305080/32770624 swapFree=67108688/67108860
[pid=30336] ppid=30333 vsize=2474556 memory=613132 CPUtime=2519.98 cores=1,3,5,7
/proc/30336/stat : 30336 (xcsp_picat) R 30333 30336 25480 0 -1 4202496 831944 0 0 0 250510 1488 0 0 20 0 1 0 219904105 2533945344 153283 33554432000 4194304 5849708 140729124825680 140729124824680 139831647813511 0 0 4096 8389634 0 0 0 17 5 0 0 0 0 0 7949816 9394900 19054592 140729124828342 140729124828420 140729124828420 140729124831178 0
/proc/30336/statm: 618639 153283 764 405 0 615584 0
Current children cumulated CPU time: 2519.98 s
Current children cumulated vsize: 2474556 KiB
Current children cumulated memory: 613132 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.02 s]
# the end of solver process 30336 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2505.11 s, system=14.8939 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): 2520
CPU user time (s): 2505.11
CPU system time (s): 14.8939
CPU usage (%): 99.9993
Max. virtual memory (cumulated for all children) (KiB): 2581252
Max. memory (cumulated for all children) (KiB): 719828
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2505.11
system time used= 14.8939
maximum resident set size= 719828
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 831944
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= 8
involuntary context switches= 984
# summary of solver processes directly reported to runsolver:
# pid: 30336
# total CPU time (s): 2520
# total CPU user time (s): 2505.11
# total CPU system time (s): 14.8939
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 11.203 second user time and 17.6159 second system time
The end