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 (891 MiB free)
memory of node 1: 16384 MiB (13314 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4302985-1533997716/watcher-4302985-1533997716 -o /tmp/evaluation-result-4302985-1533997716/solver-4302985-1533997716 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node105-1533992673-18253 --watchdog 2580 xcsp_picat HOME/instance-4302985-1533997716.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=18765, runsolver pid=18762
[startup+0.100973 s]*
/proc/loadavg: 1.98 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14527576/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2025744 memory=21572 CPUtime=0.1 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 1451 0 0 0 10 0 0 0 20 0 1 0 217334760 2074361856 5393 33554432000 4194304 5849708 140720967681568 140720967680872 4490795 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 506436 5393 595 405 0 503381 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 21572 KiB
[startup+0.209853 s]*
/proc/loadavg: 1.98 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14519168/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2025744 memory=31812 CPUtime=0.2 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 1456 0 0 0 20 0 0 0 20 0 1 0 217334760 2074361856 7953 33554432000 4194304 5849708 140720967681568 140720967680872 140119832243200 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 506436 7953 595 405 0 503381 0
Current children cumulated CPU time: 0.2 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 31812 KiB
[startup+0.309774 s]*
/proc/loadavg: 1.98 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14508928/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2025744 memory=40004 CPUtime=0.3 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 1480 0 0 0 30 0 0 0 20 0 1 0 217334760 2074361856 10001 33554432000 4194304 5849708 140720967681568 140720967680872 4548541 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 506436 10001 595 405 0 503381 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 2025744 KiB
Current children cumulated memory: 40004 KiB
[startup+0.700376 s]
/proc/loadavg: 1.98 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14475928/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2081652 memory=108424 CPUtime=0.68 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 9488 0 0 0 67 1 0 0 20 0 1 0 217334760 2131611648 27106 33554432000 4194304 5849708 140720967681568 140720967680776 5300436 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 520413 27106 649 405 0 517358 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 2081652 KiB
Current children cumulated memory: 108424 KiB
[startup+1.5004 s]
/proc/loadavg: 1.98 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14384168/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2149452 memory=165480 CPUtime=1.49 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 17122 0 0 0 145 4 0 0 20 0 1 0 217334760 2201038848 41370 33554432000 4194304 5849708 140720967681568 140720967680504 5310577 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 537363 41370 658 405 0 534308 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 2149452 KiB
Current children cumulated memory: 165480 KiB
[startup+3.10973 s]
/proc/loadavg: 1.99 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14387552/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2180196 memory=201816 CPUtime=3.09 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 35835 0 0 0 303 6 0 0 20 0 1 0 217334760 2232520704 50454 33554432000 4194304 5849708 140720967681568 140720967680328 4217874 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 545049 50454 672 405 0 541994 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 2180196 KiB
Current children cumulated memory: 201816 KiB
[startup+6.30029 s]
/proc/loadavg: 1.99 1.97 1.95 3/189 18766
/proc/meminfo: memFree=14368492/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2153812 memory=180720 CPUtime=6.29 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 37556 0 0 0 622 7 0 0 20 0 1 0 217334760 2205503488 45180 33554432000 4194304 5849708 140720967681568 140720967680056 4205055 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 538453 45180 676 405 0 535398 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 2153812 KiB
Current children cumulated memory: 180720 KiB
[startup+12.7003 s]
/proc/loadavg: 1.99 1.97 1.95 3/189 18766
/proc/meminfo: memFree=22863332/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2158148 memory=185056 CPUtime=12.69 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 41016 0 0 0 1262 7 0 0 20 0 1 0 217334760 2209943552 46264 33554432000 4194304 5849708 140720967681568 140720967679112 4205087 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 539537 46264 676 405 0 536482 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 2158148 KiB
Current children cumulated memory: 185056 KiB
[startup+25.5003 s]
/proc/loadavg: 1.99 1.97 1.95 3/189 18766
/proc/meminfo: memFree=17846984/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2158148 memory=185056 CPUtime=25.48 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 47193 0 0 0 2541 7 0 0 20 0 1 0 217334760 2209943552 46264 33554432000 4194304 5849708 140720967681568 140720967679112 4228361 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 539537 46264 676 405 0 536482 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 2158148 KiB
Current children cumulated memory: 185056 KiB
[startup+51.1097 s]
/proc/loadavg: 1.99 1.97 1.95 3/189 18766
/proc/meminfo: memFree=19379944/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2185436 memory=212332 CPUtime=51.1 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 72517 0 0 0 5100 10 0 0 20 0 1 0 217334760 2237886464 53083 33554432000 4194304 5849708 140720967681568 140720967680568 5307573 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 546359 53083 679 405 0 543304 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 2185436 KiB
Current children cumulated memory: 212332 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 1.98 1.95 3/190 18836
/proc/meminfo: memFree=28058304/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2185436 memory=212340 CPUtime=102.28 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 87726 0 0 0 10216 12 0 0 20 0 1 0 217334760 2237886464 53085 33554432000 4194304 5849708 140720967681568 140720967680728 5307618 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 546359 53085 681 405 0 543304 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 2185436 KiB
Current children cumulated memory: 212340 KiB
[startup+162.3 s]
/proc/loadavg: 2.56 2.12 2.00 3/190 18837
/proc/meminfo: memFree=28037536/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2190952 memory=222116 CPUtime=162.28 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 107321 0 0 0 16210 18 0 0 20 0 1 0 217334760 2243534848 55529 33554432000 4194304 5849708 140720967681568 140720967680728 5307427 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 547738 55529 692 405 0 544683 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 2190952 KiB
Current children cumulated memory: 222116 KiB
[startup+222.3 s]
/proc/loadavg: 2.34 2.16 2.02 3/190 18838
/proc/meminfo: memFree=28062044/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2166088 memory=197024 CPUtime=222.29 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 119688 0 0 0 22205 24 0 0 20 0 1 0 217334760 2218074112 49256 33554432000 4194304 5849708 140720967681568 140720967680056 4205041 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 541522 49256 692 405 0 538467 0
Current children cumulated CPU time: 222.29 s
Current children cumulated vsize: 2166088 KiB
Current children cumulated memory: 197024 KiB
[startup+282.3 s]
/proc/loadavg: 2.12 2.13 2.02 3/190 18839
/proc/meminfo: memFree=28048144/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2179844 memory=210872 CPUtime=282.29 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 120071 0 0 0 28204 25 0 0 20 0 1 0 217334760 2232160256 52718 33554432000 4194304 5849708 140720967681568 140720967680568 5307322 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 544961 52718 692 405 0 541906 0
Current children cumulated CPU time: 282.29 s
Current children cumulated vsize: 2179844 KiB
Current children cumulated memory: 210872 KiB
[startup+342.3 s]
/proc/loadavg: 2.05 2.10 2.02 3/187 18840
/proc/meminfo: memFree=28026632/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2164312 memory=195292 CPUtime=342.29 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 136483 0 0 0 34200 29 0 0 20 0 1 0 217334760 2216255488 48823 33554432000 4194304 5849708 140720967681568 140720967678568 4205068 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 541078 48823 692 405 0 538023 0
Current children cumulated CPU time: 342.29 s
Current children cumulated vsize: 2164312 KiB
Current children cumulated memory: 195292 KiB
[startup+402.3 s]
/proc/loadavg: 2.02 2.09 2.02 3/187 18842
/proc/meminfo: memFree=28082440/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2143500 memory=174664 CPUtime=402.3 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 136917 0 0 0 40199 31 0 0 20 0 1 0 217334760 2194944000 43666 33554432000 4194304 5849708 140720967681568 140720967680568 5437400 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 535875 43666 692 405 0 532820 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 2143500 KiB
Current children cumulated memory: 174664 KiB
[startup+462.3 s]
/proc/loadavg: 2.01 2.07 2.02 3/187 18843
/proc/meminfo: memFree=28174692/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2149272 memory=180368 CPUtime=462.3 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 141559 0 0 0 46197 33 0 0 20 0 1 0 217334760 2200854528 45092 33554432000 4194304 5849708 140720967681568 140720967680056 4205101 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 537318 45092 692 405 0 534263 0
Current children cumulated CPU time: 462.3 s
Current children cumulated vsize: 2149272 KiB
Current children cumulated memory: 180368 KiB
################
# More data... #
################
Current children cumulated memory: 236484 KiB
[startup+1422.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 18874
/proc/meminfo: memFree=28207872/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2205320 memory=236484 CPUtime=1422.37 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 203544 0 0 0 141985 252 0 0 20 0 1 0 217334760 2258247680 59121 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 551330 59121 692 405 0 548275 0
Current children cumulated CPU time: 1422.37 s
Current children cumulated vsize: 2205320 KiB
Current children cumulated memory: 236484 KiB
[startup+1482.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 18875
/proc/meminfo: memFree=28207964/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2205320 memory=236280 CPUtime=1482.37 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 204355 0 0 0 147972 265 0 0 20 0 1 0 217334760 2258247680 59070 33554432000 4194304 5849708 140720967681568 140720967680568 5437714 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 551330 59070 692 405 0 548275 0
Current children cumulated CPU time: 1482.37 s
Current children cumulated vsize: 2205320 KiB
Current children cumulated memory: 236280 KiB
[startup+1542.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 18876
/proc/meminfo: memFree=28182380/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2241516 memory=272680 CPUtime=1542.38 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 213204 0 0 0 153960 278 0 0 20 0 1 0 217334760 2295312384 68170 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 560379 68170 692 405 0 557324 0
Current children cumulated CPU time: 1542.38 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 272680 KiB
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 18878
/proc/meminfo: memFree=28182880/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2241516 memory=272680 CPUtime=1602.38 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 213206 0 0 0 159948 290 0 0 20 0 1 0 217334760 2295312384 68170 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 560379 68170 692 405 0 557324 0
Current children cumulated CPU time: 1602.38 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 272680 KiB
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18879
/proc/meminfo: memFree=28185924/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2241516 memory=272680 CPUtime=1662.38 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 213226 0 0 0 165938 300 0 0 20 0 1 0 217334760 2295312384 68170 33554432000 4194304 5849708 140720967681568 140720967680568 5335624 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 560379 68170 692 405 0 557324 0
Current children cumulated CPU time: 1662.38 s
Current children cumulated vsize: 2241516 KiB
Current children cumulated memory: 272680 KiB
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18880
/proc/meminfo: memFree=28103804/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2323024 memory=354188 CPUtime=1722.39 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 228680 0 0 0 171925 314 0 0 20 0 1 0 217334760 2378776576 88547 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 580756 88547 692 405 0 577701 0
Current children cumulated CPU time: 1722.39 s
Current children cumulated vsize: 2323024 KiB
Current children cumulated memory: 354188 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18882
/proc/meminfo: memFree=28229824/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2289556 memory=320720 CPUtime=1782.39 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 256755 0 0 0 177911 328 0 0 20 0 1 0 217334760 2344505344 80180 33554432000 4194304 5849708 140720967681568 140720967680568 5313175 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 572389 80180 692 405 0 569334 0
Current children cumulated CPU time: 1782.39 s
Current children cumulated vsize: 2289556 KiB
Current children cumulated memory: 320720 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18883
/proc/meminfo: memFree=28244936/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2275052 memory=306216 CPUtime=1842.4 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 267475 0 0 0 183894 346 0 0 20 0 1 0 217334760 2329653248 76554 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 568763 76554 692 405 0 565708 0
Current children cumulated CPU time: 1842.4 s
Current children cumulated vsize: 2275052 KiB
Current children cumulated memory: 306216 KiB
[startup+1863.7 s]
# the end of solver process 18765 was just reported to runsolver
# cumulated CPU time of all completed processes: user=1860.26 s, system=3.54723 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1843.2 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 18883
/proc/meminfo: memFree=28244688/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2275052 memory=306216 CPUtime=1843.29 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 267490 0 0 0 183983 346 0 0 20 0 1 0 217334760 2329653248 76554 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 568763 76554 692 405 0 565708 0
Current children cumulated CPU time: 1843.29 s
Current children cumulated vsize: 2275052 KiB
Current children cumulated memory: 306216 KiB
[startup+1856 s]*
/proc/loadavg: 2.08 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28397284/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2135680 memory=153236 CPUtime=1856.11 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273332 0 0 0 185258 353 0 0 20 0 1 0 217334760 2186936320 38309 33554432000 4194304 5849708 140720967681568 140720967680728 5307573 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 533920 38309 692 405 0 530865 0
Current children cumulated CPU time: 1856.11 s
Current children cumulated vsize: 2135680 KiB
Current children cumulated memory: 153236 KiB
[startup+1859.2 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28413652/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2119296 memory=136852 CPUtime=1859.3 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273332 0 0 0 185577 353 0 0 20 0 1 0 217334760 2170159104 34213 33554432000 4194304 5849708 140720967681568 140720967680568 5307610 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 529824 34213 692 405 0 526769 0
Current children cumulated CPU time: 1859.3 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 136852 KiB
[startup+1860.8 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28413652/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2119296 memory=136852 CPUtime=1860.9 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273338 0 0 0 185737 353 0 0 20 0 1 0 217334760 2170159104 34213 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 529824 34213 692 405 0 526769 0
Current children cumulated CPU time: 1860.9 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 136852 KiB
[startup+1862.4 s]
/proc/loadavg: 2.07 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28413652/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2119296 memory=136852 CPUtime=1862.5 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273338 0 0 0 185896 354 0 0 20 0 1 0 217334760 2170159104 34213 33554432000 4194304 5849708 140720967681568 140720967680568 5307672 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 529824 34213 692 405 0 526769 0
Current children cumulated CPU time: 1862.5 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 136852 KiB
[startup+1863.2 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28413652/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2119296 memory=136852 CPUtime=1863.3 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273338 0 0 0 185976 354 0 0 20 0 1 0 217334760 2170159104 34213 33554432000 4194304 5849708 140720967681568 140720967680568 5438125 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 529824 34213 692 405 0 526769 0
Current children cumulated CPU time: 1863.3 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 136852 KiB
[startup+1863.6 s]
/proc/loadavg: 2.06 2.03 2.05 3/187 18883
/proc/meminfo: memFree=28413652/32770624 swapFree=67108804/67108860
[pid=18765] ppid=18762 vsize=2119296 memory=136852 CPUtime=1863.7 cores=1,3,5,7
/proc/18765/stat : 18765 (xcsp_picat) R 18762 18765 18221 0 -1 4202496 273338 0 0 0 186016 354 0 0 20 0 1 0 217334760 2170159104 34213 33554432000 4194304 5849708 140720967681568 140720967680568 140119832264583 0 0 4096 8389634 0 0 0 17 1 0 0 0 0 0 7949816 9394900 37523456 140720967685302 140720967685380 140720967685380 140720967688138 0
/proc/18765/statm: 529824 34213 692 405 0 526769 0
Current children cumulated CPU time: 1863.7 s
Current children cumulated vsize: 2119296 KiB
Current children cumulated memory: 136852 KiB
Child status: 0
Real time (s): 1863.7
CPU time (s): 1863.81
CPU user time (s): 1860.26
CPU system time (s): 3.54723
CPU usage (%): 100.006
Max. virtual memory (cumulated for all children) (KiB): 2329452
Max. memory (cumulated for all children) (KiB): 360616
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 1860.26
system time used= 3.54723
maximum resident set size= 360616
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 273376
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= 22
involuntary context switches= 604
# summary of solver processes directly reported to runsolver:
# pid: 18765
# total CPU time (s): 1863.81
# total CPU user time (s): 1860.26
# total CPU system time (s): 3.54723
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.22426 second user time and 13.1735 second system time
The end