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-4261144-1502335627/watcher-4261144-1502335627 -o /tmp/evaluation-result-4261144-1502335627/solver-4261144-1502335627 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27114 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 330372670 HOME/instance-4261144-1502335627.xml
pid=27135
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: 2.01 2.03 1.99 3/178 27138
/proc/meminfo: memFree=31743748/32770624 swapFree=0/352024
[pid=27138] ppid=27135 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/27138/stat : 27138 (runsolver) D 27135 27138 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 21903355 24240128 106 18446744073709551615 4194304 4338465 140721650780192 140721650777832 139635704050391 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 25120768 140721650782348 140721650782794 140721650782794 140721650786250 0
/proc/27138/statm: 5918 106 53 36 0 2156 0
[startup+0.100125 s]
/proc/loadavg: 2.01 2.03 1.99 3/178 27138
/proc/meminfo: memFree=31743748/32770624 swapFree=0/352024
[pid=27138] ppid=27135 vsize=6904 CPUtime=0 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) D 27135 27138 6971 0 -1 4194304 156 0 0 0 0 0 0 0 20 0 1 0 21903355 7069696 35 18446744073709551615 4194304 7396336 140733566326160 140733566323256 139765552458234 0 0 1 0 18446744071580431491 0 0 17 0 0 0 8 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 1726 35 26 782 0 39 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 6904
[startup+0.200269 s]
/proc/loadavg: 2.01 2.03 1.99 3/178 27138
/proc/meminfo: memFree=31743748/32770624 swapFree=0/352024
[pid=27138] ppid=27135 vsize=29476 CPUtime=0.05 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 1215 0 1 0 5 0 0 0 20 0 1 0 21903355 30183424 1054 18446744073709551615 4194304 7396336 140733566326160 140733566316856 6190072 0 0 1 0 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 7369 1054 711 782 0 385 0
Current children cumulated CPU time (s) 0.05
Current children cumulated vsize (KiB) 29476
[startup+0.300222 s]
/proc/loadavg: 2.01 2.03 1.99 3/178 27138
/proc/meminfo: memFree=31743748/32770624 swapFree=0/352024
[pid=27138] ppid=27135 vsize=29604 CPUtime=0.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 1271 0 1 0 15 0 0 0 20 0 1 0 21903355 30314496 1086 18446744073709551615 4194304 7396336 140733566326160 140733566316856 6180857 0 0 1 0 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 7401 1086 713 782 0 417 0
Current children cumulated CPU time (s) 0.15
Current children cumulated vsize (KiB) 29604
[startup+0.700175 s]
/proc/loadavg: 2.01 2.03 1.99 3/178 27138
/proc/meminfo: memFree=31743748/32770624 swapFree=0/352024
[pid=27138] ppid=27135 vsize=30164 CPUtime=0.55 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 1395 0 1 0 55 0 0 0 20 0 1 0 21903355 30887936 1217 18446744073709551615 4194304 7396336 140733566326160 140733566316856 6181152 0 0 1 0 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 7541 1217 716 782 0 557 0
Current children cumulated CPU time (s) 0.55
Current children cumulated vsize (KiB) 30164
[startup+1.50024 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 27145
/proc/meminfo: memFree=31733712/32770624 swapFree=0/357404
[pid=27138] ppid=27135 vsize=48760 CPUtime=1.36 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 6421 0 1 0 135 1 0 0 20 0 1 0 21903355 49930240 5906 18446744073709551615 4194304 7396336 140733566326160 140733566316824 4582123 0 0 1 16386 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12190 5906 767 782 0 5206 0
Current children cumulated CPU time (s) 1.36
Current children cumulated vsize (KiB) 48760
[startup+3.10022 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 27145
/proc/meminfo: memFree=31683772/32770624 swapFree=0/357404
[pid=27138] ppid=27135 vsize=48892 CPUtime=2.95 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 7212 0 1 0 294 1 0 0 20 0 1 0 21903355 50065408 5979 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4581738 0 0 1 16386 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5979 768 782 0 5239 0
Current children cumulated CPU time (s) 2.95
Current children cumulated vsize (KiB) 48892
[startup+6.3002 s]
/proc/loadavg: 2.01 2.03 1.99 3/182 27145
/proc/meminfo: memFree=31657780/32770624 swapFree=0/357404
[pid=27138] ppid=27135 vsize=48892 CPUtime=6.14 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 7953 0 1 0 613 1 0 0 20 0 1 0 21903355 50065408 5985 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4582123 0 0 1 16386 0 0 0 17 0 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5985 768 782 0 5239 0
Current children cumulated CPU time (s) 6.14
Current children cumulated vsize (KiB) 48892
[startup+12.7003 s]
/proc/loadavg: 1.93 2.01 1.99 3/182 27145
/proc/meminfo: memFree=31657684/32770624 swapFree=0/357400
[pid=27138] ppid=27135 vsize=48892 CPUtime=12.54 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 8696 0 1 0 1253 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5165842 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 12.54
Current children cumulated vsize (KiB) 48892
[startup+25.5003 s]
/proc/loadavg: 1.94 2.01 1.99 3/182 27145
/proc/meminfo: memFree=31658320/32770624 swapFree=0/357396
[pid=27138] ppid=27135 vsize=48892 CPUtime=25.34 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 10151 0 1 0 2533 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5575964 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 25.34
Current children cumulated vsize (KiB) 48892
[startup+51.1003 s]
/proc/loadavg: 1.96 2.01 1.99 3/182 27146
/proc/meminfo: memFree=31658644/32770624 swapFree=0/357400
[pid=27138] ppid=27135 vsize=48892 CPUtime=50.94 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 10921 0 1 0 5093 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4582143 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 50.94
Current children cumulated vsize (KiB) 48892
[startup+102.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/182 27148
/proc/meminfo: memFree=31658404/32770624 swapFree=0/357420
[pid=27138] ppid=27135 vsize=48892 CPUtime=102.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 11666 0 1 0 10214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608772 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 102.15
Current children cumulated vsize (KiB) 48892
[startup+162.3 s]
/proc/loadavg: 1.99 2.01 1.99 3/181 27150
/proc/meminfo: memFree=31658544/32770624 swapFree=0/357424
[pid=27138] ppid=27135 vsize=48892 CPUtime=162.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 12407 0 1 0 16214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5575964 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 162.15
Current children cumulated vsize (KiB) 48892
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 27152
/proc/meminfo: memFree=31658684/32770624 swapFree=0/357436
[pid=27138] ppid=27135 vsize=48892 CPUtime=222.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 13151 0 1 0 22214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608763 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 48892
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/181 27154
/proc/meminfo: memFree=31658436/32770624 swapFree=0/357440
[pid=27138] ppid=27135 vsize=48892 CPUtime=282.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 13901 0 1 0 28214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4581409 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 282.15
Current children cumulated vsize (KiB) 48892
[startup+342.3 s]
/proc/loadavg: 2.04 2.02 1.99 3/181 27156
/proc/meminfo: memFree=31659020/32770624 swapFree=0/357460
[pid=27138] ppid=27135 vsize=48892 CPUtime=342.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 14641 0 1 0 34214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608763 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 342.15
Current children cumulated vsize (KiB) 48892
[startup+402.3 s]
/proc/loadavg: 2.05 2.04 2.00 3/181 27158
/proc/meminfo: memFree=31659132/32770624 swapFree=0/357476
[pid=27138] ppid=27135 vsize=48892 CPUtime=402.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 15380 0 1 0 40214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5609031 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 402.15
Current children cumulated vsize (KiB) 48892
[startup+462.3 s]
/proc/loadavg: 2.02 2.03 2.00 3/184 27174
/proc/meminfo: memFree=31655072/32770624 swapFree=0/357532
[pid=27138] ppid=27135 vsize=48892 CPUtime=462.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 16139 0 1 0 46214 1 0 0 20 0 1 0 21903355 50065408 5986 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4317596 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5986 768 782 0 5239 0
Current children cumulated CPU time (s) 462.15
Current children cumulated vsize (KiB) 48892
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.00 3/184 27198
/proc/meminfo: memFree=31653380/32770624 swapFree=0/357564
[pid=27138] ppid=27135 vsize=48892 CPUtime=522.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 16878 0 1 0 52214 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4249767 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 522.15
Current children cumulated vsize (KiB) 48892
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.00 3/181 27200
/proc/meminfo: memFree=31657428/32770624 swapFree=0/357592
[pid=27138] ppid=27135 vsize=48892 CPUtime=582.15 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 17620 0 1 0 58214 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4581734 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 582.15
Current children cumulated vsize (KiB) 48892
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/181 27250
/proc/meminfo: memFree=31657508/32770624 swapFree=0/357872
[pid=27138] ppid=27135 vsize=48892 CPUtime=1602.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 30232 0 1 0 160215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5575964 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1602.16
Current children cumulated vsize (KiB) 48892
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 27268
/proc/meminfo: memFree=31652492/32770624 swapFree=0/357880
[pid=27138] ppid=27135 vsize=48892 CPUtime=1662.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 30975 0 1 0 166215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4249698 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 48892
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/185 27269
/proc/meminfo: memFree=31653076/32770624 swapFree=0/357896
[pid=27138] ppid=27135 vsize=48892 CPUtime=1722.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 31715 0 1 0 172215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4320960 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1722.16
Current children cumulated vsize (KiB) 48892
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.00 3/182 27271
/proc/meminfo: memFree=31655728/32770624 swapFree=0/357904
[pid=27138] ppid=27135 vsize=48892 CPUtime=1782.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 32456 0 1 0 178215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5586528 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1782.16
Current children cumulated vsize (KiB) 48892
[startup+1842.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/182 27273
/proc/meminfo: memFree=31655968/32770624 swapFree=0/357916
[pid=27138] ppid=27135 vsize=48892 CPUtime=1842.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 33201 0 1 0 184215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5586528 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1842.16
Current children cumulated vsize (KiB) 48892
[startup+1902.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/182 27275
/proc/meminfo: memFree=31656412/32770624 swapFree=0/357920
[pid=27138] ppid=27135 vsize=48892 CPUtime=1902.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 33943 0 1 0 190215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5575952 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1902.16
Current children cumulated vsize (KiB) 48892
[startup+1962.3 s]
/proc/loadavg: 2.01 2.02 2.01 3/181 27277
/proc/meminfo: memFree=31656312/32770624 swapFree=0/357932
[pid=27138] ppid=27135 vsize=48892 CPUtime=1962.16 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 34688 0 1 0 196215 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608763 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 1962.16
Current children cumulated vsize (KiB) 48892
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/181 27279
/proc/meminfo: memFree=31656560/32770624 swapFree=0/357940
[pid=27138] ppid=27135 vsize=48892 CPUtime=2022.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 35427 0 1 0 202216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5839252 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2022.17
Current children cumulated vsize (KiB) 48892
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.01 3/181 27281
/proc/meminfo: memFree=31656188/32770624 swapFree=0/357940
[pid=27138] ppid=27135 vsize=48892 CPUtime=2082.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 36168 0 1 0 208216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608992 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2082.17
Current children cumulated vsize (KiB) 48892
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.01 3/181 27283
/proc/meminfo: memFree=31656536/32770624 swapFree=0/357960
[pid=27138] ppid=27135 vsize=48892 CPUtime=2142.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 36908 0 1 0 214216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4249442 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2142.17
Current children cumulated vsize (KiB) 48892
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.01 3/181 27285
/proc/meminfo: memFree=31656288/32770624 swapFree=0/357968
[pid=27138] ppid=27135 vsize=48892 CPUtime=2202.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 37651 0 1 0 220216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4257671 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2202.17
Current children cumulated vsize (KiB) 48892
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/185 27302
/proc/meminfo: memFree=31652504/32770624 swapFree=0/358020
[pid=27138] ppid=27135 vsize=48892 CPUtime=2262.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 38394 0 1 0 226216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4249696 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2262.17
Current children cumulated vsize (KiB) 48892
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.01 3/185 27304
/proc/meminfo: memFree=31652012/32770624 swapFree=0/358044
[pid=27138] ppid=27135 vsize=48892 CPUtime=2322.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 39136 0 1 0 232216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4249440 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2322.17
Current children cumulated vsize (KiB) 48892
[startup+2382.3 s]
/proc/loadavg: 2.05 2.03 2.02 3/182 27306
/proc/meminfo: memFree=31655288/32770624 swapFree=0/358044
[pid=27138] ppid=27135 vsize=48892 CPUtime=2382.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 39873 0 1 0 238216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5609272 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2382.17
Current children cumulated vsize (KiB) 48892
[startup+2442.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/182 27308
/proc/meminfo: memFree=31654784/32770624 swapFree=0/358052
[pid=27138] ppid=27135 vsize=48892 CPUtime=2442.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 40611 0 1 0 244216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5575980 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2442.17
Current children cumulated vsize (KiB) 48892
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 27310
/proc/meminfo: memFree=31655156/32770624 swapFree=0/358080
[pid=27138] ppid=27135 vsize=48892 CPUtime=2502.17 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 41329 0 1 0 250216 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 4399472 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2502.17
Current children cumulated vsize (KiB) 48892
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.02 3/182 27311
/proc/meminfo: memFree=31655156/32770624 swapFree=0/358080
[pid=27138] ppid=27135 vsize=48892 CPUtime=2519.87 cores=0,2,4,6
/proc/27138/stat : 27138 (MistralXCSP) R 27135 27138 6971 0 -1 4202496 42038 0 1 0 251986 1 0 0 20 0 1 0 21903355 50065408 5996 18446744073709551615 4194304 7396336 140733566326160 140733566320744 5608763 0 0 1 16386 0 0 0 17 4 0 0 13 0 0 9496464 9501696 25657344 140733566333364 140733566333513 140733566333513 140733566336969 0
/proc/27138/statm: 12223 5996 768 782 0 5239 0
Current children cumulated CPU time (s) 2519.87
Current children cumulated vsize (KiB) 48892
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 27138 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.89
CPU user time (s): 2519.87
CPU system time (s): 0.02
CPU usage (%): 99.9954
Max. virtual memory (cumulated for all children) (KiB): 48892
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.87
system time used= 0.02
maximum resident set size= 24004
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 42076
page faults= 1
swaps= 0
block input operations= 0
block output operations= 0
messages sent= 0
messages received= 0
signals received= 0
voluntary context switches= 26
involuntary context switches= 669
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.28172 second user time and 9.7628 second system time
The end