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-4260949-1502364616/watcher-4260949-1502364616 -o /tmp/evaluation-result-4260949-1502364616/solver-4260949-1502364616 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 594646310 HOME/instance-4260949-1502364616.xml
pid=29473
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: 1.96 1.99 2.03 4/183 29476
/proc/meminfo: memFree=31206596/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29476/stat : 29476 (runsolver) D 29473 29476 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 136114572 24240128 106 18446744073709551615 4194304 4338465 140730303622192 140730303619832 139952020808407 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 24539136 140730303627403 140730303627849 140730303627849 140730303631306 0
/proc/29476/statm: 5918 106 53 36 0 2156 0
[startup+0.100196 s]
/proc/loadavg: 1.96 1.99 2.03 4/183 29476
/proc/meminfo: memFree=31206596/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=28804 CPUtime=0.01 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 947 0 0 0 1 0 0 0 20 0 1 0 136114572 29495296 736 18446744073709551615 4194304 7396336 140727210084752 140727210081752 140419752053733 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 7201 736 584 782 0 217 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28804
[startup+0.200332 s]
/proc/loadavg: 1.96 1.99 2.03 4/183 29476
/proc/meminfo: memFree=31206596/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=29184 CPUtime=0.11 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 1147 0 0 0 11 0 0 0 20 0 1 0 136114572 29884416 987 18446744073709551615 4194304 7396336 140727210084752 140727210081752 6190312 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 7296 987 716 782 0 312 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29184
[startup+0.300314 s]
/proc/loadavg: 1.96 1.99 2.03 4/183 29476
/proc/meminfo: memFree=31206596/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=29588 CPUtime=0.21 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 1259 0 0 0 21 0 0 0 20 0 1 0 136114572 30298112 1089 18446744073709551615 4194304 7396336 140727210084752 140727210081752 140419758842222 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 7397 1089 717 782 0 413 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29588
[startup+0.700277 s]
/proc/loadavg: 1.96 1.99 2.03 4/183 29476
/proc/meminfo: memFree=31206596/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=31232 CPUtime=0.61 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 1668 0 0 0 61 0 0 0 20 0 1 0 136114572 31981568 1501 18446744073709551615 4194304 7396336 140727210084752 140727210081752 140419752053733 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 7808 1501 717 782 0 824 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 31232
[startup+1.50028 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31200788/32770624 swapFree=0/426584
[pid=29476] ppid=29473 vsize=34464 CPUtime=1.41 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 2577 0 0 0 141 0 0 0 20 0 1 0 136114572 35291136 2293 18446744073709551615 4194304 7396336 140727210084752 140727210075720 4566032 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 8616 2293 717 782 0 1632 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 34464
[startup+3.10029 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31197564/32770624 swapFree=0/426584
[pid=29476] ppid=29473 vsize=44740 CPUtime=3.01 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 7302 0 0 0 301 0 0 0 20 0 1 0 136114572 45813760 4874 18446744073709551615 4194304 7396336 140727210084752 140727210075256 6207007 0 0 1 0 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 11185 4874 717 782 0 4201 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 44740
[startup+6.30037 s]
/proc/loadavg: 1.96 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31156988/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=83416 CPUtime=6.21 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 26927 0 0 0 619 2 0 0 20 0 1 0 136114572 85417984 14565 18446744073709551615 4194304 7396336 140727210084752 140727210079048 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 20854 14565 754 782 0 13870 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 83416
[startup+12.7004 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31146824/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=88168 CPUtime=12.61 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 41273 0 0 0 1258 3 0 0 20 0 1 0 136114572 90284032 15715 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4406506 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 22042 15715 754 782 0 15058 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 88168
[startup+25.5005 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 29477
/proc/meminfo: memFree=31144384/32770624 swapFree=0/426580
[pid=29476] ppid=29473 vsize=90676 CPUtime=25.4 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 70128 0 0 0 2536 4 0 0 20 0 1 0 136114572 92852224 16337 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4257788 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 22669 16337 754 782 0 15685 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 90676
[startup+51.1004 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 29478
/proc/meminfo: memFree=31140688/32770624 swapFree=0/426576
[pid=29476] ppid=29473 vsize=93712 CPUtime=50.99 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 80834 0 0 0 5094 5 0 0 20 0 1 0 136114572 95961088 17163 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4249495 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 23428 17163 754 782 0 16444 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 93712
[startup+102.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 29479
/proc/meminfo: memFree=31139392/32770624 swapFree=0/426592
[pid=29476] ppid=29473 vsize=95428 CPUtime=102.18 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 81857 0 0 0 10213 5 0 0 20 0 1 0 136114572 97718272 17551 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4581760 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 23857 17551 754 782 0 16873 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 95428
[startup+162.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 29481
/proc/meminfo: memFree=31138736/32770624 swapFree=0/426600
[pid=29476] ppid=29473 vsize=96088 CPUtime=162.17 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 82736 0 0 0 16212 5 0 0 20 0 1 0 136114572 98394112 17763 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4406506 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24022 17763 754 782 0 17038 0
Current children cumulated CPU time (s) 162.17
Current children cumulated vsize (KiB) 96088
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 29484
/proc/meminfo: memFree=31137888/32770624 swapFree=0/426616
[pid=29476] ppid=29473 vsize=96220 CPUtime=222.17 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 83090 0 0 0 22212 5 0 0 20 0 1 0 136114572 98529280 17784 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24055 17784 754 782 0 17071 0
Current children cumulated CPU time (s) 222.17
Current children cumulated vsize (KiB) 96220
[startup+282.3 s]
/proc/loadavg: 2.08 2.00 2.04 3/188 29500
/proc/meminfo: memFree=31133144/32770624 swapFree=0/426592
[pid=29476] ppid=29473 vsize=97144 CPUtime=282.17 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 83731 0 0 0 28211 6 0 0 20 0 1 0 136114572 99475456 18016 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24286 18016 754 782 0 17302 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 97144
[startup+342.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/187 29502
/proc/meminfo: memFree=31133796/32770624 swapFree=0/426596
[pid=29476] ppid=29473 vsize=97276 CPUtime=342.16 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 84349 0 0 0 34210 6 0 0 20 0 1 0 136114572 99610624 18046 18446744073709551615 4194304 7396336 140727210084752 140727210079096 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24319 18046 754 782 0 17335 0
Current children cumulated CPU time (s) 342.16
Current children cumulated vsize (KiB) 97276
[startup+402.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/185 29626
/proc/meminfo: memFree=30837876/32770624 swapFree=0/426632
[pid=29476] ppid=29473 vsize=97408 CPUtime=402.15 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 85041 0 0 0 40209 6 0 0 20 0 1 0 136114572 99745792 18085 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4407464 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24352 18085 754 782 0 17368 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 97408
[startup+462.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/185 29628
/proc/meminfo: memFree=30805936/32770624 swapFree=0/426648
[pid=29476] ppid=29473 vsize=97408 CPUtime=462.15 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 85742 0 0 0 46209 6 0 0 20 0 1 0 136114572 99745792 18103 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4257731 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24352 18103 754 782 0 17368 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 97408
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29630
/proc/meminfo: memFree=30738936/32770624 swapFree=0/426664
[pid=29476] ppid=29473 vsize=97672 CPUtime=522.14 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 86432 0 0 0 52208 6 0 0 20 0 1 0 136114572 100016128 18149 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4322640 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24418 18149 754 782 0 17434 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 97672
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29633
/proc/meminfo: memFree=30722424/32770624 swapFree=0/426672
[pid=29476] ppid=29473 vsize=97672 CPUtime=582.14 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 87122 0 0 0 58208 6 0 0 20 0 1 0 136114572 100016128 18152 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4379104 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24418 18152 754 782 0 17434 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 97672
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29698
/proc/meminfo: memFree=30652408/32770624 swapFree=0/426928
[pid=29476] ppid=29473 vsize=98332 CPUtime=1602.06 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 93476 0 0 0 160199 7 0 0 20 0 1 0 136114572 100691968 18313 18446744073709551615 4194304 7396336 140727210084752 140727210079048 5586259 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18313 755 782 0 17599 0
Current children cumulated CPU time (s) 1602.06
Current children cumulated vsize (KiB) 98332
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29700
/proc/meminfo: memFree=30651144/32770624 swapFree=0/426948
[pid=29476] ppid=29473 vsize=98332 CPUtime=1662.06 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 93828 0 0 0 166199 7 0 0 20 0 1 0 136114572 100691968 18322 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4257652 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18322 755 782 0 17599 0
Current children cumulated CPU time (s) 1662.06
Current children cumulated vsize (KiB) 98332
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29702
/proc/meminfo: memFree=30651252/32770624 swapFree=0/426968
[pid=29476] ppid=29473 vsize=98332 CPUtime=1722.05 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 94175 0 0 0 172198 7 0 0 20 0 1 0 136114572 100691968 18328 18446744073709551615 4194304 7396336 140727210084752 140727210079048 5575964 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18328 755 782 0 17599 0
Current children cumulated CPU time (s) 1722.05
Current children cumulated vsize (KiB) 98332
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29705
/proc/meminfo: memFree=30650968/32770624 swapFree=0/426984
[pid=29476] ppid=29473 vsize=98332 CPUtime=1782.05 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 94531 0 0 0 178198 7 0 0 20 0 1 0 136114572 100691968 18328 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4320622 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18328 755 782 0 17599 0
Current children cumulated CPU time (s) 1782.05
Current children cumulated vsize (KiB) 98332
[startup+1842.3 s]
/proc/loadavg: 2.16 2.06 2.06 3/185 29707
/proc/meminfo: memFree=30648424/32770624 swapFree=0/427000
[pid=29476] ppid=29473 vsize=98332 CPUtime=1842.04 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 94882 0 0 0 184197 7 0 0 20 0 1 0 136114572 100691968 18332 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4581576 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18332 755 782 0 17599 0
Current children cumulated CPU time (s) 1842.04
Current children cumulated vsize (KiB) 98332
[startup+1902.3 s]
/proc/loadavg: 2.05 2.05 2.05 3/185 29709
/proc/meminfo: memFree=30645792/32770624 swapFree=0/427012
[pid=29476] ppid=29473 vsize=98332 CPUtime=1902.04 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 95233 0 0 0 190197 7 0 0 20 0 1 0 136114572 100691968 18332 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4407048 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18332 755 782 0 17599 0
Current children cumulated CPU time (s) 1902.04
Current children cumulated vsize (KiB) 98332
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 29711
/proc/meminfo: memFree=30645540/32770624 swapFree=0/427024
[pid=29476] ppid=29473 vsize=98332 CPUtime=1962.03 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 95591 0 0 0 196196 7 0 0 20 0 1 0 136114572 100691968 18332 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4257728 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18332 755 782 0 17599 0
Current children cumulated CPU time (s) 1962.03
Current children cumulated vsize (KiB) 98332
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 29713
/proc/meminfo: memFree=30643776/32770624 swapFree=0/427032
[pid=29476] ppid=29473 vsize=98332 CPUtime=2022.03 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 95944 0 0 0 202196 7 0 0 20 0 1 0 136114572 100691968 18334 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18334 755 782 0 17599 0
Current children cumulated CPU time (s) 2022.03
Current children cumulated vsize (KiB) 98332
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 29729
/proc/meminfo: memFree=30638076/32770624 swapFree=0/427064
[pid=29476] ppid=29473 vsize=98332 CPUtime=2082.03 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 96309 0 0 0 208196 7 0 0 20 0 1 0 136114572 100691968 18336 18446744073709551615 4194304 7396336 140727210084752 140727210079048 4252274 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18336 755 782 0 17599 0
Current children cumulated CPU time (s) 2082.03
Current children cumulated vsize (KiB) 98332
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/187 29731
/proc/meminfo: memFree=30636804/32770624 swapFree=0/427072
[pid=29476] ppid=29473 vsize=98332 CPUtime=2142.02 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 96731 0 0 0 214195 7 0 0 20 0 1 0 136114572 100691968 18341 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4406506 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18341 755 782 0 17599 0
Current children cumulated CPU time (s) 2142.02
Current children cumulated vsize (KiB) 98332
[startup+2202.31 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 29733
/proc/meminfo: memFree=30639208/32770624 swapFree=0/427080
[pid=29476] ppid=29473 vsize=98332 CPUtime=2202.02 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 97097 0 0 0 220195 7 0 0 20 0 1 0 136114572 100691968 18342 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18342 755 782 0 17599 0
Current children cumulated CPU time (s) 2202.02
Current children cumulated vsize (KiB) 98332
[startup+2262.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 29736
/proc/meminfo: memFree=30639548/32770624 swapFree=0/427100
[pid=29476] ppid=29473 vsize=98332 CPUtime=2262.01 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 97439 0 0 0 226194 7 0 0 20 0 1 0 136114572 100691968 18342 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4257822 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18342 755 782 0 17599 0
Current children cumulated CPU time (s) 2262.01
Current children cumulated vsize (KiB) 98332
[startup+2322.3 s]
/proc/loadavg: 2.14 2.05 2.05 3/185 29738
/proc/meminfo: memFree=30639768/32770624 swapFree=0/427104
[pid=29476] ppid=29473 vsize=98332 CPUtime=2322 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 97802 0 0 0 232193 7 0 0 20 0 1 0 136114572 100691968 18344 18446744073709551615 4194304 7396336 140727210084752 140727210079768 5576291 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18344 755 782 0 17599 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 98332
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 29741
/proc/meminfo: memFree=30638652/32770624 swapFree=0/427112
[pid=29476] ppid=29473 vsize=98332 CPUtime=2382 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 98132 0 0 0 238193 7 0 0 20 0 1 0 136114572 100691968 18344 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4257817 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18344 755 782 0 17599 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 98332
[startup+2442.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/185 29743
/proc/meminfo: memFree=30638628/32770624 swapFree=0/427128
[pid=29476] ppid=29473 vsize=98332 CPUtime=2442 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 98472 0 0 0 244193 7 0 0 20 0 1 0 136114572 100691968 18344 18446744073709551615 4194304 7396336 140727210084752 140727210079768 4581738 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24583 18344 755 782 0 17599 0
Current children cumulated CPU time (s) 2442
Current children cumulated vsize (KiB) 98332
[startup+2502.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 29745
/proc/meminfo: memFree=30638188/32770624 swapFree=0/427140
[pid=29476] ppid=29473 vsize=98464 CPUtime=2501.99 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 98851 0 0 0 250192 7 0 0 20 0 1 0 136114572 100827136 18344 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4257837 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24616 18344 755 782 0 17632 0
Current children cumulated CPU time (s) 2501.99
Current children cumulated vsize (KiB) 98464
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 29746
/proc/meminfo: memFree=30638436/32770624 swapFree=0/427136
[pid=29476] ppid=29473 vsize=98464 CPUtime=2519.69 cores=0,2,4,6
/proc/29476/stat : 29476 (MistralXCSP) R 29473 29476 4525 0 -1 4202496 99231 0 0 0 251962 7 0 0 20 0 1 0 136114572 100827136 18357 18446744073709551615 4194304 7396336 140727210084752 140727210079032 4406456 0 0 1 16386 0 0 0 17 4 0 0 8 0 0 9496464 9501696 10338304 140727210090931 140727210091080 140727210091080 140727210094537 0
/proc/29476/statm: 24616 18357 755 782 0 17632 0
Current children cumulated CPU time (s) 2519.69
Current children cumulated vsize (KiB) 98464
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 29476 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.7
CPU user time (s): 2519.62
CPU system time (s): 0.077994
CPU usage (%): 99.9881
Max. virtual memory (cumulated for all children) (KiB): 98464
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.62
system time used= 0.077994
maximum resident set size= 73448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 99268
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= 41
involuntary context switches= 4074
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.83978 second user time and 10.7378 second system time
The end