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-4261790-1502339651/watcher-4261790-1502339651 -o /tmp/evaluation-result-4261790-1502339651/solver-4261790-1502339651 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502331240-8162 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1261265546 HOME/instance-4261790-1502339651.xml
pid=9038
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.00 2.01 2.05 4/196 9041
/proc/meminfo: memFree=31272576/32770624 swapFree=0/518516
[pid=9041] ppid=9038 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/9041/stat : 9041 (runsolver) D 9038 9041 16590 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 36158620 24240128 106 18446744073709551615 4194304 4338465 140724784003152 140724784000792 140375812199127 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 38830080 140724784009356 140724784009802 140724784009802 140724784013258 0
/proc/9041/statm: 5918 106 53 36 0 2156 0
[startup+0.10013 s]
/proc/loadavg: 2.00 2.01 2.05 4/196 9041
/proc/meminfo: memFree=31272576/32770624 swapFree=0/518516
[pid=9041] ppid=9038 vsize=33304 CPUtime=0.02 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 2194 0 0 0 2 0 0 0 20 0 1 0 36158620 34103296 1990 18446744073709551615 4194304 7396336 140736282388848 140736282378624 6103330 0 0 1 0 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8326 1990 732 782 0 1342 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 33304
[startup+0.200269 s]
/proc/loadavg: 2.00 2.01 2.05 4/196 9041
/proc/meminfo: memFree=31272576/32770624 swapFree=0/518516
[pid=9041] ppid=9038 vsize=34396 CPUtime=0.11 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 2544 0 0 0 11 0 0 0 20 0 1 0 36158620 35221504 2320 18446744073709551615 4194304 7396336 140736282388848 140736282380056 139883167538149 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8599 2320 785 782 0 1615 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 34396
[startup+0.30025 s]
/proc/loadavg: 2.00 2.01 2.05 4/196 9041
/proc/meminfo: memFree=31272576/32770624 swapFree=0/518516
[pid=9041] ppid=9038 vsize=34816 CPUtime=0.21 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 2648 0 0 0 21 0 0 0 20 0 1 0 36158620 35651584 2452 18446744073709551615 4194304 7396336 140736282388848 140736282383480 4582143 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8704 2452 787 782 0 1720 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 34816
[startup+0.700198 s]
/proc/loadavg: 2.00 2.01 2.05 4/196 9041
/proc/meminfo: memFree=31272576/32770624 swapFree=0/518516
[pid=9041] ppid=9038 vsize=35080 CPUtime=0.61 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 2693 0 0 0 61 0 0 0 20 0 1 0 36158620 35921920 2518 18446744073709551615 4194304 7396336 140736282388848 140736282383192 4257719 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8770 2518 788 782 0 1786 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 35080
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9074
/proc/meminfo: memFree=31306020/32770624 swapFree=0/518488
[pid=9041] ppid=9038 vsize=35080 CPUtime=1.41 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 2707 0 0 0 141 0 0 0 20 0 1 0 36158620 35921920 2518 18446744073709551615 4194304 7396336 140736282388848 140736282383192 4257728 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8770 2518 788 782 0 1786 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 35080
[startup+3.10022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9074
/proc/meminfo: memFree=31305384/32770624 swapFree=0/518500
[pid=9041] ppid=9038 vsize=35080 CPUtime=3.01 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 3414 0 0 0 301 0 0 0 20 0 1 0 36158620 35921920 2558 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5686729 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8770 2558 788 782 0 1786 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 35080
[startup+6.30022 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9075
/proc/meminfo: memFree=31305092/32770624 swapFree=0/518512
[pid=9041] ppid=9038 vsize=35212 CPUtime=6.21 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 4121 0 0 0 621 0 0 0 20 0 1 0 36158620 36057088 2568 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4582762 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2568 788 782 0 1819 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 35212
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9075
/proc/meminfo: memFree=31304416/32770624 swapFree=0/518512
[pid=9041] ppid=9038 vsize=35212 CPUtime=12.61 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 4491 0 0 0 1261 0 0 0 20 0 1 0 36158620 36057088 2571 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4388076 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2571 788 782 0 1819 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 35212
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 9075
/proc/meminfo: memFree=31304292/32770624 swapFree=0/518504
[pid=9041] ppid=9038 vsize=35212 CPUtime=25.41 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 5233 0 0 0 2541 0 0 0 20 0 1 0 36158620 36057088 2571 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4581608 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2571 788 782 0 1819 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 35212
[startup+51.1003 s]
/proc/loadavg: 2.06 2.03 2.05 3/184 9075
/proc/meminfo: memFree=31304300/32770624 swapFree=0/518500
[pid=9041] ppid=9038 vsize=35212 CPUtime=51.01 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 5619 0 0 0 5101 0 0 0 20 0 1 0 36158620 36057088 2573 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5616110 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2573 788 782 0 1819 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 35212
[startup+102.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 9077
/proc/meminfo: memFree=31306584/32770624 swapFree=0/518532
[pid=9041] ppid=9038 vsize=35212 CPUtime=102.21 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 5998 0 0 0 10221 0 0 0 20 0 1 0 36158620 36057088 2576 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5616719 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2576 788 782 0 1819 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 35212
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9079
/proc/meminfo: memFree=31306840/32770624 swapFree=0/518532
[pid=9041] ppid=9038 vsize=35212 CPUtime=162.2 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 6379 0 0 0 16220 0 0 0 20 0 1 0 36158620 36057088 2576 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4406864 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2576 788 782 0 1819 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 35212
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9081
/proc/meminfo: memFree=31306732/32770624 swapFree=0/518540
[pid=9041] ppid=9038 vsize=35212 CPUtime=222.21 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 6755 0 0 0 22221 0 0 0 20 0 1 0 36158620 36057088 2576 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4249440 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2576 788 782 0 1819 0
Current children cumulated CPU time (s) 222.21
Current children cumulated vsize (KiB) 35212
[startup+282.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 9083
/proc/meminfo: memFree=31307608/32770624 swapFree=0/518560
[pid=9041] ppid=9038 vsize=35212 CPUtime=282.2 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 7144 0 0 0 28220 0 0 0 20 0 1 0 36158620 36057088 2576 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5615796 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2576 788 782 0 1819 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 35212
[startup+342.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9086
/proc/meminfo: memFree=31307600/32770624 swapFree=0/518584
[pid=9041] ppid=9038 vsize=35212 CPUtime=342.2 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 7520 0 0 0 34220 0 0 0 20 0 1 0 36158620 36057088 2576 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4267229 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2576 788 782 0 1819 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 35212
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 9088
/proc/meminfo: memFree=31307756/32770624 swapFree=0/518584
[pid=9041] ppid=9038 vsize=35212 CPUtime=402.19 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 7931 0 0 0 40219 0 0 0 20 0 1 0 36158620 36057088 2579 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4542547 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2579 788 782 0 1819 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 35212
[startup+462.3 s]
/proc/loadavg: 2.09 2.04 2.05 3/181 9090
/proc/meminfo: memFree=31308128/32770624 swapFree=0/518588
[pid=9041] ppid=9038 vsize=35212 CPUtime=462.19 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 8326 0 0 0 46219 0 0 0 20 0 1 0 36158620 36057088 2582 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4407824 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2582 788 782 0 1819 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 35212
[startup+522.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 9093
/proc/meminfo: memFree=31307756/32770624 swapFree=0/518600
[pid=9041] ppid=9038 vsize=35212 CPUtime=522.19 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 8708 0 0 0 52219 0 0 0 20 0 1 0 36158620 36057088 2582 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4257788 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2582 788 782 0 1819 0
Current children cumulated CPU time (s) 522.19
Current children cumulated vsize (KiB) 35212
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 9095
/proc/meminfo: memFree=31307632/32770624 swapFree=0/518608
[pid=9041] ppid=9038 vsize=35212 CPUtime=582.18 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 9103 0 0 0 58218 0 0 0 20 0 1 0 36158620 36057088 2582 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4407464 0 0 1 16386 0 0 0 17 3 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2582 788 782 0 1819 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 35212
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 9157
/proc/meminfo: memFree=31306844/32770624 swapFree=0/518836
[pid=9041] ppid=9038 vsize=35212 CPUtime=1602.15 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 15657 0 0 0 160214 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4257719 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1602.15
Current children cumulated vsize (KiB) 35212
[startup+1662.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 9159
/proc/meminfo: memFree=31306720/32770624 swapFree=0/518840
[pid=9041] ppid=9038 vsize=35212 CPUtime=1662.15 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 16042 0 0 0 166214 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4407787 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1662.15
Current children cumulated vsize (KiB) 35212
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9161
/proc/meminfo: memFree=31306600/32770624 swapFree=0/518852
[pid=9041] ppid=9038 vsize=35212 CPUtime=1722.14 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 16427 0 0 0 172213 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4407473 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 35212
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 9163
/proc/meminfo: memFree=31306476/32770624 swapFree=0/518856
[pid=9041] ppid=9038 vsize=35212 CPUtime=1782.14 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 16812 0 0 0 178213 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4581579 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 35212
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 9180
/proc/meminfo: memFree=31301808/32770624 swapFree=0/518900
[pid=9041] ppid=9038 vsize=35212 CPUtime=1842.14 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 17197 0 0 0 184213 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4249440 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 35212
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 9182
/proc/meminfo: memFree=31303952/32770624 swapFree=0/518920
[pid=9041] ppid=9038 vsize=35212 CPUtime=1902.14 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 17582 0 0 0 190213 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4399504 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 35212
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 9184
/proc/meminfo: memFree=31305240/32770624 swapFree=0/518944
[pid=9041] ppid=9038 vsize=35212 CPUtime=1962.13 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 17967 0 0 0 196212 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5616744 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 1962.13
Current children cumulated vsize (KiB) 35212
[startup+2022.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 9186
/proc/meminfo: memFree=31305488/32770624 swapFree=0/518956
[pid=9041] ppid=9038 vsize=35212 CPUtime=2022.13 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 18352 0 0 0 202212 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5576088 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2022.13
Current children cumulated vsize (KiB) 35212
[startup+2082.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 9188
/proc/meminfo: memFree=31305488/32770624 swapFree=0/518976
[pid=9041] ppid=9038 vsize=35212 CPUtime=2082.13 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 18737 0 0 0 208212 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4388094 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2082.13
Current children cumulated vsize (KiB) 35212
[startup+2142.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 9191
/proc/meminfo: memFree=31305132/32770624 swapFree=0/518984
[pid=9041] ppid=9038 vsize=35212 CPUtime=2142.13 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 19122 0 0 0 214212 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4407940 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 35212
[startup+2202.31 s]
/proc/loadavg: 2.12 2.06 2.05 3/181 9193
/proc/meminfo: memFree=31305380/32770624 swapFree=0/518996
[pid=9041] ppid=9038 vsize=35212 CPUtime=2202.13 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 19507 0 0 0 220212 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5575200 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2202.13
Current children cumulated vsize (KiB) 35212
[startup+2262.3 s]
/proc/loadavg: 2.04 2.05 2.05 3/181 9195
/proc/meminfo: memFree=31305752/32770624 swapFree=0/519004
[pid=9041] ppid=9038 vsize=35212 CPUtime=2262.12 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 19892 0 0 0 226211 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4582577 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2262.12
Current children cumulated vsize (KiB) 35212
[startup+2322.3 s]
/proc/loadavg: 2.06 2.05 2.05 3/181 9198
/proc/meminfo: memFree=31305720/32770624 swapFree=0/519020
[pid=9041] ppid=9038 vsize=35212 CPUtime=2322.12 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 20277 0 0 0 232211 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4379200 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2322.12
Current children cumulated vsize (KiB) 35212
[startup+2382.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/181 9200
/proc/meminfo: memFree=31304976/32770624 swapFree=0/519044
[pid=9041] ppid=9038 vsize=35212 CPUtime=2382.12 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 20662 0 0 0 238211 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4542516 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 35212
[startup+2442.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/184 9216
/proc/meminfo: memFree=31300824/32770624 swapFree=0/519068
[pid=9041] ppid=9038 vsize=35212 CPUtime=2442.12 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 21047 0 0 0 244211 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 5841274 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 35212
[startup+2502.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 9243
/proc/meminfo: memFree=31300240/32770624 swapFree=0/519100
[pid=9041] ppid=9038 vsize=35212 CPUtime=2502.11 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 21432 0 0 0 250210 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4406460 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2502.11
Current children cumulated vsize (KiB) 35212
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 9243
/proc/meminfo: memFree=31300488/32770624 swapFree=0/519100
[pid=9041] ppid=9038 vsize=35212 CPUtime=2519.81 cores=1,3,5,7
/proc/9041/stat : 9041 (MistralXCSP) R 9038 9041 16590 0 -1 4202496 21817 0 0 0 251980 1 0 0 20 0 1 0 36158620 36057088 2585 18446744073709551615 4194304 7396336 140736282388848 140736282383864 4581801 0 0 1 16386 0 0 0 17 5 0 0 7 0 0 9496464 9501696 21409792 140736282390963 140736282391113 140736282391113 140736282394569 0
/proc/9041/statm: 8803 2585 788 782 0 1819 0
Current children cumulated CPU time (s) 2519.81
Current children cumulated vsize (KiB) 35212
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 9041 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.82
CPU user time (s): 2519.81
CPU system time (s): 0.013999
CPU usage (%): 99.9929
Max. virtual memory (cumulated for all children) (KiB): 35212
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.81
system time used= 0.013999
maximum resident set size= 10360
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 21855
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= 10
involuntary context switches= 1124
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.24464 second user time and 8.87772 second system time
The end