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 (10908 MiB free)
memory of node 1: 16384 MiB (7077 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4303255-1533991241/watcher-4303255-1533991241 -o /tmp/evaluation-result-4303255-1533991241/solver-4303255-1533991241 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1533991241-25512 --watchdog 2580 xcsp_picat HOME/instance-4303255-1533991241.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
Current StackSize limit: 8192 KiB
solver pid=25542, runsolver pid=25536
[startup+0.100123 s]*
/proc/loadavg: 1.08 1.04 1.19 3/192 25544
/proc/meminfo: memFree=18404820/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2027044 memory=15432 CPUtime=0.05 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1463 0 0 0 5 0 0 0 20 0 1 0 216687333 2075693056 3858 33554432000 4194304 5849708 140720675626384 140720675625752 5373224 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 506761 3858 629 405 0 503706 0
Current children cumulated CPU time: 0.05 s
Current children cumulated vsize: 2027044 KiB
Current children cumulated memory: 15432 KiB
[startup+0.210251 s]*
/proc/loadavg: 1.08 1.04 1.19 2/192 25552
/proc/meminfo: memFree=18402180/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2027868 memory=15772 CPUtime=0.16 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1711 0 0 0 16 0 0 0 20 0 1 0 216687333 2076536832 3943 33554432000 4194304 5849708 140720675626384 140720675625752 5416965 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 506967 3943 650 405 0 503912 0
Current children cumulated CPU time: 0.16 s
Current children cumulated vsize: 2027868 KiB
Current children cumulated memory: 15772 KiB
[startup+0.309518 s]*
/proc/loadavg: 1.08 1.04 1.19 3/189 25552
/proc/meminfo: memFree=18401612/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2027868 memory=15772 CPUtime=0.26 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1726 0 0 0 26 0 0 0 20 0 1 0 216687333 2076536832 3943 33554432000 4194304 5849708 140720675626384 140720675624872 5313256 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 506967 3943 650 405 0 503912 0
Current children cumulated CPU time: 0.26 s
Current children cumulated vsize: 2027868 KiB
Current children cumulated memory: 15772 KiB
[startup+0.70038 s]
/proc/loadavg: 1.08 1.04 1.19 2/193 25558
/proc/meminfo: memFree=18400440/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2028856 memory=17140 CPUtime=0.64 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 2182 0 0 0 62 2 0 0 20 0 1 0 216687333 2077548544 4285 33554432000 4194304 5849708 140720675626384 140720675625384 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 507214 4285 661 405 0 504159 0
Current children cumulated CPU time: 0.64 s
Current children cumulated vsize: 2028856 KiB
Current children cumulated memory: 17140 KiB
[startup+1.50035 s]
/proc/loadavg: 1.08 1.04 1.19 4/209 25575
/proc/meminfo: memFree=18354216/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2031168 memory=19484 CPUtime=1.44 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 3925 0 0 0 140 4 0 0 20 0 1 0 216687333 2079916032 4871 33554432000 4194304 5849708 140720675626384 140720675625384 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 507792 4871 661 405 0 504737 0
Current children cumulated CPU time: 1.44 s
Current children cumulated vsize: 2031168 KiB
Current children cumulated memory: 19484 KiB
[startup+3.10981 s]
/proc/loadavg: 1.08 1.04 1.19 3/196 25607
/proc/meminfo: memFree=18349060/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2031676 memory=19972 CPUtime=3.05 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 7777 0 0 0 299 6 0 0 20 0 1 0 216687333 2080436224 4993 33554432000 4194304 5849708 140720675626384 140720675625384 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 507919 4993 661 405 0 504864 0
Current children cumulated CPU time: 3.05 s
Current children cumulated vsize: 2031676 KiB
Current children cumulated memory: 19972 KiB
[startup+6.30035 s]
/proc/loadavg: 1.16 1.05 1.19 3/196 25607
/proc/meminfo: memFree=18347804/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2033888 memory=22148 CPUtime=6.24 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 14280 0 0 0 614 10 0 0 20 0 1 0 216687333 2082701312 5537 33554432000 4194304 5849708 140720675626384 140720675625384 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 508472 5537 661 405 0 505417 0
Current children cumulated CPU time: 6.24 s
Current children cumulated vsize: 2033888 KiB
Current children cumulated memory: 22148 KiB
[startup+12.7004 s]
/proc/loadavg: 1.22 1.07 1.20 3/196 25607
/proc/meminfo: memFree=18336556/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2039108 memory=27464 CPUtime=12.64 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 40934 0 0 0 1243 21 0 0 20 0 1 0 216687333 2088046592 6866 33554432000 4194304 5849708 140720675626384 140720675624872 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 509777 6866 661 405 0 506722 0
Current children cumulated CPU time: 12.64 s
Current children cumulated vsize: 2039108 KiB
Current children cumulated memory: 27464 KiB
[startup+25.5004 s]
/proc/loadavg: 1.40 1.11 1.21 3/196 25607
/proc/meminfo: memFree=18337476/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2040632 memory=30940 CPUtime=25.44 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 68399 0 0 0 2510 34 0 0 20 0 1 0 216687333 2089607168 7735 33554432000 4194304 5849708 140720675626384 140720675625544 140644213317511 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 510158 7735 661 405 0 507103 0
Current children cumulated CPU time: 25.44 s
Current children cumulated vsize: 2040632 KiB
Current children cumulated memory: 30940 KiB
[startup+51.1101 s]
/proc/loadavg: 1.60 1.18 1.23 3/196 25607
/proc/meminfo: memFree=18309692/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2056792 memory=49072 CPUtime=51.04 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 107488 0 0 0 5047 57 0 0 20 0 1 0 216687333 2106155008 12268 33554432000 4194304 5849708 140720675626384 140720675625384 5438246 0 0 4096 8389634 0 0 0 17 2 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 514198 12268 661 405 0 511143 0
Current children cumulated CPU time: 51.04 s
Current children cumulated vsize: 2056792 KiB
Current children cumulated memory: 49072 KiB
[startup+102.3 s]
/proc/loadavg: 1.75 1.29 1.26 3/196 25608
/proc/meminfo: memFree=18268856/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2088524 memory=82476 CPUtime=102.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 152245 0 0 0 10137 86 0 0 20 0 1 0 216687333 2138648576 20619 33554432000 4194304 5849708 140720675626384 140720675625384 5438261 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 522131 20619 661 405 0 519076 0
Current children cumulated CPU time: 102.23 s
Current children cumulated vsize: 2088524 KiB
Current children cumulated memory: 82476 KiB
[startup+162.3 s]
/proc/loadavg: 1.91 1.42 1.31 3/195 25609
/proc/meminfo: memFree=18206196/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2091496 memory=85448 CPUtime=162.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 202518 0 0 0 16106 117 0 0 20 0 1 0 216687333 2141691904 21362 33554432000 4194304 5849708 140720675626384 140720675625384 5335609 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 522874 21362 661 405 0 519819 0
Current children cumulated CPU time: 162.23 s
Current children cumulated vsize: 2091496 KiB
Current children cumulated memory: 85448 KiB
[startup+222.3 s]
/proc/loadavg: 1.97 1.53 1.35 3/195 25610
/proc/meminfo: memFree=18183912/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2127656 memory=121824 CPUtime=222.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 231205 0 0 0 22085 138 0 0 20 0 1 0 216687333 2178719744 30456 33554432000 4194304 5849708 140720675626384 140720675625384 5437847 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 531914 30456 661 405 0 528859 0
Current children cumulated CPU time: 222.23 s
Current children cumulated vsize: 2127656 KiB
Current children cumulated memory: 121824 KiB
[startup+282.3 s]
/proc/loadavg: 2.51 1.77 1.45 3/194 25611
/proc/meminfo: memFree=18138380/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2103532 memory=97700 CPUtime=282.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 272475 0 0 0 28054 169 0 0 20 0 1 0 216687333 2154016768 24425 33554432000 4194304 5849708 140720675626384 140720675625384 140644213317511 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 525883 24425 661 405 0 522828 0
Current children cumulated CPU time: 282.23 s
Current children cumulated vsize: 2103532 KiB
Current children cumulated memory: 97700 KiB
[startup+342.3 s]
/proc/loadavg: 2.19 1.81 1.48 3/190 25612
/proc/meminfo: memFree=18028164/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2153216 memory=147136 CPUtime=342.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 298114 0 0 0 34035 188 0 0 20 0 1 0 216687333 2204893184 36784 33554432000 4194304 5849708 140720675626384 140720675625256 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 538304 36784 661 405 0 535249 0
Current children cumulated CPU time: 342.23 s
Current children cumulated vsize: 2153216 KiB
Current children cumulated memory: 147136 KiB
[startup+402.3 s]
/proc/loadavg: 2.07 1.84 1.51 3/191 25614
/proc/meminfo: memFree=18081972/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2135216 memory=129384 CPUtime=402.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 318463 0 0 0 40015 208 0 0 20 0 1 0 216687333 2186461184 32346 33554432000 4194304 5849708 140720675626384 140720675625384 5303184 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 533804 32346 661 405 0 530749 0
Current children cumulated CPU time: 402.23 s
Current children cumulated vsize: 2135216 KiB
Current children cumulated memory: 129384 KiB
[startup+462.3 s]
/proc/loadavg: 2.03 1.87 1.54 3/191 25615
/proc/meminfo: memFree=18019040/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2202064 memory=196232 CPUtime=462.23 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 339414 0 0 0 46004 219 0 0 20 0 1 0 216687333 2254913536 49058 33554432000 4194304 5849708 140720675626384 140720675625384 5438212 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 550516 49058 661 405 0 547461 0
Current children cumulated CPU time: 462.23 s
Current children cumulated vsize: 2202064 KiB
Current children cumulated memory: 196232 KiB
################
# More data... #
################
/proc/25542/statm: 587639 86181 661 405 0 584584 0
Current children cumulated CPU time: 1722.2 s
Current children cumulated vsize: 2350556 KiB
Current children cumulated memory: 344724 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/193 25691
/proc/meminfo: memFree=17620260/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=1782.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1014572 0 0 0 177626 594 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5437760 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 1782.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/193 25692
/proc/meminfo: memFree=17617492/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=1842.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1023505 0 0 0 183621 599 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5437616 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 1842.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.90 3/192 25693
/proc/meminfo: memFree=17590912/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=1902.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1057221 0 0 0 189615 605 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5335520 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 1902.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 25694
/proc/meminfo: memFree=17495304/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=1962.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1082482 0 0 0 195610 610 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5438282 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 1962.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.91 3/191 25695
/proc/meminfo: memFree=17442588/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=2022.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1091123 0 0 0 201605 615 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625256 5437794 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 2022.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.92 3/190 25696
/proc/meminfo: memFree=17448064/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=2082.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1124910 0 0 0 207600 620 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 2082.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/191 25698
/proc/meminfo: memFree=17447808/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=2142.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1150139 0 0 0 213594 626 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625256 5438212 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 2142.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.93 3/191 25699
/proc/meminfo: memFree=17446724/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=2202.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1159797 0 0 0 219588 632 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 2202.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/191 25700
/proc/meminfo: memFree=17422056/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2418784 memory=412952 CPUtime=2262.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1202333 0 0 0 225580 640 0 0 20 0 1 0 216687333 2476834816 103238 33554432000 4194304 5849708 140720675626384 140720675625384 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 604696 103238 661 405 0 601641 0
Current children cumulated CPU time: 2262.2 s
Current children cumulated vsize: 2418784 KiB
Current children cumulated memory: 412952 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/191 25701
/proc/meminfo: memFree=17265476/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2575592 memory=569760 CPUtime=2322.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1248705 0 0 0 231566 654 0 0 20 0 1 0 216687333 2637406208 142440 33554432000 4194304 5849708 140720675626384 140720675625384 5437714 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 643898 142440 661 405 0 640843 0
Current children cumulated CPU time: 2322.2 s
Current children cumulated vsize: 2575592 KiB
Current children cumulated memory: 569760 KiB
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 1.95 3/191 25709
/proc/meminfo: memFree=17162556/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2575592 memory=569760 CPUtime=2382.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1275976 0 0 0 237559 661 0 0 20 0 1 0 216687333 2637406208 142440 33554432000 4194304 5849708 140720675626384 140720675625384 5335535 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 643898 142440 661 405 0 640843 0
Current children cumulated CPU time: 2382.2 s
Current children cumulated vsize: 2575592 KiB
Current children cumulated memory: 569760 KiB
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 1.95 3/190 25710
/proc/meminfo: memFree=17174328/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2510056 memory=504224 CPUtime=2442.2 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1336189 0 0 0 243550 670 0 0 20 0 1 0 216687333 2570297344 126056 33554432000 4194304 5849708 140720675626384 140720675625384 5437681 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 627514 126056 661 405 0 624459 0
Current children cumulated CPU time: 2442.2 s
Current children cumulated vsize: 2510056 KiB
Current children cumulated memory: 504224 KiB
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 1.95 3/190 25711
/proc/meminfo: memFree=17069564/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2586744 memory=580912 CPUtime=2502.19 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1372540 0 0 0 249543 676 0 0 20 0 1 0 216687333 2648825856 145228 33554432000 4194304 5849708 140720675626384 140720675625384 5437855 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 646686 145228 661 405 0 643631 0
Current children cumulated CPU time: 2502.19 s
Current children cumulated vsize: 2586744 KiB
Current children cumulated memory: 580912 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.02 1.95 3/190 25711
/proc/meminfo: memFree=17133060/32770624 swapFree=67108688/67108860
[pid=25542] ppid=25536 vsize=2521208 memory=515376 CPUtime=2519.9 cores=0,2,4,6
/proc/25542/stat : 25542 (xcsp_picat) R 25536 25542 25480 0 -1 4202496 1405021 0 0 0 251311 679 0 0 20 0 1 0 216687333 2581716992 128844 33554432000 4194304 5849708 140720675626384 140720675625384 5312883 0 0 4096 8389634 0 0 0 17 0 0 0 4 0 0 7949816 9394900 39661568 140720675632310 140720675632388 140720675632388 140720675635146 0
/proc/25542/statm: 630302 128844 661 405 0 627247 0
Current children cumulated CPU time: 2519.9 s
Current children cumulated vsize: 2521208 KiB
Current children cumulated memory: 515376 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.03 s]
# the end of solver process 25542 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2513.12 s, system=6.81688 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.93
CPU user time (s): 2513.12
CPU system time (s): 6.81688
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 2586744
Max. memory (cumulated for all children) (KiB): 580912
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2513.12
system time used= 6.81688
maximum resident set size= 580912
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1405021
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= 7
involuntary context switches= 1503
# summary of solver processes directly reported to runsolver:
# pid: 25542
# total CPU time (s): 2519.93
# total CPU user time (s): 2513.12
# total CPU system time (s): 6.81688
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.3892 second user time and 18.0809 second system time
The end