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-4241132-1500648182/watcher-4241132-1500648182 -o /tmp/evaluation-result-4241132-1500648182/solver-4241132-1500648182 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node117-1500648178-2497 --watchdog 2560 MistralXCSP -v 0 --recommended 2 --decay 0.95 --branch_on_aux 10 --seed 1595573731 HOME/instance-4241132-1500648182.xml
pid=2526
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: 0.08 0.08 0.14 3/246 2529
/proc/meminfo: memFree=32078340/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=29112 CPUtime=0 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 1054 0 0 0 0 0 0 0 20 0 1 0 86834 29810688 855 33554432000 4194304 7402444 140732890077328 140732890074376 139964402465765 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 7278 855 619 784 0 292 0
[startup+0.100125 s]
/proc/loadavg: 0.08 0.08 0.14 3/246 2529
/proc/meminfo: memFree=32078340/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=29508 CPUtime=0.09 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 1259 0 0 0 9 0 0 0 20 0 1 0 86834 30216192 1053 33554432000 4194304 7402444 140732890077328 140732890067104 6029237 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 7377 1053 697 784 0 391 0
Current children cumulated CPU time (s) 0.09
Current children cumulated vsize (KiB) 29508
[startup+0.200267 s]
/proc/loadavg: 0.08 0.08 0.14 3/246 2529
/proc/meminfo: memFree=32078340/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=29944 CPUtime=0.19 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 1363 0 0 0 19 0 0 0 20 0 1 0 86834 30662656 1185 33554432000 4194304 7402444 140732890077328 140732890067432 6005441 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 7486 1185 721 784 0 500 0
Current children cumulated CPU time (s) 0.19
Current children cumulated vsize (KiB) 29944
[startup+0.300216 s]
/proc/loadavg: 0.08 0.08 0.14 3/246 2529
/proc/meminfo: memFree=32078340/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=29944 CPUtime=0.29 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 1364 0 0 0 29 0 0 0 20 0 1 0 86834 30662656 1185 33554432000 4194304 7402444 140732890077328 140732890067432 6057141 0 0 4096 0 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 7486 1185 721 784 0 500 0
Current children cumulated CPU time (s) 0.29
Current children cumulated vsize (KiB) 29944
[startup+0.70018 s]
/proc/loadavg: 0.08 0.08 0.14 3/246 2529
/proc/meminfo: memFree=32078340/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=30924 CPUtime=0.69 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 1649 0 0 0 69 0 0 0 20 0 1 0 86834 31666176 1440 33554432000 4194304 7402444 140732890077328 140732890071560 5750519 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 7731 1440 767 784 0 745 0
Current children cumulated CPU time (s) 0.69
Current children cumulated vsize (KiB) 30924
[startup+1.50018 s]
/proc/loadavg: 0.08 0.08 0.14 3/247 2530
/proc/meminfo: memFree=32067180/32770624 swapFree=5956/193464
[pid=2529] ppid=2526 vsize=33960 CPUtime=1.49 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 2404 0 0 0 149 0 0 0 20 0 1 0 86834 34775040 2232 33554432000 4194304 7402444 140732890077328 140732890071560 139964405901002 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8490 2232 770 784 0 1504 0
Current children cumulated CPU time (s) 1.49
Current children cumulated vsize (KiB) 33960
[startup+3.10018 s]
/proc/loadavg: 0.15 0.09 0.15 3/247 2530
/proc/meminfo: memFree=32065360/32770624 swapFree=5956/193432
[pid=2529] ppid=2526 vsize=33960 CPUtime=3.09 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 3625 0 0 0 309 0 0 0 20 0 1 0 86834 34775040 2242 33554432000 4194304 7402444 140732890077328 140732890071560 5872796 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8490 2242 770 784 0 1504 0
Current children cumulated CPU time (s) 3.09
Current children cumulated vsize (KiB) 33960
[startup+6.30021 s]
/proc/loadavg: 0.15 0.09 0.15 3/247 2530
/proc/meminfo: memFree=32064024/32770624 swapFree=5956/193632
[pid=2529] ppid=2526 vsize=34372 CPUtime=6.28 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 4033 0 0 0 628 0 0 0 20 0 1 0 86834 35196928 2312 33554432000 4194304 7402444 140732890077328 140732890071752 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8593 2312 770 784 0 1607 0
Current children cumulated CPU time (s) 6.28
Current children cumulated vsize (KiB) 34372
[startup+12.7002 s]
/proc/loadavg: 0.43 0.16 0.17 3/247 2530
/proc/meminfo: memFree=32063812/32770624 swapFree=5956/193636
[pid=2529] ppid=2526 vsize=34768 CPUtime=12.68 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 4562 0 0 0 1268 0 0 0 20 0 1 0 86834 35602432 2438 33554432000 4194304 7402444 140732890077328 140732890071912 4249056 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2438 770 784 0 1706 0
Current children cumulated CPU time (s) 12.68
Current children cumulated vsize (KiB) 34768
[startup+25.5003 s]
/proc/loadavg: 0.68 0.22 0.18 3/247 2530
/proc/meminfo: memFree=32063820/32770624 swapFree=5956/193648
[pid=2529] ppid=2526 vsize=34768 CPUtime=25.48 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 5477 0 0 0 2548 0 0 0 20 0 1 0 86834 35602432 2440 33554432000 4194304 7402444 140732890077328 140732890071912 4319349 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2440 770 784 0 1706 0
Current children cumulated CPU time (s) 25.48
Current children cumulated vsize (KiB) 34768
[startup+51.1003 s]
/proc/loadavg: 1.13 0.36 0.23 3/246 2530
/proc/meminfo: memFree=32064192/32770624 swapFree=5956/193660
[pid=2529] ppid=2526 vsize=34768 CPUtime=51.08 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 5943 0 0 0 5108 0 0 0 20 0 1 0 86834 35602432 2440 33554432000 4194304 7402444 140732890077328 140732890071912 4747343 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2440 770 784 0 1706 0
Current children cumulated CPU time (s) 51.08
Current children cumulated vsize (KiB) 34768
[startup+102.3 s]
/proc/loadavg: 1.65 0.64 0.34 3/247 2534
/proc/meminfo: memFree=32062852/32770624 swapFree=5956/194488
[pid=2529] ppid=2526 vsize=34768 CPUtime=102.28 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 6401 0 0 0 10228 0 0 0 20 0 1 0 86834 35602432 2440 33554432000 4194304 7402444 140732890077328 140732890071912 4238492 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2440 770 784 0 1706 0
Current children cumulated CPU time (s) 102.28
Current children cumulated vsize (KiB) 34768
[startup+162.3 s]
/proc/loadavg: 1.86 0.87 0.43 3/247 2535
/proc/meminfo: memFree=32054884/32770624 swapFree=5956/194532
[pid=2529] ppid=2526 vsize=34768 CPUtime=162.26 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 6864 0 0 0 16226 0 0 0 20 0 1 0 86834 35602432 2440 33554432000 4194304 7402444 140732890077328 140732890071912 139964405901002 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2440 770 784 0 1706 0
Current children cumulated CPU time (s) 162.26
Current children cumulated vsize (KiB) 34768
[startup+222.308 s]
/proc/loadavg: 2.06 1.12 0.55 3/247 2536
/proc/meminfo: memFree=32055492/32770624 swapFree=5956/194560
[pid=2529] ppid=2526 vsize=34768 CPUtime=222.25 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 7317 0 0 0 22225 0 0 0 20 0 1 0 86834 35602432 2440 33554432000 4194304 7402444 140732890077328 140732890071912 4747338 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 8692 2440 770 784 0 1706 0
Current children cumulated CPU time (s) 222.25
Current children cumulated vsize (KiB) 34768
[startup+282.3 s]
/proc/loadavg: 2.02 1.27 0.63 3/247 2537
/proc/meminfo: memFree=32048756/32770624 swapFree=5956/194612
[pid=2529] ppid=2526 vsize=41236 CPUtime=282.22 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 9973 0 0 0 28222 0 0 0 20 0 1 0 86834 42225664 4029 33554432000 4194304 7402444 140732890077328 140732890072344 4747331 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4029 770 784 0 3323 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 41236
[startup+342.3 s]
/proc/loadavg: 2.01 1.41 0.72 3/244 2538
/proc/meminfo: memFree=32048576/32770624 swapFree=5956/194636
[pid=2529] ppid=2526 vsize=41236 CPUtime=342.21 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 11039 0 0 0 34221 0 0 0 20 0 1 0 86834 42225664 4067 33554432000 4194304 7402444 140732890077328 140732890072344 4378960 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4067 770 784 0 3323 0
Current children cumulated CPU time (s) 342.21
Current children cumulated vsize (KiB) 41236
[startup+402.3 s]
/proc/loadavg: 2.05 1.52 0.80 3/243 2539
/proc/meminfo: memFree=32049172/32770624 swapFree=5956/194680
[pid=2529] ppid=2526 vsize=41236 CPUtime=402.19 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 11590 0 0 0 40219 0 0 0 20 0 1 0 86834 42225664 4067 33554432000 4194304 7402444 140732890077328 140732890072344 5877736 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4067 770 784 0 3323 0
Current children cumulated CPU time (s) 402.19
Current children cumulated vsize (KiB) 41236
[startup+462.3 s]
/proc/loadavg: 2.02 1.62 0.88 3/243 2547
/proc/meminfo: memFree=32048744/32770624 swapFree=5956/194720
[pid=2529] ppid=2526 vsize=41236 CPUtime=462.17 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 12158 0 0 0 46217 0 0 0 20 0 1 0 86834 42225664 4067 33554432000 4194304 7402444 140732890077328 140732890072344 4747383 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4067 770 784 0 3323 0
Current children cumulated CPU time (s) 462.17
Current children cumulated vsize (KiB) 41236
[startup+522.3 s]
/proc/loadavg: 2.01 1.68 0.95 3/243 2548
/proc/meminfo: memFree=32049132/32770624 swapFree=5956/194752
[pid=2529] ppid=2526 vsize=41236 CPUtime=522.16 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 12713 0 0 0 52216 0 0 0 20 0 1 0 86834 42225664 4067 33554432000 4194304 7402444 140732890077328 140732890072344 5753547 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4067 770 784 0 3323 0
Current children cumulated CPU time (s) 522.16
Current children cumulated vsize (KiB) 41236
[startup+582.3 s]
/proc/loadavg: 2.00 1.74 1.01 3/243 2549
/proc/meminfo: memFree=32049244/32770624 swapFree=5956/194780
[pid=2529] ppid=2526 vsize=41236 CPUtime=582.14 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 13267 0 0 0 58214 0 0 0 20 0 1 0 86834 42225664 4067 33554432000 4194304 7402444 140732890077328 140732890072344 4223008 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10309 4067 770 784 0 3323 0
Current children cumulated CPU time (s) 582.14
Current children cumulated vsize (KiB) 41236
################
# More data... #
################
[startup+1482.3 s]
/proc/loadavg: 2.02 2.00 1.64 3/243 2597
/proc/meminfo: memFree=32045516/32770624 swapFree=5956/195256
[pid=2529] ppid=2526 vsize=41764 CPUtime=1481.88 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 16532 0 0 0 148188 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5824550 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1481.88
Current children cumulated vsize (KiB) 41764
[startup+1542.31 s]
/proc/loadavg: 2.01 2.00 1.66 3/243 2598
/proc/meminfo: memFree=32045572/32770624 swapFree=5956/195256
[pid=2529] ppid=2526 vsize=41764 CPUtime=1541.87 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 16714 0 0 0 154187 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 4223008 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1541.87
Current children cumulated vsize (KiB) 41764
[startup+1602.3 s]
/proc/loadavg: 2.00 2.00 1.68 3/243 2599
/proc/meminfo: memFree=32045496/32770624 swapFree=5956/195288
[pid=2529] ppid=2526 vsize=41764 CPUtime=1601.85 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 16894 0 0 0 160185 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 4378927 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1601.85
Current children cumulated vsize (KiB) 41764
[startup+1662.3 s]
/proc/loadavg: 2.00 2.00 1.70 3/243 2607
/proc/meminfo: memFree=32045524/32770624 swapFree=5956/195324
[pid=2529] ppid=2526 vsize=41764 CPUtime=1661.83 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17074 0 0 0 166183 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5878232 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1661.83
Current children cumulated vsize (KiB) 41764
[startup+1722.3 s]
/proc/loadavg: 2.00 2.00 1.72 3/243 2608
/proc/meminfo: memFree=32045712/32770624 swapFree=5956/195348
[pid=2529] ppid=2526 vsize=41764 CPUtime=1721.81 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17254 0 0 0 172181 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5871081 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1721.81
Current children cumulated vsize (KiB) 41764
[startup+1782.3 s]
/proc/loadavg: 2.00 2.00 1.74 3/243 2609
/proc/meminfo: memFree=32046260/32770624 swapFree=5956/195376
[pid=2529] ppid=2526 vsize=41764 CPUtime=1781.79 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17434 0 0 0 178179 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 139964405901029 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1781.79
Current children cumulated vsize (KiB) 41764
[startup+1842.3 s]
/proc/loadavg: 2.00 2.00 1.75 3/243 2610
/proc/meminfo: memFree=32044696/32770624 swapFree=5956/195400
[pid=2529] ppid=2526 vsize=41764 CPUtime=1841.77 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17614 0 0 0 184177 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5750706 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1841.77
Current children cumulated vsize (KiB) 41764
[startup+1902.3 s]
/proc/loadavg: 2.05 2.02 1.77 3/243 2611
/proc/meminfo: memFree=32045376/32770624 swapFree=5956/195428
[pid=2529] ppid=2526 vsize=41764 CPUtime=1901.76 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17790 0 0 0 190176 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5878280 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1901.76
Current children cumulated vsize (KiB) 41764
[startup+1962.3 s]
/proc/loadavg: 2.02 2.01 1.79 3/243 2612
/proc/meminfo: memFree=32045864/32770624 swapFree=5956/195460
[pid=2529] ppid=2526 vsize=41764 CPUtime=1961.74 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 17968 0 0 0 196174 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 4238480 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 1961.74
Current children cumulated vsize (KiB) 41764
[startup+2022.3 s]
/proc/loadavg: 2.01 2.01 1.80 3/243 2613
/proc/meminfo: memFree=32044880/32770624 swapFree=5956/195484
[pid=2529] ppid=2526 vsize=41764 CPUtime=2021.71 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18129 0 0 0 202171 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 4297759 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2021.71
Current children cumulated vsize (KiB) 41764
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 1.81 3/243 2614
/proc/meminfo: memFree=32044792/32770624 swapFree=5956/195512
[pid=2529] ppid=2526 vsize=41764 CPUtime=2081.69 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18307 0 0 0 208169 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5758807 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2081.69
Current children cumulated vsize (KiB) 41764
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 1.82 3/243 2615
/proc/meminfo: memFree=32044952/32770624 swapFree=5956/195536
[pid=2529] ppid=2526 vsize=41764 CPUtime=2141.66 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18450 0 0 0 214166 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5750496 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2141.66
Current children cumulated vsize (KiB) 41764
[startup+2202.31 s]
/proc/loadavg: 2.08 2.03 1.84 3/243 2616
/proc/meminfo: memFree=32045664/32770624 swapFree=5956/195572
[pid=2529] ppid=2526 vsize=41764 CPUtime=2201.65 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18609 0 0 0 220165 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5879708 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2201.65
Current children cumulated vsize (KiB) 41764
[startup+2262.3 s]
/proc/loadavg: 2.03 2.02 1.85 3/244 2625
/proc/meminfo: memFree=32044392/32770624 swapFree=5956/195608
[pid=2529] ppid=2526 vsize=41764 CPUtime=2261.62 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18791 0 0 0 226162 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 4747360 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2261.62
Current children cumulated vsize (KiB) 41764
[startup+2322.3 s]
/proc/loadavg: 2.01 2.02 1.86 3/244 2626
/proc/meminfo: memFree=32044960/32770624 swapFree=5956/195628
[pid=2529] ppid=2526 vsize=41764 CPUtime=2321.6 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 18971 0 0 0 232160 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5877690 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2321.6
Current children cumulated vsize (KiB) 41764
[startup+2382.3 s]
/proc/loadavg: 2.06 2.03 1.87 3/244 2627
/proc/meminfo: memFree=32045144/32770624 swapFree=5956/195656
[pid=2529] ppid=2526 vsize=41764 CPUtime=2381.58 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 19152 0 0 0 238158 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5821840 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2381.58
Current children cumulated vsize (KiB) 41764
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.8 s]
/proc/loadavg: 2.04 2.03 1.88 3/244 2627
/proc/meminfo: memFree=32043652/32770624 swapFree=5956/195664
[pid=2529] ppid=2526 vsize=41764 CPUtime=2400.08 cores=1,3,5,7,9,11,13,15
/proc/2529/stat : 2529 (MistralXCSP) R 2526 2529 2464 0 -1 4202496 19328 0 0 0 240008 0 0 0 20 0 1 0 86834 42766336 4204 33554432000 4194304 7402444 140732890077328 140732890072344 5878232 0 0 4096 16386 0 0 0 17 9 0 0 0 0 0 9500608 9505824 18673664 140732890084520 140732890084670 140732890084670 140732890087369 0
/proc/2529/statm: 10441 4204 770 784 0 3455 0
Current children cumulated CPU time (s) 2400.08
Current children cumulated vsize (KiB) 41764
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 2529 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.09
CPU user time (s): 2400.08
CPU system time (s): 0.008997
CPU usage (%): 99.9705
Max. virtual memory (cumulated for all children) (KiB): 41764
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.08
system time used= 0.008997
maximum resident set size= 16840
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 19367
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= 11
involuntary context switches= 120661
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 7.93891 second user time and 11.5098 second system time
The end