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-4242694-1502068976/watcher-4242694-1502068976 -o /tmp/evaluation-result-4242694-1502068976/solver-4242694-1502068976 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node127-1502041295-28343 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1785057985 HOME/instance-4242694-1502068976.xml
pid=32279
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 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/181 32282
/proc/meminfo: memFree=31459696/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/32282/stat : 32282 (runsolver) D 32279 32282 20633 0 -1 4202560 108 0 0 0 0 0 0 0 20 0 1 0 9091317 24240128 106 18446744073709551615 4194304 4338465 140731687434864 140731687432504 140714679399127 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 38748160 140731687436427 140731687436874 140731687436874 140731687440330 0
/proc/32282/statm: 5918 106 53 36 0 2156 0
[startup+0.100135 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32282
/proc/meminfo: memFree=31459696/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=29068 CPUtime=0 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 1037 0 0 0 0 0 0 0 20 0 1 0 9091317 29765632 868 18446744073709551615 4194304 7402444 140728514360112 140728514357160 5996450 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 7267 868 619 784 0 281 0
Current children cumulated CPU time (s) 0
Current children cumulated vsize (KiB) 29068
[startup+0.200266 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32282
/proc/meminfo: memFree=31459696/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=29544 CPUtime=0.1 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 1136 0 0 0 10 0 0 0 20 0 1 0 9091317 30253056 934 18446744073709551615 4194304 7402444 140728514360112 140728514357160 5881775 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 7386 934 631 784 0 400 0
Current children cumulated CPU time (s) 0.1
Current children cumulated vsize (KiB) 29544
[startup+0.300252 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32282
/proc/meminfo: memFree=31459696/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=29868 CPUtime=0.2 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 1254 0 0 0 20 0 0 0 20 0 1 0 9091317 30584832 1021 18446744073709551615 4194304 7402444 140728514360112 140728514357160 140241623215104 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 7467 1021 631 784 0 481 0
Current children cumulated CPU time (s) 0.2
Current children cumulated vsize (KiB) 29868
[startup+0.700221 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32282
/proc/meminfo: memFree=31459696/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=32360 CPUtime=0.59 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 2022 0 0 0 59 0 0 0 20 0 1 0 9091317 33136640 1692 18446744073709551615 4194304 7402444 140728514360112 140728514357160 4223104 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 8090 1692 732 784 0 1104 0
Current children cumulated CPU time (s) 0.59
Current children cumulated vsize (KiB) 32360
[startup+1.50022 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32283
/proc/meminfo: memFree=31452352/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=38424 CPUtime=1.39 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 3560 0 0 0 139 0 0 0 20 0 1 0 9091317 39346176 3207 18446744073709551615 4194304 7402444 140728514360112 140728514357160 6063466 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 9606 3207 732 784 0 2620 0
Current children cumulated CPU time (s) 1.39
Current children cumulated vsize (KiB) 38424
[startup+3.10023 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32283
/proc/meminfo: memFree=31440820/32770624 swapFree=0/350848
[pid=32282] ppid=32279 vsize=50428 CPUtime=3 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 9582 0 0 0 299 1 0 0 20 0 1 0 9091317 51638272 6181 18446744073709551615 4194304 7402444 140728514360112 140728514350664 6048065 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 12607 6181 732 784 0 5621 0
Current children cumulated CPU time (s) 3
Current children cumulated vsize (KiB) 50428
[startup+6.30024 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32283
/proc/meminfo: memFree=31418912/32770624 swapFree=0/350892
[pid=32282] ppid=32279 vsize=79688 CPUtime=6.2 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 23182 0 0 0 618 2 0 0 20 0 1 0 9091317 81600512 13574 18446744073709551615 4194304 7402444 140728514360112 140728514350664 140241622774578 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 19922 13574 732 784 0 12936 0
Current children cumulated CPU time (s) 6.2
Current children cumulated vsize (KiB) 79688
[startup+12.7002 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32283
/proc/meminfo: memFree=31377196/32770624 swapFree=0/350892
[pid=32282] ppid=32279 vsize=113000 CPUtime=12.59 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 33478 0 0 0 1256 3 0 0 20 0 1 0 9091317 115712000 21856 18446744073709551615 4194304 7402444 140728514360112 140728514350664 140241628968102 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 28250 21856 732 784 0 21264 0
Current children cumulated CPU time (s) 12.59
Current children cumulated vsize (KiB) 113000
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32284
/proc/meminfo: memFree=31297176/32770624 swapFree=0/351136
[pid=32282] ppid=32279 vsize=190652 CPUtime=25.4 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 69939 0 0 0 2532 8 0 0 20 0 1 0 9091317 195227648 41286 18446744073709551615 4194304 7402444 140728514360112 140728514350664 4731639 0 0 1 0 0 0 0 17 5 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 47663 41286 732 784 0 40677 0
Current children cumulated CPU time (s) 25.4
Current children cumulated vsize (KiB) 190652
[startup+51.1004 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32284
/proc/meminfo: memFree=31159416/32770624 swapFree=0/351144
[pid=32282] ppid=32279 vsize=327772 CPUtime=50.99 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 146885 0 0 0 5085 14 0 0 20 0 1 0 9091317 335638528 75693 18446744073709551615 4194304 7402444 140728514360112 140728514354808 5746100 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 81943 75693 775 784 0 74957 0
Current children cumulated CPU time (s) 50.99
Current children cumulated vsize (KiB) 327772
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32299
/proc/meminfo: memFree=31153996/32770624 swapFree=0/351200
[pid=32282] ppid=32279 vsize=327772 CPUtime=102.19 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 196615 0 0 0 10203 16 0 0 20 0 1 0 9091317 335638528 75698 18446744073709551615 4194304 7402444 140728514360112 140728514354808 5327213 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 81943 75698 780 784 0 74957 0
Current children cumulated CPU time (s) 102.19
Current children cumulated vsize (KiB) 327772
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/185 32301
/proc/meminfo: memFree=31152952/32770624 swapFree=0/351240
[pid=32282] ppid=32279 vsize=327904 CPUtime=162.18 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 245868 0 0 0 16199 19 0 0 20 0 1 0 9091317 335773696 75739 18446744073709551615 4194304 7402444 140728514360112 140728514354808 5818604 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 81976 75739 780 784 0 74990 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 327904
[startup+222.306 s]
/proc/loadavg: 2.06 2.03 2.05 3/182 32303
/proc/meminfo: memFree=31156684/32770624 swapFree=0/351272
[pid=32282] ppid=32279 vsize=328168 CPUtime=222.15 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 274655 0 0 0 22195 20 0 0 20 0 1 0 9091317 336044032 75800 18446744073709551615 4194304 7402444 140728514360112 140728514354328 5871079 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82042 75800 780 784 0 75056 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 328168
[startup+282.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 32305
/proc/meminfo: memFree=31157036/32770624 swapFree=0/351296
[pid=32282] ppid=32279 vsize=328168 CPUtime=282.1 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 288694 0 0 0 28189 21 0 0 20 0 1 0 9091317 336044032 75818 18446744073709551615 4194304 7402444 140728514360112 140728514354328 5747608 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82042 75818 780 784 0 75056 0
Current children cumulated CPU time (s) 282.1
Current children cumulated vsize (KiB) 328168
[startup+342.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32307
/proc/meminfo: memFree=31156144/32770624 swapFree=0/351332
[pid=32282] ppid=32279 vsize=328896 CPUtime=342.1 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 289829 0 0 0 34188 22 0 0 20 0 1 0 9091317 336789504 75979 18446744073709551615 4194304 7402444 140728514360112 140728514354680 5871079 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82224 75979 780 784 0 75238 0
Current children cumulated CPU time (s) 342.1
Current children cumulated vsize (KiB) 328896
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32309
/proc/meminfo: memFree=31155576/32770624 swapFree=0/351364
[pid=32282] ppid=32279 vsize=330468 CPUtime=402.1 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 291574 0 0 0 40188 22 0 0 20 0 1 0 9091317 338399232 76390 18446744073709551615 4194304 7402444 140728514360112 140728514354456 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82617 76390 780 784 0 75631 0
Current children cumulated CPU time (s) 402.1
Current children cumulated vsize (KiB) 330468
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/181 32311
/proc/meminfo: memFree=31157216/32770624 swapFree=0/351396
[pid=32282] ppid=32279 vsize=330468 CPUtime=462.09 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 293295 0 0 0 46187 22 0 0 20 0 1 0 9091317 338399232 76403 18446744073709551615 4194304 7402444 140728514360112 140728514354456 4248787 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82617 76403 780 784 0 75631 0
Current children cumulated CPU time (s) 462.09
Current children cumulated vsize (KiB) 330468
[startup+522.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 32314
/proc/meminfo: memFree=31155856/32770624 swapFree=0/351432
[pid=32282] ppid=32279 vsize=330732 CPUtime=522.09 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 295624 0 0 0 52186 23 0 0 20 0 1 0 9091317 338669568 76459 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82683 76459 781 784 0 75697 0
Current children cumulated CPU time (s) 522.09
Current children cumulated vsize (KiB) 330732
[startup+582.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 32316
/proc/meminfo: memFree=31155968/32770624 swapFree=0/351472
[pid=32282] ppid=32279 vsize=330732 CPUtime=582.09 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 297422 0 0 0 58186 23 0 0 20 0 1 0 9091317 338669568 76470 18446744073709551615 4194304 7402444 140728514360112 140728514355128 4238492 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 82683 76470 781 784 0 75697 0
Current children cumulated CPU time (s) 582.09
Current children cumulated vsize (KiB) 330732
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32376
/proc/meminfo: memFree=31152980/32770624 swapFree=0/352052
[pid=32282] ppid=32279 vsize=332276 CPUtime=1542.04 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 318558 0 0 0 154179 25 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 4248742 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1542.04
Current children cumulated vsize (KiB) 332276
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32378
/proc/meminfo: memFree=31153352/32770624 swapFree=0/352088
[pid=32282] ppid=32279 vsize=332276 CPUtime=1602.03 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 319811 0 0 0 160178 25 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1602.03
Current children cumulated vsize (KiB) 332276
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/182 32380
/proc/meminfo: memFree=31153228/32770624 swapFree=0/352120
[pid=32282] ppid=32279 vsize=332276 CPUtime=1662.04 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 321039 0 0 0 166178 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327250 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1662.04
Current children cumulated vsize (KiB) 332276
[startup+1722.3 s]
/proc/loadavg: 2.21 2.06 2.06 3/182 32443
/proc/meminfo: memFree=31332228/32770624 swapFree=0/352180
[pid=32282] ppid=32279 vsize=332276 CPUtime=1722.03 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 322277 0 0 0 172177 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5765296 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1722.03
Current children cumulated vsize (KiB) 332276
[startup+1782.3 s]
/proc/loadavg: 2.08 2.05 2.05 3/182 32445
/proc/meminfo: memFree=31045584/32770624 swapFree=0/352228
[pid=32282] ppid=32279 vsize=332276 CPUtime=1782.03 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 323514 0 0 0 178177 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1782.03
Current children cumulated vsize (KiB) 332276
[startup+1842.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/182 32447
/proc/meminfo: memFree=31045212/32770624 swapFree=0/352264
[pid=32282] ppid=32279 vsize=332276 CPUtime=1842.02 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 324756 0 0 0 184176 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1842.02
Current children cumulated vsize (KiB) 332276
[startup+1902.3 s]
/proc/loadavg: 2.01 2.04 2.05 3/185 32462
/proc/meminfo: memFree=31039432/32770624 swapFree=0/352336
[pid=32282] ppid=32279 vsize=332276 CPUtime=1902.02 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 325996 0 0 0 190176 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327238 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1902.02
Current children cumulated vsize (KiB) 332276
[startup+1962.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/185 32464
/proc/meminfo: memFree=31039020/32770624 swapFree=0/352348
[pid=32282] ppid=32279 vsize=332276 CPUtime=1962.02 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 327227 0 0 0 196176 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 4709390 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 1962.02
Current children cumulated vsize (KiB) 332276
[startup+2022.3 s]
/proc/loadavg: 2.05 2.04 2.05 3/182 32466
/proc/meminfo: memFree=31041212/32770624 swapFree=0/352396
[pid=32282] ppid=32279 vsize=332276 CPUtime=2022.01 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 328496 0 0 0 202175 26 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5747658 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2022.01
Current children cumulated vsize (KiB) 332276
[startup+2082.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/182 32468
/proc/meminfo: memFree=31040932/32770624 swapFree=0/352404
[pid=32282] ppid=32279 vsize=332276 CPUtime=2082.02 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 329648 0 0 0 208175 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327242 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2082.02
Current children cumulated vsize (KiB) 332276
[startup+2142.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/182 32470
/proc/meminfo: memFree=31041380/32770624 swapFree=0/352452
[pid=32282] ppid=32279 vsize=332276 CPUtime=2142.01 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 330866 0 0 0 214174 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327213 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2142.01
Current children cumulated vsize (KiB) 332276
[startup+2202.31 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 32472
/proc/meminfo: memFree=31041640/32770624 swapFree=0/352460
[pid=32282] ppid=32279 vsize=332276 CPUtime=2202.01 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 332120 0 0 0 220174 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2202.01
Current children cumulated vsize (KiB) 332276
[startup+2262.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/182 32474
/proc/meminfo: memFree=31041628/32770624 swapFree=0/352512
[pid=32282] ppid=32279 vsize=332276 CPUtime=2262 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 333363 0 0 0 226173 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 4302464 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2262
Current children cumulated vsize (KiB) 332276
[startup+2322.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/182 32514
/proc/meminfo: memFree=31039544/32770624 swapFree=0/352456
[pid=32282] ppid=32279 vsize=332276 CPUtime=2322 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 334614 0 0 0 232173 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327204 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2322
Current children cumulated vsize (KiB) 332276
[startup+2382.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/182 32516
/proc/meminfo: memFree=31039712/32770624 swapFree=0/352484
[pid=32282] ppid=32279 vsize=332276 CPUtime=2382 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 335851 0 0 0 238173 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5327213 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2382
Current children cumulated vsize (KiB) 332276
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32516
/proc/meminfo: memFree=31039988/32770624 swapFree=0/352492
[pid=32282] ppid=32279 vsize=332276 CPUtime=2400 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 335858 0 0 0 239973 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5747655 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 332276
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 32282 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.31 s]
/proc/loadavg: 2.01 2.02 2.05 3/182 32516
/proc/meminfo: memFree=31039988/32770624 swapFree=0/352492
[pid=32282] ppid=32279 vsize=332276 CPUtime=2400 cores=1,3,5,7
/proc/32282/stat : 32282 (MistralXCSP) R 32279 32282 20633 0 -1 4202496 335858 0 0 0 239973 27 0 0 20 0 1 0 9091317 340250624 76825 18446744073709551615 4194304 7402444 140728514360112 140728514355128 5747655 0 0 1 16386 0 0 0 17 3 0 0 9 0 0 9500608 9505824 15261696 140728514367923 140728514368073 140728514368073 140728514371529 0
/proc/32282/statm: 83069 76825 781 784 0 76083 0
Current children cumulated CPU time (s) 2400
Current children cumulated vsize (KiB) 332276
Child status: 0
Real time (s): 2400.31
CPU time (s): 2400.02
CPU user time (s): 2399.74
CPU system time (s): 0.279985
CPU usage (%): 99.9878
Max. virtual memory (cumulated for all children) (KiB): 332276
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.74
system time used= 0.279985
maximum resident set size= 312800
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 335892
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= 106
involuntary context switches= 729
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 6.75069 second user time and 9.93693 second system time
The end