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-4260866-1502396958/watcher-4260866-1502396958 -o /tmp/evaluation-result-4260866-1502396958/solver-4260866-1502396958 -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 502104092 HOME/instance-4260866-1502396958.xml
pid=31006
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.00 2.01 2.05 3/184 31009
/proc/meminfo: memFree=18935648/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=23672 CPUtime=0 cores=0,2,4,6
/proc/31009/stat : 31009 (runsolver) D 31006 31009 31388 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 87202012 24240128 108 18446744073709551615 4194304 4338465 140729022292032 140729022289672 140413532156631 0 0 1 24578 18446744071580418449 0 0 17 0 0 0 0 0 0 6438912 6441760 22863872 140729022296203 140729022296649 140729022296649 140729022300106 0
/proc/31009/statm: 5918 108 54 36 0 2156 0
[startup+0.100202 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31009
/proc/meminfo: memFree=18935648/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=33196 CPUtime=0.01 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 2179 0 0 0 1 0 0 0 20 0 1 0 87202012 33992704 1978 18446744073709551615 4194304 7396336 140731101929456 140731101926456 140058737335847 0 0 1 0 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 8299 1978 686 782 0 1315 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 33196
[startup+0.200369 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31009
/proc/meminfo: memFree=18935648/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=39292 CPUtime=0.11 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 3921 0 0 0 11 0 0 0 20 0 1 0 87202012 40235008 3559 18446744073709551615 4194304 7396336 140731101929456 140731101926456 5628592 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9823 3559 759 782 0 2839 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 39292
[startup+0.300381 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31009
/proc/meminfo: memFree=18935648/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=39292 CPUtime=0.21 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 3953 0 0 0 21 0 0 0 20 0 1 0 87202012 40235008 3559 18446744073709551615 4194304 7396336 140731101929456 140731101926456 5165928 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9823 3559 759 782 0 2839 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 39292
[startup+0.700296 s]
/proc/loadavg: 2.00 2.01 2.05 3/184 31009
/proc/meminfo: memFree=18935648/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=39292 CPUtime=0.61 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 3953 0 0 0 61 0 0 0 20 0 1 0 87202012 40235008 3559 18446744073709551615 4194304 7396336 140731101929456 140731101924552 5586248 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9823 3559 759 782 0 2839 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 39292
[startup+1.50029 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31010
/proc/meminfo: memFree=18924004/32770624 swapFree=0/550248
[pid=31009] ppid=31006 vsize=39424 CPUtime=1.41 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 3959 0 0 0 141 0 0 0 20 0 1 0 87202012 40370176 3559 18446744073709551615 4194304 7396336 140731101929456 140731101924552 4582542 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3559 759 782 0 2872 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 39424
[startup+3.10029 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31010
/proc/meminfo: memFree=18923784/32770624 swapFree=0/550248
[pid=31009] ppid=31006 vsize=39424 CPUtime=3.01 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 5749 0 0 0 301 0 0 0 20 0 1 0 87202012 40370176 3603 18446744073709551615 4194304 7396336 140731101929456 140731101924552 5576245 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3603 763 782 0 2872 0
Current children cumulated CPU time (s) 3.01
Current children cumulated vsize (KiB) 39424
[startup+6.3003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31010
/proc/meminfo: memFree=18923660/32770624 swapFree=0/550248
[pid=31009] ppid=31006 vsize=39424 CPUtime=6.21 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 7833 0 0 0 621 0 0 0 20 0 1 0 87202012 40370176 3604 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4249738 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3604 763 782 0 2872 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 39424
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31011
/proc/meminfo: memFree=18923272/32770624 swapFree=0/550252
[pid=31009] ppid=31006 vsize=39424 CPUtime=12.61 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 9793 0 0 0 1261 0 0 0 20 0 1 0 87202012 40370176 3606 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4581760 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3606 763 782 0 2872 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 39424
[startup+25.5004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31011
/proc/meminfo: memFree=18923136/32770624 swapFree=0/550244
[pid=31009] ppid=31006 vsize=39424 CPUtime=25.41 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 13696 0 0 0 2541 0 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5586320 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 39424
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31011
/proc/meminfo: memFree=18923228/32770624 swapFree=0/550236
[pid=31009] ppid=31006 vsize=39424 CPUtime=51 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 15659 0 0 0 5100 0 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575980 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 39424
[startup+102.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/186 31014
/proc/meminfo: memFree=18922984/32770624 swapFree=0/550240
[pid=31009] ppid=31006 vsize=39424 CPUtime=102.21 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 17623 0 0 0 10221 0 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4581555 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 102.21
Current children cumulated vsize (KiB) 39424
[startup+162.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31016
/proc/meminfo: memFree=18922280/32770624 swapFree=0/550256
[pid=31009] ppid=31006 vsize=39424 CPUtime=162.21 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 19585 0 0 0 16221 0 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4249751 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 162.21
Current children cumulated vsize (KiB) 39424
[startup+222.306 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31018
/proc/meminfo: memFree=18922564/32770624 swapFree=0/550268
[pid=31009] ppid=31006 vsize=39424 CPUtime=222.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 21544 0 0 0 22221 1 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165928 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 222.22
Current children cumulated vsize (KiB) 39424
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/189 31035
/proc/meminfo: memFree=18917144/32770624 swapFree=0/550304
[pid=31009] ppid=31006 vsize=39424 CPUtime=282.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 23508 0 0 0 28221 1 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5586420 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 39424
[startup+342.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/189 31037
/proc/meminfo: memFree=18918628/32770624 swapFree=0/550328
[pid=31009] ppid=31006 vsize=39424 CPUtime=342.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 25466 0 0 0 34221 1 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5839021 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 39424
[startup+402.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/185 31039
/proc/meminfo: memFree=18921108/32770624 swapFree=0/550320
[pid=31009] ppid=31006 vsize=39424 CPUtime=402.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 27422 0 0 0 40221 1 0 0 20 0 1 0 87202012 40370176 3614 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5586607 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3614 763 782 0 2872 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 39424
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31041
/proc/meminfo: memFree=18921776/32770624 swapFree=0/550340
[pid=31009] ppid=31006 vsize=39424 CPUtime=462.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 29400 0 0 0 46221 1 0 0 20 0 1 0 87202012 40370176 3619 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5649716 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3619 763 782 0 2872 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 39424
[startup+522.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31043
/proc/meminfo: memFree=18921832/32770624 swapFree=0/550344
[pid=31009] ppid=31006 vsize=39424 CPUtime=522.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 31358 0 0 0 52221 1 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5586528 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 39424
[startup+582.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 31047
/proc/meminfo: memFree=18921584/32770624 swapFree=0/550356
[pid=31009] ppid=31006 vsize=39424 CPUtime=582.22 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 33319 0 0 0 58221 1 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5839353 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 39424
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 31114
/proc/meminfo: memFree=18921960/32770624 swapFree=0/550572
[pid=31009] ppid=31006 vsize=39424 CPUtime=1602.25 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 66561 0 0 0 160223 2 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4379204 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1602.25
Current children cumulated vsize (KiB) 39424
[startup+1662.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 31117
/proc/meminfo: memFree=18921840/32770624 swapFree=0/550572
[pid=31009] ppid=31006 vsize=39424 CPUtime=1662.25 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 68520 0 0 0 166223 2 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1662.25
Current children cumulated vsize (KiB) 39424
[startup+1722.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 31119
/proc/meminfo: memFree=18921956/32770624 swapFree=0/550600
[pid=31009] ppid=31006 vsize=39424 CPUtime=1722.25 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 70474 0 0 0 172223 2 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4582297 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1722.25
Current children cumulated vsize (KiB) 39424
[startup+1782.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 31121
/proc/meminfo: memFree=18921524/32770624 swapFree=0/550604
[pid=31009] ppid=31006 vsize=39424 CPUtime=1782.25 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 72430 0 0 0 178223 2 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575200 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1782.25
Current children cumulated vsize (KiB) 39424
[startup+1842.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/184 31123
/proc/meminfo: memFree=18922780/32770624 swapFree=0/550616
[pid=31009] ppid=31006 vsize=39424 CPUtime=1842.26 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 74397 0 0 0 184224 2 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165796 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1842.26
Current children cumulated vsize (KiB) 39424
[startup+1902.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31127
/proc/meminfo: memFree=18921768/32770624 swapFree=0/550624
[pid=31009] ppid=31006 vsize=39424 CPUtime=1902.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 76355 0 0 0 190224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4317567 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1902.27
Current children cumulated vsize (KiB) 39424
[startup+1962.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/185 31129
/proc/meminfo: memFree=18921876/32770624 swapFree=0/550632
[pid=31009] ppid=31006 vsize=39424 CPUtime=1962.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 78308 0 0 0 196224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 4582542 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 1962.27
Current children cumulated vsize (KiB) 39424
[startup+2022.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/185 31131
/proc/meminfo: memFree=18921588/32770624 swapFree=0/550652
[pid=31009] ppid=31006 vsize=39424 CPUtime=2022.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 80266 0 0 0 202224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165846 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2022.27
Current children cumulated vsize (KiB) 39424
[startup+2082.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/189 31148
/proc/meminfo: memFree=18917292/32770624 swapFree=0/550676
[pid=31009] ppid=31006 vsize=39424 CPUtime=2082.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 82222 0 0 0 208224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5578150 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2082.27
Current children cumulated vsize (KiB) 39424
[startup+2142.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/189 31150
/proc/meminfo: memFree=18917576/32770624 swapFree=0/550696
[pid=31009] ppid=31006 vsize=39424 CPUtime=2142.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 84179 0 0 0 214224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165842 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2142.27
Current children cumulated vsize (KiB) 39424
[startup+2202.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/186 31153
/proc/meminfo: memFree=18921160/32770624 swapFree=0/550716
[pid=31009] ppid=31006 vsize=39424 CPUtime=2202.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 86135 0 0 0 220224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2202.27
Current children cumulated vsize (KiB) 39424
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/186 31155
/proc/meminfo: memFree=18921740/32770624 swapFree=0/550720
[pid=31009] ppid=31006 vsize=39424 CPUtime=2262.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 88094 0 0 0 226224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575980 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2262.27
Current children cumulated vsize (KiB) 39424
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/186 31157
/proc/meminfo: memFree=18921388/32770624 swapFree=0/550732
[pid=31009] ppid=31006 vsize=39424 CPUtime=2322.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 90031 0 0 0 232224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575964 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2322.27
Current children cumulated vsize (KiB) 39424
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/187 31161
/proc/meminfo: memFree=18921200/32770624 swapFree=0/550728
[pid=31009] ppid=31006 vsize=39424 CPUtime=2382.27 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 91996 0 0 0 238224 3 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5609904 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2382.27
Current children cumulated vsize (KiB) 39424
[startup+2442.3 s]
/proc/loadavg: 2.09 2.03 2.05 2/181 31332
/proc/meminfo: memFree=31077764/32770624 swapFree=0/550776
[pid=31009] ppid=31006 vsize=39424 CPUtime=2442.28 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 93954 0 0 0 244224 4 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575980 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2442.28
Current children cumulated vsize (KiB) 39424
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31593
/proc/meminfo: memFree=30925996/32770624 swapFree=0/550728
[pid=31009] ppid=31006 vsize=39424 CPUtime=2502.28 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 94602 0 0 0 250224 4 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5575952 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2502.28
Current children cumulated vsize (KiB) 39424
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 2.01 2.04 3/185 31594
/proc/meminfo: memFree=30886492/32770624 swapFree=0/550744
[pid=31009] ppid=31006 vsize=39424 CPUtime=2519.98 cores=0,2,4,6
/proc/31009/stat : 31009 (MistralXCSP) R 31006 31009 31388 0 -1 4202496 95245 0 0 0 251994 4 0 0 20 0 1 0 87202012 40370176 3626 18446744073709551615 4194304 7396336 140731101929456 140731101923944 5165805 0 0 1 16386 0 0 0 17 2 0 0 8 0 0 9496464 9501696 21848064 140731101934003 140731101934152 140731101934152 140731101937609 0
/proc/31009/statm: 9856 3626 763 782 0 2872 0
Current children cumulated CPU time (s) 2519.98
Current children cumulated vsize (KiB) 39424
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 31009 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.99
CPU user time (s): 2519.95
CPU system time (s): 0.040001
CPU usage (%): 99.9995
Max. virtual memory (cumulated for all children) (KiB): 39424
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.95
system time used= 0.040001
maximum resident set size= 14540
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 95281
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= 11
involuntary context switches= 639
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.59043 second user time and 10.0248 second system time
The end