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-4261120-1502331966/watcher-4261120-1502331966 -o /tmp/evaluation-result-4261120-1502331966/solver-4261120-1502331966 -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 1339700376 HOME/instance-4261120-1502331966.xml
pid=20569
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.00 1.06 1.34 4/180 20576
/proc/meminfo: memFree=31388372/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/20573/stat : 20573 (runsolver) D 20569 20573 4057 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 35417425 24240128 106 18446744073709551615 4194304 4338465 140735548889728 140735548887368 140446275355351 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 34066432 140735548895371 140735548895818 140735548895818 140735548899274 0
/proc/20573/statm: 5918 106 53 36 0 2156 0
[startup+0.100152 s]
/proc/loadavg: 1.00 1.06 1.34 4/180 20576
/proc/meminfo: memFree=31388372/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=29060 CPUtime=0.04 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 1128 0 0 0 4 0 0 0 20 0 1 0 35417425 29757440 934 18446744073709551615 4194304 7396336 140726354507168 140726354504168 6190153 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 7265 934 685 782 0 281 0
Current children cumulated CPU time (s) 0.04
Current children cumulated vsize (KiB) 29060
[startup+0.200267 s]
/proc/loadavg: 1.00 1.06 1.34 4/180 20576
/proc/meminfo: memFree=31388372/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=29184 CPUtime=0.14 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 1168 0 0 0 14 0 0 0 20 0 1 0 35417425 29884416 983 18446744073709551615 4194304 7396336 140726354507168 140726354504168 140032677926072 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 7296 983 711 782 0 312 0
Current children cumulated CPU time (s) 0.14
Current children cumulated vsize (KiB) 29184
[startup+0.300244 s]
/proc/loadavg: 1.00 1.06 1.34 4/180 20576
/proc/meminfo: memFree=31388372/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=29316 CPUtime=0.24 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 1201 0 0 0 24 0 0 0 20 0 1 0 35417425 30019584 983 18446744073709551615 4194304 7396336 140726354507168 140726354504168 140032671734757 0 0 1 0 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 7329 983 711 782 0 345 0
Current children cumulated CPU time (s) 0.24
Current children cumulated vsize (KiB) 29316
[startup+0.700267 s]
/proc/loadavg: 1.00 1.06 1.34 4/180 20576
/proc/meminfo: memFree=31388372/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=44820 CPUtime=0.63 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 5456 0 0 0 63 0 0 0 20 0 1 0 35417425 45895680 4967 18446744073709551615 4194304 7396336 140726354507168 140726354498072 5165796 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11205 4967 762 782 0 4221 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 44820
[startup+1.50026 s]
/proc/loadavg: 1.00 1.06 1.34 3/182 20578
/proc/meminfo: memFree=31368200/32770624 swapFree=0/467860
[pid=20573] ppid=20569 vsize=45448 CPUtime=1.44 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 5600 0 0 0 143 1 0 0 20 0 1 0 35417425 46538752 5098 18446744073709551615 4194304 7396336 140726354507168 140726354498072 5609291 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5098 768 782 0 4378 0
Current children cumulated CPU time (s) 1.44
Current children cumulated vsize (KiB) 45448
[startup+3.10024 s]
/proc/loadavg: 1.24 1.11 1.36 3/182 20578
/proc/meminfo: memFree=31366896/32770624 swapFree=0/467860
[pid=20573] ppid=20569 vsize=45448 CPUtime=3.03 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 8951 0 0 0 302 1 0 0 20 0 1 0 35417425 46538752 5112 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5165842 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5112 768 782 0 4378 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 45448
[startup+6.30025 s]
/proc/loadavg: 1.24 1.11 1.36 3/182 20578
/proc/meminfo: memFree=31367104/32770624 swapFree=0/467848
[pid=20573] ppid=20569 vsize=45448 CPUtime=6.23 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 12306 0 0 0 622 1 0 0 20 0 1 0 35417425 46538752 5112 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5575964 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5112 768 782 0 4378 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 45448
[startup+12.7002 s]
/proc/loadavg: 1.36 1.14 1.36 3/182 20578
/proc/meminfo: memFree=31366040/32770624 swapFree=0/467852
[pid=20573] ppid=20569 vsize=45448 CPUtime=12.63 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 15666 0 0 0 1262 1 0 0 20 0 1 0 35417425 46538752 5112 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4249760 0 0 1 16386 0 0 0 17 1 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5112 768 782 0 4378 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 45448
[startup+25.5059 s]
/proc/loadavg: 1.46 1.16 1.37 3/182 20579
/proc/meminfo: memFree=31366588/32770624 swapFree=0/467856
[pid=20573] ppid=20569 vsize=45448 CPUtime=25.43 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 17737 0 0 0 2542 1 0 0 20 0 1 0 35417425 46538752 5112 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4249440 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5112 768 782 0 4378 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 45448
[startup+51.1002 s]
/proc/loadavg: 1.59 1.22 1.38 3/182 20579
/proc/meminfo: memFree=31366748/32770624 swapFree=0/467860
[pid=20573] ppid=20569 vsize=45448 CPUtime=51.03 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 18803 0 0 0 5102 1 0 0 20 0 1 0 35417425 46538752 5112 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5603896 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5112 768 782 0 4378 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 45448
[startup+102.3 s]
/proc/loadavg: 1.82 1.34 1.42 3/182 20581
/proc/meminfo: memFree=31365520/32770624 swapFree=0/467876
[pid=20573] ppid=20569 vsize=45448 CPUtime=102.23 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 19859 0 0 0 10222 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 45448
[startup+162.3 s]
/proc/loadavg: 1.94 1.47 1.45 3/182 20583
/proc/meminfo: memFree=31365348/32770624 swapFree=0/467880
[pid=20573] ppid=20569 vsize=45448 CPUtime=162.24 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 20904 0 0 0 16223 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5608968 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 162.24
Current children cumulated vsize (KiB) 45448
[startup+222.3 s]
/proc/loadavg: 1.98 1.56 1.49 3/181 20585
/proc/meminfo: memFree=31365248/32770624 swapFree=0/467892
[pid=20573] ppid=20569 vsize=45448 CPUtime=222.25 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 21945 0 0 0 22224 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581608 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 45448
[startup+282.3 s]
/proc/loadavg: 1.99 1.64 1.52 3/181 20587
/proc/meminfo: memFree=31365628/32770624 swapFree=0/467896
[pid=20573] ppid=20569 vsize=45448 CPUtime=282.25 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 21948 0 0 0 28224 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4249696 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 282.25
Current children cumulated vsize (KiB) 45448
[startup+342.306 s]
/proc/loadavg: 2.00 1.71 1.55 3/181 20589
/proc/meminfo: memFree=31365264/32770624 swapFree=0/467908
[pid=20573] ppid=20569 vsize=45448 CPUtime=342.26 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 22990 0 0 0 34225 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581669 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 342.26
Current children cumulated vsize (KiB) 45448
[startup+402.3 s]
/proc/loadavg: 2.00 1.76 1.58 3/181 20591
/proc/meminfo: memFree=31365024/32770624 swapFree=0/467916
[pid=20573] ppid=20569 vsize=45448 CPUtime=402.27 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 22991 0 0 0 40226 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 402.27
Current children cumulated vsize (KiB) 45448
[startup+462.3 s]
/proc/loadavg: 2.00 1.81 1.61 3/181 20593
/proc/meminfo: memFree=31365156/32770624 swapFree=0/467936
[pid=20573] ppid=20569 vsize=45448 CPUtime=462.27 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 24037 0 0 0 46226 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581760 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 462.27
Current children cumulated vsize (KiB) 45448
[startup+522.3 s]
/proc/loadavg: 2.00 1.84 1.63 3/184 20609
/proc/meminfo: memFree=31360448/32770624 swapFree=0/467972
[pid=20573] ppid=20569 vsize=45448 CPUtime=522.28 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 24037 0 0 0 52227 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4249760 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 522.28
Current children cumulated vsize (KiB) 45448
[startup+582.3 s]
/proc/loadavg: 2.04 1.88 1.66 3/182 20611
/proc/meminfo: memFree=31362452/32770624 swapFree=0/467984
[pid=20573] ppid=20569 vsize=45448 CPUtime=582.28 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 25082 0 0 0 58227 1 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581726 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 582.28
Current children cumulated vsize (KiB) 45448
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.89 3/181 20663
/proc/meminfo: memFree=31363888/32770624 swapFree=0/468256
[pid=20573] ppid=20569 vsize=45448 CPUtime=1602.4 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 33447 0 0 0 160238 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581723 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1602.4
Current children cumulated vsize (KiB) 45448
[startup+1662.31 s]
/proc/loadavg: 2.00 2.01 1.89 3/181 20665
/proc/meminfo: memFree=31364144/32770624 swapFree=0/468264
[pid=20573] ppid=20569 vsize=45448 CPUtime=1662.41 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 34496 0 0 0 166239 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5165928 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1662.41
Current children cumulated vsize (KiB) 45448
[startup+1722.3 s]
/proc/loadavg: 2.11 2.04 1.91 3/184 20681
/proc/meminfo: memFree=31359364/32770624 swapFree=0/468300
[pid=20573] ppid=20569 vsize=45448 CPUtime=1722.41 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 34497 0 0 0 172239 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5608763 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1722.41
Current children cumulated vsize (KiB) 45448
[startup+1782.3 s]
/proc/loadavg: 2.04 2.04 1.92 3/182 20683
/proc/meminfo: memFree=31360896/32770624 swapFree=0/468324
[pid=20573] ppid=20569 vsize=45448 CPUtime=1782.42 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 35517 0 0 0 178240 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5609002 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1782.42
Current children cumulated vsize (KiB) 45448
[startup+1842.3 s]
/proc/loadavg: 2.01 2.03 1.92 3/181 20685
/proc/meminfo: memFree=31362532/32770624 swapFree=0/468336
[pid=20573] ppid=20569 vsize=45448 CPUtime=1842.42 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 35533 0 0 0 184240 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581594 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1842.42
Current children cumulated vsize (KiB) 45448
[startup+1902.3 s]
/proc/loadavg: 2.00 2.03 1.93 3/181 20687
/proc/meminfo: memFree=31363284/32770624 swapFree=0/468340
[pid=20573] ppid=20569 vsize=45448 CPUtime=1902.43 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 36352 0 0 0 190241 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581738 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1902.43
Current children cumulated vsize (KiB) 45448
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 1.93 3/181 20689
/proc/meminfo: memFree=31363292/32770624 swapFree=0/468352
[pid=20573] ppid=20569 vsize=45448 CPUtime=1962.43 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 36355 0 0 0 196241 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4317555 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 1962.43
Current children cumulated vsize (KiB) 45448
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/181 20691
/proc/meminfo: memFree=31363548/32770624 swapFree=0/468356
[pid=20573] ppid=20569 vsize=45448 CPUtime=2022.44 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 37400 0 0 0 202242 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5165796 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2022.44
Current children cumulated vsize (KiB) 45448
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.94 3/181 20693
/proc/meminfo: memFree=31363680/32770624 swapFree=0/468368
[pid=20573] ppid=20569 vsize=45448 CPUtime=2082.45 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 37404 0 0 0 208243 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581634 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2082.45
Current children cumulated vsize (KiB) 45448
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 20695
/proc/meminfo: memFree=31363440/32770624 swapFree=0/468380
[pid=20573] ppid=20569 vsize=45448 CPUtime=2142.45 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 38449 0 0 0 214243 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4249696 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2142.45
Current children cumulated vsize (KiB) 45448
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 20697
/proc/meminfo: memFree=31363572/32770624 swapFree=0/468384
[pid=20573] ppid=20569 vsize=45448 CPUtime=2202.46 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 38450 0 0 0 220244 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5575964 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2202.46
Current children cumulated vsize (KiB) 45448
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/181 20699
/proc/meminfo: memFree=31363580/32770624 swapFree=0/468388
[pid=20573] ppid=20569 vsize=45448 CPUtime=2262.46 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 39494 0 0 0 226244 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5609003 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2262.46
Current children cumulated vsize (KiB) 45448
[startup+2322.31 s]
/proc/loadavg: 2.00 2.01 1.95 3/185 20716
/proc/meminfo: memFree=31358692/32770624 swapFree=0/468424
[pid=20573] ppid=20569 vsize=45448 CPUtime=2322.48 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 39496 0 0 0 232246 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 5627952 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2322.48
Current children cumulated vsize (KiB) 45448
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 1.95 3/183 20718
/proc/meminfo: memFree=31359972/32770624 swapFree=0/468432
[pid=20573] ppid=20569 vsize=45448 CPUtime=2382.48 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 40539 0 0 0 238246 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581731 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2382.48
Current children cumulated vsize (KiB) 45448
[startup+2442.3 s]
/proc/loadavg: 2.05 2.03 1.96 3/182 20720
/proc/meminfo: memFree=31361112/32770624 swapFree=0/468444
[pid=20573] ppid=20569 vsize=45448 CPUtime=2442.48 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 40540 0 0 0 244246 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4399564 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2442.48
Current children cumulated vsize (KiB) 45448
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 1.96 3/182 20722
/proc/meminfo: memFree=31361376/32770624 swapFree=0/468464
[pid=20573] ppid=20569 vsize=45448 CPUtime=2502.49 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 41584 0 0 0 250247 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4246592 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2502.49
Current children cumulated vsize (KiB) 45448
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.9 s]
/proc/loadavg: 2.01 2.02 1.96 3/182 20722
/proc/meminfo: memFree=31361376/32770624 swapFree=0/468464
[pid=20573] ppid=20569 vsize=45448 CPUtime=2520.09 cores=1,3,5,7
/proc/20573/stat : 20573 (MistralXCSP) R 20569 20573 4057 0 -1 4202496 41584 0 0 0 252007 2 0 0 20 0 1 0 35417425 46538752 5116 18446744073709551615 4194304 7396336 140726354507168 140726354501768 4581710 0 0 1 16386 0 0 0 17 5 0 0 5 0 0 9496464 9501696 29720576 140726354510259 140726354510409 140726354510409 140726354513865 0
/proc/20573/statm: 11362 5116 768 782 0 4378 0
Current children cumulated CPU time (s) 2520.09
Current children cumulated vsize (KiB) 45448
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 20573 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2519.9
CPU time (s): 2520.1
CPU user time (s): 2520.08
CPU system time (s): 0.024002
CPU usage (%): 100.008
Max. virtual memory (cumulated for all children) (KiB): 45448
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.08
system time used= 0.024002
maximum resident set size= 20484
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 41622
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= 15
involuntary context switches= 766
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.0576 second user time and 8.85769 second system time
The end