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-4261793-1502339611/watcher-4261793-1502339611 -o /tmp/evaluation-result-4261793-1502339611/solver-4261793-1502339611 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1852375442 HOME/instance-4261793-1502339611.xml
pid=3315
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.00 2.01 2.01 2/180 3318
/proc/meminfo: memFree=31563696/32770624 swapFree=0/216428
[pid=3318] ppid=3315 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/3318/stat : 3318 (runsolver) D 3315 3318 15981 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 36156696 24240128 108 18446744073709551615 4194304 4338465 140735543512608 140735543510248 140695251645143 0 0 1 24578 18446744071580418449 0 0 17 4 0 0 0 0 0 6438912 6441760 29110272 140735543521420 140735543521866 140735543521866 140735543525322 0
/proc/3318/statm: 5918 108 54 36 0 2156 0
[startup+0.100763 s]
/proc/loadavg: 2.00 2.01 2.01 2/180 3318
/proc/meminfo: memFree=31563696/32770624 swapFree=0/216428
[pid=3318] ppid=3315 vsize=29220 CPUtime=0.01 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 1164 0 0 0 1 0 0 0 20 0 1 0 36156696 29921280 1000 18446744073709551615 4194304 7396336 140727432687520 140727432677296 6189766 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 7305 1000 708 782 0 321 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29220
[startup+0.200768 s]
/proc/loadavg: 2.00 2.01 2.01 2/180 3318
/proc/meminfo: memFree=31563696/32770624 swapFree=0/216428
[pid=3318] ppid=3315 vsize=38196 CPUtime=0.1 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 3443 0 0 0 10 0 0 0 20 0 1 0 36156696 39112704 3244 18446744073709551615 4194304 7396336 140727432687520 140727432679032 6013104 0 0 1 0 0 0 0 17 6 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 9549 3244 732 782 0 2565 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 38196
[startup+0.300762 s]
/proc/loadavg: 2.00 2.01 2.01 2/180 3318
/proc/meminfo: memFree=31563696/32770624 swapFree=0/216428
[pid=3318] ppid=3315 vsize=40128 CPUtime=0.2 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 3916 0 0 0 20 0 0 0 20 0 1 0 36156696 41091072 3755 18446744073709551615 4194304 7396336 140727432687520 140727432678488 5941616 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10032 3755 747 782 0 3048 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 40128
[startup+0.700283 s]
/proc/loadavg: 2.00 2.01 2.01 2/180 3318
/proc/meminfo: memFree=31563696/32770624 swapFree=0/216428
[pid=3318] ppid=3315 vsize=41716 CPUtime=0.6 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 4370 0 0 0 60 0 0 0 20 0 1 0 36156696 42717184 4150 18446744073709551615 4194304 7396336 140727432687520 140727432678488 4253024 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10429 4150 788 782 0 3445 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 41716
[startup+1.50028 s]
/proc/loadavg: 1.92 2.00 2.01 3/181 3319
/proc/meminfo: memFree=31550212/32770624 swapFree=0/216712
[pid=3318] ppid=3315 vsize=42112 CPUtime=1.4 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 4453 0 0 0 140 0 0 0 20 0 1 0 36156696 43122688 4282 18446744073709551615 4194304 7396336 140727432687520 140727432681672 139650694309632 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10528 4282 788 782 0 3544 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 42112
[startup+3.10028 s]
/proc/loadavg: 1.92 2.00 2.01 3/181 3319
/proc/meminfo: memFree=31549608/32770624 swapFree=0/216432
[pid=3318] ppid=3315 vsize=42112 CPUtime=3 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 5829 0 0 0 300 0 0 0 20 0 1 0 36156696 43122688 4304 18446744073709551615 4194304 7396336 140727432687520 140727432681768 5576763 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10528 4304 788 782 0 3544 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 42112
[startup+6.30028 s]
/proc/loadavg: 1.93 2.00 2.01 3/181 3319
/proc/meminfo: memFree=31548940/32770624 swapFree=0/216440
[pid=3318] ppid=3315 vsize=42112 CPUtime=6.2 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 7233 0 0 0 620 0 0 0 20 0 1 0 36156696 43122688 4311 18446744073709551615 4194304 7396336 140727432687520 140727432681768 5616097 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10528 4311 788 782 0 3544 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 42112
[startup+12.7003 s]
/proc/loadavg: 1.94 2.00 2.01 3/181 3319
/proc/meminfo: memFree=31548444/32770624 swapFree=0/216432
[pid=3318] ppid=3315 vsize=42244 CPUtime=12.6 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 8718 0 0 0 1260 0 0 0 20 0 1 0 36156696 43257856 4334 18446744073709551615 4194304 7396336 140727432687520 140727432681672 4542489 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10561 4334 788 782 0 3577 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 42244
[startup+25.5003 s]
/proc/loadavg: 1.95 2.00 2.01 3/181 3320
/proc/meminfo: memFree=31548816/32770624 swapFree=0/216436
[pid=3318] ppid=3315 vsize=42244 CPUtime=25.4 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 11583 0 0 0 2540 0 0 0 20 0 1 0 36156696 43257856 4344 18446744073709551615 4194304 7396336 140727432687520 140727432681672 4547372 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10561 4344 788 782 0 3577 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 42244
[startup+51.1003 s]
/proc/loadavg: 1.97 2.00 2.01 3/186 3336
/proc/meminfo: memFree=31543320/32770624 swapFree=0/216464
[pid=3318] ppid=3315 vsize=43036 CPUtime=50.99 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 13467 0 0 0 5099 0 0 0 20 0 1 0 36156696 44068864 4541 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4542456 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10759 4541 789 782 0 3775 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 43036
[startup+102.3 s]
/proc/loadavg: 1.99 2.00 2.01 3/186 3338
/proc/meminfo: memFree=31542940/32770624 swapFree=0/216484
[pid=3318] ppid=3315 vsize=43168 CPUtime=102.2 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 15077 0 0 0 10219 1 0 0 20 0 1 0 36156696 44204032 4569 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5616640 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10792 4569 789 782 0 3808 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 43168
[startup+162.3 s]
/proc/loadavg: 2.05 2.01 2.01 3/183 3404
/proc/meminfo: memFree=31551396/32770624 swapFree=0/216480
[pid=3318] ppid=3315 vsize=43168 CPUtime=162.19 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 15393 0 0 0 16218 1 0 0 20 0 1 0 36156696 44204032 4574 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4581459 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10792 4574 789 782 0 3808 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 43168
[startup+222.306 s]
/proc/loadavg: 2.02 2.01 2.01 3/183 3406
/proc/meminfo: memFree=31551304/32770624 swapFree=0/216496
[pid=3318] ppid=3315 vsize=43168 CPUtime=222.18 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 15714 0 0 0 22217 1 0 0 20 0 1 0 36156696 44204032 4584 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4581576 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10792 4584 789 782 0 3808 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 43168
[startup+282.3 s]
/proc/loadavg: 2.01 2.01 2.01 3/183 3408
/proc/meminfo: memFree=31551056/32770624 swapFree=0/216504
[pid=3318] ppid=3315 vsize=43300 CPUtime=282.17 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 16036 0 0 0 28216 1 0 0 20 0 1 0 36156696 44339200 4591 18446744073709551615 4194304 7396336 140727432687520 140727432681944 4399473 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4591 789 782 0 3841 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 43300
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 3411
/proc/meminfo: memFree=31550372/32770624 swapFree=0/216520
[pid=3318] ppid=3315 vsize=43300 CPUtime=342.17 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 16347 0 0 0 34216 1 0 0 20 0 1 0 36156696 44339200 4593 18446744073709551615 4194304 7396336 140727432687520 140727432681944 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4593 789 782 0 3841 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 43300
[startup+402.3 s]
/proc/loadavg: 2.03 2.03 2.02 3/181 3413
/proc/meminfo: memFree=31550992/32770624 swapFree=0/216540
[pid=3318] ppid=3315 vsize=43300 CPUtime=402.16 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 16672 0 0 0 40215 1 0 0 20 0 1 0 36156696 44339200 4593 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4581822 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4593 789 782 0 3841 0
Current children cumulated CPU time (s) 402.16
Current children cumulated vsize (KiB) 43300
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/181 3415
/proc/meminfo: memFree=31550744/32770624 swapFree=0/216548
[pid=3318] ppid=3315 vsize=43300 CPUtime=462.16 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 16982 0 0 0 46215 1 0 0 20 0 1 0 36156696 44339200 4593 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4406506 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4593 789 782 0 3841 0
Current children cumulated CPU time (s) 462.16
Current children cumulated vsize (KiB) 43300
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 3418
/proc/meminfo: memFree=31550948/32770624 swapFree=0/216560
[pid=3318] ppid=3315 vsize=43300 CPUtime=522.15 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 17293 0 0 0 52214 1 0 0 20 0 1 0 36156696 44339200 4593 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4407503 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4593 789 782 0 3841 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 43300
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.02 3/181 3420
/proc/meminfo: memFree=31550704/32770624 swapFree=0/216572
[pid=3318] ppid=3315 vsize=43300 CPUtime=582.15 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 17611 0 0 0 58214 1 0 0 20 0 1 0 36156696 44339200 4593 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4252536 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4593 789 782 0 3841 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 43300
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.95 2.00 2.03 3/181 3483
/proc/meminfo: memFree=31549736/32770624 swapFree=0/217012
[pid=3318] ppid=3315 vsize=43300 CPUtime=1602.04 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 22970 0 0 0 160203 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1602.04
Current children cumulated vsize (KiB) 43300
[startup+1662.3 s]
/proc/loadavg: 1.98 2.00 2.03 3/181 3485
/proc/meminfo: memFree=31549740/32770624 swapFree=0/217044
[pid=3318] ppid=3315 vsize=43300 CPUtime=1662.04 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 23286 0 0 0 166203 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5839276 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 43300
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.03 3/181 3487
/proc/meminfo: memFree=31549464/32770624 swapFree=0/217068
[pid=3318] ppid=3315 vsize=43300 CPUtime=1722.03 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 23608 0 0 0 172202 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4249511 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 43300
[startup+1782.3 s]
/proc/loadavg: 2.06 2.01 2.04 3/181 3489
/proc/meminfo: memFree=31549456/32770624 swapFree=0/217104
[pid=3318] ppid=3315 vsize=43300 CPUtime=1782.03 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 23923 0 0 0 178202 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5616064 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 43300
[startup+1842.3 s]
/proc/loadavg: 2.02 2.01 2.04 3/185 3506
/proc/meminfo: memFree=31544272/32770624 swapFree=0/217136
[pid=3318] ppid=3315 vsize=43300 CPUtime=1842.02 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 24239 0 0 0 184201 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5685174 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 43300
[startup+1902.3 s]
/proc/loadavg: 2.05 2.03 2.04 3/185 3508
/proc/meminfo: memFree=31544292/32770624 swapFree=0/217172
[pid=3318] ppid=3315 vsize=43300 CPUtime=1902.01 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 24555 0 0 0 190200 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4387789 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1902.01
Current children cumulated vsize (KiB) 43300
[startup+1962.3 s]
/proc/loadavg: 2.02 2.02 2.04 3/182 3510
/proc/meminfo: memFree=31548268/32770624 swapFree=0/217204
[pid=3318] ppid=3315 vsize=43300 CPUtime=1962.01 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 24876 0 0 0 196200 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4257837 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 1962.01
Current children cumulated vsize (KiB) 43300
[startup+2022.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/182 3512
/proc/meminfo: memFree=31548392/32770624 swapFree=0/217232
[pid=3318] ppid=3315 vsize=43300 CPUtime=2022 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 25197 0 0 0 202199 1 0 0 20 0 1 0 36156696 44339200 4597 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4249696 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4597 789 782 0 3841 0
Current children cumulated CPU time (s) 2022
Current children cumulated vsize (KiB) 43300
[startup+2082.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/182 3514
/proc/meminfo: memFree=31548976/32770624 swapFree=0/217260
[pid=3318] ppid=3315 vsize=43300 CPUtime=2082 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 25514 0 0 0 208199 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4404818 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2082
Current children cumulated vsize (KiB) 43300
[startup+2142.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/181 3517
/proc/meminfo: memFree=31548248/32770624 swapFree=0/217304
[pid=3318] ppid=3315 vsize=43300 CPUtime=2141.99 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 25828 0 0 0 214198 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4581459 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2141.99
Current children cumulated vsize (KiB) 43300
[startup+2202.31 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 3519
/proc/meminfo: memFree=31548632/32770624 swapFree=0/217336
[pid=3318] ppid=3315 vsize=43300 CPUtime=2201.99 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 26142 0 0 0 220198 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5615730 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2201.99
Current children cumulated vsize (KiB) 43300
[startup+2262.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 3521
/proc/meminfo: memFree=31548756/32770624 swapFree=0/217356
[pid=3318] ppid=3315 vsize=43300 CPUtime=2261.98 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 26376 0 0 0 226197 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4257811 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2261.98
Current children cumulated vsize (KiB) 43300
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 3524
/proc/meminfo: memFree=31548684/32770624 swapFree=0/217360
[pid=3318] ppid=3315 vsize=43300 CPUtime=2321.97 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 26609 0 0 0 232196 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4252528 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2321.97
Current children cumulated vsize (KiB) 43300
[startup+2382.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/181 3526
/proc/meminfo: memFree=31548436/32770624 swapFree=0/217372
[pid=3318] ppid=3315 vsize=43300 CPUtime=2381.97 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 27008 0 0 0 238196 1 0 0 20 0 1 0 36156696 44339200 4598 18446744073709551615 4194304 7396336 140727432687520 140727432682536 5791952 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4598 789 782 0 3841 0
Current children cumulated CPU time (s) 2381.97
Current children cumulated vsize (KiB) 43300
[startup+2442.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 3542
/proc/meminfo: memFree=31544740/32770624 swapFree=0/217396
[pid=3318] ppid=3315 vsize=43300 CPUtime=2441.96 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 27332 0 0 0 244195 1 0 0 20 0 1 0 36156696 44339200 4599 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4582752 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4599 789 782 0 3841 0
Current children cumulated CPU time (s) 2441.96
Current children cumulated vsize (KiB) 43300
[startup+2502.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3569
/proc/meminfo: memFree=31542964/32770624 swapFree=0/217420
[pid=3318] ppid=3315 vsize=43300 CPUtime=2501.96 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 27655 0 0 0 250195 1 0 0 20 0 1 0 36156696 44339200 4599 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4319881 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4599 789 782 0 3841 0
Current children cumulated CPU time (s) 2501.96
Current children cumulated vsize (KiB) 43300
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3569
/proc/meminfo: memFree=31543300/32770624 swapFree=0/217428
[pid=3318] ppid=3315 vsize=43300 CPUtime=2519.66 cores=0,2,4,6
/proc/3318/stat : 3318 (MistralXCSP) R 3315 3318 15981 0 -1 4202496 27972 0 0 0 251965 1 0 0 20 0 1 0 36156696 44339200 4600 18446744073709551615 4194304 7396336 140727432687520 140727432682536 4581459 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 37789696 140727432696243 140727432696393 140727432696393 140727432699849 0
/proc/3318/statm: 10825 4600 789 782 0 3841 0
Current children cumulated CPU time (s) 2519.66
Current children cumulated vsize (KiB) 43300
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 3318 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.67
CPU user time (s): 2519.65
CPU system time (s): 0.017998
CPU usage (%): 99.9868
Max. virtual memory (cumulated for all children) (KiB): 43300
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.65
system time used= 0.017998
maximum resident set size= 18420
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 28010
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= 12
involuntary context switches= 3154
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.42028 second user time and 8.37368 second system time
The end