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-4261142-1502337009/watcher-4261142-1502337009 -o /tmp/evaluation-result-4261142-1502337009/solver-4261142-1502337009 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node125-1502331121-20548 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1453243391 HOME/instance-4261142-1502337009.xml
pid=21108
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
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.92 2.00 1.99 2/176 21111
/proc/meminfo: memFree=31386756/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/21111/stat : 21111 (runsolver) D 21108 21111 4057 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 35921703 24240128 108 18446744073709551615 4194304 4338465 140727778078256 140727778075896 139696258200279 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12664832 140727778087051 140727778087498 140727778087498 140727778090954 0
/proc/21111/statm: 5918 108 54 36 0 2156 0
[startup+0.100149 s]
/proc/loadavg: 1.92 2.00 1.99 2/176 21111
/proc/meminfo: memFree=31386756/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=29192 CPUtime=0.03 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 1158 0 0 0 3 0 0 0 20 0 1 0 35921703 29892608 934 18446744073709551615 4194304 7396336 140736497857344 140736497854344 6034720 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 7298 1000 710 782 0 314 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 29192
[startup+0.200249 s]
/proc/loadavg: 1.92 2.00 1.99 2/176 21111
/proc/meminfo: memFree=31386756/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=29324 CPUtime=0.13 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 1205 0 0 0 13 0 0 0 20 0 1 0 35921703 30027776 1000 18446744073709551615 4194304 7396336 140736497857344 140736497854344 6144146 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 7331 1000 710 782 0 347 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 29324
[startup+0.300242 s]
/proc/loadavg: 1.92 2.00 1.99 2/176 21111
/proc/meminfo: memFree=31386756/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=29464 CPUtime=0.23 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 1233 0 0 0 23 0 0 0 20 0 1 0 35921703 30171136 1066 18446744073709551615 4194304 7396336 140736497857344 140736497854344 139804448313247 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 7366 1066 716 782 0 382 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 29464
[startup+0.700221 s]
/proc/loadavg: 1.92 2.00 1.99 2/176 21111
/proc/meminfo: memFree=31386756/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=30148 CPUtime=0.63 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 1410 0 0 0 63 0 0 0 20 0 1 0 35921703 30871552 1187 18446744073709551615 4194304 7396336 140736497857344 140736497847464 6072520 0 0 1 0 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 7537 1187 717 782 0 553 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 30148
[startup+1.50023 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 21135
/proc/meminfo: memFree=31375748/32770624 swapFree=0/469188
[pid=21111] ppid=21108 vsize=37964 CPUtime=1.43 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 3512 0 0 0 143 0 0 0 20 0 1 0 35921703 38875136 3210 18446744073709551615 4194304 7396336 140736497857344 140736497847464 5609008 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 9491 3210 763 782 0 2507 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 37964
[startup+3.10022 s]
/proc/loadavg: 1.92 2.00 1.99 3/181 21135
/proc/meminfo: memFree=31368964/32770624 swapFree=0/469232
[pid=21111] ppid=21108 vsize=38096 CPUtime=3.03 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 5399 0 0 0 303 0 0 0 20 0 1 0 35921703 39010304 3269 18446744073709551615 4194304 7396336 140736497857344 140736497851928 4581576 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 9524 3269 768 782 0 2540 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 38096
[startup+6.30023 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 21135
/proc/meminfo: memFree=31368640/32770624 swapFree=0/469160
[pid=21111] ppid=21108 vsize=38096 CPUtime=6.23 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 7291 0 0 0 623 0 0 0 20 0 1 0 35921703 39010304 3270 18446744073709551615 4194304 7396336 140736497857344 140736497851928 4249442 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 9524 3270 768 782 0 2540 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 38096
[startup+12.7002 s]
/proc/loadavg: 1.93 2.00 1.99 3/181 21135
/proc/meminfo: memFree=31366656/32770624 swapFree=0/469152
[pid=21111] ppid=21108 vsize=38096 CPUtime=12.63 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 9174 0 0 0 1263 0 0 0 20 0 1 0 35921703 39010304 3273 18446744073709551615 4194304 7396336 140736497857344 140736497851928 5575952 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 9524 3273 768 782 0 2540 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 38096
[startup+25.5003 s]
/proc/loadavg: 2.02 2.01 1.99 3/181 21135
/proc/meminfo: memFree=31364744/32770624 swapFree=0/469148
[pid=21111] ppid=21108 vsize=38096 CPUtime=25.43 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 12945 0 0 0 2543 0 0 0 20 0 1 0 35921703 39010304 3273 18446744073709551615 4194304 7396336 140736497857344 140736497851928 4581459 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 9524 3273 768 782 0 2540 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 38096
[startup+51.1003 s]
/proc/loadavg: 2.02 2.01 1.99 3/181 21136
/proc/meminfo: memFree=31359688/32770624 swapFree=0/469140
[pid=21111] ppid=21108 vsize=43228 CPUtime=51.04 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 16591 0 0 0 5103 1 0 0 20 0 1 0 35921703 44265472 4540 18446744073709551615 4194304 7396336 140736497857344 140736497852360 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 10807 4540 771 782 0 3823 0
Current children cumulated CPU time (s) 51.04
Current children cumulated vsize (KiB) 43228
[startup+102.3 s]
/proc/loadavg: 2.01 2.01 1.99 3/181 21138
/proc/meminfo: memFree=31356216/32770624 swapFree=0/469140
[pid=21111] ppid=21108 vsize=45340 CPUtime=102.24 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 17798 0 0 0 10223 1 0 0 20 0 1 0 35921703 46428160 5064 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4582143 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11335 5064 771 782 0 4351 0
Current children cumulated CPU time (s) 102.24
Current children cumulated vsize (KiB) 45340
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21140
/proc/meminfo: memFree=31355676/32770624 swapFree=0/469168
[pid=21111] ppid=21108 vsize=45736 CPUtime=162.24 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 18693 0 0 0 16223 1 0 0 20 0 1 0 35921703 46833664 5176 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5609143 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11434 5176 771 782 0 4450 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45736
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21142
/proc/meminfo: memFree=31355668/32770624 swapFree=0/469192
[pid=21111] ppid=21108 vsize=45736 CPUtime=222.25 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 19527 0 0 0 22224 1 0 0 20 0 1 0 35921703 46833664 5193 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5609280 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11434 5193 771 782 0 4450 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45736
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/184 21158
/proc/meminfo: memFree=31350576/32770624 swapFree=0/469240
[pid=21111] ppid=21108 vsize=45868 CPUtime=282.25 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 19546 0 0 0 28224 1 0 0 20 0 1 0 35921703 46968832 5228 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4581650 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5228 771 782 0 4483 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 45868
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21160
/proc/meminfo: memFree=31352772/32770624 swapFree=0/469264
[pid=21111] ppid=21108 vsize=45868 CPUtime=342.26 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 20385 0 0 0 34225 1 0 0 20 0 1 0 35921703 46968832 5228 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5609008 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5228 771 782 0 4483 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 45868
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21162
/proc/meminfo: memFree=31353740/32770624 swapFree=0/469276
[pid=21111] ppid=21108 vsize=45868 CPUtime=402.26 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 20397 0 0 0 40225 1 0 0 20 0 1 0 35921703 46968832 5228 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5608763 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5228 771 782 0 4483 0
Current children cumulated CPU time (s) 402.26
Current children cumulated vsize (KiB) 45868
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21164
/proc/meminfo: memFree=31354216/32770624 swapFree=0/469288
[pid=21111] ppid=21108 vsize=45868 CPUtime=462.28 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 21250 0 0 0 46226 2 0 0 20 0 1 0 35921703 46968832 5234 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4320953 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5234 771 782 0 4483 0
Current children cumulated CPU time (s) 462.28
Current children cumulated vsize (KiB) 45868
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21166
/proc/meminfo: memFree=31353544/32770624 swapFree=0/469312
[pid=21111] ppid=21108 vsize=45868 CPUtime=522.28 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 21250 0 0 0 52226 2 0 0 20 0 1 0 35921703 46968832 5234 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5608763 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5234 771 782 0 4483 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 45868
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 21168
/proc/meminfo: memFree=31353404/32770624 swapFree=0/469328
[pid=21111] ppid=21108 vsize=45868 CPUtime=582.29 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 22105 0 0 0 58227 2 0 0 20 0 1 0 35921703 46968832 5239 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4406471 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11467 5239 771 782 0 4483 0
Current children cumulated CPU time (s) 582.29
Current children cumulated vsize (KiB) 45868
################
# More data... #
################
[startup+1662.3 s]
/proc/loadavg: 2.01 2.03 2.02 3/181 21259
/proc/meminfo: memFree=31352288/32770624 swapFree=0/469624
[pid=21111] ppid=21108 vsize=46132 CPUtime=1662.4 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 30565 0 0 0 166238 2 0 0 20 0 1 0 35921703 47239168 5307 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4581684 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11533 5307 771 782 0 4549 0
Current children cumulated CPU time (s) 1662.4
Current children cumulated vsize (KiB) 46132
[startup+1722.3 s]
/proc/loadavg: 2.05 2.04 2.02 3/181 21261
/proc/meminfo: memFree=31352420/32770624 swapFree=0/469644
[pid=21111] ppid=21108 vsize=46132 CPUtime=1722.4 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 30565 0 0 0 172238 2 0 0 20 0 1 0 35921703 47239168 5307 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4257837 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11533 5307 771 782 0 4549 0
Current children cumulated CPU time (s) 1722.4
Current children cumulated vsize (KiB) 46132
[startup+1782.3 s]
/proc/loadavg: 2.02 2.03 2.02 3/181 21263
/proc/meminfo: memFree=31352428/32770624 swapFree=0/469648
[pid=21111] ppid=21108 vsize=46132 CPUtime=1782.41 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 31501 0 0 0 178239 2 0 0 20 0 1 0 35921703 47239168 5312 18446744073709551615 4194304 7396336 140736497857344 140736497851688 5608736 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11533 5312 771 782 0 4549 0
Current children cumulated CPU time (s) 1782.41
Current children cumulated vsize (KiB) 46132
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/181 21265
/proc/meminfo: memFree=31352188/32770624 swapFree=0/469652
[pid=21111] ppid=21108 vsize=46132 CPUtime=1842.42 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 31507 0 0 0 184240 2 0 0 20 0 1 0 35921703 47239168 5312 18446744073709551615 4194304 7396336 140736497857344 140736497851688 4257837 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11533 5312 771 782 0 4549 0
Current children cumulated CPU time (s) 1842.42
Current children cumulated vsize (KiB) 46132
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.02 3/181 21267
/proc/meminfo: memFree=31352328/32770624 swapFree=0/469672
[pid=21111] ppid=21108 vsize=46264 CPUtime=1902.42 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 32442 0 0 0 190240 2 0 0 20 0 1 0 35921703 47374336 5316 18446744073709551615 4194304 7396336 140736497857344 140736497851784 5165805 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5316 771 782 0 4582 0
Current children cumulated CPU time (s) 1902.42
Current children cumulated vsize (KiB) 46264
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 21269
/proc/meminfo: memFree=31352204/32770624 swapFree=0/469692
[pid=21111] ppid=21108 vsize=46264 CPUtime=1962.43 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 32457 0 0 0 196241 2 0 0 20 0 1 0 35921703 47374336 5316 18446744073709551615 4194304 7396336 140736497857344 140736497851784 4222880 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5316 771 782 0 4582 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 46264
[startup+2022.3 s]
/proc/loadavg: 2.08 2.03 2.03 3/181 21271
/proc/meminfo: memFree=31352464/32770624 swapFree=0/469708
[pid=21111] ppid=21108 vsize=46264 CPUtime=2022.43 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 33393 0 0 0 202241 2 0 0 20 0 1 0 35921703 47374336 5317 18446744073709551615 4194304 7396336 140736497857344 140736497851784 5586528 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5317 771 782 0 4582 0
Current children cumulated CPU time (s) 2022.43
Current children cumulated vsize (KiB) 46264
[startup+2082.3 s]
/proc/loadavg: 2.03 2.02 2.03 3/184 21287
/proc/meminfo: memFree=31348560/32770624 swapFree=0/469732
[pid=21111] ppid=21108 vsize=46264 CPUtime=2082.45 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 33406 0 0 0 208243 2 0 0 20 0 1 0 35921703 47374336 5317 18446744073709551615 4194304 7396336 140736497857344 140736497851784 5608968 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5317 771 782 0 4582 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 46264
[startup+2142.3 s]
/proc/loadavg: 2.01 2.02 2.03 3/181 21289
/proc/meminfo: memFree=31351284/32770624 swapFree=0/469740
[pid=21111] ppid=21108 vsize=46264 CPUtime=2142.45 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 34347 0 0 0 214243 2 0 0 20 0 1 0 35921703 47374336 5320 18446744073709551615 4194304 7396336 140736497857344 140736497851784 5608763 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5320 771 782 0 4582 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 46264
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 21291
/proc/meminfo: memFree=31351644/32770624 swapFree=0/469744
[pid=21111] ppid=21108 vsize=46264 CPUtime=2202.46 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 34407 0 0 0 220244 2 0 0 20 0 1 0 35921703 47374336 5321 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4581555 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5321 771 782 0 4582 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 46264
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/181 21293
/proc/meminfo: memFree=31352140/32770624 swapFree=0/469752
[pid=21111] ppid=21108 vsize=46264 CPUtime=2262.46 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 35336 0 0 0 226244 2 0 0 20 0 1 0 35921703 47374336 5321 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4257612 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5321 771 782 0 4582 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 46264
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/181 21295
/proc/meminfo: memFree=31352504/32770624 swapFree=0/469760
[pid=21111] ppid=21108 vsize=46264 CPUtime=2322.46 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 35344 0 0 0 232244 2 0 0 20 0 1 0 35921703 47374336 5321 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4581576 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5321 771 782 0 4582 0
Current children cumulated CPU time (s) 2322.46
Current children cumulated vsize (KiB) 46264
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/181 21297
/proc/meminfo: memFree=31352752/32770624 swapFree=0/469772
[pid=21111] ppid=21108 vsize=46264 CPUtime=2382.47 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 36273 0 0 0 238245 2 0 0 20 0 1 0 35921703 47374336 5321 18446744073709551615 4194304 7396336 140736497857344 140736497852360 5575952 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5321 771 782 0 4582 0
Current children cumulated CPU time (s) 2382.47
Current children cumulated vsize (KiB) 46264
[startup+2442.3 s]
/proc/loadavg: 2.01 2.02 2.04 3/181 21299
/proc/meminfo: memFree=31352512/32770624 swapFree=0/469784
[pid=21111] ppid=21108 vsize=46264 CPUtime=2442.48 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 36283 0 0 0 244246 2 0 0 20 0 1 0 35921703 47374336 5321 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4582123 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5321 771 782 0 4582 0
Current children cumulated CPU time (s) 2442.48
Current children cumulated vsize (KiB) 46264
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 21301
/proc/meminfo: memFree=31352520/32770624 swapFree=0/469792
[pid=21111] ppid=21108 vsize=46264 CPUtime=2502.48 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 37171 0 0 0 250246 2 0 0 20 0 1 0 35921703 47374336 5322 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4249803 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5322 771 782 0 4582 0
Current children cumulated CPU time (s) 2502.48
Current children cumulated vsize (KiB) 46264
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 21301
/proc/meminfo: memFree=31352520/32770624 swapFree=0/469792
[pid=21111] ppid=21108 vsize=46264 CPUtime=2520.08 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 37175 0 0 0 252006 2 0 0 20 0 1 0 35921703 47374336 5322 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5322 771 782 0 4582 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 46264
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 21111 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2519.9 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 21301
/proc/meminfo: memFree=31352520/32770624 swapFree=0/469792
[pid=21111] ppid=21108 vsize=46264 CPUtime=2520.08 cores=1,3,5,7
/proc/21111/stat : 21111 (MistralXCSP) R 21108 21111 4057 0 -1 4202496 37175 0 0 0 252006 2 0 0 20 0 1 0 35921703 47374336 5322 18446744073709551615 4194304 7396336 140736497857344 140736497852360 4249751 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 27578368 140736497861043 140736497861193 140736497861193 140736497864649 0
/proc/21111/statm: 11566 5322 771 782 0 4582 0
Current children cumulated CPU time (s) 2520.08
Current children cumulated vsize (KiB) 46264
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.07
CPU system time (s): 0.029003
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 46264
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.07
system time used= 0.029003
maximum resident set size= 21308
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 37213
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= 14
involuntary context switches= 764
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.44725 second user time and 10.6727 second system time
The end