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-4261126-1502334354/watcher-4261126-1502334354 -o /tmp/evaluation-result-4261126-1502334354/solver-4261126-1502334354 -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 2002247310 HOME/instance-4261126-1502334354.xml
pid=25588
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.02 1.99 1.96 3/183 25593
/proc/meminfo: memFree=31219808/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/25593/stat : 25593 (runsolver) D 25588 25593 4525 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 133088363 24240128 106 18446744073709551615 4194304 4338465 140736158246384 140736158244024 140110110085847 0 0 1 24578 18446744071580418449 0 0 17 1 0 0 0 0 0 6438912 6441760 30375936 140736158253194 140736158253641 140736158253641 140736158257098 0
/proc/25593/statm: 5918 106 53 36 0 2156 0
[startup+0.100131 s]
/proc/loadavg: 2.02 1.99 1.96 3/183 25593
/proc/meminfo: memFree=31219808/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=29328 CPUtime=0.01 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 1199 0 0 0 1 0 0 0 20 0 1 0 133088363 30031872 1000 18446744073709551615 4194304 7396336 140724271870832 140724271860608 6061259 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 7332 1000 672 782 0 348 0
Current children cumulated CPU time (s) 0.01
Current children cumulated vsize (KiB) 29328
[startup+0.201134 s]
/proc/loadavg: 2.02 1.99 1.96 3/183 25593
/proc/meminfo: memFree=31219808/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=29452 CPUtime=0.11 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 1228 0 0 0 11 0 0 0 20 0 1 0 133088363 30158848 1047 18446744073709551615 4194304 7396336 140724271870832 140724271861528 5940927 0 0 1 0 0 0 0 17 7 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 7363 1047 711 782 0 379 0
Current children cumulated CPU time (s) 0.11
Current children cumulated vsize (KiB) 29452
[startup+0.301132 s]
/proc/loadavg: 2.02 1.99 1.96 3/183 25593
/proc/meminfo: memFree=31219808/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=29700 CPUtime=0.21 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 1275 0 0 0 21 0 0 0 20 0 1 0 133088363 30412800 1078 18446744073709551615 4194304 7396336 140724271870832 140724271861528 6056590 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 7425 1078 711 782 0 441 0
Current children cumulated CPU time (s) 0.21
Current children cumulated vsize (KiB) 29700
[startup+0.700174 s]
/proc/loadavg: 2.02 1.99 1.96 3/183 25593
/proc/meminfo: memFree=31219808/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=30136 CPUtime=0.61 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 1399 0 0 0 61 0 0 0 20 0 1 0 133088363 30859264 1209 18446744073709551615 4194304 7396336 140724271870832 140724271860952 6190153 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 7534 1209 716 782 0 550 0
Current children cumulated CPU time (s) 0.61
Current children cumulated vsize (KiB) 30136
[startup+1.50023 s]
/proc/loadavg: 2.02 1.99 1.96 3/188 25598
/proc/meminfo: memFree=31196820/32770624 swapFree=0/420936
[pid=25593] ppid=25588 vsize=75644 CPUtime=1.41 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 12365 0 0 0 140 1 0 0 20 0 1 0 133088363 77459456 12629 18446744073709551615 4194304 7396336 140724271870832 140724271862360 4566032 0 0 1 0 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 18911 12629 726 782 0 11927 0
Current children cumulated CPU time (s) 1.41
Current children cumulated vsize (KiB) 75644
[startup+3.10023 s]
/proc/loadavg: 2.02 1.99 1.96 3/188 25598
/proc/meminfo: memFree=31162528/32770624 swapFree=0/420936
[pid=25593] ppid=25588 vsize=84148 CPUtime=3 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 22317 0 0 0 299 1 0 0 20 0 1 0 133088363 86167552 14761 18446744073709551615 4194304 7396336 140724271870832 140724271862360 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21037 14761 762 782 0 14053 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 84148
[startup+6.30022 s]
/proc/loadavg: 2.01 1.99 1.96 3/188 25598
/proc/meminfo: memFree=31157608/32770624 swapFree=0/420936
[pid=25593] ppid=25588 vsize=87204 CPUtime=6.21 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 32407 0 0 0 619 2 0 0 20 0 1 0 133088363 89296896 15549 18446744073709551615 4194304 7396336 140724271870832 140724271865384 5608763 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21801 15549 767 782 0 14817 0
Current children cumulated CPU time (s) 6.21
Current children cumulated vsize (KiB) 87204
[startup+12.7003 s]
/proc/loadavg: 2.01 1.99 1.96 3/186 25598
/proc/meminfo: memFree=31158268/32770624 swapFree=0/420936
[pid=25593] ppid=25588 vsize=87336 CPUtime=12.6 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 42604 0 0 0 1258 2 0 0 20 0 1 0 133088363 89432064 15583 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21834 15583 768 782 0 14850 0
Current children cumulated CPU time (s) 12.6
Current children cumulated vsize (KiB) 87336
[startup+25.5062 s]
/proc/loadavg: 1.94 1.98 1.95 3/185 25598
/proc/meminfo: memFree=31160296/32770624 swapFree=0/420920
[pid=25593] ppid=25588 vsize=87336 CPUtime=25.41 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 62958 0 0 0 2538 3 0 0 20 0 1 0 133088363 89432064 15591 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21834 15591 768 782 0 14850 0
Current children cumulated CPU time (s) 25.41
Current children cumulated vsize (KiB) 87336
[startup+51.1003 s]
/proc/loadavg: 1.96 1.98 1.95 3/185 25598
/proc/meminfo: memFree=31159456/32770624 swapFree=0/420920
[pid=25593] ppid=25588 vsize=87336 CPUtime=50.99 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 68203 0 0 0 5096 3 0 0 20 0 1 0 133088363 89432064 15595 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165834 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21834 15595 768 782 0 14850 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 87336
[startup+102.3 s]
/proc/loadavg: 2.06 2.00 1.96 3/185 25600
/proc/meminfo: memFree=31158868/32770624 swapFree=0/420924
[pid=25593] ppid=25588 vsize=87336 CPUtime=102.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 68827 0 0 0 10215 3 0 0 20 0 1 0 133088363 89432064 15595 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5608971 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21834 15595 768 782 0 14850 0
Current children cumulated CPU time (s) 102.18
Current children cumulated vsize (KiB) 87336
[startup+162.3 s]
/proc/loadavg: 1.97 1.99 1.95 3/185 25602
/proc/meminfo: memFree=31157952/32770624 swapFree=0/420940
[pid=25593] ppid=25588 vsize=87468 CPUtime=162.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 69469 0 0 0 16215 3 0 0 20 0 1 0 133088363 89567232 15620 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21867 15620 768 782 0 14883 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 87468
[startup+222.3 s]
/proc/loadavg: 1.99 1.99 1.95 3/185 25605
/proc/meminfo: memFree=31157836/32770624 swapFree=0/420952
[pid=25593] ppid=25588 vsize=87468 CPUtime=222.19 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 70117 0 0 0 22216 3 0 0 20 0 1 0 133088363 89567232 15629 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5609143 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21867 15629 768 782 0 14883 0
Current children cumulated CPU time (s) 222.19
Current children cumulated vsize (KiB) 87468
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/185 25607
/proc/meminfo: memFree=31158308/32770624 swapFree=0/420960
[pid=25593] ppid=25588 vsize=87468 CPUtime=282.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 70765 0 0 0 28215 3 0 0 20 0 1 0 133088363 89567232 15635 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21867 15635 768 782 0 14883 0
Current children cumulated CPU time (s) 282.18
Current children cumulated vsize (KiB) 87468
[startup+342.306 s]
/proc/loadavg: 2.00 1.99 1.95 3/184 25609
/proc/meminfo: memFree=31157920/32770624 swapFree=0/420968
[pid=25593] ppid=25588 vsize=87600 CPUtime=342.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 71455 0 0 0 34215 3 0 0 20 0 1 0 133088363 89702400 15656 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4399545 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21900 15656 768 782 0 14916 0
Current children cumulated CPU time (s) 342.18
Current children cumulated vsize (KiB) 87600
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/184 25612
/proc/meminfo: memFree=31157976/32770624 swapFree=0/420980
[pid=25593] ppid=25588 vsize=87732 CPUtime=402.19 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 72154 0 0 0 40215 4 0 0 20 0 1 0 133088363 89837568 15669 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4249712 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21933 15669 768 782 0 14949 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 87732
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/184 25614
/proc/meminfo: memFree=31158272/32770624 swapFree=0/420988
[pid=25593] ppid=25588 vsize=87732 CPUtime=462.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 72841 0 0 0 46214 4 0 0 20 0 1 0 133088363 89837568 15676 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21933 15676 768 782 0 14949 0
Current children cumulated CPU time (s) 462.18
Current children cumulated vsize (KiB) 87732
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 1.95 3/188 25631
/proc/meminfo: memFree=31153284/32770624 swapFree=0/421008
[pid=25593] ppid=25588 vsize=87732 CPUtime=522.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 73519 0 0 0 52214 4 0 0 20 0 1 0 133088363 89837568 15678 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4581669 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21933 15678 768 782 0 14949 0
Current children cumulated CPU time (s) 522.18
Current children cumulated vsize (KiB) 87732
[startup+582.3 s]
/proc/loadavg: 1.97 1.97 1.95 3/188 25657
/proc/meminfo: memFree=31151644/32770624 swapFree=0/421028
[pid=25593] ppid=25588 vsize=87732 CPUtime=582.18 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 74213 0 0 0 58214 4 0 0 20 0 1 0 133088363 89837568 15678 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5608763 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21933 15678 768 782 0 14949 0
Current children cumulated CPU time (s) 582.18
Current children cumulated vsize (KiB) 87732
################
# More data... #
################
[startup+1662.31 s]
/proc/loadavg: 2.03 2.03 1.99 3/185 25710
/proc/meminfo: memFree=31156828/32770624 swapFree=0/421224
[pid=25593] ppid=25588 vsize=87864 CPUtime=1662.16 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 87148 0 0 0 166212 4 0 0 20 0 1 0 133088363 89972736 15733 18446744073709551615 4194304 7396336 140724271870832 140724271865384 5608761 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21966 15733 768 782 0 14982 0
Current children cumulated CPU time (s) 1662.16
Current children cumulated vsize (KiB) 87864
[startup+1722.3 s]
/proc/loadavg: 2.01 2.02 1.99 3/188 25726
/proc/meminfo: memFree=31151712/32770624 swapFree=0/421236
[pid=25593] ppid=25588 vsize=87996 CPUtime=1722.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 87908 0 0 0 172211 4 0 0 20 0 1 0 133088363 90107904 15741 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15741 768 782 0 15015 0
Current children cumulated CPU time (s) 1722.15
Current children cumulated vsize (KiB) 87996
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/188 25728
/proc/meminfo: memFree=31151592/32770624 swapFree=0/421252
[pid=25593] ppid=25588 vsize=87996 CPUtime=1782.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 88665 0 0 0 178211 4 0 0 20 0 1 0 133088363 90107904 15744 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4581738 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15744 768 782 0 15015 0
Current children cumulated CPU time (s) 1782.15
Current children cumulated vsize (KiB) 87996
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/184 25730
/proc/meminfo: memFree=31154760/32770624 swapFree=0/421264
[pid=25593] ppid=25588 vsize=87996 CPUtime=1842.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 89412 0 0 0 184211 4 0 0 20 0 1 0 133088363 90107904 15744 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4581669 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15744 768 782 0 15015 0
Current children cumulated CPU time (s) 1842.15
Current children cumulated vsize (KiB) 87996
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.99 3/184 25732
/proc/meminfo: memFree=31154872/32770624 swapFree=0/421292
[pid=25593] ppid=25588 vsize=87996 CPUtime=1902.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 90160 0 0 0 190210 4 0 0 20 0 1 0 133088363 90107904 15744 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165796 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15744 768 782 0 15015 0
Current children cumulated CPU time (s) 1902.14
Current children cumulated vsize (KiB) 87996
[startup+1962.3 s]
/proc/loadavg: 1.98 2.01 1.99 3/184 25734
/proc/meminfo: memFree=31155740/32770624 swapFree=0/421308
[pid=25593] ppid=25588 vsize=87996 CPUtime=1962.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 90918 0 0 0 196210 4 0 0 20 0 1 0 133088363 90107904 15744 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4317596 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15744 768 782 0 15015 0
Current children cumulated CPU time (s) 1962.14
Current children cumulated vsize (KiB) 87996
[startup+2022.3 s]
/proc/loadavg: 1.94 2.00 1.98 3/184 25737
/proc/meminfo: memFree=31155828/32770624 swapFree=0/421320
[pid=25593] ppid=25588 vsize=87996 CPUtime=2022.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 91665 0 0 0 202210 5 0 0 20 0 1 0 133088363 90107904 15747 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4249696 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15747 768 782 0 15015 0
Current children cumulated CPU time (s) 2022.15
Current children cumulated vsize (KiB) 87996
[startup+2082.3 s]
/proc/loadavg: 1.98 2.00 1.98 3/185 25740
/proc/meminfo: memFree=31156312/32770624 swapFree=0/421332
[pid=25593] ppid=25588 vsize=87996 CPUtime=2082.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 92412 0 0 0 208210 5 0 0 20 0 1 0 133088363 90107904 15747 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4249511 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15747 768 782 0 15015 0
Current children cumulated CPU time (s) 2082.15
Current children cumulated vsize (KiB) 87996
[startup+2142.3 s]
/proc/loadavg: 1.99 2.00 1.98 3/185 25742
/proc/meminfo: memFree=31156348/32770624 swapFree=0/421348
[pid=25593] ppid=25588 vsize=87996 CPUtime=2142.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 93162 0 0 0 214210 5 0 0 20 0 1 0 133088363 90107904 15747 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4581672 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15747 768 782 0 15015 0
Current children cumulated CPU time (s) 2142.15
Current children cumulated vsize (KiB) 87996
[startup+2202.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 25745
/proc/meminfo: memFree=31156204/32770624 swapFree=0/421356
[pid=25593] ppid=25588 vsize=87996 CPUtime=2202.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 93938 0 0 0 220210 5 0 0 20 0 1 0 133088363 90107904 15748 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4320597 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15748 768 782 0 15015 0
Current children cumulated CPU time (s) 2202.15
Current children cumulated vsize (KiB) 87996
[startup+2262.3 s]
/proc/loadavg: 2.00 2.00 1.98 3/185 25747
/proc/meminfo: memFree=31156168/32770624 swapFree=0/421364
[pid=25593] ppid=25588 vsize=87996 CPUtime=2262.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 94706 0 0 0 226209 5 0 0 20 0 1 0 133088363 90107904 15756 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165928 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15756 768 782 0 15015 0
Current children cumulated CPU time (s) 2262.14
Current children cumulated vsize (KiB) 87996
[startup+2322.31 s]
/proc/loadavg: 2.00 2.00 1.98 3/189 25764
/proc/meminfo: memFree=31152248/32770624 swapFree=0/421368
[pid=25593] ppid=25588 vsize=87996 CPUtime=2322.15 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 95478 0 0 0 232210 5 0 0 20 0 1 0 133088363 90107904 15758 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5575964 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15758 768 782 0 15015 0
Current children cumulated CPU time (s) 2322.15
Current children cumulated vsize (KiB) 87996
[startup+2382.3 s]
/proc/loadavg: 1.95 1.98 1.98 3/188 25766
/proc/meminfo: memFree=31151984/32770624 swapFree=0/421376
[pid=25593] ppid=25588 vsize=87996 CPUtime=2382.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 96242 0 0 0 238209 5 0 0 20 0 1 0 133088363 90107904 15761 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5608761 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15761 768 782 0 15015 0
Current children cumulated CPU time (s) 2382.14
Current children cumulated vsize (KiB) 87996
[startup+2442.3 s]
/proc/loadavg: 1.98 1.99 1.98 3/185 25768
/proc/meminfo: memFree=31154760/32770624 swapFree=0/421388
[pid=25593] ppid=25588 vsize=87996 CPUtime=2442.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 97005 0 0 0 244209 5 0 0 20 0 1 0 133088363 90107904 15761 18446744073709551615 4194304 7396336 140724271870832 140724271865400 4547284 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15761 768 782 0 15015 0
Current children cumulated CPU time (s) 2442.14
Current children cumulated vsize (KiB) 87996
[startup+2502.3 s]
/proc/loadavg: 1.99 1.99 1.98 3/185 25770
/proc/meminfo: memFree=31155224/32770624 swapFree=0/421392
[pid=25593] ppid=25588 vsize=87996 CPUtime=2502.14 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 97770 0 0 0 250209 5 0 0 20 0 1 0 133088363 90107904 15761 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5165805 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15761 768 782 0 15015 0
Current children cumulated CPU time (s) 2502.14
Current children cumulated vsize (KiB) 87996
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25771
/proc/meminfo: memFree=31155348/32770624 swapFree=0/421388
[pid=25593] ppid=25588 vsize=87996 CPUtime=2519.84 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 98530 0 0 0 251979 5 0 0 20 0 1 0 133088363 90107904 15761 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5608814 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15761 768 782 0 15015 0
Current children cumulated CPU time (s) 2519.84
Current children cumulated vsize (KiB) 87996
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 25593 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2520 s]
/proc/loadavg: 2.00 1.99 1.98 3/185 25771
/proc/meminfo: memFree=31155348/32770624 swapFree=0/421388
[pid=25593] ppid=25588 vsize=87996 CPUtime=2519.84 cores=1,3,5,7
/proc/25593/stat : 25593 (MistralXCSP) R 25588 25593 4525 0 -1 4202496 98530 0 0 0 251979 5 0 0 20 0 1 0 133088363 90107904 15761 18446744073709551615 4194304 7396336 140724271870832 140724271865400 5608814 0 0 1 16386 0 0 0 17 3 0 0 8 0 0 9496464 9501696 15360000 140724271874482 140724271874632 140724271874632 140724271878089 0
/proc/25593/statm: 21999 15761 768 782 0 15015 0
Current children cumulated CPU time (s) 2519.84
Current children cumulated vsize (KiB) 87996
Child status: 0
Real time (s): 2520
CPU time (s): 2519.85
CPU user time (s): 2519.79
CPU system time (s): 0.054998
CPU usage (%): 99.9938
Max. virtual memory (cumulated for all children) (KiB): 87996
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.054998
maximum resident set size= 63064
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 98567
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= 29
involuntary context switches= 772
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.01297 second user time and 10.3478 second system time
The end