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-4261363-1502383266/watcher-4261363-1502383266 -o /tmp/evaluation-result-4261363-1502383266/solver-4261363-1502383266 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node126-1502333727-2686 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1032109814 HOME/instance-4261363-1502383266.xml
pid=13211
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.92 1.98 2.03 3/180 13214
/proc/meminfo: memFree=31491296/32770624 swapFree=0/278824
[pid=13214] ppid=13211 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/13214/stat : 13214 (runsolver) D 13211 13214 15981 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 40522209 24240128 106 18446744073709551615 4194304 4338465 140734794770160 140734794767800 140296781411031 0 0 1 24578 18446744071580418449 0 0 17 2 0 0 0 0 0 6438912 6441760 28254208 140734794776716 140734794777162 140734794777162 140734794780618 0
/proc/13214/statm: 5918 106 53 36 0 2156 0
[startup+0.100136 s]
/proc/loadavg: 1.92 1.98 2.03 3/180 13214
/proc/meminfo: memFree=31491296/32770624 swapFree=0/278824
[pid=13214] ppid=13211 vsize=28940 CPUtime=0 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 1114 0 0 0 0 0 0 0 20 0 1 0 40522209 29634560 934 18446744073709551615 4194304 7396336 140728555291040 140728555288040 6009352 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 7235 934 727 782 0 251 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 28940
[startup+0.200338 s]
/proc/loadavg: 1.92 1.98 2.03 3/180 13214
/proc/meminfo: memFree=31491296/32770624 swapFree=0/278824
[pid=13214] ppid=13211 vsize=30840 CPUtime=0.1 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 1591 0 0 0 10 0 0 0 20 0 1 0 40522209 31580160 1417 18446744073709551615 4194304 7396336 140728555291040 140728555288040 139810339712845 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 7710 1417 733 782 0 726 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 30840
[startup+0.300321 s]
/proc/loadavg: 1.92 1.98 2.03 3/180 13214
/proc/meminfo: memFree=31491296/32770624 swapFree=0/278824
[pid=13214] ppid=13211 vsize=33084 CPUtime=0.2 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 2194 0 0 0 20 0 0 0 20 0 1 0 40522209 33878016 1991 18446744073709551615 4194304 7396336 140728555291040 140728555288040 139810345792576 0 0 1 0 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8271 1991 733 782 0 1287 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 33084
[startup+0.700282 s]
/proc/loadavg: 1.92 1.98 2.03 3/180 13214
/proc/meminfo: memFree=31491296/32770624 swapFree=0/278824
[pid=13214] ppid=13211 vsize=34852 CPUtime=0.6 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 2721 0 0 0 60 0 0 0 20 0 1 0 40522209 35688448 2470 18446744073709551615 4194304 7396336 140728555291040 140728555285528 4581608 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8713 2470 775 782 0 1729 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 34852
[startup+1.50028 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 13215
/proc/meminfo: memFree=31485012/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=34852 CPUtime=1.4 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 2730 0 0 0 140 0 0 0 20 0 1 0 40522209 35688448 2470 18446744073709551615 4194304 7396336 140728555291040 140728555285528 5669077 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8713 2470 775 782 0 1729 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 34852
[startup+3.10027 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 13215
/proc/meminfo: memFree=31485012/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=34984 CPUtime=3 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 4010 0 0 0 300 0 0 0 20 0 1 0 40522209 35823616 2497 18446744073709551615 4194304 7396336 140728555291040 140728555285528 4379197 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8746 2497 775 782 0 1762 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 34984
[startup+6.30028 s]
/proc/loadavg: 1.92 1.98 2.03 3/181 13215
/proc/meminfo: memFree=31484372/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=34984 CPUtime=6.2 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 5290 0 0 0 620 0 0 0 20 0 1 0 40522209 35823616 2504 18446744073709551615 4194304 7396336 140728555291040 140728555285288 5865355 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8746 2504 775 782 0 1762 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 34984
[startup+12.7003 s]
/proc/loadavg: 1.93 1.98 2.03 3/181 13215
/proc/meminfo: memFree=31484372/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=34984 CPUtime=12.6 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 6586 0 0 0 1260 0 0 0 20 0 1 0 40522209 35823616 2508 18446744073709551615 4194304 7396336 140728555291040 140728555285288 5163042 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8746 2508 775 782 0 1762 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 34984
[startup+25.5003 s]
/proc/loadavg: 1.95 1.98 2.03 3/181 13276
/proc/meminfo: memFree=31477700/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=35116 CPUtime=25.4 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 9256 0 0 0 2540 0 0 0 20 0 1 0 40522209 35958784 2552 18446744073709551615 4194304 7396336 140728555291040 140728555285432 5162969 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8779 2552 777 782 0 1795 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 35116
[startup+51.1003 s]
/proc/loadavg: 1.96 1.99 2.03 3/181 13277
/proc/meminfo: memFree=31476812/32770624 swapFree=0/279056
[pid=13214] ppid=13211 vsize=35380 CPUtime=50.99 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 10660 0 0 0 5099 0 0 0 20 0 1 0 40522209 36229120 2582 18446744073709551615 4194304 7396336 140728555291040 140728555285432 4582714 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2582 777 782 0 1861 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 35380
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/181 13279
/proc/meminfo: memFree=31475756/32770624 swapFree=0/278888
[pid=13214] ppid=13211 vsize=35380 CPUtime=102.19 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 11580 0 0 0 10219 0 0 0 20 0 1 0 40522209 36229120 2606 18446744073709551615 4194304 7396336 140728555291040 140728555285432 5864814 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2606 777 782 0 1861 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 35380
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/181 13281
/proc/meminfo: memFree=31475824/32770624 swapFree=0/278904
[pid=13214] ppid=13211 vsize=35380 CPUtime=162.19 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 12073 0 0 0 16219 0 0 0 20 0 1 0 40522209 36229120 2618 18446744073709551615 4194304 7396336 140728555291040 140728555285432 5685144 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2618 777 782 0 1861 0
Current children cumulated CPU time (s) 162.19
Current children cumulated vsize (KiB) 35380
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/184 13297
/proc/meminfo: memFree=31471808/32770624 swapFree=0/278948
[pid=13214] ppid=13211 vsize=35380 CPUtime=222.19 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 12565 0 0 0 22219 0 0 0 20 0 1 0 40522209 36229120 2622 18446744073709551615 4194304 7396336 140728555291040 140728555285432 139810345813104 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2622 777 782 0 1861 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 35380
[startup+282.3 s]
/proc/loadavg: 2.06 2.00 2.04 3/181 13299
/proc/meminfo: memFree=31474312/32770624 swapFree=0/278976
[pid=13214] ppid=13211 vsize=35380 CPUtime=282.18 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 13063 0 0 0 28218 0 0 0 20 0 1 0 40522209 36229120 2625 18446744073709551615 4194304 7396336 140728555291040 140728555285432 139810339614491 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2625 777 782 0 1861 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 35380
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/181 13301
/proc/meminfo: memFree=31474344/32770624 swapFree=0/278992
[pid=13214] ppid=13211 vsize=35380 CPUtime=342.18 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 13559 0 0 0 34218 0 0 0 20 0 1 0 40522209 36229120 2627 18446744073709551615 4194304 7396336 140728555291040 140728555285432 4581634 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8845 2627 777 782 0 1861 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 35380
[startup+402.3 s]
/proc/loadavg: 2.08 2.02 2.05 3/181 13303
/proc/meminfo: memFree=31474468/32770624 swapFree=0/279012
[pid=13214] ppid=13211 vsize=35688 CPUtime=402.17 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 14107 0 0 0 40217 0 0 0 20 0 1 0 40522209 36544512 2632 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5666512 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2632 777 782 0 1938 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 35688
[startup+462.3 s]
/proc/loadavg: 2.03 2.01 2.05 3/181 13305
/proc/meminfo: memFree=31474328/32770624 swapFree=0/279012
[pid=13214] ppid=13211 vsize=35688 CPUtime=462.17 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 14629 0 0 0 46217 0 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5669573 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 35688
[startup+522.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/181 13307
/proc/meminfo: memFree=31474080/32770624 swapFree=0/279044
[pid=13214] ppid=13211 vsize=35688 CPUtime=522.17 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 15076 0 0 0 52217 0 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 139810339632047 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 35688
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13309
/proc/meminfo: memFree=31474784/32770624 swapFree=0/279064
[pid=13214] ppid=13211 vsize=35688 CPUtime=582.17 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 15667 0 0 0 58217 0 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5848378 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 582.17
Current children cumulated vsize (KiB) 35688
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13372
/proc/meminfo: memFree=31473740/32770624 swapFree=0/279408
[pid=13214] ppid=13211 vsize=35688 CPUtime=1602.13 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 24497 0 0 0 160212 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5859589 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1602.13
Current children cumulated vsize (KiB) 35688
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13374
/proc/meminfo: memFree=31474004/32770624 swapFree=0/279444
[pid=13214] ppid=13211 vsize=35688 CPUtime=1662.12 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 25015 0 0 0 166211 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5685826 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1662.12
Current children cumulated vsize (KiB) 35688
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13377
/proc/meminfo: memFree=31473980/32770624 swapFree=0/279432
[pid=13214] ppid=13211 vsize=35688 CPUtime=1722.12 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 25536 0 0 0 172211 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 4399538 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1722.12
Current children cumulated vsize (KiB) 35688
[startup+1782.3 s]
/proc/loadavg: 2.08 2.03 2.05 3/181 13379
/proc/meminfo: memFree=31474116/32770624 swapFree=0/279460
[pid=13214] ppid=13211 vsize=35688 CPUtime=1782.12 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 26056 0 0 0 178211 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 139810339614482 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1782.12
Current children cumulated vsize (KiB) 35688
[startup+1842.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 13381
/proc/meminfo: memFree=31473588/32770624 swapFree=0/279472
[pid=13214] ppid=13211 vsize=35688 CPUtime=1842.12 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 26576 0 0 0 184211 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5871927 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1842.12
Current children cumulated vsize (KiB) 35688
[startup+1902.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13384
/proc/meminfo: memFree=31473720/32770624 swapFree=0/279500
[pid=13214] ppid=13211 vsize=35688 CPUtime=1902.11 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 27096 0 0 0 190210 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 4245088 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1902.11
Current children cumulated vsize (KiB) 35688
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 13386
/proc/meminfo: memFree=31473596/32770624 swapFree=0/279516
[pid=13214] ppid=13211 vsize=35688 CPUtime=1962.11 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 27616 0 0 0 196210 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5834240 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 1962.11
Current children cumulated vsize (KiB) 35688
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 13403
/proc/meminfo: memFree=31468588/32770624 swapFree=0/279520
[pid=13214] ppid=13211 vsize=35688 CPUtime=2022.11 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 28136 0 0 0 202210 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 139810339619460 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2022.11
Current children cumulated vsize (KiB) 35688
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/186 13430
/proc/meminfo: memFree=31467796/32770624 swapFree=0/279572
[pid=13214] ppid=13211 vsize=35688 CPUtime=2082.11 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 28655 0 0 0 208210 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5865178 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2082.11
Current children cumulated vsize (KiB) 35688
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 13432
/proc/meminfo: memFree=31472116/32770624 swapFree=0/279600
[pid=13214] ppid=13211 vsize=35688 CPUtime=2142.1 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 29172 0 0 0 214209 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 4251552 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2142.1
Current children cumulated vsize (KiB) 35688
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 13434
/proc/meminfo: memFree=31472292/32770624 swapFree=0/279608
[pid=13214] ppid=13211 vsize=35688 CPUtime=2202.1 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 29682 0 0 0 220209 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5685866 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2202.1
Current children cumulated vsize (KiB) 35688
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/183 13436
/proc/meminfo: memFree=31472896/32770624 swapFree=0/279616
[pid=13214] ppid=13211 vsize=35688 CPUtime=2262.1 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 30201 0 0 0 226209 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5575311 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2262.1
Current children cumulated vsize (KiB) 35688
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 13438
/proc/meminfo: memFree=31473292/32770624 swapFree=0/279636
[pid=13214] ppid=13211 vsize=35688 CPUtime=2322.09 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 30587 0 0 0 232208 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5685068 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2322.09
Current children cumulated vsize (KiB) 35688
[startup+2382.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/181 13440
/proc/meminfo: memFree=31473572/32770624 swapFree=0/279652
[pid=13214] ppid=13211 vsize=35688 CPUtime=2382.09 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 31102 0 0 0 238208 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5862727 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2382.09
Current children cumulated vsize (KiB) 35688
[startup+2442.3 s]
/proc/loadavg: 2.03 2.02 2.05 3/181 13442
/proc/meminfo: memFree=31473264/32770624 swapFree=0/279652
[pid=13214] ppid=13211 vsize=35688 CPUtime=2442.09 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 31621 0 0 0 244208 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5872063 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2442.09
Current children cumulated vsize (KiB) 35688
[startup+2502.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13444
/proc/meminfo: memFree=31473600/32770624 swapFree=0/279696
[pid=13214] ppid=13211 vsize=35688 CPUtime=2502.08 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 32142 0 0 0 250207 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 4257612 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2502.08
Current children cumulated vsize (KiB) 35688
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.01 2.02 2.05 3/181 13445
/proc/meminfo: memFree=31473600/32770624 swapFree=0/279696
[pid=13214] ppid=13211 vsize=35688 CPUtime=2519.78 cores=0,2,4,6
/proc/13214/stat : 13214 (MistralXCSP) R 13211 13214 15981 0 -1 4202496 32658 0 0 0 251977 1 0 0 20 0 1 0 40522209 36544512 2676 18446744073709551615 4194304 7396336 140728555291040 140728555285624 5859089 0 0 1 16386 0 0 0 17 4 0 0 9 0 0 9496464 9501696 10674176 140728555299251 140728555299401 140728555299401 140728555302857 0
/proc/13214/statm: 8922 2676 777 782 0 1938 0
Current children cumulated CPU time (s) 2519.78
Current children cumulated vsize (KiB) 35688
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 13214 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.79
CPU user time (s): 2519.78
CPU system time (s): 0.012999
CPU usage (%): 99.9917
Max. virtual memory (cumulated for all children) (KiB): 35688
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.78
system time used= 0.012999
maximum resident set size= 10724
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 32687
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= 9
involuntary context switches= 668
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.02731 second user time and 8.5601 second system time
The end