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-4241228-1500650586/watcher-4241228-1500650586 -o /tmp/evaluation-result-4241228-1500650586/solver-4241228-1500650586 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node120-1500648176-2484 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 2027770235 HOME/instance-4241228-1500650586.xml
pid=2733
running on 8 cores: 1,3,5,7,9,11,13,15
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.34 2.10 1.89 2/241 2736
/proc/meminfo: memFree=32056696/32770624 swapFree=5956/206200
[pid=2736] ppid=2733 vsize=28672 CPUtime=0.01 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 962 0 0 0 1 0 0 0 20 0 1 0 326850 29360128 736 33554432000 4194304 7402444 140722048100496 140722048097544 5885931 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 7168 736 584 784 0 182 0
[startup+0.100137 s]
/proc/loadavg: 2.34 2.10 1.89 2/241 2736
/proc/meminfo: memFree=32056696/32770624 swapFree=5956/206200
[pid=2736] ppid=2733 vsize=29000 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 1023 0 0 0 9 0 0 0 20 0 1 0 326850 29696000 802 33554432000 4194304 7402444 140722048100496 140722048093736 5881996 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 7250 802 631 784 0 264 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29000
[startup+0.20026 s]
/proc/loadavg: 2.34 2.10 1.89 2/241 2736
/proc/meminfo: memFree=32056696/32770624 swapFree=5956/206200
[pid=2736] ppid=2733 vsize=29520 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 1168 0 0 0 19 0 0 0 20 0 1 0 326850 30228480 936 33554432000 4194304 7402444 140722048100496 140722048093736 140306465049600 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 7380 936 631 784 0 394 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29520
[startup+0.300209 s]
/proc/loadavg: 2.34 2.10 1.89 2/241 2736
/proc/meminfo: memFree=32056696/32770624 swapFree=5956/206200
[pid=2736] ppid=2733 vsize=29916 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 1377 0 0 0 29 0 0 0 20 0 1 0 326850 30633984 1133 33554432000 4194304 7402444 140722048100496 140722048090272 6047989 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 7479 1133 726 784 0 493 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29916
[startup+0.700179 s]
/proc/loadavg: 2.34 2.10 1.89 2/241 2736
/proc/meminfo: memFree=32056696/32770624 swapFree=5956/206200
[pid=2736] ppid=2733 vsize=31596 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 1796 0 0 0 69 0 0 0 20 0 1 0 326850 32354304 1529 33554432000 4194304 7402444 140722048100496 140722048090920 140306464603691 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 7899 1529 727 784 0 913 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 31596
[startup+1.50017 s]
/proc/loadavg: 2.34 2.10 1.89 2/242 2810
/proc/meminfo: memFree=32050368/32770624 swapFree=5956/206240
[pid=2736] ppid=2733 vsize=35264 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 2731 0 0 0 149 0 0 0 20 0 1 0 326850 36110336 2453 33554432000 4194304 7402444 140722048100496 140722048091080 140306464603964 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 8816 2453 727 784 0 1830 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 35264
[startup+3.10021 s]
/proc/loadavg: 2.31 2.10 1.89 3/248 2825
/proc/meminfo: memFree=31977212/32770624 swapFree=5956/206224
[pid=2736] ppid=2733 vsize=40740 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 4436 0 0 0 309 0 0 0 20 0 1 0 326850 41717760 3840 33554432000 4194304 7402444 140722048100496 140722048091240 4731648 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 10185 3840 727 784 0 3199 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 40740
[startup+6.30021 s]
/proc/loadavg: 2.31 2.10 1.89 3/248 2825
/proc/meminfo: memFree=31961272/32770624 swapFree=5956/206264
[pid=2736] ppid=2733 vsize=53976 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 10081 0 0 0 628 1 0 0 20 0 1 0 326850 55271424 7151 33554432000 4194304 7402444 140722048100496 140722048091000 4731639 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 13494 7151 727 784 0 6508 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 53976
[startup+12.7002 s]
/proc/loadavg: 2.29 2.09 1.89 3/248 2825
/proc/meminfo: memFree=31933924/32770624 swapFree=5956/206236
[pid=2736] ppid=2733 vsize=79104 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 22324 0 0 0 1267 2 0 0 20 0 1 0 326850 81002496 13454 33554432000 4194304 7402444 140722048100496 140722048091000 6057097 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 19776 13454 727 784 0 12790 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 79104
[startup+25.5003 s]
/proc/loadavg: 2.22 2.09 1.89 3/248 2825
/proc/meminfo: memFree=31895236/32770624 swapFree=5956/206252
[pid=2736] ppid=2733 vsize=120304 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 34958 0 0 0 2545 3 0 0 20 0 1 0 326850 123191296 23591 33554432000 4194304 7402444 140722048100496 140722048091160 6076643 0 0 4096 0 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 30076 23591 727 784 0 23090 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 120304
[startup+51.1004 s]
/proc/loadavg: 2.15 2.08 1.90 3/248 2825
/proc/meminfo: memFree=31675088/32770624 swapFree=5956/206252
[pid=2736] ppid=2733 vsize=335676 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 165083 0 0 0 5093 13 0 0 20 0 1 0 326850 343732224 77522 33554432000 4194304 7402444 140722048100496 140722048094776 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 83919 77522 765 784 0 76933 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 335676
[startup+102.3 s]
/proc/loadavg: 2.06 2.07 1.90 3/248 2826
/proc/meminfo: memFree=31650268/32770624 swapFree=5956/206292
[pid=2736] ppid=2733 vsize=359780 CPUtime=102.23 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 220825 0 0 0 10206 17 0 0 20 0 1 0 326850 368414720 83664 33554432000 4194304 7402444 140722048100496 140722048094776 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 89945 83664 765 784 0 82959 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 359780
[startup+162.3 s]
/proc/loadavg: 2.02 2.06 1.91 3/247 2828
/proc/meminfo: memFree=31598704/32770624 swapFree=5956/206340
[pid=2736] ppid=2733 vsize=414164 CPUtime=162.16 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 265218 0 0 0 16195 21 0 0 20 0 1 0 326850 424103936 97303 33554432000 4194304 7402444 140722048100496 140722048094776 5821982 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 103541 97303 765 784 0 96555 0
Current children cumulated CPU time (s) 162.16
Current children cumulated vsize (KiB) 414164
[startup+222.309 s]
/proc/loadavg: 2.01 2.05 1.91 3/247 2829
/proc/meminfo: memFree=31571184/32770624 swapFree=5956/206372
[pid=2736] ppid=2733 vsize=439112 CPUtime=222.12 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 300387 0 0 0 22188 24 0 0 20 0 1 0 326850 449650688 103475 33554432000 4194304 7402444 140722048100496 140722048094936 5878464 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 109778 103475 765 784 0 102792 0
Current children cumulated CPU time (s) 222.12
Current children cumulated vsize (KiB) 439112
[startup+282.3 s]
/proc/loadavg: 2.08 2.06 1.92 3/247 2830
/proc/meminfo: memFree=31556316/32770624 swapFree=5956/206400
[pid=2736] ppid=2733 vsize=454160 CPUtime=282.05 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 319690 0 0 0 28179 26 0 0 20 0 1 0 326850 465059840 107289 33554432000 4194304 7402444 140722048100496 140722048094776 4238508 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 113540 107289 765 784 0 106554 0
Current children cumulated CPU time (s) 282.05
Current children cumulated vsize (KiB) 454160
[startup+342.3 s]
/proc/loadavg: 2.03 2.04 1.93 3/243 2832
/proc/meminfo: memFree=31550036/32770624 swapFree=5956/206440
[pid=2736] ppid=2733 vsize=457196 CPUtime=342.02 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 321498 0 0 0 34176 26 0 0 20 0 1 0 326850 468168704 108027 33554432000 4194304 7402444 140722048100496 140722048094776 5758711 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 114299 108027 765 784 0 107313 0
Current children cumulated CPU time (s) 342.02
Current children cumulated vsize (KiB) 457196
[startup+402.3 s]
/proc/loadavg: 2.01 2.04 1.94 3/243 2833
/proc/meminfo: memFree=31523220/32770624 swapFree=5956/206444
[pid=2736] ppid=2733 vsize=484256 CPUtime=401.99 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 333102 0 0 0 40172 27 0 0 20 0 1 0 326850 495878144 114789 33554432000 4194304 7402444 140722048100496 140722048094776 5877676 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 121064 114789 765 784 0 114078 0
Current children cumulated CPU time (s) 401.99
Current children cumulated vsize (KiB) 484256
[startup+462.3 s]
/proc/loadavg: 2.05 2.05 1.95 3/243 2841
/proc/meminfo: memFree=31518208/32770624 swapFree=5956/206496
[pid=2736] ppid=2733 vsize=489404 CPUtime=461.96 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 343049 0 0 0 46168 28 0 0 20 0 1 0 326850 501149696 116078 33554432000 4194304 7402444 140722048100496 140722048094776 5878179 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 122351 116078 765 784 0 115365 0
Current children cumulated CPU time (s) 461.96
Current children cumulated vsize (KiB) 489404
[startup+522.3 s]
/proc/loadavg: 2.02 2.04 1.95 3/243 2842
/proc/meminfo: memFree=31517952/32770624 swapFree=5956/206516
[pid=2736] ppid=2733 vsize=489932 CPUtime=521.93 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 352944 0 0 0 52165 28 0 0 20 0 1 0 326850 501690368 116226 33554432000 4194304 7402444 140722048100496 140722048094952 5877540 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 122483 116226 765 784 0 115497 0
Current children cumulated CPU time (s) 521.93
Current children cumulated vsize (KiB) 489932
[startup+582.3 s]
/proc/loadavg: 2.01 2.03 1.95 3/243 2843
/proc/meminfo: memFree=31515772/32770624 swapFree=5956/206548
[pid=2736] ppid=2733 vsize=492440 CPUtime=581.9 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 363488 0 0 0 58161 29 0 0 20 0 1 0 326850 504258560 116866 33554432000 4194304 7402444 140722048100496 140722048094776 5870983 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 123110 116866 765 784 0 116124 0
Current children cumulated CPU time (s) 581.9
Current children cumulated vsize (KiB) 492440
################
# More data... #
################
[startup+1542.31 s]
/proc/loadavg: 2.01 2.02 1.97 3/243 2866
/proc/meminfo: memFree=31492484/32770624 swapFree=5956/206988
[pid=2736] ppid=2733 vsize=516464 CPUtime=1541.44 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 412406 0 0 0 154111 33 0 0 20 0 1 0 326850 528859136 122862 33554432000 4194304 7402444 140722048100496 140722048094776 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 129116 122862 765 784 0 122130 0
Current children cumulated CPU time (s) 1541.44
Current children cumulated vsize (KiB) 516464
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2867
/proc/meminfo: memFree=31489948/32770624 swapFree=5956/207032
[pid=2736] ppid=2733 vsize=519632 CPUtime=1601.4 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 414962 0 0 0 160107 33 0 0 20 0 1 0 326850 532103168 123587 33554432000 4194304 7402444 140722048100496 140722048094776 5822160 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 129908 123587 765 784 0 122922 0
Current children cumulated CPU time (s) 1601.4
Current children cumulated vsize (KiB) 519632
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2875
/proc/meminfo: memFree=31489604/32770624 swapFree=5956/207052
[pid=2736] ppid=2733 vsize=519632 CPUtime=1661.37 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 417463 0 0 0 166104 33 0 0 20 0 1 0 326850 532103168 123653 33554432000 4194304 7402444 140722048100496 140722048094776 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 129908 123653 765 784 0 122922 0
Current children cumulated CPU time (s) 1661.37
Current children cumulated vsize (KiB) 519632
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2876
/proc/meminfo: memFree=31487312/32770624 swapFree=5956/207076
[pid=2736] ppid=2733 vsize=522008 CPUtime=1721.34 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 420564 0 0 0 172101 33 0 0 20 0 1 0 326850 534536192 124187 33554432000 4194304 7402444 140722048100496 140722048094776 5877651 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 130502 124187 765 784 0 123516 0
Current children cumulated CPU time (s) 1721.34
Current children cumulated vsize (KiB) 522008
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2877
/proc/meminfo: memFree=31486240/32770624 swapFree=5956/207108
[pid=2736] ppid=2733 vsize=523064 CPUtime=1781.32 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 423962 0 0 0 178098 34 0 0 20 0 1 0 326850 535617536 124496 33554432000 4194304 7402444 140722048100496 140722048094904 5758807 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 130766 124496 765 784 0 123780 0
Current children cumulated CPU time (s) 1781.32
Current children cumulated vsize (KiB) 523064
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2878
/proc/meminfo: memFree=31486144/32770624 swapFree=5956/207136
[pid=2736] ppid=2733 vsize=523856 CPUtime=1841.29 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 427082 0 0 0 184095 34 0 0 20 0 1 0 326850 536428544 124693 33554432000 4194304 7402444 140722048100496 140722048094776 5878051 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 130964 124693 765 784 0 123978 0
Current children cumulated CPU time (s) 1841.29
Current children cumulated vsize (KiB) 523856
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2879
/proc/meminfo: memFree=31484324/32770624 swapFree=5956/207152
[pid=2736] ppid=2733 vsize=524252 CPUtime=1901.26 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 428196 0 0 0 190092 34 0 0 20 0 1 0 326850 536834048 124813 33554432000 4194304 7402444 140722048100496 140722048094792 5877690 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131063 124813 765 784 0 124077 0
Current children cumulated CPU time (s) 1901.26
Current children cumulated vsize (KiB) 524252
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2881
/proc/meminfo: memFree=31484196/32770624 swapFree=5956/207192
[pid=2736] ppid=2733 vsize=524252 CPUtime=1961.23 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 429310 0 0 0 196089 34 0 0 20 0 1 0 326850 536834048 124820 33554432000 4194304 7402444 140722048100496 140722048094792 4747723 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131063 124820 765 784 0 124077 0
Current children cumulated CPU time (s) 1961.23
Current children cumulated vsize (KiB) 524252
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2882
/proc/meminfo: memFree=31483544/32770624 swapFree=5956/207220
[pid=2736] ppid=2733 vsize=524780 CPUtime=2021.2 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 430606 0 0 0 202085 35 0 0 20 0 1 0 326850 537374720 124959 33554432000 4194304 7402444 140722048100496 140722048094776 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131195 124959 765 784 0 124209 0
Current children cumulated CPU time (s) 2021.2
Current children cumulated vsize (KiB) 524780
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2883
/proc/meminfo: memFree=31483008/32770624 swapFree=5956/207248
[pid=2736] ppid=2733 vsize=525572 CPUtime=2081.18 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 432036 0 0 0 208083 35 0 0 20 0 1 0 326850 538185728 125133 33554432000 4194304 7402444 140722048100496 140722048094952 5758807 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131393 125133 765 784 0 124407 0
Current children cumulated CPU time (s) 2081.18
Current children cumulated vsize (KiB) 525572
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2885
/proc/meminfo: memFree=31482576/32770624 swapFree=5784/207272
[pid=2736] ppid=2733 vsize=525836 CPUtime=2141.14 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 433553 0 0 0 214079 35 0 0 20 0 1 0 326850 538456064 125200 33554432000 4194304 7402444 140722048100496 140722048094920 5872864 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131459 125200 765 784 0 124473 0
Current children cumulated CPU time (s) 2141.14
Current children cumulated vsize (KiB) 525836
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2886
/proc/meminfo: memFree=31482776/32770624 swapFree=5780/207304
[pid=2736] ppid=2733 vsize=525836 CPUtime=2201.12 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 435067 0 0 0 220077 35 0 0 20 0 1 0 326850 538456064 125220 33554432000 4194304 7402444 140722048100496 140722048094920 5758845 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131459 125220 765 784 0 124473 0
Current children cumulated CPU time (s) 2201.12
Current children cumulated vsize (KiB) 525836
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 1.97 3/243 2894
/proc/meminfo: memFree=31482584/32770624 swapFree=5780/207348
[pid=2736] ppid=2733 vsize=525968 CPUtime=2261.08 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 436428 0 0 0 226073 35 0 0 20 0 1 0 326850 538591232 125245 33554432000 4194304 7402444 140722048100496 140722048094792 5878464 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131492 125245 765 784 0 124506 0
Current children cumulated CPU time (s) 2261.08
Current children cumulated vsize (KiB) 525968
[startup+2322.3 s]
/proc/loadavg: 2.04 2.03 1.98 3/243 2917
/proc/meminfo: memFree=31480836/32770624 swapFree=5780/207380
[pid=2736] ppid=2733 vsize=526232 CPUtime=2321.06 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 437554 0 0 0 232071 35 0 0 20 0 1 0 326850 538861568 125315 33554432000 4194304 7402444 140722048100496 140722048094792 4238492 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131558 125315 765 784 0 124572 0
Current children cumulated CPU time (s) 2321.06
Current children cumulated vsize (KiB) 526232
[startup+2382.3 s]
/proc/loadavg: 2.05 2.04 1.98 3/243 2918
/proc/meminfo: memFree=31481356/32770624 swapFree=5780/207400
[pid=2736] ppid=2733 vsize=526232 CPUtime=2381.03 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 438666 0 0 0 238068 35 0 0 20 0 1 0 326850 538861568 125328 33554432000 4194304 7402444 140722048100496 140722048094792 4747338 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131558 125328 765 784 0 124572 0
Current children cumulated CPU time (s) 2381.03
Current children cumulated vsize (KiB) 526232
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2401.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/243 2918
/proc/meminfo: memFree=31481728/32770624 swapFree=5780/207408
[pid=2736] ppid=2733 vsize=526232 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 439456 0 0 0 239968 35 0 0 20 0 1 0 326850 538861568 125328 33554432000 4194304 7402444 140722048100496 140722048094792 5878640 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131558 125328 765 784 0 124572 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 526232
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 2736 sig 9
??? kill -2736 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2401.3 s]
/proc/loadavg: 2.04 2.04 1.98 3/243 2918
/proc/meminfo: memFree=31481728/32770624 swapFree=5780/207408
[pid=2736] ppid=2733 vsize=526232 CPUtime=2400.03 cores=1,3,5,7,9,11,13,15
/proc/2736/stat : 2736 (MistralXCSP) R 2733 2736 2452 0 -1 4202496 439456 0 0 0 239968 35 0 0 20 0 1 0 326850 538861568 125328 33554432000 4194304 7402444 140722048100496 140722048094792 5878640 0 0 4096 16386 0 0 0 17 11 0 0 0 0 0 9500608 9505824 14319616 140722048103592 140722048103742 140722048103742 140722048106441 0
/proc/2736/statm: 131558 125328 765 784 0 124572 0
Current children cumulated CPU time (s) 2400.03
Current children cumulated vsize (KiB) 526232
Child status: 0
Real time (s): 2401.31
CPU time (s): 2400.04
CPU user time (s): 2399.68
CPU system time (s): 0.361831
CPU usage (%): 99.9473
Max. virtual memory (cumulated for all children) (KiB): 526232
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.68
system time used= 0.361831
maximum resident set size= 501336
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 439494
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= 198
involuntary context switches= 121291
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.38199 second user time and 13.1367 second system time
The end