1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.14 c Create Cardinality(vars,values,occurs) constraint using 8 Exactly/AtMost.. constraint
1.03/1.14 c
1.03/1.15 c root propagations : 16
1.03/1.15 c restarts enabled, print stats at every restarts
1.03/1.15 c
1.03/1.15 c
1.03/1.15 c
1.03/1.15 c This is cosoco 1.12 --
1.03/1.15 c
1.03/1.15 c command line: cosoco -lc -model -restarts HOME/instance-4268329-1502530077.xml
1.03/1.15 c ========================================[ Problem Statistics ]===========================================
1.03/1.15 c |
1.03/1.15 c | Parse time : 1.08 s
1.03/1.15 c |
1.03/1.15 c | Variables: 72
1.03/1.15 c | Domain Sizes: 4..4
1.03/1.15 c |
1.03/1.15 c | Constraints: 1067
1.03/1.15 c | Arity: 1..18 -- Unary: 8
1.03/1.15 c |
1.03/1.15 c | Types:
1.03/1.15 c | Exactly K: 36
1.03/1.15 c | Intension: 1008
1.03/1.15 c | Lex: 15
1.03/1.15 c | Unary: 8
1.03/1.15 c |
1.03/1.15 c =========================================================================================================
1.03/1.15 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
1.03/1.20 c 101 415 78426 3006 8 0 40 57 47
1.13/1.29 c 211 1028 218631 8604 9 0 1 54 40
1.33/1.40 c 332 1829 392033 14710 9 0 26 54 41
1.33/1.45 c 465 2431 480305 18350 9 0 34 55 50
1.43/1.55 c 611 2859 608130 24166 9 0 38 45 40
1.53/1.62 c 771 3590 720829 28856 9 0 30 55 46
1.63/1.76 c 947 4458 938467 35804 9 0 20 49 37
1.83/1.92 c 1140 5751 1188603 45126 9 0 11 49 39
1.93/2.04 c 1352 6833 1384815 52396 9 0 8 51 44
2.13/2.26 c 1585 8098 1720007 62098 9 0 8 46 37
2.23/2.38 c 1841 9501 1921245 70266 9 0 11 51 43
2.43/2.59 c 2122 10571 2231314 83672 9 0 4 41 31
2.63/2.76 c 2431 12211 2503009 94441 9 0 28 51 43
2.83/2.97 c 2770 13874 2818315 106669 9 0 8 49 40
3.13/3.25 c 3142 15237 3223660 123897 9 0 6 41 33
3.33/3.49 c 3551 17588 3604709 137805 9 0 25 49 42
3.63/3.75 c 4000 19068 3963803 153949 10 0 1 37 31
3.93/4.08 c 4493 21530 4486081 174086 10 0 22 49 38
4.43/4.58 c 5035 24323 5315898 202728 10 0 24 48 38
4.73/4.86 c 5631 25931 5723228 222908 10 0 29 42 36
5.23/5.38 c 6286 30704 6578927 253735 10 0 12 49 41
5.63/5.73 c 7006 35208 7148205 277409 10 0 6 49 46
6.03/6.14 c 7798 38390 7802648 303430 10 0 16 48 40
6.83/6.96 c 8669 43191 9120940 352005 10 0 11 46 37
7.53/7.61 c 9627 47586 10149626 392392 10 0 23 49 37
8.23/8.35 c 10680 53159 11392655 439351 10 0 18 49 42
8.83/8.91 c 11838 59447 12304103 477304 10 0 28 49 45
9.43/9.55 c 13111 66744 13299702 520317 10 0 6 49 42
10.23/10.34 c 14511 71316 14452607 576454 10 0 28 44 36
11.13/11.26 c 16051 79965 15880286 633144 10 0 8 49 40
12.63/12.73 c 17745 88465 18225845 724422 10 0 9 46 37
14.23/14.36 c 19608 98787 20906560 830876 10 0 17 49 39
15.83/15.97 c 21657 108534 23469275 933865 10 0 9 49 36
17.23/17.33 c 23910 117447 25537403 1026046 10 0 18 49 37
18.13/18.23 c 26388 127729 26970728 1090213 10 0 24 49 47
20.13/20.23 c 29113 145045 30138546 1212606 10 0 19 49 40
22.63/22.74 c 32110 164274 34151964 1364136 10 0 12 49 37
25.03/25.14 c 35406 181787 38016406 1506464 10 0 20 49 39
27.43/27.52 c 39031 196151 41502837 1662545 10 0 27 47 38
30.13/30.27 c 43018 220290 45951315 1835342 10 0 13 49 40
32.03/32.14 c 47403 240057 48923559 1962002 10 0 25 49 46
35.03/35.20 c 52226 269167 53856604 2156236 10 0 9 49 42
37.63/37.72 c 57531 297517 57951180 2315989 10 0 18 49 44
42.63/42.79 c 63366 328583 65848761 2598064 10 0 9 47 34
47.03/47.15 c 69784 356444 72470729 2858486 10 0 15 45 33
50.33/50.42 c 76843 388750 77880088 3083194 10 0 27 49 46
55.63/55.78 c 84607 437918 86639092 3399998 10 0 12 49 43
62.53/62.67 c 93147 485437 97774790 3781021 10 0 13 49 39
67.63/67.71 c 102541 536211 105875241 4118776 10 0 18 49 44
75.53/75.61 c 112874 582435 117938194 4602960 10 0 23 49 38
82.43/82.59 c 124240 647486 129033532 5032347 10 0 24 49 43
93.23/93.35 c 136742 714927 146186185 5612865 10 0 15 49 37
104.93/105.03 c 150494 788472 164750112 6226339 10 0 19 49 39
117.73/117.88 c 165621 872476 185299314 6921890 10 0 9 49 38
130.13/130.27 c 182260 960588 204487612 7593791 10 0 11 49 39
145.23/145.32 c 200562 1074919 228292204 8471790 10 0 12 49 38
159.33/159.49 c 220694 1189405 250839052 9241435 10 0 7 49 39
178.03/178.11 c 242839 1301423 280473281 10310276 10 0 19 48 37
196.73/196.81 c 267198 1410508 309509502 11311394 10 0 8 48 33
219.73/219.89 c 293992 1564307 345957062 12689516 10 0 10 49 34
241.63/241.77 c 323465 1765423 381969517 13920276 10 0 14 49 40
266.42/266.52 c 355885 1973452 421597240 15335138 10 0 11 49 39
291.12/291.20 c 391547 2120841 457934844 16768031 10 0 21 49 36
323.52/323.68 c 430775 2331985 508778799 18622103 10 0 11 49 36
353.92/354.08 c 473925 2530463 557295085 20571502 10 0 22 49 40
397.22/397.33 c 521390 2801469 625221125 22815271 10 0 8 49 36
427.52/427.61 c 573601 3075318 672459973 24794571 10 0 8 49 42
474.42/474.58 c 631033 3368245 747669161 27509312 10 0 18 49 38
523.12/523.20 c 694208 3779839 826168372 30377352 10 0 14 49 40
562.72/562.82 c 763700 4197711 890544077 32785767 10 0 20 49 45
624.02/624.18 c 840141 4624344 985457509 36029618 10 0 5 49 38
688.62/688.77 c 924226 5116932 1088814211 39757866 10 0 13 49 39
762.92/763.01 c 1016719 5638252 1204782962 43849242 10 0 11 49 38
838.72/838.86 c 1118461 6189972 1323043275 48278143 10 0 16 49 38
928.91/929.01 c 1230377 6792215 1463321366 53474602 10 0 11 49 36
1028.71/1028.85 c 1353484 7414858 1619315369 59549077 10 0 12 49 32
1158.11/1158.22 c 1488901 8106458 1825045195 66578146 10 0 11 49 37
1260.21/1260.30 c 1637859 8810788 1988429383 73081239 10 0 16 49 38
1376.71/1376.85 c 1801712 9747647 2176830002 79615835 10 0 17 49 42
1512.41/1512.55 c 1981950 10723390 2391983536 87458365 10 0 6 49 39
1650.80/1650.90 c 2180211 11799808 2617376322 95478573 10 0 18 49 42
1812.50/1812.62 c 2398298 12893044 2873745883 104980657 10 0 18 49 38
2017.90/2018.00 c 2638193 14246933 3200541124 116172827 10 0 8 49 38
2197.60/2197.79 c 2902077 15695434 3491334590 126956926 10 0 18 49 41
2400.90/2401.07 c 3192349 17067133 3804824400 138736658 10 0 19 49 40
2519.90/2520.00
2519.90/2520.00 c *** INTERRUPTED ***
2519.90/2520.00 c restarts : 85
2519.90/2520.00 c conflicts : 3355044 (1331 /sec)
2519.90/2520.00 c decisions : 17819511 (7072 /sec)
2519.90/2520.00 c propagations : 145528697 (57752 /sec)
2519.90/2520.00 c root propagations : 16
2519.90/2520.00 c filter calls : 3987674816 (1582476 /sec)
2519.90/2520.00 c useless filter calls : 3882371885 (97 %)
2519.90/2520.00 c Memory used : 29.39 MB
2519.90/2520.00 c CPU time : 2519.9 s
2519.90/2520.00
2519.90/2520.00 s UNKNOWN
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-4268329-1502530077/watcher-4268329-1502530077 -o /tmp/evaluation-result-4268329-1502530077/solver-4268329-1502530077 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node132-1502500306-27514 --watchdog 2580 cosoco -lc -model -restarts HOME/instance-4268329-1502530077.xml
pid=3220
running on 4 cores: 1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2550 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Current StackSize limit: 8192 KiB
[startup+0 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3223
/proc/meminfo: memFree=31070956/32770624 swapFree=0/471344
[pid=3223] ppid=3220 vsize=23672 CPUtime=0 cores=1,3,5,7
/proc/3223/stat : 3223 (runsolver) D 3220 3223 27450 0 -1 4202560 107 0 0 0 0 0 0 0 20 0 1 0 152660548 24240128 108 18446744073709551615 4194304 4338465 140725022515024 140725022512664 140037087912663 0 0 1 24578 18446744071580418449 0 0 17 3 0 0 0 0 0 6438912 6441760 12341248 140725022519489 140725022519881 140725022519881 140725022523338 0
/proc/3223/statm: 5918 108 54 36 0 2156 0
[startup+0.10015 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3223
/proc/meminfo: memFree=31070956/32770624 swapFree=0/471344
[pid=3223] ppid=3220 vsize=27128 CPUtime=0.03 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 1069 0 0 0 3 0 0 0 20 0 1 0 152660548 27779072 898 18446744073709551615 4194304 5972588 140735938113712 140735938110360 139950405753829 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 6782 898 780 435 0 145 0
Current children cumulated CPU time (s) 0.03
Current children cumulated vsize (KiB) 27128
[startup+0.200266 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3223
/proc/meminfo: memFree=31070956/32770624 swapFree=0/471344
[pid=3223] ppid=3220 vsize=27372 CPUtime=0.13 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 1130 0 0 0 13 0 0 0 20 0 1 0 152660548 28028928 955 18446744073709551615 4194304 5972588 140735938113712 140735938110360 139950405753829 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 6843 955 787 435 0 206 0
Current children cumulated CPU time (s) 0.13
Current children cumulated vsize (KiB) 27372
[startup+0.300244 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3223
/proc/meminfo: memFree=31070956/32770624 swapFree=0/471344
[pid=3223] ppid=3220 vsize=27608 CPUtime=0.23 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 1190 0 0 0 23 0 0 0 20 0 1 0 152660548 28270592 1015 18446744073709551615 4194304 5972588 140735938113712 140735938107512 139950415696176 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 6902 1015 787 435 0 265 0
Current children cumulated CPU time (s) 0.23
Current children cumulated vsize (KiB) 27608
[startup+0.700215 s]
/proc/loadavg: 1.94 2.00 2.03 3/184 3223
/proc/meminfo: memFree=31070956/32770624 swapFree=0/471344
[pid=3223] ppid=3220 vsize=28596 CPUtime=0.63 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 1431 0 0 0 63 0 0 0 20 0 1 0 152660548 29282304 1262 18446744073709551615 4194304 5972588 140735938113712 140735938107512 139950405753829 0 0 1 0 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7149 1262 787 435 0 512 0
Current children cumulated CPU time (s) 0.63
Current children cumulated vsize (KiB) 28596
[startup+1.50022 s]
/proc/loadavg: 1.94 2.00 2.03 3/185 3224
/proc/meminfo: memFree=31068200/32770624 swapFree=0/471468
[pid=3223] ppid=3220 vsize=30092 CPUtime=1.43 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 1874 0 0 0 143 0 0 0 20 0 1 0 152660548 30814208 1668 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5071280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1668 834 435 0 886 0
Current children cumulated CPU time (s) 1.43
Current children cumulated vsize (KiB) 30092
[startup+3.10022 s]
/proc/loadavg: 1.94 2.00 2.03 3/185 3224
/proc/meminfo: memFree=31066960/32770624 swapFree=0/471468
[pid=3223] ppid=3220 vsize=30092 CPUtime=3.03 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 2667 0 0 0 303 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5072002 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 3.03
Current children cumulated vsize (KiB) 30092
[startup+6.30022 s]
/proc/loadavg: 1.86 1.98 2.03 3/185 3224
/proc/meminfo: memFree=31066872/32770624 swapFree=0/471328
[pid=3223] ppid=3220 vsize=30092 CPUtime=6.23 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 3506 0 0 0 623 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965669 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 6.23
Current children cumulated vsize (KiB) 30092
[startup+12.7002 s]
/proc/loadavg: 1.87 1.98 2.03 3/185 3224
/proc/meminfo: memFree=31066500/32770624 swapFree=0/471328
[pid=3223] ppid=3220 vsize=30092 CPUtime=12.63 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 4322 0 0 0 1263 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965342 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 12.63
Current children cumulated vsize (KiB) 30092
[startup+25.5003 s]
/proc/loadavg: 1.90 1.98 2.03 3/185 3224
/proc/meminfo: memFree=31066624/32770624 swapFree=0/471332
[pid=3223] ppid=3220 vsize=30092 CPUtime=25.43 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 5954 0 0 0 2543 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5071999 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 25.43
Current children cumulated vsize (KiB) 30092
[startup+51.1003 s]
/proc/loadavg: 1.94 1.99 2.03 3/185 3225
/proc/meminfo: memFree=31066740/32770624 swapFree=0/471336
[pid=3223] ppid=3220 vsize=30092 CPUtime=51.03 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 6770 0 0 0 5103 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5071999 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 51.03
Current children cumulated vsize (KiB) 30092
[startup+102.3 s]
/proc/loadavg: 1.97 1.99 2.03 3/184 3227
/proc/meminfo: memFree=31066840/32770624 swapFree=0/471348
[pid=3223] ppid=3220 vsize=30092 CPUtime=102.23 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 7586 0 0 0 10223 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5071309 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 102.23
Current children cumulated vsize (KiB) 30092
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/184 3229
/proc/meminfo: memFree=31066596/32770624 swapFree=0/471352
[pid=3223] ppid=3220 vsize=30092 CPUtime=162.23 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 8402 0 0 0 16223 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965365 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 162.23
Current children cumulated vsize (KiB) 30092
[startup+222.306 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3232
/proc/meminfo: memFree=31066664/32770624 swapFree=0/471360
[pid=3223] ppid=3220 vsize=30092 CPUtime=222.23 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 9218 0 0 0 22223 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965365 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 222.23
Current children cumulated vsize (KiB) 30092
[startup+282.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3234
/proc/meminfo: memFree=31066544/32770624 swapFree=0/471376
[pid=3223] ppid=3220 vsize=30092 CPUtime=282.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 10034 0 0 0 28222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5072008 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 282.22
Current children cumulated vsize (KiB) 30092
[startup+342.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3236
/proc/meminfo: memFree=31066636/32770624 swapFree=0/471392
[pid=3223] ppid=3220 vsize=30092 CPUtime=342.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 10850 0 0 0 34222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4966114 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 342.22
Current children cumulated vsize (KiB) 30092
[startup+402.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 3253
/proc/meminfo: memFree=31062632/32770624 swapFree=0/471400
[pid=3223] ppid=3220 vsize=30092 CPUtime=402.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 11666 0 0 0 40222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4962339 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 402.22
Current children cumulated vsize (KiB) 30092
[startup+462.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/189 3255
/proc/meminfo: memFree=31062268/32770624 swapFree=0/471412
[pid=3223] ppid=3220 vsize=30092 CPUtime=462.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 12482 0 0 0 46222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5053056 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 462.22
Current children cumulated vsize (KiB) 30092
[startup+522.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3257
/proc/meminfo: memFree=31065788/32770624 swapFree=0/471420
[pid=3223] ppid=3220 vsize=30092 CPUtime=522.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 13285 0 0 0 52222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 522.22
Current children cumulated vsize (KiB) 30092
[startup+582.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/185 3259
/proc/meminfo: memFree=31065880/32770624 swapFree=0/471424
[pid=3223] ppid=3220 vsize=30092 CPUtime=582.22 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 14114 0 0 0 58222 0 0 0 20 0 1 0 152660548 30814208 1716 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5053061 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1716 837 435 0 886 0
Current children cumulated CPU time (s) 582.22
Current children cumulated vsize (KiB) 30092
################
# More data... #
################
[startup+1602.3 s]
/proc/loadavg: 1.99 1.98 2.02 3/188 3327
/proc/meminfo: memFree=31061188/32770624 swapFree=0/471604
[pid=3223] ppid=3220 vsize=30092 CPUtime=1602.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 27809 0 0 0 160220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4968812 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1602.2
Current children cumulated vsize (KiB) 30092
[startup+1662.3 s]
/proc/loadavg: 2.05 2.00 2.02 3/188 3329
/proc/meminfo: memFree=31060756/32770624 swapFree=0/471616
[pid=3223] ppid=3220 vsize=30092 CPUtime=1662.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 28626 0 0 0 166220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965342 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1662.2
Current children cumulated vsize (KiB) 30092
[startup+1722.3 s]
/proc/loadavg: 2.02 2.00 2.02 3/185 3332
/proc/meminfo: memFree=31064368/32770624 swapFree=0/471628
[pid=3223] ppid=3220 vsize=30092 CPUtime=1722.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 29419 0 0 0 172220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4962376 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1722.2
Current children cumulated vsize (KiB) 30092
[startup+1782.3 s]
/proc/loadavg: 2.08 2.02 2.03 3/185 3456
/proc/meminfo: memFree=30936292/32770624 swapFree=0/471524
[pid=3223] ppid=3220 vsize=30092 CPUtime=1782.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 30212 0 0 0 178220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5071280 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1782.2
Current children cumulated vsize (KiB) 30092
[startup+1842.3 s]
/proc/loadavg: 2.03 2.01 2.03 3/185 3458
/proc/meminfo: memFree=30392976/32770624 swapFree=0/471544
[pid=3223] ppid=3220 vsize=30092 CPUtime=1842.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 31029 0 0 0 184220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5328649 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1842.2
Current children cumulated vsize (KiB) 30092
[startup+1902.3 s]
/proc/loadavg: 2.01 2.01 2.03 3/185 3460
/proc/meminfo: memFree=30384788/32770624 swapFree=0/471528
[pid=3223] ppid=3220 vsize=30092 CPUtime=1902.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 31832 0 0 0 190220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4966110 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1902.2
Current children cumulated vsize (KiB) 30092
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/185 3462
/proc/meminfo: memFree=30385032/32770624 swapFree=0/471532
[pid=3223] ppid=3220 vsize=30092 CPUtime=1962.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 32636 0 0 0 196220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5338181 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 1962.2
Current children cumulated vsize (KiB) 30092
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.03 3/184 3464
/proc/meminfo: memFree=30384952/32770624 swapFree=0/471536
[pid=3223] ppid=3220 vsize=30092 CPUtime=2022.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 33453 0 0 0 202220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965416 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2022.2
Current children cumulated vsize (KiB) 30092
[startup+2082.3 s]
/proc/loadavg: 2.14 2.05 2.04 3/184 3466
/proc/meminfo: memFree=30384872/32770624 swapFree=0/471536
[pid=3223] ppid=3220 vsize=30092 CPUtime=2082.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 34249 0 0 0 208220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965335 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2082.2
Current children cumulated vsize (KiB) 30092
[startup+2142.3 s]
/proc/loadavg: 2.05 2.04 2.04 3/184 3468
/proc/meminfo: memFree=30383684/32770624 swapFree=0/471540
[pid=3223] ppid=3220 vsize=30092 CPUtime=2142.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 35045 0 0 0 214220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965825 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2142.2
Current children cumulated vsize (KiB) 30092
[startup+2202.31 s]
/proc/loadavg: 2.07 2.05 2.05 3/187 3484
/proc/meminfo: memFree=30379608/32770624 swapFree=0/471564
[pid=3223] ppid=3220 vsize=30092 CPUtime=2202.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 35862 0 0 0 220220 0 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4962167 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2202.2
Current children cumulated vsize (KiB) 30092
[startup+2262.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/188 3487
/proc/meminfo: memFree=30379720/32770624 swapFree=0/471568
[pid=3223] ppid=3220 vsize=30092 CPUtime=2262.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 36656 0 0 0 226219 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4989913 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2262.2
Current children cumulated vsize (KiB) 30092
[startup+2322.3 s]
/proc/loadavg: 2.01 2.03 2.05 3/185 3489
/proc/meminfo: memFree=30383460/32770624 swapFree=0/471564
[pid=3223] ppid=3220 vsize=30092 CPUtime=2322.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 37450 0 0 0 232219 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5072002 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2322.2
Current children cumulated vsize (KiB) 30092
[startup+2382.3 s]
/proc/loadavg: 2.06 2.04 2.05 3/185 3491
/proc/meminfo: memFree=30382968/32770624 swapFree=0/471576
[pid=3223] ppid=3220 vsize=30092 CPUtime=2382.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 38244 0 0 0 238219 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2382.2
Current children cumulated vsize (KiB) 30092
[startup+2442.3 s]
/proc/loadavg: 2.09 2.05 2.05 3/185 3493
/proc/meminfo: memFree=30383340/32770624 swapFree=0/471580
[pid=3223] ppid=3220 vsize=30092 CPUtime=2442.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 39061 0 0 0 244219 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 4965416 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2442.2
Current children cumulated vsize (KiB) 30092
[startup+2502.3 s]
/proc/loadavg: 2.03 2.04 2.05 3/185 3496
/proc/meminfo: memFree=30382904/32770624 swapFree=0/471576
[pid=3223] ppid=3220 vsize=30092 CPUtime=2502.2 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 39819 0 0 0 250219 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5053056 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2502.2
Current children cumulated vsize (KiB) 30092
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]
/proc/loadavg: 2.03 2.04 2.05 3/184 3496
/proc/meminfo: memFree=30383136/32770624 swapFree=0/471572
[pid=3223] ppid=3220 vsize=30092 CPUtime=2519.9 cores=1,3,5,7
/proc/3223/stat : 3223 (cosoco) R 3220 3223 27450 0 -1 4202496 40577 0 0 0 251989 1 0 0 20 0 1 0 152660548 30814208 1717 18446744073709551615 4194304 5972588 140735938113712 140735938111016 5070704 0 0 1 8405026 0 0 0 17 5 0 0 6 0 0 8070896 8075904 31911936 140735938118126 140735938118221 140735938118221 140735938121678 0
/proc/3223/statm: 7523 1717 837 435 0 886 0
Current children cumulated CPU time (s) 2519.9
Current children cumulated vsize (KiB) 30092
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 3223 sig 9
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520
CPU time (s): 2519.91
CPU user time (s): 2519.9
CPU system time (s): 0.012999
CPU usage (%): 99.9963
Max. virtual memory (cumulated for all children) (KiB): 30092
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.9
system time used= 0.012999
maximum resident set size= 6940
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 40627
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= 10
involuntary context switches= 638
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 5.96868 second user time and 8.63405 second system time
The end