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-4242721-1502064165/watcher-4242721-1502064165 -o /tmp/evaluation-result-4242721-1502064165/solver-4242721-1502064165 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1302254152 HOME/instance-4242721-1502064165.xml
pid=31578
running on 4 cores: 1,3,5,7
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.01 2.02 2.05 3/180 31581
/proc/meminfo: memFree=30222816/32770624 swapFree=0/348008
[pid=31581] ppid=31578 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/31581/stat : 31581 (runsolver) D 31578 31581 20633 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 8610212 24240128 107 18446744073709551615 4194304 4338465 140734691676688 140734691674328 139992640000727 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 13721600 140734691680395 140734691680842 140734691680842 140734691684298 0
/proc/31581/statm: 5918 107 54 36 0 2156 0
[startup+0.100155 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 31581
/proc/meminfo: memFree=30222816/32770624 swapFree=0/348008
[pid=31581] ppid=31578 vsize=30368 CPUtime=0.05 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 1373 0 0 0 5 0 0 0 20 0 1 0 8610212 31096832 1159 18446744073709551615 4194304 7402444 140726799363552 140726799360600 6140497 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 7592 1159 629 784 0 606 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 30368
[startup+0.200288 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 31581
/proc/meminfo: memFree=30222816/32770624 swapFree=0/348008
[pid=31581] ppid=31578 vsize=30696 CPUtime=0.15 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 1443 0 0 0 15 0 0 0 20 0 1 0 8610212 31432704 1225 18446744073709551615 4194304 7402444 140726799363552 140726799360600 5953126 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 7674 1225 632 784 0 688 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 30696
[startup+0.300263 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 31581
/proc/meminfo: memFree=30222816/32770624 swapFree=0/348008
[pid=31581] ppid=31578 vsize=31152 CPUtime=0.25 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 1575 0 0 0 25 0 0 0 20 0 1 0 8610212 31899648 1309 18446744073709551615 4194304 7402444 140726799363552 140726799360600 140594978687973 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 7788 1309 632 784 0 802 0
Current children cumulated CPU time (s) 0.25
Current children cumulated vsize (KiB) 31152
[startup+0.700276 s]
/proc/loadavg: 2.01 2.02 2.05 3/180 31581
/proc/meminfo: memFree=30222816/32770624 swapFree=0/348008
[pid=31581] ppid=31578 vsize=32328 CPUtime=0.65 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 2002 0 0 0 65 0 0 0 20 0 1 0 8610212 33103872 1650 18446744073709551615 4194304 7402444 140726799363552 140726799360600 140594978687973 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 8082 1650 632 784 0 1096 0
Current children cumulated CPU time (s) 0.65
Current children cumulated vsize (KiB) 32328
[startup+1.50026 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 31582
/proc/meminfo: memFree=30215932/32770624 swapFree=0/348016
[pid=31581] ppid=31578 vsize=36480 CPUtime=1.44 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 3232 0 0 0 144 0 0 0 20 0 1 0 8610212 37355520 2317 18446744073709551615 4194304 7402444 140726799363552 140726799356792 140594979126272 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 9120 2317 632 784 0 2134 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 36480
[startup+3.10023 s]
/proc/loadavg: 1.93 2.00 2.04 3/181 31582
/proc/meminfo: memFree=30212500/32770624 swapFree=0/348016
[pid=31581] ppid=31578 vsize=42984 CPUtime=3.04 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 5369 0 0 0 304 0 0 0 20 0 1 0 8610212 44015616 4120 18446744073709551615 4194304 7402444 140726799363552 140726799356792 5883666 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 10746 4120 632 784 0 3760 0
Current children cumulated CPU time (s) 3.04
Current children cumulated vsize (KiB) 42984
[startup+6.30022 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 31582
/proc/meminfo: memFree=30194392/32770624 swapFree=0/348020
[pid=31581] ppid=31578 vsize=56124 CPUtime=6.24 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 8039 0 0 0 623 1 0 0 20 0 1 0 8610212 57470976 6360 18446744073709551615 4194304 7402444 140726799363552 140726799356792 140594979126272 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 14031 6360 632 784 0 7045 0
Current children cumulated CPU time (s) 6.24
Current children cumulated vsize (KiB) 56124
[startup+12.7002 s]
/proc/loadavg: 1.94 2.00 2.04 3/181 31582
/proc/meminfo: memFree=30158376/32770624 swapFree=0/348020
[pid=31581] ppid=31578 vsize=108132 CPUtime=12.65 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 20647 0 0 0 1262 3 0 0 20 0 1 0 8610212 110727168 19997 18446744073709551615 4194304 7402444 140726799363552 140726799353576 6027702 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 27033 19997 733 784 0 20047 0
Current children cumulated CPU time (s) 12.65
Current children cumulated vsize (KiB) 108132
[startup+25.5002 s]
/proc/loadavg: 1.95 2.00 2.04 3/181 31583
/proc/meminfo: memFree=30043216/32770624 swapFree=0/348024
[pid=31581] ppid=31578 vsize=210044 CPUtime=25.44 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 65927 0 0 0 2539 5 0 0 20 0 1 0 8610212 215085056 45481 18446744073709551615 4194304 7402444 140726799363552 140726799353576 4731648 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 52511 45481 733 784 0 45525 0
Current children cumulated CPU time (s) 25.44
Current children cumulated vsize (KiB) 210044
[startup+51.1002 s]
/proc/loadavg: 1.97 2.00 2.04 3/181 31583
/proc/meminfo: memFree=29955884/32770624 swapFree=0/348024
[pid=31581] ppid=31578 vsize=299176 CPUtime=51.04 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 90983 0 0 0 5096 8 0 0 20 0 1 0 8610212 306356224 67696 18446744073709551615 4194304 7402444 140726799363552 140726799354104 140594979435252 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 74794 67696 733 784 0 67808 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 299176
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/184 31599
/proc/meminfo: memFree=29731680/32770624 swapFree=0/348100
[pid=31581] ppid=31578 vsize=520836 CPUtime=102.23 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 192466 0 0 0 10207 16 0 0 20 0 1 0 8610212 533336064 123130 18446744073709551615 4194304 7402444 140726799363552 140726799354104 5876684 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 130209 123130 733 784 0 123223 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 520836
[startup+162.3 s]
/proc/loadavg: 2.04 2.02 2.05 3/184 31601
/proc/meminfo: memFree=29569400/32770624 swapFree=0/348156
[pid=31581] ppid=31578 vsize=682460 CPUtime=162.24 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 233829 0 0 0 16202 22 0 0 20 0 1 0 8610212 698839040 163558 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731648 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 170615 163558 733 784 0 163629 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 682460
[startup+222.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 31603
/proc/meminfo: memFree=29449384/32770624 swapFree=0/348184
[pid=31581] ppid=31578 vsize=801792 CPUtime=222.23 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 265483 0 0 0 22197 26 0 0 20 0 1 0 8610212 821035008 193410 18446744073709551615 4194304 7402444 140726799363552 140726799354104 140594985173811 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 200448 193410 733 784 0 193462 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 801792
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31605
/proc/meminfo: memFree=29271924/32770624 swapFree=0/348216
[pid=31581] ppid=31578 vsize=979468 CPUtime=282.22 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 298469 0 0 0 28190 32 0 0 20 0 1 0 8610212 1002975232 237831 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 244867 237831 733 784 0 237881 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 979468
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 31607
/proc/meminfo: memFree=29169500/32770624 swapFree=0/348240
[pid=31581] ppid=31578 vsize=1082452 CPUtime=342.22 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 324510 0 0 0 34186 36 0 0 20 0 1 0 8610212 1108430848 263542 18446744073709551615 4194304 7402444 140726799363552 140726799354104 6047481 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 270613 263542 733 784 0 263627 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 1082452
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31610
/proc/meminfo: memFree=28839356/32770624 swapFree=0/348280
[pid=31581] ppid=31578 vsize=1411864 CPUtime=402.22 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 572481 0 0 0 40168 54 0 0 20 0 1 0 8610212 1445748736 345923 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731472 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 352966 345923 733 784 0 345980 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 1411864
[startup+462.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31612
/proc/meminfo: memFree=28839764/32770624 swapFree=0/348324
[pid=31581] ppid=31578 vsize=1411864 CPUtime=462.21 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 638903 0 0 0 46161 60 0 0 20 0 1 0 8610212 1445748736 345923 18446744073709551615 4194304 7402444 140726799363552 140726799354104 5925114 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 352966 345923 733 784 0 345980 0
Current children cumulated CPU time (s) 462.21
Current children cumulated vsize (KiB) 1411864
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31614
/proc/meminfo: memFree=28825264/32770624 swapFree=0/348356
[pid=31581] ppid=31578 vsize=1427032 CPUtime=522.2 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 663242 0 0 0 52158 62 0 0 20 0 1 0 8610212 1461280768 349715 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 356758 349715 733 784 0 349772 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 1427032
[startup+582.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 31617
/proc/meminfo: memFree=28759896/32770624 swapFree=0/348388
[pid=31581] ppid=31578 vsize=1492060 CPUtime=582.2 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 679379 0 0 0 58154 66 0 0 20 0 1 0 8610212 1527869440 365940 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731653 0 0 1 0 0 0 0 17 5 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 373015 365940 733 784 0 366029 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 1492060
################
# More data... #
################
[startup+1542.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 31709
/proc/meminfo: memFree=27928216/32770624 swapFree=0/348952
[pid=31581] ppid=31578 vsize=2321312 CPUtime=1542.14 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 839294 0 0 0 154120 94 0 0 20 0 1 0 8610212 2377023488 573268 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 580328 573268 733 784 0 573342 0
Current children cumulated CPU time (s) 1542.14
Current children cumulated vsize (KiB) 2321312
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31711
/proc/meminfo: memFree=27898172/32770624 swapFree=0/348988
[pid=31581] ppid=31578 vsize=2351716 CPUtime=1602.13 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 845817 0 0 0 160118 95 0 0 20 0 1 0 8610212 2408157184 580871 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 587929 580871 733 784 0 580943 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 2351716
[startup+1662.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31713
/proc/meminfo: memFree=27858296/32770624 swapFree=0/349016
[pid=31581] ppid=31578 vsize=2391332 CPUtime=1662.14 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 851573 0 0 0 166118 96 0 0 20 0 1 0 8610212 2448723968 590790 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731653 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 597833 590790 733 784 0 590847 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 2391332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31776
/proc/meminfo: memFree=29221220/32770624 swapFree=0/349072
[pid=31581] ppid=31578 vsize=2422880 CPUtime=1722.12 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 857631 0 0 0 172116 96 0 0 20 0 1 0 8610212 2481029120 598685 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731632 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 605720 598685 733 784 0 598734 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 2422880
[startup+1782.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31778
/proc/meminfo: memFree=28912080/32770624 swapFree=0/349140
[pid=31581] ppid=31578 vsize=2449760 CPUtime=1782.13 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 863841 0 0 0 178116 97 0 0 20 0 1 0 8610212 2508554240 605397 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 612440 605397 733 784 0 605454 0
Current children cumulated CPU time (s) 1782.13
Current children cumulated vsize (KiB) 2449760
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31780
/proc/meminfo: memFree=28640636/32770624 swapFree=0/349148
[pid=31581] ppid=31578 vsize=2487512 CPUtime=1842.12 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 871388 0 0 0 184114 98 0 0 20 0 1 0 8610212 2547212288 614801 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731632 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 621878 614801 733 784 0 614892 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 2487512
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31796
/proc/meminfo: memFree=28208148/32770624 swapFree=0/349216
[pid=31581] ppid=31578 vsize=2744876 CPUtime=1902.11 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 879771 0 0 0 190107 104 0 0 20 0 1 0 8610212 2810753024 679136 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731472 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 686219 679136 733 784 0 679233 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 2744876
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31798
/proc/meminfo: memFree=28059052/32770624 swapFree=0/349252
[pid=31581] ppid=31578 vsize=2783644 CPUtime=1962.1 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 888332 0 0 0 196105 105 0 0 20 0 1 0 8610212 2850451456 688873 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731648 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 695911 688873 733 784 0 688925 0
Current children cumulated CPU time (s) 1962.1
Current children cumulated vsize (KiB) 2783644
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31800
/proc/meminfo: memFree=27844516/32770624 swapFree=0/349288
[pid=31581] ppid=31578 vsize=2823096 CPUtime=2022.1 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 895187 0 0 0 202104 106 0 0 20 0 1 0 8610212 2890850304 698739 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 705774 698739 733 784 0 698788 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 2823096
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31802
/proc/meminfo: memFree=27385892/32770624 swapFree=0/349332
[pid=31581] ppid=31578 vsize=2900432 CPUtime=2082.1 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 903036 0 0 0 208102 108 0 0 20 0 1 0 8610212 2970042368 718071 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731632 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 725108 718071 733 784 0 718122 0
Current children cumulated CPU time (s) 2082.1
Current children cumulated vsize (KiB) 2900432
[startup+2142.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 31804
/proc/meminfo: memFree=27357316/32770624 swapFree=0/349348
[pid=31581] ppid=31578 vsize=2928828 CPUtime=2142.09 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 908083 0 0 0 214100 109 0 0 20 0 1 0 8610212 2999119872 725176 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 732207 725176 733 784 0 725221 0
Current children cumulated CPU time (s) 2142.09
Current children cumulated vsize (KiB) 2928828
[startup+2202.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 31807
/proc/meminfo: memFree=27327772/32770624 swapFree=0/349388
[pid=31581] ppid=31578 vsize=2957696 CPUtime=2202.09 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 913888 0 0 0 220099 110 0 0 20 0 1 0 8610212 3028680704 732363 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 739424 732363 733 784 0 732438 0
Current children cumulated CPU time (s) 2202.09
Current children cumulated vsize (KiB) 2957696
[startup+2262.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 31809
/proc/meminfo: memFree=27241476/32770624 swapFree=0/349420
[pid=31581] ppid=31578 vsize=2987656 CPUtime=2262.08 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 920348 0 0 0 226097 111 0 0 20 0 1 0 8610212 3059359744 739847 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731653 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 746914 739847 733 784 0 739928 0
Current children cumulated CPU time (s) 2262.08
Current children cumulated vsize (KiB) 2987656
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31811
/proc/meminfo: memFree=27149784/32770624 swapFree=0/349468
[pid=31581] ppid=31578 vsize=3012256 CPUtime=2322.08 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 925946 0 0 0 232096 112 0 0 20 0 1 0 8610212 3084550144 746035 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731653 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 753064 746035 733 784 0 746078 0
Current children cumulated CPU time (s) 2322.08
Current children cumulated vsize (KiB) 3012256
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 31814
/proc/meminfo: memFree=27063536/32770624 swapFree=0/349488
[pid=31581] ppid=31578 vsize=3037200 CPUtime=2382.08 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 931061 0 0 0 238095 113 0 0 20 0 1 0 8610212 3110092800 752262 18446744073709551615 4194304 7402444 140726799363552 140726799354104 4731639 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 759300 752262 733 784 0 752314 0
Current children cumulated CPU time (s) 2382.08
Current children cumulated vsize (KiB) 3037200
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 31814
/proc/meminfo: memFree=27026292/32770624 swapFree=0/349516
[pid=31581] ppid=31578 vsize=3049376 CPUtime=2400.08 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 932145 0 0 0 239894 114 0 0 20 0 1 0 8610212 3122561024 755316 18446744073709551615 4194304 7402444 140726799363552 140726799354104 5935291 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 762344 755316 733 784 0 755358 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 3049376
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 31581 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 31814
/proc/meminfo: memFree=27026292/32770624 swapFree=0/349516
[pid=31581] ppid=31578 vsize=3049376 CPUtime=2400.08 cores=1,3,5,7
/proc/31581/stat : 31581 (MistralXCSP) R 31578 31581 20633 0 -1 4202496 932145 0 0 0 239894 114 0 0 20 0 1 0 8610212 3122561024 755316 18446744073709551615 4194304 7402444 140726799363552 140726799354104 5935291 0 0 1 0 0 0 0 17 3 0 0 4 0 0 9500608 9505824 12939264 140726799364531 140726799364681 140726799364681 140726799368137 0
/proc/31581/statm: 762344 755316 733 784 0 755358 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 3049376
Child ended because it received signal 15 (SIGTERM)
Real time (s): 2400.32
CPU time (s): 2400.11
CPU user time (s): 2398.95
CPU system time (s): 1.16093
CPU usage (%): 99.9911
Max. virtual memory (cumulated for all children) (KiB): 3049376
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2398.95
system time used= 1.16093
maximum resident set size= 3021296
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 932145
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= 38
involuntary context switches= 1671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 4.70284 second user time and 12.2874 second system time
The end