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-4261359-1502384351/watcher-4261359-1502384351 -o /tmp/evaluation-result-4261359-1502384351/solver-4261359-1502384351 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node134-1502331912-20755 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 260514669 HOME/instance-4261359-1502384351.xml
pid=29355
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.02 2.02 2.05 3/185 29358
/proc/meminfo: memFree=30949672/32770624 swapFree=0/547564
[pid=29358] ppid=29355 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/29358/stat : 29358 (runsolver) D 29355 29358 31388 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 85941362 24240128 106 18446744073709551615 4194304 4338465 140736873839040 140736873836680 139870930191063 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 7872512 140736873840779 140736873841225 140736873841225 140736873844682 0
/proc/29358/statm: 5918 106 53 36 0 2156 0
[startup+0.100854 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29358
/proc/meminfo: memFree=30949672/32770624 swapFree=0/547564
[pid=29358] ppid=29355 vsize=43812 CPUtime=0.02 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 4760 0 0 0 2 0 0 0 20 0 1 0 85941362 44863488 4564 18446744073709551615 4194304 7396336 140721367132080 140721367123032 140392448673696 0 0 1 0 0 0 0 17 0 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 10986 4564 647 782 0 4002 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 43812
[startup+0.200293 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29358
/proc/meminfo: memFree=30949672/32770624 swapFree=0/547564
[pid=29358] ppid=29355 vsize=101844 CPUtime=0.11 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 19279 0 0 0 9 2 0 0 20 0 1 0 85941362 104288256 19080 18446744073709551615 4194304 7396336 140721367132080 140721367123032 5792043 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 25461 19080 678 782 0 18477 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 101844
[startup+0.300318 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29358
/proc/meminfo: memFree=30949672/32770624 swapFree=0/547564
[pid=29358] ppid=29355 vsize=121632 CPUtime=0.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 22701 0 0 0 19 3 0 0 20 0 1 0 85941362 124551168 24008 18446744073709551615 4194304 7396336 140721367132080 140721367123032 5792091 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 30408 24008 678 782 0 23424 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 121632
[startup+0.700259 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 29358
/proc/meminfo: memFree=30949672/32770624 swapFree=0/547564
[pid=29358] ppid=29355 vsize=177924 CPUtime=0.62 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 30710 0 0 0 57 5 0 0 20 0 1 0 85941362 182194176 38136 18446744073709551615 4194304 7396336 140721367132080 140721367123032 5792030 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 44481 38136 678 782 0 37497 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 177924
[startup+1.50025 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29359
/proc/meminfo: memFree=30786920/32770624 swapFree=0/547584
[pid=29358] ppid=29355 vsize=192180 CPUtime=1.41 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 34274 0 0 0 136 5 0 0 20 0 1 0 85941362 196792320 41700 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792209 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 48045 41700 685 782 0 41061 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 192180
[startup+3.10035 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29359
/proc/meminfo: memFree=30776876/32770624 swapFree=0/547584
[pid=29358] ppid=29355 vsize=205116 CPUtime=3.02 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 63743 0 0 0 295 7 0 0 20 0 1 0 85941362 210038784 44907 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4547381 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 51279 44907 685 782 0 44295 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 205116
[startup+6.3003 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29359
/proc/meminfo: memFree=30769232/32770624 swapFree=0/547584
[pid=29358] ppid=29355 vsize=210528 CPUtime=6.21 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 92638 0 0 0 614 7 0 0 20 0 1 0 85941362 215580672 46264 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 52632 46264 685 782 0 45648 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 210528
[startup+12.7004 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29359
/proc/meminfo: memFree=30765028/32770624 swapFree=0/547584
[pid=29358] ppid=29355 vsize=212772 CPUtime=12.62 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 121822 0 0 0 1253 9 0 0 20 0 1 0 85941362 217878528 46818 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792016 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 53193 46818 685 782 0 46209 0
Current children cumulated CPU time (s) 12.62
Current children cumulated vsize (KiB) 212772
[startup+25.5004 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29359
/proc/meminfo: memFree=30761028/32770624 swapFree=0/547584
[pid=29358] ppid=29355 vsize=216468 CPUtime=25.42 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 181450 0 0 0 2529 13 0 0 20 0 1 0 85941362 221663232 47773 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 54117 47773 685 782 0 47133 0
Current children cumulated CPU time (s) 25.42
Current children cumulated vsize (KiB) 216468
[startup+51.1003 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29360
/proc/meminfo: memFree=30757020/32770624 swapFree=0/547588
[pid=29358] ppid=29355 vsize=220164 CPUtime=51.02 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 212936 0 0 0 5088 14 0 0 20 0 1 0 85941362 225447936 48705 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5685068 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 55041 48705 685 782 0 48057 0
Current children cumulated CPU time (s) 51.02
Current children cumulated vsize (KiB) 220164
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29362
/proc/meminfo: memFree=30752620/32770624 swapFree=0/547604
[pid=29358] ppid=29355 vsize=223728 CPUtime=102.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 244948 0 0 0 10207 16 0 0 20 0 1 0 85941362 229097472 49569 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5791985 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 55932 49569 685 782 0 48948 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 223728
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29364
/proc/meminfo: memFree=30747720/32770624 swapFree=0/547620
[pid=29358] ppid=29355 vsize=227028 CPUtime=162.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 269258 0 0 0 16203 17 0 0 20 0 1 0 85941362 232476672 50380 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 56757 50380 685 782 0 49773 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 227028
[startup+222.306 s]
/proc/loadavg: 2.05 2.03 2.05 3/184 29366
/proc/meminfo: memFree=30745676/32770624 swapFree=0/547628
[pid=29358] ppid=29355 vsize=229140 CPUtime=222.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 270874 0 0 0 22203 17 0 0 20 0 1 0 85941362 234639360 50940 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792135 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 57285 50940 685 782 0 50301 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 229140
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/184 29368
/proc/meminfo: memFree=30743916/32770624 swapFree=0/547636
[pid=29358] ppid=29355 vsize=230460 CPUtime=282.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 272775 0 0 0 28203 17 0 0 20 0 1 0 85941362 235991040 51284 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 57615 51284 685 782 0 50631 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 230460
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/187 29384
/proc/meminfo: memFree=30737576/32770624 swapFree=0/547664
[pid=29358] ppid=29355 vsize=231384 CPUtime=342.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 274861 0 0 0 34203 17 0 0 20 0 1 0 85941362 236937216 51489 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792074 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 57846 51489 685 782 0 50862 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 231384
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29386
/proc/meminfo: memFree=30738924/32770624 swapFree=0/547676
[pid=29358] ppid=29355 vsize=233100 CPUtime=402.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 277518 0 0 0 40203 17 0 0 20 0 1 0 85941362 238694400 51901 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4253026 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 58275 51901 685 782 0 51291 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 233100
[startup+462.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 29390
/proc/meminfo: memFree=30738152/32770624 swapFree=0/547684
[pid=29358] ppid=29355 vsize=234156 CPUtime=462.19 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 280257 0 0 0 46202 17 0 0 20 0 1 0 85941362 239775744 52172 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792137 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 58539 52172 685 782 0 51555 0
Current children cumulated CPU time (s) 462.19
Current children cumulated vsize (KiB) 234156
[startup+522.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 29391
/proc/meminfo: memFree=30736908/32770624 swapFree=0/547700
[pid=29358] ppid=29355 vsize=235080 CPUtime=522.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 280733 0 0 0 52202 18 0 0 20 0 1 0 85941362 240721920 52394 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 58770 52394 685 782 0 51786 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 235080
[startup+582.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 29393
/proc/meminfo: memFree=30735384/32770624 swapFree=0/547712
[pid=29358] ppid=29355 vsize=236664 CPUtime=582.2 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 281767 0 0 0 58202 18 0 0 20 0 1 0 85941362 242343936 52837 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 59166 52837 685 782 0 52182 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 236664
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/186 29486
/proc/meminfo: memFree=30728188/32770624 swapFree=0/547932
[pid=29358] ppid=29355 vsize=242340 CPUtime=1602.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 293946 0 0 0 160203 19 0 0 20 0 1 0 85941362 248156160 54243 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4252880 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60585 54243 685 782 0 53601 0
Current children cumulated CPU time (s) 1602.22
Current children cumulated vsize (KiB) 242340
[startup+1662.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29488
/proc/meminfo: memFree=30728124/32770624 swapFree=0/547944
[pid=29358] ppid=29355 vsize=242604 CPUtime=1662.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 294199 0 0 0 166203 19 0 0 20 0 1 0 85941362 248426496 54273 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4249696 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60651 54273 685 782 0 53667 0
Current children cumulated CPU time (s) 1662.22
Current children cumulated vsize (KiB) 242604
[startup+1722.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 29490
/proc/meminfo: memFree=30728124/32770624 swapFree=0/547960
[pid=29358] ppid=29355 vsize=242604 CPUtime=1722.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 294448 0 0 0 172203 19 0 0 20 0 1 0 85941362 248426496 54314 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792137 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60651 54314 685 782 0 53667 0
Current children cumulated CPU time (s) 1722.22
Current children cumulated vsize (KiB) 242604
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 29492
/proc/meminfo: memFree=30728264/32770624 swapFree=0/547968
[pid=29358] ppid=29355 vsize=242604 CPUtime=1782.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 294712 0 0 0 178203 19 0 0 20 0 1 0 85941362 248426496 54314 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4547381 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60651 54314 685 782 0 53667 0
Current children cumulated CPU time (s) 1782.22
Current children cumulated vsize (KiB) 242604
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29494
/proc/meminfo: memFree=30727892/32770624 swapFree=0/547976
[pid=29358] ppid=29355 vsize=242868 CPUtime=1842.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 295067 0 0 0 184203 19 0 0 20 0 1 0 85941362 248696832 54350 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5586590 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60717 54350 685 782 0 53733 0
Current children cumulated CPU time (s) 1842.22
Current children cumulated vsize (KiB) 242868
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29496
/proc/meminfo: memFree=30727644/32770624 swapFree=0/547992
[pid=29358] ppid=29355 vsize=243000 CPUtime=1902.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 295425 0 0 0 190203 19 0 0 20 0 1 0 85941362 248832000 54405 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5685174 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60750 54405 685 782 0 53766 0
Current children cumulated CPU time (s) 1902.22
Current children cumulated vsize (KiB) 243000
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29500
/proc/meminfo: memFree=30727388/32770624 swapFree=0/547996
[pid=29358] ppid=29355 vsize=243528 CPUtime=1962.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 295580 0 0 0 196203 19 0 0 20 0 1 0 85941362 249372672 54534 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5685156 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60882 54534 685 782 0 53898 0
Current children cumulated CPU time (s) 1962.22
Current children cumulated vsize (KiB) 243528
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29502
/proc/meminfo: memFree=30726892/32770624 swapFree=0/548008
[pid=29358] ppid=29355 vsize=243528 CPUtime=2022.22 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 296088 0 0 0 202203 19 0 0 20 0 1 0 85941362 249372672 54572 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60882 54572 685 782 0 53898 0
Current children cumulated CPU time (s) 2022.22
Current children cumulated vsize (KiB) 243528
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 29504
/proc/meminfo: memFree=30727152/32770624 swapFree=0/548016
[pid=29358] ppid=29355 vsize=243660 CPUtime=2082.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 296625 0 0 0 208204 19 0 0 20 0 1 0 85941362 249507840 54574 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60915 54574 685 782 0 53931 0
Current children cumulated CPU time (s) 2082.23
Current children cumulated vsize (KiB) 243660
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 29520
/proc/meminfo: memFree=30723164/32770624 swapFree=0/548072
[pid=29358] ppid=29355 vsize=243792 CPUtime=2142.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 297172 0 0 0 214204 19 0 0 20 0 1 0 85941362 249643008 54599 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4547381 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60948 54599 685 782 0 53964 0
Current children cumulated CPU time (s) 2142.23
Current children cumulated vsize (KiB) 243792
[startup+2202.31 s]
/proc/loadavg: 2.07 2.03 2.05 3/186 29522
/proc/meminfo: memFree=30726332/32770624 swapFree=0/548084
[pid=29358] ppid=29355 vsize=243792 CPUtime=2202.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 297721 0 0 0 220204 19 0 0 20 0 1 0 85941362 249643008 54612 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4547368 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60948 54612 685 782 0 53964 0
Current children cumulated CPU time (s) 2202.23
Current children cumulated vsize (KiB) 243792
[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/184 29524
/proc/meminfo: memFree=30726488/32770624 swapFree=0/548096
[pid=29358] ppid=29355 vsize=243792 CPUtime=2262.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 298286 0 0 0 226204 19 0 0 20 0 1 0 85941362 249643008 54613 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792137 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60948 54613 685 782 0 53964 0
Current children cumulated CPU time (s) 2262.23
Current children cumulated vsize (KiB) 243792
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/184 29526
/proc/meminfo: memFree=30726488/32770624 swapFree=0/548108
[pid=29358] ppid=29355 vsize=243792 CPUtime=2322.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 298853 0 0 0 232204 19 0 0 20 0 1 0 85941362 249643008 54629 18446744073709551615 4194304 7396336 140721367132080 140721367126616 4547381 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60948 54629 685 782 0 53964 0
Current children cumulated CPU time (s) 2322.23
Current children cumulated vsize (KiB) 243792
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 29528
/proc/meminfo: memFree=30726224/32770624 swapFree=0/548120
[pid=29358] ppid=29355 vsize=243792 CPUtime=2382.23 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 299422 0 0 0 238204 19 0 0 20 0 1 0 85941362 249643008 54631 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792027 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60948 54631 685 782 0 53964 0
Current children cumulated CPU time (s) 2382.23
Current children cumulated vsize (KiB) 243792
[startup+2442.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/185 29593
/proc/meminfo: memFree=30869768/32770624 swapFree=0/548148
[pid=29358] ppid=29355 vsize=243924 CPUtime=2442.24 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 300030 0 0 0 244204 20 0 0 20 0 1 0 85941362 249778176 54633 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5792030 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 60981 54633 685 782 0 53997 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 243924
[startup+2502.3 s]
/proc/loadavg: 2.03 2.03 2.05 3/186 29596
/proc/meminfo: memFree=30869744/32770624 swapFree=0/548152
[pid=29358] ppid=29355 vsize=244056 CPUtime=2502.24 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 300643 0 0 0 250204 20 0 0 20 0 1 0 85941362 249913344 54670 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5791418 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 61014 54670 685 782 0 54030 0
Current children cumulated CPU time (s) 2502.24
Current children cumulated vsize (KiB) 244056
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.02 2.02 2.05 3/186 29597
/proc/meminfo: memFree=30869404/32770624 swapFree=0/548148
[pid=29358] ppid=29355 vsize=244056 CPUtime=2519.94 cores=0,2,4,6
/proc/29358/stat : 29358 (MistralXCSP) R 29355 29358 31388 0 -1 4202496 300714 0 0 0 251974 20 0 0 20 0 1 0 85941362 249913344 54683 18446744073709551615 4194304 7396336 140721367132080 140721367126616 5685156 0 0 1 16386 0 0 0 17 2 0 0 7 0 0 9496464 9501696 10301440 140721367134643 140721367134792 140721367134792 140721367138249 0
/proc/29358/statm: 61014 54683 685 782 0 54030 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 244056
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 29358 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.95
CPU user time (s): 2519.75
CPU system time (s): 0.203003
CPU usage (%): 99.998
Max. virtual memory (cumulated for all children) (KiB): 244056
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.75
system time used= 0.203003
maximum resident set size= 218760
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 300752
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= 54
involuntary context switches= 1177
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.64438 second user time and 10.6495 second system time
The end