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-4261729-1502402622/watcher-4261729-1502402622 -o /tmp/evaluation-result-4261729-1502402622/solver-4261729-1502402622 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1164024674 HOME/instance-4261729-1502402622.xml
pid=3521
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: 2.01 2.05 2.05 3/184 3524
/proc/meminfo: memFree=31117940/32770624 swapFree=0/436556
[pid=3524] ppid=3521 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3524/stat : 3524 (runsolver) D 3521 3524 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 139915129 24240128 107 18446744073709551615 4194304 4338465 140721711199072 140721711196712 139872848159447 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16527360 140721711206538 140721711206985 140721711206985 140721711210442 0
/proc/3524/statm: 5918 107 54 36 0 2156 0
[startup+0.100343 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3524
/proc/meminfo: memFree=31117940/32770624 swapFree=0/436556
[pid=3524] ppid=3521 vsize=28796 CPUtime=0.01 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 968 0 0 0 1 0 0 0 20 0 1 0 139915129 29487104 802 18446744073709551615 4194304 7396336 140737391671408 140737391664648 4221824 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 7199 802 612 782 0 215 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28796
[startup+0.200342 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3524
/proc/meminfo: memFree=31117940/32770624 swapFree=0/436556
[pid=3524] ppid=3521 vsize=29376 CPUtime=0.11 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 1215 0 0 0 11 0 0 0 20 0 1 0 139915129 30081024 1000 18446744073709551615 4194304 7396336 140737391671408 140737391661432 140476785609280 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 7344 1000 724 782 0 360 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29376
[startup+0.30034 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3524
/proc/meminfo: memFree=31117940/32770624 swapFree=0/436556
[pid=3524] ppid=3521 vsize=29916 CPUtime=0.21 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 1351 0 0 0 21 0 0 0 20 0 1 0 139915129 30633984 1173 18446744073709551615 4194304 7396336 140737391671408 140737391662104 140476779897047 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 7479 1173 724 782 0 495 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29916
[startup+0.700174 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3524
/proc/meminfo: memFree=31117940/32770624 swapFree=0/436556
[pid=3524] ppid=3521 vsize=32760 CPUtime=0.61 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 2100 0 0 0 61 0 0 0 20 0 1 0 139915129 33546240 1876 18446744073709551615 4194304 7396336 140737391671408 140737391662104 4565880 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 8190 1876 724 782 0 1206 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 32760
[startup+1.50018 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 3525
/proc/meminfo: memFree=31111000/32770624 swapFree=0/436540
[pid=3524] ppid=3521 vsize=37832 CPUtime=1.4 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 3422 0 0 0 140 0 0 0 20 0 1 0 139915129 38739968 3132 18446744073709551615 4194304 7396336 140737391671408 140737391661960 5921957 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 9458 3132 725 782 0 2474 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 37832
[startup+3.10017 s]
/proc/loadavg: 2.01 2.05 2.05 3/185 3525
/proc/meminfo: memFree=31100284/32770624 swapFree=0/436536
[pid=3524] ppid=3521 vsize=48568 CPUtime=3 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 8721 0 0 0 299 1 0 0 20 0 1 0 139915129 49733632 5813 18446744073709551615 4194304 7396336 140737391671408 140737391661992 140476785440942 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 12142 5813 725 782 0 5158 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 48568
[startup+6.30018 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3526
/proc/meminfo: memFree=31081660/32770624 swapFree=0/436536
[pid=3524] ppid=3521 vsize=77716 CPUtime=6.2 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 22089 0 0 0 618 2 0 0 20 0 1 0 139915129 79581184 13156 18446744073709551615 4194304 7396336 140737391671408 140737391661960 5920158 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 19429 13156 725 782 0 12445 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 77716
[startup+12.7002 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3526
/proc/meminfo: memFree=31066336/32770624 swapFree=0/436532
[pid=3524] ppid=3521 vsize=80192 CPUtime=12.6 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 32809 0 0 0 1257 3 0 0 20 0 1 0 139915129 82116608 13806 18446744073709551615 4194304 7396336 140737391671408 140737391665944 5575964 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20048 13806 778 782 0 13064 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 80192
[startup+25.5003 s]
/proc/loadavg: 2.01 2.05 2.05 3/184 3526
/proc/meminfo: memFree=31065324/32770624 swapFree=0/436532
[pid=3524] ppid=3521 vsize=80912 CPUtime=25.4 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 52622 0 0 0 2536 4 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4399472 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 80912
[startup+51.1003 s]
/proc/loadavg: 2.00 2.04 2.05 3/188 3541
/proc/meminfo: memFree=31059360/32770624 swapFree=0/436544
[pid=3524] ppid=3521 vsize=80912 CPUtime=50.98 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 60094 0 0 0 5094 4 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 5575964 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 50.98
Current children cumulated vsize (KiB) 80912
[startup+102.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/188 3543
/proc/meminfo: memFree=31058692/32770624 swapFree=0/436560
[pid=3524] ppid=3521 vsize=80912 CPUtime=102.18 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 61118 0 0 0 10213 5 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4581576 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 80912
[startup+162.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/184 3545
/proc/meminfo: memFree=31062108/32770624 swapFree=0/436568
[pid=3524] ppid=3521 vsize=80912 CPUtime=162.18 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 62123 0 0 0 16213 5 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 5575220 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 80912
[startup+222.306 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 3558
/proc/meminfo: memFree=31060768/32770624 swapFree=0/436832
[pid=3524] ppid=3521 vsize=80912 CPUtime=222.18 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 63129 0 0 0 22213 5 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4264331 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 80912
[startup+282.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 3560
/proc/meminfo: memFree=31061412/32770624 swapFree=0/436964
[pid=3524] ppid=3521 vsize=80912 CPUtime=282.17 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 64133 0 0 0 28212 5 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4543790 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 80912
[startup+342.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 3563
/proc/meminfo: memFree=31061972/32770624 swapFree=0/436964
[pid=3524] ppid=3521 vsize=80912 CPUtime=342.17 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 65142 0 0 0 34212 5 0 0 20 0 1 0 139915129 82853888 13984 18446744073709551615 4194304 7396336 140737391671408 140737391666424 5576291 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13984 780 782 0 13244 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 80912
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 3566
/proc/meminfo: memFree=31062188/32770624 swapFree=0/436976
[pid=3524] ppid=3521 vsize=80912 CPUtime=402.17 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 66153 0 0 0 40212 5 0 0 20 0 1 0 139915129 82853888 13988 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4257640 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13988 780 782 0 13244 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 80912
[startup+462.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 3568
/proc/meminfo: memFree=31062064/32770624 swapFree=0/436980
[pid=3524] ppid=3521 vsize=80912 CPUtime=462.17 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 67166 0 0 0 46212 5 0 0 20 0 1 0 139915129 82853888 13990 18446744073709551615 4194304 7396336 140737391671408 140737391666424 5610213 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13990 780 782 0 13244 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 80912
[startup+522.3 s]
/proc/loadavg: 2.02 2.03 2.05 4/186 3570
/proc/meminfo: memFree=31062272/32770624 swapFree=0/436992
[pid=3524] ppid=3521 vsize=80912 CPUtime=522.17 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 68174 0 0 0 52212 5 0 0 20 0 1 0 139915129 82853888 13992 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4253003 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13992 780 782 0 13244 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 80912
[startup+582.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 3573
/proc/meminfo: memFree=31062416/32770624 swapFree=0/437000
[pid=3524] ppid=3521 vsize=80912 CPUtime=582.16 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 69189 0 0 0 58211 5 0 0 20 0 1 0 139915129 82853888 13994 18446744073709551615 4194304 7396336 140737391671408 140737391666424 4387951 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20228 13994 780 782 0 13244 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 80912
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 3668
/proc/meminfo: memFree=31061856/32770624 swapFree=0/437224
[pid=3524] ppid=3521 vsize=81044 CPUtime=1602.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 86747 0 0 0 160208 6 0 0 20 0 1 0 139915129 82989056 14024 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4547258 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14024 780 782 0 13277 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 81044
[startup+1662.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/184 3670
/proc/meminfo: memFree=31062104/32770624 swapFree=0/437224
[pid=3524] ppid=3521 vsize=81044 CPUtime=1662.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 87792 0 0 0 166208 6 0 0 20 0 1 0 139915129 82989056 14025 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5839287 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14025 780 782 0 13277 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 81044
[startup+1722.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/184 3672
/proc/meminfo: memFree=31062192/32770624 swapFree=0/437228
[pid=3524] ppid=3521 vsize=81044 CPUtime=1722.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 88834 0 0 0 172208 6 0 0 20 0 1 0 139915129 82989056 14025 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4317596 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14025 780 782 0 13277 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 81044
[startup+1782.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/184 3674
/proc/meminfo: memFree=31062072/32770624 swapFree=0/437244
[pid=3524] ppid=3521 vsize=81044 CPUtime=1782.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 89861 0 0 0 178208 6 0 0 20 0 1 0 139915129 82989056 14026 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14026 780 782 0 13277 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 81044
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 4/184 3676
/proc/meminfo: memFree=31062164/32770624 swapFree=0/437272
[pid=3524] ppid=3521 vsize=81044 CPUtime=1842.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 90910 0 0 0 184207 7 0 0 20 0 1 0 139915129 82989056 14027 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4249751 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14027 780 782 0 13277 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 81044
[startup+1902.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/188 3693
/proc/meminfo: memFree=31058208/32770624 swapFree=0/437296
[pid=3524] ppid=3521 vsize=81044 CPUtime=1902.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 91957 0 0 0 190207 7 0 0 20 0 1 0 139915129 82989056 14029 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4264704 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14029 780 782 0 13277 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 81044
[startup+1962.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/185 3695
/proc/meminfo: memFree=31061268/32770624 swapFree=0/437304
[pid=3524] ppid=3521 vsize=81044 CPUtime=1962.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 93007 0 0 0 196207 7 0 0 20 0 1 0 139915129 82989056 14030 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4257607 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14030 780 782 0 13277 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 81044
[startup+2022.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 3697
/proc/meminfo: memFree=31061272/32770624 swapFree=0/437324
[pid=3524] ppid=3521 vsize=81044 CPUtime=2022.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 94059 0 0 0 202207 7 0 0 20 0 1 0 139915129 82989056 14031 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4246592 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14031 780 782 0 13277 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 81044
[startup+2082.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 3699
/proc/meminfo: memFree=31060992/32770624 swapFree=0/437336
[pid=3524] ppid=3521 vsize=81044 CPUtime=2082.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 95112 0 0 0 208207 7 0 0 20 0 1 0 139915129 82989056 14032 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5839021 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14032 780 782 0 13277 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 81044
[startup+2142.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 3701
/proc/meminfo: memFree=31060748/32770624 swapFree=0/437340
[pid=3524] ppid=3521 vsize=81044 CPUtime=2142.13 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 96166 0 0 0 214206 7 0 0 20 0 1 0 139915129 82989056 14034 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5586120 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14034 780 782 0 13277 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 81044
[startup+2202.31 s]
/proc/loadavg: 1.98 2.02 2.04 3/184 4021
/proc/meminfo: memFree=31112080/32770624 swapFree=0/437452
[pid=3524] ppid=3521 vsize=81044 CPUtime=2202.14 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 97221 0 0 0 220207 7 0 0 20 0 1 0 139915129 82989056 14035 18446744073709551615 4194304 7396336 140737391671408 140737391665768 4245092 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14035 780 782 0 13277 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 81044
[startup+2262.3 s]
/proc/loadavg: 1.99 2.02 2.04 3/184 4023
/proc/meminfo: memFree=31112208/32770624 swapFree=0/437452
[pid=3524] ppid=3521 vsize=81044 CPUtime=2262.13 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 98273 0 0 0 226206 7 0 0 20 0 1 0 139915129 82989056 14036 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5578112 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14036 780 782 0 13277 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 81044
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 4025
/proc/meminfo: memFree=31112208/32770624 swapFree=0/437460
[pid=3524] ppid=3521 vsize=81044 CPUtime=2322.13 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 99325 0 0 0 232206 7 0 0 20 0 1 0 139915129 82989056 14036 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165842 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14036 780 782 0 13277 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 81044
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 4029
/proc/meminfo: memFree=31111416/32770624 swapFree=0/437472
[pid=3524] ppid=3521 vsize=81044 CPUtime=2382.13 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 100378 0 0 0 238206 7 0 0 20 0 1 0 139915129 82989056 14036 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14036 780 782 0 13277 0
Current children cumulated CPU time (s) 2382.13
Current children cumulated vsize (KiB) 81044
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 4094
/proc/meminfo: memFree=31086520/32770624 swapFree=0/437476
[pid=3524] ppid=3521 vsize=81044 CPUtime=2442.12 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 101437 0 0 0 244205 7 0 0 20 0 1 0 139915129 82989056 14037 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165842 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14037 780 782 0 13277 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 81044
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 4/188 4110
/proc/meminfo: memFree=31081872/32770624 swapFree=0/437480
[pid=3524] ppid=3521 vsize=81044 CPUtime=2502.13 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 102479 0 0 0 250205 8 0 0 20 0 1 0 139915129 82989056 14039 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165928 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14039 780 782 0 13277 0
Current children cumulated CPU time (s) 2502.13
Current children cumulated vsize (KiB) 81044
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/188 4110
/proc/meminfo: memFree=31081872/32770624 swapFree=0/437480
[pid=3524] ppid=3521 vsize=81044 CPUtime=2519.83 cores=1,3,5,7
/proc/3524/stat : 3524 (MistralXCSP) R 3521 3524 4525 0 -1 4202496 103522 0 0 0 251975 8 0 0 20 0 1 0 139915129 82989056 14040 18446744073709551615 4194304 7396336 140737391671408 140737391665768 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 33574912 140737391677874 140737391678024 140737391678024 140737391681481 0
/proc/3524/statm: 20261 14040 780 782 0 13277 0
Current children cumulated CPU time (s) 2519.83
Current children cumulated vsize (KiB) 81044
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 3524 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.84
CPU user time (s): 2519.76
CPU system time (s): 0.082998
CPU usage (%): 99.9936
Max. virtual memory (cumulated for all children) (KiB): 81044
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.76
system time used= 0.082998
maximum resident set size= 56180
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 103554
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= 26
involuntary context switches= 896
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.36169 second user time and 11.2834 second system time
The end