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-4261797-1502338148/watcher-4261797-1502338148 -o /tmp/evaluation-result-4261797-1502338148/solver-4261797-1502338148 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node124-1502334771-27115 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1413361848 HOME/instance-4261797-1502338148.xml
pid=27429
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.02 2/181 27432
/proc/meminfo: memFree=31738068/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27432/stat : 27432 (runsolver) D 27429 27432 6971 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 22155536 24240128 106 18446744073709551615 4194304 4338465 140732211448128 140732211445768 139688847934167 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 16760832 140732211454091 140732211454538 140732211454538 140732211457994 0
/proc/27432/statm: 5918 106 53 36 0 2156 0
[startup+0.100769 s]
/proc/loadavg: 2.08 2.03 2.02 2/181 27432
/proc/meminfo: memFree=31738068/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=30036 CPUtime=0.01 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 1355 0 0 0 1 0 0 0 20 0 1 0 22155536 30756864 1132 18446744073709551615 4194304 7396336 140732180272320 140732180262096 6036730 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 7509 1132 650 782 0 525 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 30036
[startup+0.200771 s]
/proc/loadavg: 2.08 2.03 2.02 2/181 27432
/proc/meminfo: memFree=31738068/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=50556 CPUtime=0.11 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 6523 0 0 0 10 1 0 0 20 0 1 0 22155536 51769344 6351 18446744073709551615 4194304 7396336 140732180272320 140732180262984 140621938864480 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 12639 6351 736 782 0 5655 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 50556
[startup+0.300769 s]
/proc/loadavg: 2.08 2.03 2.02 2/181 27432
/proc/meminfo: memFree=31738068/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=50680 CPUtime=0.21 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 6547 0 0 0 20 1 0 0 20 0 1 0 22155536 51896320 6382 18446744073709551615 4194304 7396336 140732180272320 140732180263288 140621933434246 0 0 1 0 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 12670 6382 736 782 0 5686 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 50680
[startup+0.700231 s]
/proc/loadavg: 2.08 2.03 2.02 2/181 27432
/proc/meminfo: memFree=31738068/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=60516 CPUtime=0.61 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 9140 0 0 0 60 1 0 0 20 0 1 0 22155536 61968384 8871 18446744073709551615 4194304 7396336 140732180272320 140732180263288 5165796 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 15129 8871 787 782 0 8145 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 60516
[startup+1.5002 s]
/proc/loadavg: 2.08 2.03 2.02 3/182 27433
/proc/meminfo: memFree=31696564/32770624 swapFree=0/357644
[pid=27432] ppid=27429 vsize=64080 CPUtime=1.41 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 10038 0 0 0 140 1 0 0 20 0 1 0 22155536 65617920 9795 18446744073709551615 4194304 7396336 140732180272320 140732180266568 4407940 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16020 9795 788 782 0 9036 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 64080
[startup+3.10018 s]
/proc/loadavg: 2.08 2.03 2.02 3/182 27433
/proc/meminfo: memFree=31693588/32770624 swapFree=0/357644
[pid=27432] ppid=27429 vsize=64344 CPUtime=3.01 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 13482 0 0 0 300 1 0 0 20 0 1 0 22155536 65888256 9848 18446744073709551615 4194304 7396336 140732180272320 140732180266472 4246639 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16086 9848 788 782 0 9102 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 64344
[startup+6.30017 s]
/proc/loadavg: 2.00 2.01 2.02 3/182 27433
/proc/meminfo: memFree=31692712/32770624 swapFree=0/357648
[pid=27432] ppid=27429 vsize=64476 CPUtime=6.21 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 17363 0 0 0 620 1 0 0 20 0 1 0 22155536 66023424 9889 18446744073709551615 4194304 7396336 140732180272320 140732180266744 4581684 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16119 9889 788 782 0 9135 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 64476
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27434
/proc/meminfo: memFree=31692360/32770624 swapFree=0/357656
[pid=27432] ppid=27429 vsize=64476 CPUtime=12.61 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 21285 0 0 0 1259 2 0 0 20 0 1 0 22155536 66023424 9909 18446744073709551615 4194304 7396336 140732180272320 140732180266744 4387766 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16119 9909 788 782 0 9135 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 64476
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27434
/proc/meminfo: memFree=31691988/32770624 swapFree=0/357648
[pid=27432] ppid=27429 vsize=64608 CPUtime=25.41 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 28284 0 0 0 2539 2 0 0 20 0 1 0 22155536 66158592 9925 18446744073709551615 4194304 7396336 140732180272320 140732180266792 4257799 0 0 1 16386 0 0 0 17 1 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16152 9925 788 782 0 9168 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 64608
[startup+51.1003 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27435
/proc/meminfo: memFree=31690316/32770624 swapFree=0/357644
[pid=27432] ppid=27429 vsize=64608 CPUtime=51 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 32602 0 0 0 5098 2 0 0 20 0 1 0 22155536 66158592 9940 18446744073709551615 4194304 7396336 140732180272320 140732180266792 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16152 9940 788 782 0 9168 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 64608
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27436
/proc/meminfo: memFree=31690712/32770624 swapFree=0/357652
[pid=27432] ppid=27429 vsize=64740 CPUtime=102.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 33379 0 0 0 10218 2 0 0 20 0 1 0 22155536 66293760 9974 18446744073709551615 4194304 7396336 140732180272320 140732180266744 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16185 9974 788 782 0 9201 0
Current children cumulated CPU time (s) 102.2
Current children cumulated vsize (KiB) 64740
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27438
/proc/meminfo: memFree=31692180/32770624 swapFree=0/357656
[pid=27432] ppid=27429 vsize=65004 CPUtime=162.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 34186 0 0 0 16218 2 0 0 20 0 1 0 22155536 66564096 9984 18446744073709551615 4194304 7396336 140732180272320 140732180266568 4253003 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16251 9984 788 782 0 9267 0
Current children cumulated CPU time (s) 162.2
Current children cumulated vsize (KiB) 65004
[startup+222.306 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27441
/proc/meminfo: memFree=31691828/32770624 swapFree=0/357660
[pid=27432] ppid=27429 vsize=65136 CPUtime=222.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 34988 0 0 0 22218 2 0 0 20 0 1 0 22155536 66699264 10063 18446744073709551615 4194304 7396336 140732180272320 140732180266568 4543790 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16284 10063 788 782 0 9300 0
Current children cumulated CPU time (s) 222.2
Current children cumulated vsize (KiB) 65136
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/181 27443
/proc/meminfo: memFree=31691480/32770624 swapFree=0/357684
[pid=27432] ppid=27429 vsize=65268 CPUtime=282.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 35314 0 0 0 28218 2 0 0 20 0 1 0 22155536 66834432 10080 18446744073709551615 4194304 7396336 140732180272320 140732180266568 5165771 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16317 10080 788 782 0 9333 0
Current children cumulated CPU time (s) 282.2
Current children cumulated vsize (KiB) 65268
[startup+342.3 s]
/proc/loadavg: 2.06 2.03 2.02 3/185 27460
/proc/meminfo: memFree=31687288/32770624 swapFree=0/357736
[pid=27432] ppid=27429 vsize=65268 CPUtime=342.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 35646 0 0 0 34218 2 0 0 20 0 1 0 22155536 66834432 10106 18446744073709551615 4194304 7396336 140732180272320 140732180266568 5165763 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16317 10106 788 782 0 9333 0
Current children cumulated CPU time (s) 342.2
Current children cumulated vsize (KiB) 65268
[startup+402.3 s]
/proc/loadavg: 2.02 2.02 2.02 3/186 27487
/proc/meminfo: memFree=31685096/32770624 swapFree=0/357788
[pid=27432] ppid=27429 vsize=65268 CPUtime=402.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 35977 0 0 0 40218 2 0 0 20 0 1 0 22155536 66834432 10109 18446744073709551615 4194304 7396336 140732180272320 140732180266568 4407068 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16317 10109 788 782 0 9333 0
Current children cumulated CPU time (s) 402.2
Current children cumulated vsize (KiB) 65268
[startup+462.3 s]
/proc/loadavg: 2.01 2.02 2.02 3/186 27489
/proc/meminfo: memFree=31685728/32770624 swapFree=0/357812
[pid=27432] ppid=27429 vsize=65268 CPUtime=462.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 36303 0 0 0 46218 2 0 0 20 0 1 0 22155536 66834432 10109 18446744073709551615 4194304 7396336 140732180272320 140732180266568 4257837 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16317 10109 788 782 0 9333 0
Current children cumulated CPU time (s) 462.2
Current children cumulated vsize (KiB) 65268
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 27491
/proc/meminfo: memFree=31690396/32770624 swapFree=0/357824
[pid=27432] ppid=27429 vsize=65400 CPUtime=522.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 36648 0 0 0 52218 2 0 0 20 0 1 0 22155536 66969600 10114 18446744073709551615 4194304 7396336 140732180272320 140732180266776 4406460 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16350 10114 788 782 0 9366 0
Current children cumulated CPU time (s) 522.2
Current children cumulated vsize (KiB) 65400
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.02 3/183 27493
/proc/meminfo: memFree=31690024/32770624 swapFree=0/357836
[pid=27432] ppid=27429 vsize=65400 CPUtime=582.2 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 37011 0 0 0 58218 2 0 0 20 0 1 0 22155536 66969600 10121 18446744073709551615 4194304 7396336 140732180272320 140732180266776 5616147 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16350 10121 788 782 0 9366 0
Current children cumulated CPU time (s) 582.2
Current children cumulated vsize (KiB) 65400
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/184 27556
/proc/meminfo: memFree=31686808/32770624 swapFree=0/358104
[pid=27432] ppid=27429 vsize=65532 CPUtime=1602.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 43345 0 0 0 160221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 5615730 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1602.23
Current children cumulated vsize (KiB) 65532
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/181 27558
/proc/meminfo: memFree=31689624/32770624 swapFree=0/358108
[pid=27432] ppid=27429 vsize=65532 CPUtime=1662.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 43587 0 0 0 166221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 5609011 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1662.23
Current children cumulated vsize (KiB) 65532
[startup+1722.3 s]
/proc/loadavg: 2.03 2.03 2.04 3/181 27560
/proc/meminfo: memFree=31689632/32770624 swapFree=0/358124
[pid=27432] ppid=27429 vsize=65532 CPUtime=1722.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 43881 0 0 0 172221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4246632 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1722.23
Current children cumulated vsize (KiB) 65532
[startup+1782.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/181 27562
/proc/meminfo: memFree=31689384/32770624 swapFree=0/358144
[pid=27432] ppid=27429 vsize=65532 CPUtime=1782.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 44095 0 0 0 178221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4406492 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1782.23
Current children cumulated vsize (KiB) 65532
[startup+1842.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 27565
/proc/meminfo: memFree=31689340/32770624 swapFree=0/358168
[pid=27432] ppid=27429 vsize=65532 CPUtime=1842.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 44467 0 0 0 184221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4246602 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1842.23
Current children cumulated vsize (KiB) 65532
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 27567
/proc/meminfo: memFree=31689712/32770624 swapFree=0/358168
[pid=27432] ppid=27429 vsize=65532 CPUtime=1902.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 44842 0 0 0 190221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 5165805 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1902.23
Current children cumulated vsize (KiB) 65532
[startup+1962.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/181 27569
/proc/meminfo: memFree=31689836/32770624 swapFree=0/358176
[pid=27432] ppid=27429 vsize=65532 CPUtime=1962.23 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 45214 0 0 0 196221 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4543902 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 1962.23
Current children cumulated vsize (KiB) 65532
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27572
/proc/meminfo: memFree=31690332/32770624 swapFree=0/358196
[pid=27432] ppid=27429 vsize=65532 CPUtime=2022.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 45584 0 0 0 202222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4320622 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2022.24
Current children cumulated vsize (KiB) 65532
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 27574
/proc/meminfo: memFree=31690316/32770624 swapFree=0/358208
[pid=27432] ppid=27429 vsize=65532 CPUtime=2082.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 45957 0 0 0 208222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4388320 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2082.24
Current children cumulated vsize (KiB) 65532
[startup+2142.3 s]
/proc/loadavg: 2.12 2.04 2.05 3/184 27590
/proc/meminfo: memFree=31686188/32770624 swapFree=0/358252
[pid=27432] ppid=27429 vsize=65532 CPUtime=2142.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 46327 0 0 0 214222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4406973 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2142.24
Current children cumulated vsize (KiB) 65532
[startup+2202.31 s]
/proc/loadavg: 2.04 2.04 2.05 3/184 27592
/proc/meminfo: memFree=31686564/32770624 swapFree=0/358284
[pid=27432] ppid=27429 vsize=65532 CPUtime=2202.25 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 46696 0 0 0 220223 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4252536 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2202.25
Current children cumulated vsize (KiB) 65532
[startup+2262.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/181 27594
/proc/meminfo: memFree=31690300/32770624 swapFree=0/358304
[pid=27432] ppid=27429 vsize=65532 CPUtime=2262.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 47066 0 0 0 226222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4320622 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2262.24
Current children cumulated vsize (KiB) 65532
[startup+2322.3 s]
/proc/loadavg: 2.08 2.04 2.05 3/181 27596
/proc/meminfo: memFree=31690272/32770624 swapFree=0/358320
[pid=27432] ppid=27429 vsize=65532 CPUtime=2322.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 47436 0 0 0 232222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 5839287 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2322.24
Current children cumulated vsize (KiB) 65532
[startup+2382.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/181 27598
/proc/meminfo: memFree=31690148/32770624 swapFree=0/358356
[pid=27432] ppid=27429 vsize=65532 CPUtime=2382.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 47817 0 0 0 238222 2 0 0 20 0 1 0 22155536 67104768 10154 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4249440 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10154 788 782 0 9399 0
Current children cumulated CPU time (s) 2382.24
Current children cumulated vsize (KiB) 65532
[startup+2442.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/181 27600
/proc/meminfo: memFree=31689652/32770624 swapFree=0/358372
[pid=27432] ppid=27429 vsize=65532 CPUtime=2442.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 48186 0 0 0 244222 2 0 0 20 0 1 0 22155536 67104768 10155 18446744073709551615 4194304 7396336 140732180272320 140732180266872 140621932738304 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10155 788 782 0 9399 0
Current children cumulated CPU time (s) 2442.24
Current children cumulated vsize (KiB) 65532
[startup+2502.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/181 27602
/proc/meminfo: memFree=31689652/32770624 swapFree=0/358396
[pid=27432] ppid=27429 vsize=65532 CPUtime=2502.24 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 48564 0 0 0 250222 2 0 0 20 0 1 0 22155536 67104768 10155 18446744073709551615 4194304 7396336 140732180272320 140732180266872 5608763 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10155 788 782 0 9399 0
Current children cumulated CPU time (s) 2502.24
Current children cumulated vsize (KiB) 65532
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.04 2.04 2.05 3/181 27603
/proc/meminfo: memFree=31689652/32770624 swapFree=0/358400
[pid=27432] ppid=27429 vsize=65532 CPUtime=2519.94 cores=1,3,5,7
/proc/27432/stat : 27432 (MistralXCSP) R 27429 27432 6971 0 -1 4202496 48890 0 0 0 251992 2 0 0 20 0 1 0 22155536 67104768 10155 18446744073709551615 4194304 7396336 140732180272320 140732180266872 4249767 0 0 1 16386 0 0 0 17 5 0 0 8 0 0 9496464 9501696 22298624 140732180279731 140732180279881 140732180279881 140732180283337 0
/proc/27432/statm: 16383 10155 788 782 0 9399 0
Current children cumulated CPU time (s) 2519.94
Current children cumulated vsize (KiB) 65532
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 27432 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.96
CPU user time (s): 2519.93
CPU system time (s): 0.03
CPU usage (%): 99.9984
Max. virtual memory (cumulated for all children) (KiB): 65532
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.93
system time used= 0.03
maximum resident set size= 40640
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 48926
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= 22
involuntary context switches= 721
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.87624 second user time and 8.94667 second system time
The end