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-4261579-1502349841/watcher-4261579-1502349841 -o /tmp/evaluation-result-4261579-1502349841/solver-4261579-1502349841 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502333491-25568 --watchdog 2580 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 114805042 HOME/instance-4261579-1502349841.xml
pid=27655
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.13 2.05 2.05 3/184 27658
/proc/meminfo: memFree=31179784/32770624 swapFree=0/423392
[pid=27658] ppid=27655 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/27658/stat : 27658 (runsolver) D 27655 27658 4525 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 134637017 24240128 107 18446744073709551615 4194304 4338465 140726750375040 140726750372680 140652293722839 0 0 1 24578 18446744071580418449 0 0 17 5 0 0 0 0 0 6438912 6441760 37724160 140726750376075 140726750376521 140726750376521 140726750379978 0
/proc/27658/statm: 5918 107 54 36 0 2156 0
[startup+0.100695 s]
/proc/loadavg: 2.13 2.05 2.05 3/184 27658
/proc/meminfo: memFree=31179784/32770624 swapFree=0/423392
[pid=27658] ppid=27655 vsize=28972 CPUtime=0.01 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 979 0 0 0 1 0 0 0 20 0 1 0 134637017 29667328 802 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5884387 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 7243 802 610 782 0 259 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 28972
[startup+0.200694 s]
/proc/loadavg: 2.13 2.05 2.05 3/184 27658
/proc/meminfo: memFree=31179784/32770624 swapFree=0/423392
[pid=27658] ppid=27655 vsize=32376 CPUtime=0.11 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 1904 0 0 0 11 0 0 0 20 0 1 0 134637017 33153024 1642 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5883332 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 8094 1642 636 782 0 1110 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 32376
[startup+0.300696 s]
/proc/loadavg: 2.13 2.05 2.05 3/184 27658
/proc/meminfo: memFree=31179784/32770624 swapFree=0/423392
[pid=27658] ppid=27655 vsize=36044 CPUtime=0.21 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 2838 0 0 0 21 0 0 0 20 0 1 0 134637017 36909056 2566 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5882134 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 9011 2566 636 782 0 2027 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 36044
[startup+0.700224 s]
/proc/loadavg: 2.13 2.05 2.05 3/184 27658
/proc/meminfo: memFree=31179784/32770624 swapFree=0/423392
[pid=27658] ppid=27655 vsize=49724 CPUtime=0.6 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 6263 0 0 0 60 0 0 0 20 0 1 0 134637017 50917376 5998 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5878205 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 12431 5998 637 782 0 5447 0
Current children cumulated CPU time (s) 0.6
Current children cumulated vsize (KiB) 49724
[startup+1.50023 s]
/proc/loadavg: 2.13 2.05 2.05 3/185 27659
/proc/meminfo: memFree=31144996/32770624 swapFree=0/423592
[pid=27658] ppid=27655 vsize=77108 CPUtime=1.4 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 13103 0 0 0 139 1 0 0 20 0 1 0 134637017 78958592 12862 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5876305 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 19277 12862 637 782 0 12293 0
Current children cumulated CPU time (s) 1.4
Current children cumulated vsize (KiB) 77108
[startup+3.1003 s]
/proc/loadavg: 2.13 2.05 2.05 3/185 27659
/proc/meminfo: memFree=31106824/32770624 swapFree=0/423480
[pid=27658] ppid=27655 vsize=120808 CPUtime=3 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 36896 0 0 0 297 3 0 0 20 0 1 0 134637017 123707392 23843 18446744073709551615 4194304 7396336 140723390752320 140723390745560 5792023 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30202 23843 666 782 0 23218 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 120808
[startup+6.30031 s]
/proc/loadavg: 2.12 2.05 2.05 3/185 27659
/proc/meminfo: memFree=31086288/32770624 swapFree=0/423480
[pid=27658] ppid=27655 vsize=120808 CPUtime=6.2 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 54568 0 0 0 616 4 0 0 20 0 1 0 134637017 123707392 23843 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30202 23843 666 782 0 23218 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 120808
[startup+12.7003 s]
/proc/loadavg: 2.11 2.05 2.05 3/185 27659
/proc/meminfo: memFree=31086384/32770624 swapFree=0/423476
[pid=27658] ppid=27655 vsize=120808 CPUtime=12.61 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 72341 0 0 0 1256 5 0 0 20 0 1 0 134637017 123707392 23875 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5586528 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30202 23875 666 782 0 23218 0
Current children cumulated CPU time (s) 12.61
Current children cumulated vsize (KiB) 120808
[startup+25.5004 s]
/proc/loadavg: 2.24 2.08 2.06 3/189 27674
/proc/meminfo: memFree=31081376/32770624 swapFree=0/423472
[pid=27658] ppid=27655 vsize=120808 CPUtime=25.41 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 107652 0 0 0 2534 7 0 0 20 0 1 0 134637017 123707392 23875 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30202 23875 666 782 0 23218 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 120808
[startup+51.1003 s]
/proc/loadavg: 2.16 2.08 2.06 3/189 27675
/proc/meminfo: memFree=31081984/32770624 swapFree=0/423472
[pid=27658] ppid=27655 vsize=120940 CPUtime=51 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 125499 0 0 0 5092 8 0 0 20 0 1 0 134637017 123842560 23908 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30235 23908 666 782 0 23251 0
Current children cumulated CPU time (s) 51
Current children cumulated vsize (KiB) 120940
[startup+102.3 s]
/proc/loadavg: 2.07 2.06 2.05 3/189 27677
/proc/meminfo: memFree=31081180/32770624 swapFree=0/423492
[pid=27658] ppid=27655 vsize=121072 CPUtime=102.19 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 138627 0 0 0 10210 9 0 0 20 0 1 0 134637017 123977728 23931 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30268 23931 666 782 0 23284 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 121072
[startup+162.3 s]
/proc/loadavg: 2.03 2.05 2.05 3/185 27679
/proc/meminfo: memFree=31084212/32770624 swapFree=0/423516
[pid=27658] ppid=27655 vsize=121072 CPUtime=162.18 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 139173 0 0 0 16209 9 0 0 20 0 1 0 134637017 123977728 23941 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30268 23941 666 782 0 23284 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 121072
[startup+222.306 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 27681
/proc/meminfo: memFree=31084524/32770624 swapFree=0/423524
[pid=27658] ppid=27655 vsize=121204 CPUtime=222.18 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 139727 0 0 0 22209 9 0 0 20 0 1 0 134637017 124112896 23948 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23948 666 782 0 23317 0
Current children cumulated CPU time (s) 222.18
Current children cumulated vsize (KiB) 121204
[startup+282.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/185 27683
/proc/meminfo: memFree=31084880/32770624 swapFree=0/423524
[pid=27658] ppid=27655 vsize=121204 CPUtime=282.17 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 140278 0 0 0 28208 9 0 0 20 0 1 0 134637017 124112896 23951 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23951 666 782 0 23317 0
Current children cumulated CPU time (s) 282.17
Current children cumulated vsize (KiB) 121204
[startup+342.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/184 27685
/proc/meminfo: memFree=31084992/32770624 swapFree=0/423532
[pid=27658] ppid=27655 vsize=121204 CPUtime=342.17 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 140837 0 0 0 34208 9 0 0 20 0 1 0 134637017 124112896 23958 18446744073709551615 4194304 7396336 140723390752320 140723390746856 4316963 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23958 666 782 0 23317 0
Current children cumulated CPU time (s) 342.17
Current children cumulated vsize (KiB) 121204
[startup+402.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/185 27688
/proc/meminfo: memFree=31085024/32770624 swapFree=0/423540
[pid=27658] ppid=27655 vsize=121204 CPUtime=402.17 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 141394 0 0 0 40208 9 0 0 20 0 1 0 134637017 124112896 23960 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792078 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23960 666 782 0 23317 0
Current children cumulated CPU time (s) 402.17
Current children cumulated vsize (KiB) 121204
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 27690
/proc/meminfo: memFree=31084992/32770624 swapFree=0/423560
[pid=27658] ppid=27655 vsize=121204 CPUtime=462.17 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 141952 0 0 0 46208 9 0 0 20 0 1 0 134637017 124112896 23962 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792116 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23962 666 782 0 23317 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 121204
[startup+522.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 27692
/proc/meminfo: memFree=31085120/32770624 swapFree=0/423568
[pid=27658] ppid=27655 vsize=121204 CPUtime=522.17 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 142513 0 0 0 52208 9 0 0 20 0 1 0 134637017 124112896 23963 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23963 666 782 0 23317 0
Current children cumulated CPU time (s) 522.17
Current children cumulated vsize (KiB) 121204
[startup+582.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/185 27694
/proc/meminfo: memFree=31085080/32770624 swapFree=0/423576
[pid=27658] ppid=27655 vsize=121204 CPUtime=582.16 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 143077 0 0 0 58207 9 0 0 20 0 1 0 134637017 124112896 23965 18446744073709551615 4194304 7396336 140723390752320 140723390746856 4252880 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23965 666 782 0 23317 0
Current children cumulated CPU time (s) 582.16
Current children cumulated vsize (KiB) 121204
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 27762
/proc/meminfo: memFree=31083380/32770624 swapFree=0/423804
[pid=27658] ppid=27655 vsize=121204 CPUtime=1602.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 152712 0 0 0 160205 9 0 0 20 0 1 0 134637017 124112896 23973 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23973 666 782 0 23317 0
Current children cumulated CPU time (s) 1602.14
Current children cumulated vsize (KiB) 121204
[startup+1662.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/185 27764
/proc/meminfo: memFree=31083220/32770624 swapFree=0/423804
[pid=27658] ppid=27655 vsize=121204 CPUtime=1662.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 153278 0 0 0 166204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792000 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1662.14
Current children cumulated vsize (KiB) 121204
[startup+1722.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/184 27766
/proc/meminfo: memFree=31083240/32770624 swapFree=0/423812
[pid=27658] ppid=27655 vsize=121204 CPUtime=1722.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 153842 0 0 0 172204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792078 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1722.14
Current children cumulated vsize (KiB) 121204
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/184 27768
/proc/meminfo: memFree=31083452/32770624 swapFree=0/423824
[pid=27658] ppid=27655 vsize=121204 CPUtime=1782.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 154405 0 0 0 178204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1782.14
Current children cumulated vsize (KiB) 121204
[startup+1842.3 s]
/proc/loadavg: 2.06 2.02 2.04 3/187 27784
/proc/meminfo: memFree=31079024/32770624 swapFree=0/423844
[pid=27658] ppid=27655 vsize=121204 CPUtime=1842.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 154972 0 0 0 184204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 4243314 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1842.14
Current children cumulated vsize (KiB) 121204
[startup+1902.3 s]
/proc/loadavg: 1.94 2.00 2.04 3/187 27786
/proc/meminfo: memFree=31079704/32770624 swapFree=0/423872
[pid=27658] ppid=27655 vsize=121204 CPUtime=1902.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 155536 0 0 0 190204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 121204
[startup+1962.3 s]
/proc/loadavg: 1.98 2.00 2.04 3/185 27789
/proc/meminfo: memFree=31082736/32770624 swapFree=0/423880
[pid=27658] ppid=27655 vsize=121204 CPUtime=1962.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 156103 0 0 0 196204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 121204
[startup+2022.3 s]
/proc/loadavg: 1.99 2.00 2.04 3/185 27791
/proc/meminfo: memFree=31082828/32770624 swapFree=0/423876
[pid=27658] ppid=27655 vsize=121204 CPUtime=2022.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 156674 0 0 0 202204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2022.14
Current children cumulated vsize (KiB) 121204
[startup+2082.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 27793
/proc/meminfo: memFree=31083076/32770624 swapFree=0/423888
[pid=27658] ppid=27655 vsize=121204 CPUtime=2082.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 157241 0 0 0 208204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792027 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2082.14
Current children cumulated vsize (KiB) 121204
[startup+2142.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/185 27795
/proc/meminfo: memFree=31083168/32770624 swapFree=0/423900
[pid=27658] ppid=27655 vsize=121204 CPUtime=2142.13 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 157775 0 0 0 214203 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2142.13
Current children cumulated vsize (KiB) 121204
[startup+2202.31 s]
/proc/loadavg: 1.95 1.98 2.03 3/185 27858
/proc/meminfo: memFree=31095920/32770624 swapFree=0/423908
[pid=27658] ppid=27655 vsize=121204 CPUtime=2202.14 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 158315 0 0 0 220204 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 4253040 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2202.14
Current children cumulated vsize (KiB) 121204
[startup+2262.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 27860
/proc/meminfo: memFree=31095784/32770624 swapFree=0/423932
[pid=27658] ppid=27655 vsize=121204 CPUtime=2262.13 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 158855 0 0 0 226203 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 4252992 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2262.13
Current children cumulated vsize (KiB) 121204
[startup+2322.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/184 27862
/proc/meminfo: memFree=31095132/32770624 swapFree=0/423944
[pid=27658] ppid=27655 vsize=121204 CPUtime=2322.13 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 159428 0 0 0 232203 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2322.13
Current children cumulated vsize (KiB) 121204
[startup+2382.3 s]
/proc/loadavg: 2.13 2.02 2.04 3/184 27864
/proc/meminfo: memFree=31094764/32770624 swapFree=0/423948
[pid=27658] ppid=27655 vsize=121204 CPUtime=2382.12 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 160001 0 0 0 238202 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2382.12
Current children cumulated vsize (KiB) 121204
[startup+2442.3 s]
/proc/loadavg: 2.05 2.01 2.04 3/188 27881
/proc/meminfo: memFree=31090760/32770624 swapFree=0/423968
[pid=27658] ppid=27655 vsize=121204 CPUtime=2442.12 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 160570 0 0 0 244202 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792000 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2442.12
Current children cumulated vsize (KiB) 121204
[startup+2502.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/188 27883
/proc/meminfo: memFree=31090980/32770624 swapFree=0/423976
[pid=27658] ppid=27655 vsize=121204 CPUtime=2502.12 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 161133 0 0 0 250202 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2502.12
Current children cumulated vsize (KiB) 121204
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.26 2.07 2.06 3/188 27883
/proc/meminfo: memFree=31090980/32770624 swapFree=0/423976
[pid=27658] ppid=27655 vsize=121204 CPUtime=2519.82 cores=1,3,5,7
/proc/27658/stat : 27658 (MistralXCSP) R 27655 27658 4525 0 -1 4202496 161692 0 0 0 251972 10 0 0 20 0 1 0 134637017 124112896 23974 18446744073709551615 4194304 7396336 140723390752320 140723390746856 5792030 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 16556032 140723390759347 140723390759496 140723390759496 140723390762953 0
/proc/27658/statm: 30301 23974 666 782 0 23317 0
Current children cumulated CPU time (s) 2519.82
Current children cumulated vsize (KiB) 121204
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 27658 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.83
CPU user time (s): 2519.73
CPU system time (s): 0.106997
CPU usage (%): 99.9933
Max. virtual memory (cumulated for all children) (KiB): 121204
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.73
system time used= 0.106997
maximum resident set size= 95924
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 161729
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= 52
involuntary context switches= 757
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.53303 second user time and 11.0489 second system time
The end