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-4242763-1500660312/watcher-4242763-1500660312 -o /tmp/evaluation-result-4242763-1500660312/solver-4242763-1500660312 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node134-1500648174-9883 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1036576965 HOME/instance-4242763-1500660312.xml
pid=12577
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.01 2.03 2.05 3/245 12580
/proc/meminfo: memFree=31670356/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=29356 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 1103 0 0 0 0 0 0 0 20 0 1 0 1298353 30060544 934 33554432000 4194304 7402444 140723287545024 140723287538264 140094717734176 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 7339 934 632 784 0 353 0
[startup+0.100097 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12580
/proc/meminfo: memFree=31670356/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=38452 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 3519 0 0 0 9 0 0 0 20 0 1 0 1298353 39374848 3079 33554432000 4194304 7402444 140723287545024 140723287535912 6360692 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 9613 3079 664 784 0 2627 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 38452
[startup+0.200334 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12580
/proc/meminfo: memFree=31670356/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=56152 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 7944 0 0 0 19 0 0 0 20 0 1 0 1298353 57499648 7501 33554432000 4194304 7402444 140723287545024 140723287535896 140094717729765 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 14038 7501 664 784 0 7052 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 56152
[startup+0.300327 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12580
/proc/meminfo: memFree=31670356/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=76092 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 12960 0 0 0 28 1 0 0 20 0 1 0 1298353 77918208 12514 33554432000 4194304 7402444 140723287545024 140723287535784 4731480 0 0 4096 0 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 19023 12514 680 784 0 12037 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 76092
[startup+0.700279 s]
/proc/loadavg: 2.01 2.03 2.05 3/245 12580
/proc/meminfo: memFree=31670356/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=91692 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 17327 0 0 0 67 2 0 0 20 0 1 0 1298353 93892608 16575 33554432000 4194304 7402444 140723287545024 140723287539560 5327336 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 22923 16575 759 784 0 15937 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 91692
[startup+1.50028 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 12581
/proc/meminfo: memFree=31604488/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=98036 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 18754 0 0 0 147 2 0 0 20 0 1 0 1298353 100388864 18135 33554432000 4194304 7402444 140723287545024 140723287539656 5758807 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 24509 18135 771 784 0 17523 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 98036
[startup+3.10027 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 12581
/proc/meminfo: memFree=31598512/32770624 swapFree=5660/192708
[pid=12580] ppid=12577 vsize=99756 CPUtime=3.08 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 28321 0 0 0 306 2 0 0 20 0 1 0 1298353 102150144 18645 33554432000 4194304 7402444 140723287545024 140723287539336 5750742 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 24939 18645 771 784 0 17953 0
Current children cumulated CPU time (s) 3.08
Current children cumulated vsize (KiB) 99756
[startup+6.30025 s]
/proc/loadavg: 2.01 2.03 2.05 3/246 12581
/proc/meminfo: memFree=31598248/32770624 swapFree=5660/192576
[pid=12580] ppid=12577 vsize=100284 CPUtime=6.29 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 41435 0 0 0 626 3 0 0 20 0 1 0 1298353 102690816 18783 33554432000 4194304 7402444 140723287545024 140723287539560 4248640 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 25071 18783 771 784 0 18085 0
Current children cumulated CPU time (s) 6.29
Current children cumulated vsize (KiB) 100284
[startup+12.7003 s]
/proc/loadavg: 2.00 2.03 2.05 3/246 12581
/proc/meminfo: memFree=31596496/32770624 swapFree=5660/192576
[pid=12580] ppid=12577 vsize=101604 CPUtime=12.69 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 53430 0 0 0 1265 4 0 0 20 0 1 0 1298353 104042496 19090 33554432000 4194304 7402444 140723287545024 140723287539560 5754016 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 25401 19090 771 784 0 18415 0
Current children cumulated CPU time (s) 12.69
Current children cumulated vsize (KiB) 101604
[startup+25.5004 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12581
/proc/meminfo: memFree=31596124/32770624 swapFree=5660/192592
[pid=12580] ppid=12577 vsize=101836 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 76715 0 0 0 2543 5 0 0 20 0 1 0 1298353 104280064 19147 33554432000 4194304 7402444 140723287545024 140723287539720 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 25459 19147 771 784 0 18473 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 101836
[startup+51.1004 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12581
/proc/meminfo: memFree=31594652/32770624 swapFree=5660/192604
[pid=12580] ppid=12577 vsize=103024 CPUtime=51.06 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 89101 0 0 0 5101 5 0 0 20 0 1 0 1298353 105496576 19405 33554432000 4194304 7402444 140723287545024 140723287539560 4306464 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 25756 19405 771 784 0 18770 0
Current children cumulated CPU time (s) 51.06
Current children cumulated vsize (KiB) 103024
[startup+102.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/246 12582
/proc/meminfo: memFree=31593964/32770624 swapFree=5660/192628
[pid=12580] ppid=12577 vsize=103288 CPUtime=102.25 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 101329 0 0 0 10219 6 0 0 20 0 1 0 1298353 105766912 19516 33554432000 4194304 7402444 140723287545024 140723287539560 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 25822 19516 771 784 0 18836 0
Current children cumulated CPU time (s) 102.25
Current children cumulated vsize (KiB) 103288
[startup+162.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12583
/proc/meminfo: memFree=31593960/32770624 swapFree=5660/192660
[pid=12580] ppid=12577 vsize=104608 CPUtime=162.18 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 112304 0 0 0 16212 6 0 0 20 0 1 0 1298353 107118592 19813 33554432000 4194304 7402444 140723287545024 140723287539560 4747208 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26152 19813 771 784 0 19166 0
Current children cumulated CPU time (s) 162.18
Current children cumulated vsize (KiB) 104608
[startup+222.308 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12584
/proc/meminfo: memFree=31592272/32770624 swapFree=5660/192680
[pid=12580] ppid=12577 vsize=105400 CPUtime=222.15 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 113799 0 0 0 22209 6 0 0 20 0 1 0 1298353 107929600 20044 33554432000 4194304 7402444 140723287545024 140723287539560 5327204 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26350 20044 771 784 0 19364 0
Current children cumulated CPU time (s) 222.15
Current children cumulated vsize (KiB) 105400
[startup+282.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/246 12585
/proc/meminfo: memFree=31592860/32770624 swapFree=5660/192720
[pid=12580] ppid=12577 vsize=105532 CPUtime=282.12 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 115371 0 0 0 28206 6 0 0 20 0 1 0 1298353 108064768 20094 33554432000 4194304 7402444 140723287545024 140723287539560 4239193 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26383 20094 771 784 0 19397 0
Current children cumulated CPU time (s) 282.12
Current children cumulated vsize (KiB) 105532
[startup+342.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/247 12594
/proc/meminfo: memFree=31593416/32770624 swapFree=5660/192756
[pid=12580] ppid=12577 vsize=105928 CPUtime=342.08 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 116953 0 0 0 34202 6 0 0 20 0 1 0 1298353 108470272 20169 33554432000 4194304 7402444 140723287545024 140723287539560 5327336 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26482 20169 771 784 0 19496 0
Current children cumulated CPU time (s) 342.08
Current children cumulated vsize (KiB) 105928
[startup+402.3 s]
/proc/loadavg: 2.02 2.03 2.05 3/247 12595
/proc/meminfo: memFree=31592852/32770624 swapFree=5660/192788
[pid=12580] ppid=12577 vsize=106192 CPUtime=402.05 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 118550 0 0 0 40199 6 0 0 20 0 1 0 1298353 108740608 20248 33554432000 4194304 7402444 140723287545024 140723287539560 5750469 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26548 20248 771 784 0 19562 0
Current children cumulated CPU time (s) 402.05
Current children cumulated vsize (KiB) 106192
[startup+462.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12596
/proc/meminfo: memFree=31592868/32770624 swapFree=5660/192816
[pid=12580] ppid=12577 vsize=106192 CPUtime=462.02 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 120040 0 0 0 46196 6 0 0 20 0 1 0 1298353 108740608 20248 33554432000 4194304 7402444 140723287545024 140723287539560 5750486 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26548 20248 771 784 0 19562 0
Current children cumulated CPU time (s) 462.02
Current children cumulated vsize (KiB) 106192
[startup+522.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/247 12597
/proc/meminfo: memFree=31593300/32770624 swapFree=5660/192848
[pid=12580] ppid=12577 vsize=106192 CPUtime=521.99 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 121171 0 0 0 52193 6 0 0 20 0 1 0 1298353 108740608 20252 33554432000 4194304 7402444 140723287545024 140723287539560 5750486 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26548 20252 771 784 0 19562 0
Current children cumulated CPU time (s) 521.99
Current children cumulated vsize (KiB) 106192
[startup+582.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/247 12598
/proc/meminfo: memFree=31591280/32770624 swapFree=5660/192896
[pid=12580] ppid=12577 vsize=106192 CPUtime=581.97 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 122195 0 0 0 58190 7 0 0 20 0 1 0 1298353 108740608 20256 33554432000 4194304 7402444 140723287545024 140723287540040 4319942 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26548 20256 773 784 0 19562 0
Current children cumulated CPU time (s) 581.97
Current children cumulated vsize (KiB) 106192
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12624
/proc/meminfo: memFree=31585736/32770624 swapFree=5660/193324
[pid=12580] ppid=12577 vsize=106324 CPUtime=1481.76 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 130145 0 0 0 148169 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4237755 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1481.76
Current children cumulated vsize (KiB) 106324
[startup+1542.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12632
/proc/meminfo: memFree=31585780/32770624 swapFree=5660/193352
[pid=12580] ppid=12577 vsize=106324 CPUtime=1541.75 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 130673 0 0 0 154168 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4342315 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1541.75
Current children cumulated vsize (KiB) 106324
[startup+1602.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/247 12633
/proc/meminfo: memFree=31585840/32770624 swapFree=5660/193384
[pid=12580] ppid=12577 vsize=106324 CPUtime=1601.73 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 131199 0 0 0 160166 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4306583 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1601.73
Current children cumulated vsize (KiB) 106324
[startup+1662.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12634
/proc/meminfo: memFree=31585948/32770624 swapFree=5660/193412
[pid=12580] ppid=12577 vsize=106324 CPUtime=1661.72 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 131724 0 0 0 166165 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5754011 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1661.72
Current children cumulated vsize (KiB) 106324
[startup+1722.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/246 12635
/proc/meminfo: memFree=31586412/32770624 swapFree=5660/193444
[pid=12580] ppid=12577 vsize=106324 CPUtime=1721.7 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 132245 0 0 0 172163 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5750725 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1721.7
Current children cumulated vsize (KiB) 106324
[startup+1782.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/246 12636
/proc/meminfo: memFree=31585140/32770624 swapFree=5660/193480
[pid=12580] ppid=12577 vsize=106324 CPUtime=1781.69 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 132784 0 0 0 178162 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4238508 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1781.69
Current children cumulated vsize (KiB) 106324
[startup+1842.3 s]
/proc/loadavg: 2.12 2.05 2.05 3/246 12637
/proc/meminfo: memFree=31585332/32770624 swapFree=5660/193512
[pid=12580] ppid=12577 vsize=106324 CPUtime=1841.67 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 133307 0 0 0 184160 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4709507 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1841.67
Current children cumulated vsize (KiB) 106324
[startup+1902.3 s]
/proc/loadavg: 2.04 2.04 2.05 3/246 12638
/proc/meminfo: memFree=31586008/32770624 swapFree=5660/193540
[pid=12580] ppid=12577 vsize=106324 CPUtime=1901.66 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 133839 0 0 0 190159 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5750486 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1901.66
Current children cumulated vsize (KiB) 106324
[startup+1962.3 s]
/proc/loadavg: 2.02 2.04 2.05 3/246 12639
/proc/meminfo: memFree=31585904/32770624 swapFree=5660/193540
[pid=12580] ppid=12577 vsize=106324 CPUtime=1961.65 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 134344 0 0 0 196158 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5750489 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 1961.65
Current children cumulated vsize (KiB) 106324
[startup+2022.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/247 12641
/proc/meminfo: memFree=31586256/32770624 swapFree=5660/193568
[pid=12580] ppid=12577 vsize=106324 CPUtime=2021.64 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 134871 0 0 0 202157 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5750740 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2021.64
Current children cumulated vsize (KiB) 106324
[startup+2082.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/248 12643
/proc/meminfo: memFree=31586500/32770624 swapFree=5660/193612
[pid=12580] ppid=12577 vsize=106324 CPUtime=2081.63 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 135199 0 0 0 208156 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2081.63
Current children cumulated vsize (KiB) 106324
[startup+2142.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/249 12652
/proc/meminfo: memFree=31584924/32770624 swapFree=5660/193648
[pid=12580] ppid=12577 vsize=106324 CPUtime=2141.61 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 135727 0 0 0 214154 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4484555 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2141.61
Current children cumulated vsize (KiB) 106324
[startup+2202.31 s]
/proc/loadavg: 2.00 2.01 2.05 3/249 12653
/proc/meminfo: memFree=31584920/32770624 swapFree=5660/193680
[pid=12580] ppid=12577 vsize=106324 CPUtime=2201.61 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 136261 0 0 0 220154 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5753544 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2201.61
Current children cumulated vsize (KiB) 106324
[startup+2262.3 s]
/proc/loadavg: 2.07 2.03 2.05 3/249 12654
/proc/meminfo: memFree=31584744/32770624 swapFree=5660/193708
[pid=12580] ppid=12577 vsize=106324 CPUtime=2261.58 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 136807 0 0 0 226151 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5747585 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2261.58
Current children cumulated vsize (KiB) 106324
[startup+2322.3 s]
/proc/loadavg: 2.16 2.07 2.06 3/248 12721
/proc/meminfo: memFree=31791320/32770624 swapFree=5660/193820
[pid=12580] ppid=12577 vsize=106324 CPUtime=2321.57 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 137339 0 0 0 232150 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5754011 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2321.57
Current children cumulated vsize (KiB) 106324
[startup+2382.3 s]
/proc/loadavg: 2.06 2.06 2.05 3/247 12722
/proc/meminfo: memFree=31783768/32770624 swapFree=5660/193864
[pid=12580] ppid=12577 vsize=106324 CPUtime=2381.55 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 137867 0 0 0 238148 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 4249056 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2381.55
Current children cumulated vsize (KiB) 106324
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 2.04 2.05 2.05 3/247 12722
/proc/meminfo: memFree=31784232/32770624 swapFree=5660/193876
[pid=12580] ppid=12577 vsize=106324 CPUtime=2400.05 cores=1,3,5,7,9,11,13,15
/proc/12580/stat : 12580 (MistralXCSP) R 12577 12580 9850 0 -1 4202496 138380 0 0 0 239998 7 0 0 20 0 1 0 1298353 108875776 20276 33554432000 4194304 7402444 140723287545024 140723287539560 5750704 0 0 4096 16386 0 0 0 17 13 0 0 0 0 0 9500608 9505824 18329600 140723287549096 140723287549246 140723287549246 140723287551945 0
/proc/12580/statm: 26581 20276 773 784 0 19595 0
Current children cumulated CPU time (s) 2400.05
Current children cumulated vsize (KiB) 106324
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 12580 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 0
Real time (s): 2400.8
CPU time (s): 2400.06
CPU user time (s): 2399.98
CPU system time (s): 0.077976
CPU usage (%): 99.9692
Max. virtual memory (cumulated for all children) (KiB): 106324
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2399.98
system time used= 0.077976
maximum resident set size= 81108
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 138502
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= 42
involuntary context switches= 120702
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.40671 second user time and 12.1773 second system time
The end