runsolver Copyright (C) 2010-2013 Olivier ROUSSEL
This is runsolver version 3.3.7 (svn: 2553)
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.
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4242751-1500660245/watcher-4242751-1500660245 -o /tmp/evaluation-result-4242751-1500660245/solver-4242751-1500660245 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node102-1500648178-9872 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2097186914 HOME/instance-4242751-1500660245.xml
pid=11391
running on 8 cores: 1,3,5,7,9,11,13,15
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.02 2.02 2.05 2/244 11394
/proc/meminfo: memFree=31824768/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=29728 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1195 0 0 0 1 0 0 0 20 0 1 0 1294549 30441472 1000 33554432000 4194304 7402444 140736055645904 140736055639144 140569131363301 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 7432 1000 620 784 0 446 0
[startup+0.100128 s]
/proc/loadavg: 2.02 2.02 2.05 2/244 11394
/proc/meminfo: memFree=31824768/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=30824 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1513 0 0 0 9 0 0 0 20 0 1 0 1294549 31563776 1271 33554432000 4194304 7402444 140736055645904 140736055637144 140569131363301 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 7706 1271 631 784 0 720 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 30824
[startup+0.200263 s]
/proc/loadavg: 2.02 2.02 2.05 2/244 11394
/proc/meminfo: memFree=31824768/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=31736 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1841 0 0 0 19 0 0 0 20 0 1 0 1294549 32497664 1514 33554432000 4194304 7402444 140736055645904 140736055639144 140569131363301 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 7934 1514 631 784 0 948 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 31736
[startup+0.300221 s]
/proc/loadavg: 2.02 2.02 2.05 2/244 11394
/proc/meminfo: memFree=31824768/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=33164 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2312 0 0 0 29 0 0 0 20 0 1 0 1294549 33959936 1804 33554432000 4194304 7402444 140736055645904 140736055639144 140569131363301 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 8291 1804 631 784 0 1305 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 33164
[startup+0.700187 s]
/proc/loadavg: 2.02 2.02 2.05 2/244 11394
/proc/meminfo: memFree=31824768/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=37340 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3322 0 0 0 69 0 0 0 20 0 1 0 1294549 38236160 2898 33554432000 4194304 7402444 140736055645904 140736055639144 140569131801600 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 9335 2898 631 784 0 2349 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 37340
[startup+1.50026 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11395
/proc/meminfo: memFree=31578112/32770624 swapFree=5912/215388
[pid=11394] ppid=11391 vsize=526692 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 123669 0 0 0 135 14 0 0 20 0 1 0 1294549 539332608 125048 33554432000 4194304 7402444 140736055645904 140736055637240 140569131363301 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 131887 125048 657 784 0 124901 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 526692
[startup+3.10027 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11395
/proc/meminfo: memFree=30887624/32770624 swapFree=5912/215408
[pid=11394] ppid=11391 vsize=1498664 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 367400 0 0 0 267 42 0 0 20 0 1 0 1294549 1534631936 368274 33554432000 4194304 7402444 140736055645904 140736055636664 5283125 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 374666 368274 673 784 0 367680 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 1498664
[startup+6.30028 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11395
/proc/meminfo: memFree=30289160/32770624 swapFree=5912/215412
[pid=11394] ppid=11391 vsize=1590028 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 426645 0 0 0 583 46 0 0 20 0 1 0 1294549 1628188672 391235 33554432000 4194304 7402444 140736055645904 140736055640536 5327213 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 397507 391235 754 784 0 390521 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 1590028
[startup+12.7003 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11395
/proc/meminfo: memFree=30252912/32770624 swapFree=5912/215440
[pid=11394] ppid=11391 vsize=1596028 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 546708 0 0 0 1217 51 0 0 20 0 1 0 1294549 1634332672 392758 33554432000 4194304 7402444 140736055645904 140736055640440 5746100 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 399007 392758 765 784 0 392021 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 1596028
[startup+25.5004 s]
/proc/loadavg: 2.02 2.02 2.05 3/245 11395
/proc/meminfo: memFree=30251804/32770624 swapFree=5912/215448
[pid=11394] ppid=11391 vsize=1596856 CPUtime=25.47 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 724197 0 0 0 2489 58 0 0 20 0 1 0 1294549 1635180544 392968 33554432000 4194304 7402444 140736055645904 140736055640440 5754048 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 399214 392968 765 784 0 392228 0
Current children cumulated CPU time (s) 25.47
Current children cumulated vsize (KiB) 1596856
[startup+51.1004 s]
/proc/loadavg: 2.01 2.02 2.05 3/245 11395
/proc/meminfo: memFree=30250564/32770624 swapFree=5912/215456
[pid=11394] ppid=11391 vsize=1598572 CPUtime=51.07 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 997803 0 0 0 5036 71 0 0 20 0 1 0 1294549 1636937728 393393 33554432000 4194304 7402444 140736055645904 140736055640440 5754000 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 399643 393393 765 784 0 392657 0
Current children cumulated CPU time (s) 51.07
Current children cumulated vsize (KiB) 1598572
[startup+102.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/244 11396
/proc/meminfo: memFree=30237696/32770624 swapFree=5912/215500
[pid=11394] ppid=11391 vsize=1612088 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1289455 0 0 0 10141 84 0 0 20 0 1 0 1294549 1650778112 396791 33554432000 4194304 7402444 140736055645904 140736055640440 4484776 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403022 396791 765 784 0 396036 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 1612088
[startup+162.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/244 11397
/proc/meminfo: memFree=30235728/32770624 swapFree=5912/215536
[pid=11394] ppid=11391 vsize=1612088 CPUtime=162.21 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1477746 0 0 0 16130 91 0 0 20 0 1 0 1294549 1650778112 396791 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403022 396791 765 784 0 396036 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 1612088
[startup+222.308 s]
/proc/loadavg: 2.01 2.02 2.05 3/244 11398
/proc/meminfo: memFree=30236192/32770624 swapFree=5912/215576
[pid=11394] ppid=11391 vsize=1612088 CPUtime=222.19 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1710259 0 0 0 22117 102 0 0 20 0 1 0 1294549 1650778112 396791 33554432000 4194304 7402444 140736055645904 140736055640440 5754037 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403022 396791 765 784 0 396036 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 1612088
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11399
/proc/meminfo: memFree=30236408/32770624 swapFree=5912/215612
[pid=11394] ppid=11391 vsize=1612088 CPUtime=282.15 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 1911317 0 0 0 28105 110 0 0 20 0 1 0 1294549 1650778112 396791 33554432000 4194304 7402444 140736055645904 140736055640440 5753888 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403022 396791 765 784 0 396036 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 1612088
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/244 11400
/proc/meminfo: memFree=30236752/32770624 swapFree=5912/215656
[pid=11394] ppid=11391 vsize=1612088 CPUtime=342.11 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2088065 0 0 0 34094 117 0 0 20 0 1 0 1294549 1650778112 396791 33554432000 4194304 7402444 140736055645904 140736055640440 4248926 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403022 396791 765 784 0 396036 0
Current children cumulated CPU time (s) 342.11
Current children cumulated vsize (KiB) 1612088
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11408
/proc/meminfo: memFree=30235700/32770624 swapFree=5912/215680
[pid=11394] ppid=11391 vsize=1613408 CPUtime=402.09 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2268764 0 0 0 40083 126 0 0 20 0 1 0 1294549 1652129792 397099 33554432000 4194304 7402444 140736055645904 140736055640440 5754032 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403352 397099 765 784 0 396366 0
Current children cumulated CPU time (s) 402.09
Current children cumulated vsize (KiB) 1613408
[startup+462.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/243 11409
/proc/meminfo: memFree=30234448/32770624 swapFree=5912/215716
[pid=11394] ppid=11391 vsize=1614596 CPUtime=462.05 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2420162 0 0 0 46073 132 0 0 20 0 1 0 1294549 1653346304 397409 33554432000 4194304 7402444 140736055645904 140736055640440 5754016 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403649 397409 765 784 0 396663 0
Current children cumulated CPU time (s) 462.05
Current children cumulated vsize (KiB) 1614596
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11410
/proc/meminfo: memFree=30234412/32770624 swapFree=5912/215752
[pid=11394] ppid=11391 vsize=1614596 CPUtime=522.01 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2535443 0 0 0 52066 135 0 0 20 0 1 0 1294549 1653346304 397411 33554432000 4194304 7402444 140736055645904 140736055640440 5746100 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403649 397411 765 784 0 396663 0
Current children cumulated CPU time (s) 522.01
Current children cumulated vsize (KiB) 1614596
[startup+582.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11411
/proc/meminfo: memFree=30234732/32770624 swapFree=5912/215792
[pid=11394] ppid=11391 vsize=1614596 CPUtime=581.98 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 2669922 0 0 0 58055 143 0 0 20 0 1 0 1294549 1653346304 397411 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 403649 397411 765 784 0 396663 0
Current children cumulated CPU time (s) 581.98
Current children cumulated vsize (KiB) 1614596
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.01 2.05 3/243 11510
/proc/meminfo: memFree=23890040/32770624 swapFree=5912/216512
[pid=11394] ppid=11391 vsize=1616708 CPUtime=1541.49 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3195064 0 0 0 153980 169 0 0 20 0 1 0 1294549 1655508992 397942 33554432000 4194304 7402444 140736055645904 140736055640440 5750720 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404177 397942 765 784 0 397191 0
Current children cumulated CPU time (s) 1541.49
Current children cumulated vsize (KiB) 1616708
[startup+1602.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/243 11518
/proc/meminfo: memFree=23890960/32770624 swapFree=5912/216548
[pid=11394] ppid=11391 vsize=1616708 CPUtime=1601.45 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3196357 0 0 0 159976 169 0 0 20 0 1 0 1294549 1655508992 397942 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404177 397942 765 784 0 397191 0
Current children cumulated CPU time (s) 1601.45
Current children cumulated vsize (KiB) 1616708
[startup+1662.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11519
/proc/meminfo: memFree=23890808/32770624 swapFree=5912/216588
[pid=11394] ppid=11391 vsize=1616708 CPUtime=1661.42 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3197431 0 0 0 165973 169 0 0 20 0 1 0 1294549 1655508992 397942 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404177 397942 765 784 0 397191 0
Current children cumulated CPU time (s) 1661.42
Current children cumulated vsize (KiB) 1616708
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11520
/proc/meminfo: memFree=23891016/32770624 swapFree=5912/216624
[pid=11394] ppid=11391 vsize=1616708 CPUtime=1721.4 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3198513 0 0 0 171970 170 0 0 20 0 1 0 1294549 1655508992 397942 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404177 397942 765 784 0 397191 0
Current children cumulated CPU time (s) 1721.4
Current children cumulated vsize (KiB) 1616708
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11521
/proc/meminfo: memFree=23890720/32770624 swapFree=5912/216660
[pid=11394] ppid=11391 vsize=1616708 CPUtime=1781.37 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3199594 0 0 0 177967 170 0 0 20 0 1 0 1294549 1655508992 397942 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404177 397942 765 784 0 397191 0
Current children cumulated CPU time (s) 1781.37
Current children cumulated vsize (KiB) 1616708
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11522
/proc/meminfo: memFree=23890856/32770624 swapFree=5912/216708
[pid=11394] ppid=11391 vsize=1616840 CPUtime=1841.34 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3200739 0 0 0 183964 170 0 0 20 0 1 0 1294549 1655644160 397980 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404210 397980 765 784 0 397224 0
Current children cumulated CPU time (s) 1841.34
Current children cumulated vsize (KiB) 1616840
[startup+1902.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11523
/proc/meminfo: memFree=23890964/32770624 swapFree=5912/216732
[pid=11394] ppid=11391 vsize=1616840 CPUtime=1901.31 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3201748 0 0 0 189961 170 0 0 20 0 1 0 1294549 1655644160 397980 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404210 397980 765 784 0 397224 0
Current children cumulated CPU time (s) 1901.31
Current children cumulated vsize (KiB) 1616840
[startup+1962.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/243 11524
/proc/meminfo: memFree=23890956/32770624 swapFree=5912/216764
[pid=11394] ppid=11391 vsize=1616972 CPUtime=1961.28 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3203020 0 0 0 195958 170 0 0 20 0 1 0 1294549 1655779328 398002 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404243 398002 765 784 0 397257 0
Current children cumulated CPU time (s) 1961.28
Current children cumulated vsize (KiB) 1616972
[startup+2022.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11525
/proc/meminfo: memFree=23889224/32770624 swapFree=5912/216800
[pid=11394] ppid=11391 vsize=1618292 CPUtime=2021.24 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3204496 0 0 0 201954 170 0 0 20 0 1 0 1294549 1657131008 398324 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404573 398324 765 784 0 397587 0
Current children cumulated CPU time (s) 2021.24
Current children cumulated vsize (KiB) 1618292
[startup+2082.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/243 11526
/proc/meminfo: memFree=23889636/32770624 swapFree=5912/216840
[pid=11394] ppid=11391 vsize=1618292 CPUtime=2081.22 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3205955 0 0 0 207952 170 0 0 20 0 1 0 1294549 1657131008 398324 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404573 398324 765 784 0 397587 0
Current children cumulated CPU time (s) 2081.22
Current children cumulated vsize (KiB) 1618292
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/243 11527
/proc/meminfo: memFree=23889284/32770624 swapFree=5912/216868
[pid=11394] ppid=11391 vsize=1618952 CPUtime=2141.18 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3207595 0 0 0 213948 170 0 0 20 0 1 0 1294549 1657806848 398500 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404738 398500 765 784 0 397752 0
Current children cumulated CPU time (s) 2141.18
Current children cumulated vsize (KiB) 1618952
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/243 11535
/proc/meminfo: memFree=23888312/32770624 swapFree=5912/216868
[pid=11394] ppid=11391 vsize=1619084 CPUtime=2201.16 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3209163 0 0 0 219946 170 0 0 20 0 1 0 1294549 1657942016 398514 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 404771 398514 765 784 0 397785 0
Current children cumulated CPU time (s) 2201.16
Current children cumulated vsize (KiB) 1619084
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11536
/proc/meminfo: memFree=23886284/32770624 swapFree=5912/216916
[pid=11394] ppid=11391 vsize=1620140 CPUtime=2261.13 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3211005 0 0 0 225942 171 0 0 20 0 1 0 1294549 1659023360 398792 33554432000 4194304 7402444 140736055645904 140736055640440 4484598 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 405035 398792 765 784 0 398049 0
Current children cumulated CPU time (s) 2261.13
Current children cumulated vsize (KiB) 1620140
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11537
/proc/meminfo: memFree=23878632/32770624 swapFree=5912/216916
[pid=11394] ppid=11391 vsize=1627868 CPUtime=2321.1 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3215128 0 0 0 231939 171 0 0 20 0 1 0 1294549 1666936832 400716 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 406967 400716 765 784 0 399981 0
Current children cumulated CPU time (s) 2321.1
Current children cumulated vsize (KiB) 1627868
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11538
/proc/meminfo: memFree=23878400/32770624 swapFree=5912/217004
[pid=11394] ppid=11391 vsize=1627868 CPUtime=2381.08 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3218844 0 0 0 237936 172 0 0 20 0 1 0 1294549 1666936832 400716 33554432000 4194304 7402444 140736055645904 140736055640440 4484558 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 406967 400716 765 784 0 399981 0
Current children cumulated CPU time (s) 2381.08
Current children cumulated vsize (KiB) 1627868
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11538
/proc/meminfo: memFree=23878148/32770624 swapFree=5912/217004
[pid=11394] ppid=11391 vsize=1627868 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3220951 0 0 0 239835 172 0 0 20 0 1 0 1294549 1666936832 400716 33554432000 4194304 7402444 140736055645904 140736055640440 5750474 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 406967 400716 765 784 0 399981 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1627868
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
Solver just ended.
??? exit watcher main loop
??? sigkill at end of watcher main loop
??? kill 11394 sig 9
??? kill -11394 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/243 11538
/proc/meminfo: memFree=23878148/32770624 swapFree=5912/217004
[pid=11394] ppid=11391 vsize=1627868 CPUtime=2400.07 cores=1,3,5,7,9,11,13,15
/proc/11394/stat : 11394 (MistralXCSP) R 11391 11394 9838 0 -1 4202496 3220951 0 0 0 239835 172 0 0 20 0 1 0 1294549 1666936832 400716 33554432000 4194304 7402444 140736055645904 140736055640440 5750474 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 27017216 140736055649448 140736055649598 140736055649598 140736055652297 0
/proc/11394/statm: 406967 400716 765 784 0 399981 0
Current children cumulated CPU time (s) 2400.07
Current children cumulated vsize (KiB) 1627868
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.09
CPU user time (s): 2398.36
CPU system time (s): 1.72715
CPU usage (%): 99.9489
Max. virtual memory (cumulated for all children) (KiB): 1627868
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.36
system time used= 1.72715
maximum resident set size= 1602888
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 3220989
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= 67
involuntary context switches= 120742
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.60429 second user time and 13.344 second system time
The end