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-4260865-1502394597/watcher-4260865-1502394597 -o /tmp/evaluation-result-4260865-1502394597/solver-4260865-1502394597 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25567 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 502575591 HOME/instance-4260865-1502394597.xml
pid=1391
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: 1.95 2.00 2.04 3/184 1394
/proc/meminfo: memFree=31035840/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/1394/stat : 1394 (runsolver) D 1391 1394 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 139112592 24240128 107 18446744073709551615 4194304 4338465 140728090236032 140728090233672 139917059306199 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 29458432 140728090243211 140728090243657 140728090243657 140728090247114 0
/proc/1394/statm: 5918 107 54 36 0 2156 0
[startup+0.100202 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 1394
/proc/meminfo: memFree=31035840/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=33096 CPUtime=0.02 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 2021 0 0 0 2 0 0 0 20 0 1 0 139112592 33890304 1832 18446744073709551615 4194304 7396336 140724830602944 140724830599944 139900216556517 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 8274 1832 609 782 0 1290 0
Current children cumulated CPU time (s) 0.02
Current children cumulated vsize (KiB) 33096
[startup+0.200376 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 1394
/proc/meminfo: memFree=31035840/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=50180 CPUtime=0.12 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 6664 0 0 0 11 1 0 0 20 0 1 0 139112592 51384320 6214 18446744073709551615 4194304 7396336 140724830602944 140724830599944 4566048 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 12545 6214 686 782 0 5561 0
Current children cumulated CPU time (s) 0.12
Current children cumulated vsize (KiB) 50180
[startup+0.300397 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 1394
/proc/meminfo: memFree=31035840/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=56284 CPUtime=0.22 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 8244 0 0 0 21 1 0 0 20 0 1 0 139112592 57634816 7736 18446744073709551615 4194304 7396336 140724830602944 140724830599944 139900216556517 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 14109 7736 686 782 0 7125 0
Current children cumulated CPU time (s) 0.22
Current children cumulated vsize (KiB) 56284
[startup+0.700333 s]
/proc/loadavg: 1.95 2.00 2.04 3/184 1394
/proc/meminfo: memFree=31035840/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=80264 CPUtime=0.62 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 13923 0 0 0 60 2 0 0 20 0 1 0 139112592 82190336 13678 18446744073709551615 4194304 7396336 140724830602944 140724830599944 4565887 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 20066 13678 686 782 0 13082 0
Current children cumulated CPU time (s) 0.62
Current children cumulated vsize (KiB) 80264
[startup+1.50029 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30976124/32770624 swapFree=0/434644
[pid=1394] ppid=1391 vsize=96696 CPUtime=1.42 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 18181 0 0 0 139 3 0 0 20 0 1 0 139112592 99016704 17768 18446744073709551615 4194304 7396336 140724830602944 140724830593688 4566053 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 24174 17768 686 782 0 17190 0
Current children cumulated CPU time (s) 1.42
Current children cumulated vsize (KiB) 96696
[startup+3.10028 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30954920/32770624 swapFree=0/434644
[pid=1394] ppid=1391 vsize=120004 CPUtime=3.02 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 28271 0 0 0 298 4 0 0 20 0 1 0 139112592 122884096 23605 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4567466 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 30001 23605 686 782 0 23017 0
Current children cumulated CPU time (s) 3.02
Current children cumulated vsize (KiB) 120004
[startup+6.30028 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30896784/32770624 swapFree=0/434644
[pid=1394] ppid=1391 vsize=170516 CPUtime=6.21 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 56997 0 0 0 615 6 0 0 20 0 1 0 139112592 174608384 36245 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4565884 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 42629 36245 686 782 0 35645 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 170516
[startup+12.7003 s]
/proc/loadavg: 1.95 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30846224/32770624 swapFree=0/434644
[pid=1394] ppid=1391 vsize=219892 CPUtime=12.61 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 74229 0 0 0 1253 8 0 0 20 0 1 0 139112592 225169408 48601 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4565872 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 54973 48601 686 782 0 47989 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 219892
[startup+25.5003 s]
/proc/loadavg: 1.96 2.00 2.04 3/185 1395
/proc/meminfo: memFree=30779448/32770624 swapFree=0/434636
[pid=1394] ppid=1391 vsize=283608 CPUtime=25.41 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 100450 0 0 0 2530 11 0 0 20 0 1 0 139112592 290414592 64548 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4567466 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 70902 64548 686 782 0 63918 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 283608
[startup+51.1003 s]
/proc/loadavg: 1.90 1.98 2.03 3/185 1396
/proc/meminfo: memFree=30634316/32770624 swapFree=0/434636
[pid=1394] ppid=1391 vsize=427756 CPUtime=51.01 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 172563 0 0 0 5081 20 0 0 20 0 1 0 139112592 438022144 100575 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4566039 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 106939 100575 686 782 0 99955 0
Current children cumulated CPU time (s) 51.01
Current children cumulated vsize (KiB) 427756
[startup+102.3 s]
/proc/loadavg: 1.96 1.99 2.03 3/185 1398
/proc/meminfo: memFree=30487004/32770624 swapFree=0/434652
[pid=1394] ppid=1391 vsize=573616 CPUtime=102.2 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 211147 0 0 0 10196 24 0 0 20 0 1 0 139112592 587382784 137057 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4566053 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 143404 137057 686 782 0 136420 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 573616
[startup+162.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/185 1400
/proc/meminfo: memFree=30378128/32770624 swapFree=0/434656
[pid=1394] ppid=1391 vsize=682776 CPUtime=162.2 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 241877 0 0 0 16192 28 0 0 20 0 1 0 139112592 699162624 164308 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4565872 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 170694 164308 686 782 0 163710 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 682776
[startup+222.306 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 1402
/proc/meminfo: memFree=30305240/32770624 swapFree=0/434668
[pid=1394] ppid=1391 vsize=755676 CPUtime=222.2 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 264992 0 0 0 22189 31 0 0 20 0 1 0 139112592 773812224 182574 18446744073709551615 4194304 7396336 140724830602944 140724830593704 4566048 0 0 1 0 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 188919 182574 686 782 0 181935 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 755676
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 1419
/proc/meminfo: memFree=30170876/32770624 swapFree=0/434672
[pid=1394] ppid=1391 vsize=885028 CPUtime=282.19 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 370539 0 0 0 28180 39 0 0 20 0 1 0 139112592 906268672 214981 18446744073709551615 4194304 7396336 140724830602944 140724830598296 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 221257 214981 758 782 0 214273 0
Current children cumulated CPU time (s) 282.19
Current children cumulated vsize (KiB) 885028
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/188 1421
/proc/meminfo: memFree=30088584/32770624 swapFree=0/434664
[pid=1394] ppid=1391 vsize=966960 CPUtime=342.17 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 383126 0 0 0 34175 42 0 0 20 0 1 0 139112592 990167040 235468 18446744073709551615 4194304 7396336 140724830602944 140724830597512 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241740 235468 762 782 0 234756 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 966960
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 1423
/proc/meminfo: memFree=30091744/32770624 swapFree=0/434672
[pid=1394] ppid=1391 vsize=966828 CPUtime=402.14 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 421165 0 0 0 40170 44 0 0 20 0 1 0 139112592 990031872 235435 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235435 762 782 0 234723 0
Current children cumulated CPU time (s) 402.14
Current children cumulated vsize (KiB) 966828
[startup+462.3 s]
/proc/loadavg: 2.16 2.02 2.05 3/186 1487
/proc/meminfo: memFree=30141096/32770624 swapFree=0/434656
[pid=1394] ppid=1391 vsize=966828 CPUtime=462.11 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 446414 0 0 0 46165 46 0 0 20 0 1 0 139112592 990031872 235435 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235435 762 782 0 234723 0
Current children cumulated CPU time (s) 462.11
Current children cumulated vsize (KiB) 966828
[startup+522.3 s]
/proc/loadavg: 2.06 2.01 2.05 3/186 1489
/proc/meminfo: memFree=30135780/32770624 swapFree=0/434708
[pid=1394] ppid=1391 vsize=966828 CPUtime=522.09 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 451766 0 0 0 52163 46 0 0 20 0 1 0 139112592 990031872 235435 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235435 762 782 0 234723 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 966828
[startup+582.3 s]
/proc/loadavg: 2.02 2.01 2.05 3/185 1491
/proc/meminfo: memFree=30131480/32770624 swapFree=0/434716
[pid=1394] ppid=1391 vsize=966828 CPUtime=582.08 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 453780 0 0 0 58161 47 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 582.08
Current children cumulated vsize (KiB) 966828
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.05 2.02 2.05 3/190 1606
/proc/meminfo: memFree=30122128/32770624 swapFree=0/434924
[pid=1394] ppid=1391 vsize=966828 CPUtime=1602.01 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 471343 0 0 0 160153 48 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1602.01
Current children cumulated vsize (KiB) 966828
[startup+1662.3 s]
/proc/loadavg: 1.97 2.00 2.04 3/187 1608
/proc/meminfo: memFree=30125868/32770624 swapFree=0/434952
[pid=1394] ppid=1391 vsize=966828 CPUtime=1662 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 472600 0 0 0 166152 48 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 4581738 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1662
Current children cumulated vsize (KiB) 966828
[startup+1722.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/187 1610
/proc/meminfo: memFree=30126324/32770624 swapFree=0/434964
[pid=1394] ppid=1391 vsize=966828 CPUtime=1722 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 473418 0 0 0 172152 48 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5628561 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1722
Current children cumulated vsize (KiB) 966828
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 1612
/proc/meminfo: memFree=30125292/32770624 swapFree=0/434980
[pid=1394] ppid=1391 vsize=966828 CPUtime=1781.99 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 475008 0 0 0 178151 48 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1781.99
Current children cumulated vsize (KiB) 966828
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 1614
/proc/meminfo: memFree=30125436/32770624 swapFree=0/434992
[pid=1394] ppid=1391 vsize=966828 CPUtime=1841.98 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 476201 0 0 0 184150 48 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1841.98
Current children cumulated vsize (KiB) 966828
[startup+1902.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 1616
/proc/meminfo: memFree=30125496/32770624 swapFree=0/434996
[pid=1394] ppid=1391 vsize=966828 CPUtime=1901.99 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 477081 0 0 0 190150 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165846 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1901.99
Current children cumulated vsize (KiB) 966828
[startup+1962.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/185 1619
/proc/meminfo: memFree=30125716/32770624 swapFree=0/435008
[pid=1394] ppid=1391 vsize=966828 CPUtime=1961.98 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 477823 0 0 0 196149 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 1961.98
Current children cumulated vsize (KiB) 966828
[startup+2022.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/185 1621
/proc/meminfo: memFree=30125964/32770624 swapFree=0/435024
[pid=1394] ppid=1391 vsize=966828 CPUtime=2021.98 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 479052 0 0 0 202149 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2021.98
Current children cumulated vsize (KiB) 966828
[startup+2082.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 1638
/proc/meminfo: memFree=30121312/32770624 swapFree=0/435040
[pid=1394] ppid=1391 vsize=966828 CPUtime=2081.98 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 480709 0 0 0 208149 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2081.98
Current children cumulated vsize (KiB) 966828
[startup+2142.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 1640
/proc/meminfo: memFree=30120820/32770624 swapFree=0/435048
[pid=1394] ppid=1391 vsize=966828 CPUtime=2141.97 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 481438 0 0 0 214148 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2141.97
Current children cumulated vsize (KiB) 966828
[startup+2202.31 s]
/proc/loadavg: 2.00 1.99 2.03 3/186 1642
/proc/meminfo: memFree=30124300/32770624 swapFree=0/435060
[pid=1394] ppid=1391 vsize=966828 CPUtime=2201.97 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 482289 0 0 0 220148 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2201.97
Current children cumulated vsize (KiB) 966828
[startup+2262.3 s]
/proc/loadavg: 2.03 2.00 2.04 3/185 1644
/proc/meminfo: memFree=30124864/32770624 swapFree=0/435072
[pid=1394] ppid=1391 vsize=966828 CPUtime=2261.96 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 483097 0 0 0 226147 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 0 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2261.96
Current children cumulated vsize (KiB) 966828
[startup+2322.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/185 1646
/proc/meminfo: memFree=30125076/32770624 swapFree=0/435080
[pid=1394] ppid=1391 vsize=966828 CPUtime=2321.95 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 484222 0 0 0 232146 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2321.95
Current children cumulated vsize (KiB) 966828
[startup+2382.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 1648
/proc/meminfo: memFree=30125184/32770624 swapFree=0/435088
[pid=1394] ppid=1391 vsize=966828 CPUtime=2381.95 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 484754 0 0 0 238146 49 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2381.95
Current children cumulated vsize (KiB) 966828
[startup+2442.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 1650
/proc/meminfo: memFree=30125064/32770624 swapFree=0/435100
[pid=1394] ppid=1391 vsize=966828 CPUtime=2441.95 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 485613 0 0 0 244145 50 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 4246597 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2441.95
Current children cumulated vsize (KiB) 966828
[startup+2502.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 1653
/proc/meminfo: memFree=30125520/32770624 swapFree=0/435116
[pid=1394] ppid=1391 vsize=966828 CPUtime=2501.94 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 487522 0 0 0 250144 50 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165805 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2501.94
Current children cumulated vsize (KiB) 966828
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 1654
/proc/meminfo: memFree=30125152/32770624 swapFree=0/435124
[pid=1394] ppid=1391 vsize=966828 CPUtime=2519.64 cores=0,2,4,6
/proc/1394/stat : 1394 (MistralXCSP) R 1391 1394 4525 0 -1 4202496 487620 0 0 0 251914 50 0 0 20 0 1 0 139112592 990031872 235436 18446744073709551615 4194304 7396336 140724830602944 140724830598120 5165796 0 0 1 16386 0 0 0 17 4 0 0 7 0 0 9496464 9501696 30965760 140724830605747 140724830605896 140724830605896 140724830609353 0
/proc/1394/statm: 241707 235436 763 782 0 234723 0
Current children cumulated CPU time (s) 2519.64
Current children cumulated vsize (KiB) 966828
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 1394 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.65
CPU user time (s): 2519.15
CPU system time (s): 0.505961
CPU usage (%): 99.9861
Max. virtual memory (cumulated for all children) (KiB): 966960
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.15
system time used= 0.505961
maximum resident set size= 972028
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 487658
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= 151
involuntary context switches= 4155
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.84792 second user time and 10.6769 second system time
The end