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-4261114-1502372490/watcher-4261114-1502372490 -o /tmp/evaluation-result-4261114-1502372490/solver-4261114-1502372490 -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 766892645 HOME/instance-4261114-1502372490.xml
pid=14051
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.08 2.03 2.05 2/180 14054
/proc/meminfo: memFree=31285872/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/14054/stat : 14054 (runsolver) D 14051 14054 16590 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 39442544 24240128 108 18446744073709551615 4194304 4338465 140736632483184 140736632480824 140681760994007 0 0 1 24578 18446744071580418449 0 0 17 7 0 0 0 0 0 6438912 6441760 13873152 140736632488077 140736632488522 140736632488522 140736632491978 0
/proc/14054/statm: 5918 108 54 36 0 2156 0
[startup+0.100294 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 14054
/proc/meminfo: memFree=31285872/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=16548 CPUtime=0 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 1077936128 197 0 0 0 0 0 0 0 20 0 1 0 39442544 16945152 68 18446744073709551615 4194304 7396336 140731963103664 140731963100712 139889703208647 0 0 1 0 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 4137 68 49 782 0 42 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 16548
[startup+0.200242 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 14054
/proc/meminfo: memFree=31285872/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=28920 CPUtime=0.09 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 1084 0 0 0 9 0 0 0 20 0 1 0 39442544 29614080 915 18446744073709551615 4194304 7396336 140731963103664 140731963100664 6180889 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 7230 915 710 782 0 246 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 28920
[startup+0.300251 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 14054
/proc/meminfo: memFree=31285872/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=29044 CPUtime=0.19 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 1110 0 0 0 19 0 0 0 20 0 1 0 39442544 29741056 946 18446744073709551615 4194304 7396336 140731963103664 140731963094360 139889686713578 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 7261 946 710 782 0 277 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29044
[startup+0.700287 s]
/proc/loadavg: 2.08 2.03 2.05 2/180 14054
/proc/meminfo: memFree=31285872/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=51132 CPUtime=0.59 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 7088 0 0 0 59 0 0 0 20 0 1 0 39442544 52359168 6488 18446744073709551615 4194304 7396336 140731963103664 140731963094360 4566039 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 12783 6488 739 782 0 5799 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 51132
[startup+1.50023 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14055
/proc/meminfo: memFree=31242644/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=82940 CPUtime=1.39 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 14737 0 0 0 137 2 0 0 20 0 1 0 39442544 84930560 14444 18446744073709551615 4194304 7396336 140731963103664 140731963094360 139889680520737 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 20735 14444 739 782 0 13751 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 82940
[startup+3.10023 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14055
/proc/meminfo: memFree=31214372/32770624 swapFree=0/527428
[pid=14054] ppid=14051 vsize=114936 CPUtime=2.99 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 24792 0 0 0 296 3 0 0 20 0 1 0 39442544 117694464 22441 18446744073709551615 4194304 7396336 140731963103664 140731963094264 4566039 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 28734 22441 740 782 0 21750 0
Current children cumulated CPU time (s) 2.99
Current children cumulated vsize (KiB) 114936
[startup+6.30023 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 14055
/proc/meminfo: memFree=31154008/32770624 swapFree=0/527448
[pid=14054] ppid=14051 vsize=163684 CPUtime=6.19 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 54822 0 0 0 614 5 0 0 20 0 1 0 39442544 167612416 34599 18446744073709551615 4194304 7396336 140731963103664 140731963094264 4565880 0 0 1 0 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 40921 34599 740 782 0 33937 0
Current children cumulated CPU time (s) 6.19
Current children cumulated vsize (KiB) 163684
[startup+12.7003 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 14055
/proc/meminfo: memFree=31126408/32770624 swapFree=0/527448
[pid=14054] ppid=14051 vsize=186572 CPUtime=12.58 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 95340 0 0 0 1251 7 0 0 20 0 1 0 39442544 191049728 40403 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5586398 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40403 773 782 0 39659 0
Current children cumulated CPU time (s) 12.58
Current children cumulated vsize (KiB) 186572
[startup+25.5004 s]
/proc/loadavg: 2.05 2.03 2.05 3/181 14056
/proc/meminfo: memFree=31126660/32770624 swapFree=0/527452
[pid=14054] ppid=14051 vsize=186572 CPUtime=25.38 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 136131 0 0 0 2528 10 0 0 20 0 1 0 39442544 191049728 40420 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5588187 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40420 773 782 0 39659 0
Current children cumulated CPU time (s) 25.38
Current children cumulated vsize (KiB) 186572
[startup+51.1004 s]
/proc/loadavg: 2.04 2.03 2.05 3/181 14057
/proc/meminfo: memFree=31125992/32770624 swapFree=0/527452
[pid=14054] ppid=14051 vsize=186572 CPUtime=50.97 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 149215 0 0 0 5086 11 0 0 20 0 1 0 39442544 191049728 40421 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4246602 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40421 773 782 0 39659 0
Current children cumulated CPU time (s) 50.97
Current children cumulated vsize (KiB) 186572
[startup+102.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14120
/proc/meminfo: memFree=31057000/32770624 swapFree=0/527832
[pid=14054] ppid=14051 vsize=186572 CPUtime=102.16 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 151505 0 0 0 10205 11 0 0 20 0 1 0 39442544 191049728 40426 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5576665 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40426 773 782 0 39659 0
Current children cumulated CPU time (s) 102.16
Current children cumulated vsize (KiB) 186572
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 14137
/proc/meminfo: memFree=30867400/32770624 swapFree=0/527540
[pid=14054] ppid=14051 vsize=186572 CPUtime=162.15 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 152093 0 0 0 16204 11 0 0 20 0 1 0 39442544 191049728 40427 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40427 773 782 0 39659 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 186572
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 14139
/proc/meminfo: memFree=30866080/32770624 swapFree=0/527548
[pid=14054] ppid=14051 vsize=186572 CPUtime=222.15 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 152682 0 0 0 22204 11 0 0 20 0 1 0 39442544 191049728 40428 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5576665 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40428 773 782 0 39659 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 186572
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14141
/proc/meminfo: memFree=30869732/32770624 swapFree=0/527548
[pid=14054] ppid=14051 vsize=186572 CPUtime=282.14 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 153273 0 0 0 28203 11 0 0 20 0 1 0 39442544 191049728 40429 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4319836 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40429 773 782 0 39659 0
Current children cumulated CPU time (s) 282.14
Current children cumulated vsize (KiB) 186572
[startup+342.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 14143
/proc/meminfo: memFree=30871084/32770624 swapFree=0/527560
[pid=14054] ppid=14051 vsize=186572 CPUtime=342.14 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 153858 0 0 0 34203 11 0 0 20 0 1 0 39442544 191049728 40430 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40430 773 782 0 39659 0
Current children cumulated CPU time (s) 342.14
Current children cumulated vsize (KiB) 186572
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 14145
/proc/meminfo: memFree=30871668/32770624 swapFree=0/527588
[pid=14054] ppid=14051 vsize=186572 CPUtime=402.14 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 154443 0 0 0 40203 11 0 0 20 0 1 0 39442544 191049728 40430 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4317563 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40430 773 782 0 39659 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 186572
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14147
/proc/meminfo: memFree=30872716/32770624 swapFree=0/527620
[pid=14054] ppid=14051 vsize=186572 CPUtime=462.13 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 155033 0 0 0 46202 11 0 0 20 0 1 0 39442544 191049728 40430 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40430 773 782 0 39659 0
Current children cumulated CPU time (s) 462.13
Current children cumulated vsize (KiB) 186572
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14149
/proc/meminfo: memFree=30872716/32770624 swapFree=0/527620
[pid=14054] ppid=14051 vsize=186572 CPUtime=522.14 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 155624 0 0 0 52202 12 0 0 20 0 1 0 39442544 191049728 40430 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40430 773 782 0 39659 0
Current children cumulated CPU time (s) 522.14
Current children cumulated vsize (KiB) 186572
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14151
/proc/meminfo: memFree=30873008/32770624 swapFree=0/527616
[pid=14054] ppid=14051 vsize=186572 CPUtime=582.13 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 156216 0 0 0 58201 12 0 0 20 0 1 0 39442544 191049728 40431 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5649755 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40431 773 782 0 39659 0
Current children cumulated CPU time (s) 582.13
Current children cumulated vsize (KiB) 186572
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/183 14214
/proc/meminfo: memFree=30870864/32770624 swapFree=0/527864
[pid=14054] ppid=14051 vsize=186572 CPUtime=1602.08 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 166236 0 0 0 160195 13 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5586450 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1602.08
Current children cumulated vsize (KiB) 186572
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 14217
/proc/meminfo: memFree=30871168/32770624 swapFree=0/527868
[pid=14054] ppid=14051 vsize=186572 CPUtime=1662.08 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 166828 0 0 0 166195 13 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1662.08
Current children cumulated vsize (KiB) 186572
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14219
/proc/meminfo: memFree=30871160/32770624 swapFree=0/527876
[pid=14054] ppid=14051 vsize=186572 CPUtime=1722.08 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 167414 0 0 0 172195 13 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1722.08
Current children cumulated vsize (KiB) 186572
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 14221
/proc/meminfo: memFree=30871012/32770624 swapFree=0/527880
[pid=14054] ppid=14051 vsize=186572 CPUtime=1782.08 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 168001 0 0 0 178195 13 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5628712 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1782.08
Current children cumulated vsize (KiB) 186572
[startup+1842.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 14224
/proc/meminfo: memFree=30870880/32770624 swapFree=0/527876
[pid=14054] ppid=14051 vsize=186572 CPUtime=1842.07 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 168587 0 0 0 184194 13 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4264294 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1842.07
Current children cumulated vsize (KiB) 186572
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14226
/proc/meminfo: memFree=30870928/32770624 swapFree=0/527884
[pid=14054] ppid=14051 vsize=186572 CPUtime=1902.07 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 169173 0 0 0 190193 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575200 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1902.07
Current children cumulated vsize (KiB) 186572
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 14242
/proc/meminfo: memFree=30866284/32770624 swapFree=0/527920
[pid=14054] ppid=14051 vsize=186572 CPUtime=1962.07 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 169760 0 0 0 196193 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5649755 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 1962.07
Current children cumulated vsize (KiB) 186572
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 14268
/proc/meminfo: memFree=30866080/32770624 swapFree=0/527960
[pid=14054] ppid=14051 vsize=186572 CPUtime=2022.07 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 170347 0 0 0 202193 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4581634 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2022.07
Current children cumulated vsize (KiB) 186572
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 14270
/proc/meminfo: memFree=30867048/32770624 swapFree=0/527988
[pid=14054] ppid=14051 vsize=186572 CPUtime=2082.07 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 170933 0 0 0 208193 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575964 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2082.07
Current children cumulated vsize (KiB) 186572
[startup+2142.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/181 14272
/proc/meminfo: memFree=30870424/32770624 swapFree=0/528000
[pid=14054] ppid=14051 vsize=186572 CPUtime=2142.06 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 171519 0 0 0 214192 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4319823 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2142.06
Current children cumulated vsize (KiB) 186572
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 14274
/proc/meminfo: memFree=30870920/32770624 swapFree=0/528012
[pid=14054] ppid=14051 vsize=186572 CPUtime=2202.06 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 172105 0 0 0 220192 14 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575952 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2202.06
Current children cumulated vsize (KiB) 186572
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14276
/proc/meminfo: memFree=30871212/32770624 swapFree=0/528028
[pid=14054] ppid=14051 vsize=186572 CPUtime=2262.06 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 172691 0 0 0 226191 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5576651 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2262.06
Current children cumulated vsize (KiB) 186572
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14278
/proc/meminfo: memFree=30871336/32770624 swapFree=0/528032
[pid=14054] ppid=14051 vsize=186572 CPUtime=2322.05 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 173278 0 0 0 232190 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5575980 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2322.05
Current children cumulated vsize (KiB) 186572
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 14280
/proc/meminfo: memFree=30871212/32770624 swapFree=0/528044
[pid=14054] ppid=14051 vsize=186572 CPUtime=2382.05 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 173865 0 0 0 238190 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5839021 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2382.05
Current children cumulated vsize (KiB) 186572
[startup+2442.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/181 14282
/proc/meminfo: memFree=30871168/32770624 swapFree=0/528048
[pid=14054] ppid=14051 vsize=186572 CPUtime=2442.04 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 174451 0 0 0 244189 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5649755 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2442.04
Current children cumulated vsize (KiB) 186572
[startup+2502.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14284
/proc/meminfo: memFree=30870796/32770624 swapFree=0/528064
[pid=14054] ppid=14051 vsize=186572 CPUtime=2502.04 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 175038 0 0 0 250189 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 4317563 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2502.04
Current children cumulated vsize (KiB) 186572
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/181 14285
/proc/meminfo: memFree=30871152/32770624 swapFree=0/528080
[pid=14054] ppid=14051 vsize=186572 CPUtime=2519.74 cores=1,3,5,7
/proc/14054/stat : 14054 (MistralXCSP) R 14051 14054 16590 0 -1 4202496 175624 0 0 0 251959 15 0 0 20 0 1 0 39442544 191049728 40433 18446744073709551615 4194304 7396336 140731963103664 140731963098680 5588145 0 0 1 16386 0 0 0 17 1 0 0 9 0 0 9496464 9501696 33546240 140731963109812 140731963109961 140731963109961 140731963113417 0
/proc/14054/statm: 46643 40433 773 782 0 39659 0
Current children cumulated CPU time (s) 2519.74
Current children cumulated vsize (KiB) 186572
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 14054 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.75
CPU user time (s): 2519.6
CPU system time (s): 0.158992
CPU usage (%): 99.9902
Max. virtual memory (cumulated for all children) (KiB): 186572
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.6
system time used= 0.158992
maximum resident set size= 161752
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 175660
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= 60
involuntary context switches= 671
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.82412 second user time and 11.1321 second system time
The end