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-4261675-1502365025/watcher-4261675-1502365025 -o /tmp/evaluation-result-4261675-1502365025/solver-4261675-1502365025 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8161 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 272308434 HOME/instance-4261675-1502365025.xml
pid=13207
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 13210
/proc/meminfo: memFree=30544752/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13210/stat : 13210 (runsolver) D 13207 13210 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 38696003 24240128 106 18446744073709551615 4194304 4338465 140722155993360 140722155991000 139776655880919 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 38432768 140722155995277 140722155995722 140722155995722 140722155999178 0
/proc/13210/statm: 5918 106 53 36 0 2156 0
[startup+0.100197 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 13210
/proc/meminfo: memFree=30544752/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=29176 CPUtime=0.02 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1037 0 0 0 2 0 0 0 20 0 1 0 38696003 29876224 868 18446744073709551615 4194304 7396336 140731703059952 140731703056952 5955106 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 7294 868 630 782 0 310 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 29176
[startup+0.20033 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 13210
/proc/meminfo: memFree=30544752/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=30148 CPUtime=0.12 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1413 0 0 0 12 0 0 0 20 0 1 0 38696003 30871552 1086 18446744073709551615 4194304 7396336 140731703059952 140731703056952 5881326 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 7537 1086 630 782 0 553 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 30148
[startup+0.300319 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 13210
/proc/meminfo: memFree=30544752/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=31576 CPUtime=0.22 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1856 0 0 0 22 0 0 0 20 0 1 0 38696003 32333824 1310 18446744073709551615 4194304 7396336 140731703059952 140731703056952 5882724 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 7894 1310 630 782 0 910 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 31576
[startup+0.700342 s]
/proc/loadavg: 2.04 2.01 2.05 3/181 13210
/proc/meminfo: memFree=30544752/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=154288 CPUtime=0.61 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 32779 0 0 0 58 3 0 0 20 0 1 0 38696003 157990912 31854 18446744073709551615 4194304 7396336 140731703059952 140731703056952 139720517650336 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 38572 31854 647 782 0 31588 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 154288
[startup+1.50034 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 13211
/proc/meminfo: memFree=30161704/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=463788 CPUtime=1.42 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 110953 0 0 0 131 11 0 0 20 0 1 0 38696003 474918912 109567 18446744073709551615 4194304 7396336 140731703059952 140731703056952 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109567 647 782 0 108963 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 463788
[startup+3.10035 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 13211
/proc/meminfo: memFree=30106324/32770624 swapFree=0/525648
[pid=13210] ppid=13207 vsize=463788 CPUtime=3.02 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 145206 0 0 0 290 12 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703056952 5792248 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 463788
[startup+6.30035 s]
/proc/loadavg: 2.04 2.01 2.05 3/182 13211
/proc/meminfo: memFree=30104984/32770624 swapFree=0/525852
[pid=13210] ppid=13207 vsize=463788 CPUtime=6.22 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 201148 0 0 0 607 15 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792023 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 6.22
Current children cumulated vsize (KiB) 463788
[startup+12.7004 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 13211
/proc/meminfo: memFree=30103868/32770624 swapFree=0/525852
[pid=13210] ppid=13207 vsize=463788 CPUtime=12.62 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 257024 0 0 0 1244 18 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792043 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 463788
[startup+25.5004 s]
/proc/loadavg: 2.03 2.01 2.05 3/182 13212
/proc/meminfo: memFree=29914416/32770624 swapFree=0/525860
[pid=13210] ppid=13207 vsize=463788 CPUtime=25.42 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 296170 0 0 0 2522 20 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253003 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 463788
[startup+51.1004 s]
/proc/loadavg: 2.02 2.01 2.05 3/182 13212
/proc/meminfo: memFree=29820056/32770624 swapFree=0/525860
[pid=13210] ppid=13207 vsize=463788 CPUtime=51.02 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 356550 0 0 0 5079 23 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792000 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 463788
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 13214
/proc/meminfo: memFree=29796960/32770624 swapFree=0/525876
[pid=13210] ppid=13207 vsize=463788 CPUtime=102.22 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 402511 0 0 0 10197 25 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253003 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 102.22
Current children cumulated vsize (KiB) 463788
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13218
/proc/meminfo: memFree=29769960/32770624 swapFree=0/525888
[pid=13210] ppid=13207 vsize=463788 CPUtime=162.21 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 446591 0 0 0 16194 27 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 463788
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13220
/proc/meminfo: memFree=29749100/32770624 swapFree=0/525900
[pid=13210] ppid=13207 vsize=463788 CPUtime=222.22 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 475243 0 0 0 22193 29 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253003 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 463788
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13222
/proc/meminfo: memFree=29726464/32770624 swapFree=0/525896
[pid=13210] ppid=13207 vsize=463788 CPUtime=282.2 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 519727 0 0 0 28189 31 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792074 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 463788
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 13225
/proc/meminfo: memFree=29721596/32770624 swapFree=0/525916
[pid=13210] ppid=13207 vsize=463788 CPUtime=342.21 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 555091 0 0 0 34187 34 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792043 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 463788
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 13227
/proc/meminfo: memFree=29721580/32770624 swapFree=0/525908
[pid=13210] ppid=13207 vsize=463788 CPUtime=402.2 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 597356 0 0 0 40184 36 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 463788
[startup+462.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/184 13243
/proc/meminfo: memFree=29700508/32770624 swapFree=0/525932
[pid=13210] ppid=13207 vsize=463788 CPUtime=462.2 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 629800 0 0 0 46182 38 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792270 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 463788
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 13245
/proc/meminfo: memFree=29684292/32770624 swapFree=0/525928
[pid=13210] ppid=13207 vsize=463788 CPUtime=522.2 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 660124 0 0 0 52180 40 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 463788
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13247
/proc/meminfo: memFree=29686424/32770624 swapFree=0/525936
[pid=13210] ppid=13207 vsize=463788 CPUtime=582.19 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 705728 0 0 0 58177 42 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792023 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 582.19
Current children cumulated vsize (KiB) 463788
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13295
/proc/meminfo: memFree=29064384/32770624 swapFree=0/526084
[pid=13210] ppid=13207 vsize=463788 CPUtime=1602.12 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1006974 0 0 0 160154 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253003 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1602.12
Current children cumulated vsize (KiB) 463788
[startup+1662.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/185 13312
/proc/meminfo: memFree=29059264/32770624 swapFree=0/526100
[pid=13210] ppid=13207 vsize=463788 CPUtime=1662.12 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1007269 0 0 0 166154 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 463788
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 13314
/proc/meminfo: memFree=29041260/32770624 swapFree=0/526136
[pid=13210] ppid=13207 vsize=463788 CPUtime=1722.12 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1007599 0 0 0 172154 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792027 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 463788
[startup+1782.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 13316
/proc/meminfo: memFree=29035480/32770624 swapFree=0/526148
[pid=13210] ppid=13207 vsize=463788 CPUtime=1782.12 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1007996 0 0 0 178154 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 463788
[startup+1842.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 13318
/proc/meminfo: memFree=29030672/32770624 swapFree=0/526156
[pid=13210] ppid=13207 vsize=463788 CPUtime=1842.11 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1008333 0 0 0 184153 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1842.11
Current children cumulated vsize (KiB) 463788
[startup+1902.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 13320
/proc/meminfo: memFree=29026564/32770624 swapFree=0/526172
[pid=13210] ppid=13207 vsize=463788 CPUtime=1902.11 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1008642 0 0 0 190153 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 463788
[startup+1962.3 s]
/proc/loadavg: 2.07 2.05 2.05 3/181 13323
/proc/meminfo: memFree=29025784/32770624 swapFree=0/526188
[pid=13210] ppid=13207 vsize=463788 CPUtime=1962.11 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1008920 0 0 0 196153 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 463788
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 13325
/proc/meminfo: memFree=29026172/32770624 swapFree=0/526196
[pid=13210] ppid=13207 vsize=463788 CPUtime=2022.1 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1009300 0 0 0 202152 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253010 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2022.1
Current children cumulated vsize (KiB) 463788
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/181 13327
/proc/meminfo: memFree=29025188/32770624 swapFree=0/526212
[pid=13210] ppid=13207 vsize=463788 CPUtime=2082.11 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1009617 0 0 0 208153 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792078 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 463788
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/181 13330
/proc/meminfo: memFree=29024348/32770624 swapFree=0/526228
[pid=13210] ppid=13207 vsize=463788 CPUtime=2142.1 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1009981 0 0 0 214152 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792043 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 463788
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 13332
/proc/meminfo: memFree=29014060/32770624 swapFree=0/526232
[pid=13210] ppid=13207 vsize=463788 CPUtime=2202.1 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1010286 0 0 0 220152 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253010 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 463788
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 13349
/proc/meminfo: memFree=29008556/32770624 swapFree=0/526260
[pid=13210] ppid=13207 vsize=463788 CPUtime=2262.09 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1010619 0 0 0 226151 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 4253040 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2262.09
Current children cumulated vsize (KiB) 463788
[startup+2322.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 13376
/proc/meminfo: memFree=29006048/32770624 swapFree=0/526316
[pid=13210] ppid=13207 vsize=463788 CPUtime=2322.09 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1010933 0 0 0 232151 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 463788
[startup+2382.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/186 13378
/proc/meminfo: memFree=29006084/32770624 swapFree=0/526332
[pid=13210] ppid=13207 vsize=463788 CPUtime=2382.09 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1011249 0 0 0 238151 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792043 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 463788
[startup+2442.3 s]
/proc/loadavg: 1.95 2.00 2.04 3/183 13441
/proc/meminfo: memFree=30847348/32770624 swapFree=0/526364
[pid=13210] ppid=13207 vsize=463788 CPUtime=2442.08 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1011620 0 0 0 244150 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792016 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2442.08
Current children cumulated vsize (KiB) 463788
[startup+2502.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/183 13443
/proc/meminfo: memFree=30847472/32770624 swapFree=0/526364
[pid=13210] ppid=13207 vsize=463788 CPUtime=2502.08 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1011880 0 0 0 250150 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 463788
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 1.99 2.00 2.04 3/183 13443
/proc/meminfo: memFree=30847348/32770624 swapFree=0/526360
[pid=13210] ppid=13207 vsize=463788 CPUtime=2519.78 cores=0,2,4,6
/proc/13210/stat : 13210 (MistralXCSP) R 13207 13210 16590 0 -1 4202496 1011929 0 0 0 251920 58 0 0 20 0 1 0 38696003 474918912 109600 18446744073709551615 4194304 7396336 140731703059952 140731703055304 5792030 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 35160064 140731703067060 140731703067209 140731703067209 140731703070665 0
/proc/13210/statm: 115947 109600 677 782 0 108963 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 463788
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 13210 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2520
CPU time (s): 2519.79
CPU user time (s): 2519.2
CPU system time (s): 0.584974
CPU usage (%): 99.9916
Max. virtual memory (cumulated for all children) (KiB): 463788
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.2
system time used= 0.584974
maximum resident set size= 439992
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 1011967
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= 65
involuntary context switches= 633
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.46621 second user time and 10.7718 second system time
The end