0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 46 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.02 c Create Cardinality(vars,values,occurs) constraint using 48 Exactly/AtMost.. constraint
0.00/0.02 c
0.00/0.04 c root propagations : 3291
0.00/0.04 c restarts enabled, print stats at every restarts
0.00/0.04 c
0.00/0.04 c
0.00/0.04 c
0.00/0.04 c This is cosoco 1.12 --
0.00/0.04 c
0.00/0.04 c command line: HOME/cosoco -lc -model -restarts HOME/instance-4295738-1532566093.xml
0.00/0.04 c ========================================[ Problem Statistics ]===========================================
0.00/0.04 c |
0.00/0.04 c | Parse time : 0.02 s
0.00/0.04 c |
0.00/0.04 c | Variables: 852
0.00/0.04 c | Domain Sizes: 24..276
0.00/0.04 c |
0.00/0.04 c | Constraints: 1212
0.00/0.04 c | Arity: 1..276 -- Unary: 12 -- Binary: 12 -- Ternary: 276
0.00/0.04 c |
0.00/0.04 c | Types:
0.00/0.04 c | (X - Y < k): 12
0.00/0.04 c | All Different: 25
0.00/0.04 c | At least: 288
0.00/0.04 c | At most: 288
0.00/0.04 c | Exactly K: 311
0.00/0.04 c | Extension: 276 (nb tuples: 276..276) -- (shared: 275)
0.00/0.04 c | Unary: 12
0.00/0.04 c |
0.00/0.04 c =========================================================================================================
0.00/0.04 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.07 c 101 284 99829 44681 852 0 67 132 117
0.10/0.12 c 211 648 194201 99950 852 0 50 165 160
0.10/0.15 c 332 911 245018 130093 852 0 2 109 93
0.21/0.23 c 465 1290 349679 226240 852 0 2 157 150
0.21/0.28 c 611 1650 431917 287405 852 0 14 112 107
0.31/0.35 c 771 2045 531107 360342 852 0 14 130 125
0.31/0.39 c 947 2392 607276 425507 852 0 14 43 40
0.41/0.42 c 1140 2765 681435 494373 852 0 14 43 40
0.41/0.46 c 1352 3179 760324 573010 852 0 2 43 40
0.41/0.51 c 1585 3642 853962 662348 852 0 2 43 40
0.51/0.56 c 1841 4119 948132 754974 852 0 2 43 40
0.51/0.60 c 2122 4660 1049142 854896 852 0 2 43 40
0.60/0.65 c 2431 5194 1157525 964266 852 0 14 43 39
0.69/0.72 c 2770 5842 1286689 1095134 852 0 14 43 40
0.69/0.78 c 3142 6497 1413399 1227141 852 0 14 43 39
0.79/0.86 c 3551 7219 1556889 1379640 852 0 2 43 39
0.89/0.92 c 4000 7957 1703253 1538856 852 0 14 43 39
0.89/1.00 c 4493 8867 1872985 1724578 852 0 14 43 39
1.00/1.10 c 5035 9784 2056457 1926101 852 0 14 43 39
1.10/1.20 c 5631 10829 2256281 2141578 852 0 2 43 39
1.29/1.30 c 6286 11914 2469746 2387033 852 0 14 43 39
1.39/1.43 c 7006 13090 2706205 2654588 852 0 14 43 38
1.49/1.55 c 7798 14389 2958004 2949831 852 0 14 43 38
1.69/1.72 c 8669 15887 3250425 3280995 852 0 14 43 38
1.79/1.89 c 9627 17527 3574887 3646884 852 0 17 43 38
2.00/2.08 c 10680 19298 3919138 4046712 852 0 14 41 38
2.29/2.30 c 11838 21319 4308395 4491524 852 0 14 41 38
2.39/2.43 c 13111 23121 4491752 4669054 852 0 36 133 96
2.59/2.67 c 14511 25387 4936713 5193444 852 0 17 46 41
2.69/2.77 c 16051 27134 5038063 5232146 852 0 38 175 154
3.10/3.13 c 17745 30027 5621227 5886202 852 0 1 46 40
3.49/3.59 c 19608 32856 6297414 6200958 852 0 38 220 198
3.89/3.99 c 21657 36401 6987111 6989112 852 0 15 44 39
4.28/4.33 c 23910 39832 7460149 7356978 852 0 36 299 168
4.68/4.76 c 26388 43819 8275060 8288928 852 0 1 44 40
5.18/5.27 c 29113 48546 9194623 9328824 852 0 14 43 38
5.78/5.88 c 32110 53721 10226988 10511299 852 0 14 43 38
6.48/6.55 c 35406 59758 11397194 11812820 852 0 2 43 39
7.18/7.25 c 39031 65867 12611946 13201184 852 0 2 43 37
7.99/8.01 c 43018 72561 13967637 14697274 852 0 2 43 37
8.68/8.71 c 47403 79228 15342507 16238476 852 0 2 39 35
9.58/9.68 c 52226 87214 17000219 18042355 852 0 2 43 37
10.48/10.58 c 57531 95422 18667709 19951728 852 0 2 39 35
11.48/11.56 c 63366 104241 20522675 22011516 852 0 14 39 34
12.68/12.71 c 69784 114208 22602273 24328488 852 0 2 39 35
13.68/13.76 c 76843 124514 24752779 26695965 852 0 2 37 33
15.88/15.95 c 84607 138356 29003509 28503770 852 0 34 352 311
17.38/17.46 c 93147 152271 31891579 31678735 852 0 1 46 40
18.99/19.01 c 102541 168021 34960374 35175290 852 0 2 43 38
20.88/20.95 c 112874 185665 38504628 39172795 852 0 14 43 38
22.78/22.81 c 124240 204826 42271327 43431958 852 0 2 43 38
24.99/25.05 c 136742 225820 46495259 48178458 852 0 2 43 37
27.38/27.45 c 150494 249584 51233127 53413109 852 0 14 43 38
30.18/30.22 c 165621 274696 56379111 59196115 852 0 14 43 37
32.98/33.09 c 182260 302436 62124109 65383544 852 0 2 43 37
35.98/36.05 c 200562 331215 68214974 71916594 852 0 14 43 35
39.78/39.89 c 220694 365320 75261043 79605037 852 0 2 43 38
43.28/43.38 c 242839 400003 82592711 87489241 852 0 2 41 35
47.27/47.35 c 267198 438780 90788088 96282462 852 0 2 43 35
50.98/51.09 c 293992 478261 99175283 105549909 852 0 14 37 33
55.47/55.57 c 323465 523272 108752594 115867227 852 0 2 43 34
60.08/60.16 c 355885 571824 119128271 127104805 852 0 14 39 33
66.67/66.76 c 391547 632453 130843627 139259969 852 0 32 97 93
73.67/73.76 c 430775 698400 144199069 154260895 852 0 2 46 40
80.37/80.44 c 473925 768027 158516650 169680749 852 0 14 43 35
87.77/87.84 c 521390 840019 174105420 186479998 852 0 2 37 33
96.27/96.34 c 573601 925457 191549755 205352956 852 0 14 43 36
105.47/105.50 c 631033 1010793 210589742 225419789 852 0 2 39 33
114.57/114.68 c 694208 1108841 231065718 247479690 852 0 2 43 34
125.57/125.63 c 763700 1214177 253984792 271930242 852 0 2 43 33
138.98/139.10 c 840141 1345048 280553473 297693258 852 0 34 79 75
153.77/153.80 c 924226 1482497 309388319 328403016 852 0 15 44 37
167.77/167.86 c 1016719 1624809 339733065 360853868 852 0 2 39 34
185.76/185.85 c 1118461 1791883 375409483 398204815 852 0 14 43 36
202.66/202.74 c 1230377 1967030 412370058 437889166 852 0 14 39 34
224.07/224.17 c 1353484 2168042 454917565 482733108 852 0 2 43 35
244.46/244.57 c 1488901 2373036 499439328 529964401 852 0 2 41 33
273.56/273.67 c 1637859 2631708 553289965 584113412 852 0 32 79 75
298.76/298.86 c 1801712 2880102 607734484 641056541 852 0 15 44 34
326.06/326.18 c 1981950 3160184 667273006 704514872 852 0 2 41 34
367.35/367.43 c 2180211 3512550 744019545 778766016 852 0 32 79 74
406.65/406.72 c 2398298 3875283 820896149 858919337 852 0 2 46 38
451.64/451.70 c 2638193 4282999 904987501 947010800 852 0 34 79 74
499.14/499.21 c 2902077 4732247 997168583 1046509423 852 0 15 44 37
549.14/549.23 c 3192349 5208763 1097541172 1152365328 852 0 2 43 36
597.53/597.61 c 3511648 5705851 1203616417 1264853552 852 0 2 43 34
660.84/660.90 c 3862876 6286266 1326212039 1393917685 852 0 2 43 36
722.33/722.46 c 4249226 6887176 1456719882 1530223518 852 0 2 43 34
801.43/801.57 c 4674211 7597839 1607791243 1687585439 852 0 2 43 36
877.03/877.14 c 5141694 8349339 1768266551 1855272822 852 0 2 43 34
966.41/966.50 c 5655925 9167756 1948943046 2040485684 852 0 2 43 34
1059.81/1059.91 c 6221579 10117902 2142119871 2247196177 852 0 2 43 36
1177.80/1177.97 c 6843798 11157075 2361937094 2472668409 852 0 34 79 74
1296.09/1296.28 c 7528238 12247775 2601117732 2718597113 852 0 2 46 37
1412.68/1412.86 c 8281122 13417193 2853243670 2983237812 852 0 2 43 33
1550.57/1550.75 c 9109294 14698132 3137806273 3274576415 852 0 2 43 33
1691.36/1691.54 c 10020283 16098706 3443676230 3593667304 852 0 14 43 33
1857.04/1857.20 c 11022370 17657441 3791240778 3947981934 852 0 2 43 33
2026.13/2026.31 c 12124665 19352325 4161251077 4332857954 852 0 2 43 33
2222.51/2222.77 c 13337189 21184637 4578875061 4754793183 852 0 14 43 32
2431.50/2431.75 c 14670965 23252690 5033883187 5223342108 852 0 2 43 32
2519.80/2520.00
2519.80/2520.00 c *** INTERRUPTED ***
2519.80/2520.00 c restarts : 101
2519.80/2520.00 c conflicts : 15189170 (6028 /sec)
2519.80/2520.00 c decisions : 24070342 (9553 /sec)
2519.80/2520.00 c propagations : 5407984107 (2146201 /sec)
2519.80/2520.00 c root propagations : 3291
2519.80/2520.00 c filter calls : 5214814028 (2069540 /sec)
2519.80/2520.00 c useless filter calls : 5123357431 (98 %)
2519.80/2520.00 c Memory used : 36.74 MB
2519.80/2520.00 c CPU time : 2519.79 s
2519.80/2520.00
2519.80/2520.00 s UNKNOWN
runsolver version 3.4.0 (svn: 3012) Copyright (C) 2010-2013 Olivier ROUSSEL
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.
NUMA information:
number of nodes: 2
memory of node 0: 16374 MiB (2260 MiB free)
memory of node 1: 16384 MiB (6350 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4295738-1532566093/watcher-4295738-1532566093 -o /tmp/evaluation-result-4295738-1532566093/solver-4295738-1532566093 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node106-1532535025-27478 --watchdog 2580 HOME/cosoco -lc -model -restarts HOME/instance-4295738-1532566093.xml
running on 4 cores: 0,2,4,6
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=31559, runsolver pid=31556
Current StackSize limit: 8192 KiB
[startup+0.100146 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8807092/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36520 memory=13020 CPUtime=0.1 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 3473 0 0 0 10 0 0 0 20 0 1 0 74172194 37396480 3255 33554432000 4194304 6142532 140723888834704 140723888831336 5017892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9130 3255 887 476 0 2452 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13020 KiB
[startup+0.209634 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8807092/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36520 memory=13284 CPUtime=0.21 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 3485 0 0 0 21 0 0 0 20 0 1 0 74172194 37396480 3321 33554432000 4194304 6142532 140723888834704 140723888831336 5017997 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9130 3321 887 476 0 2452 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13284 KiB
[startup+0.309131 s]*
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8807092/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36520 memory=13284 CPUtime=0.31 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 3485 0 0 0 31 0 0 0 20 0 1 0 74172194 37396480 3321 33554432000 4194304 6142532 140723888834704 140723888831336 5120791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9130 3321 887 476 0 2452 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13284 KiB
[startup+0.700286 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8807092/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36520 memory=13284 CPUtime=0.69 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 3485 0 0 0 69 0 0 0 20 0 1 0 74172194 37396480 3321 33554432000 4194304 6142532 140723888834704 140723888831336 5060602 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9130 3321 887 476 0 2452 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13284 KiB
[startup+1.50028 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8806752/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36520 memory=13284 CPUtime=1.49 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 3485 0 0 0 149 0 0 0 20 0 1 0 74172194 37396480 3321 33554432000 4194304 6142532 140723888834704 140723888832104 5170137 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9130 3321 887 476 0 2452 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 36520 KiB
Current children cumulated memory: 13284 KiB
[startup+3.10916 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8806620/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=36652 memory=13316 CPUtime=3.1 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 5852 0 0 0 310 0 0 0 20 0 1 0 74172194 37531648 3329 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9163 3329 887 476 0 2485 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 36652 KiB
Current children cumulated memory: 13316 KiB
[startup+6.30027 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8806084/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37224 memory=13940 CPUtime=6.28 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 8476 0 0 0 628 0 0 0 20 0 1 0 74172194 38117376 3485 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9306 3485 887 476 0 2628 0
Current children cumulated CPU time: 6.28 s
Current children cumulated vsize: 37224 KiB
Current children cumulated memory: 13940 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8806288/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37224 memory=14012 CPUtime=12.68 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 10979 0 0 0 1268 0 0 0 20 0 1 0 74172194 38117376 3503 33554432000 4194304 6142532 140723888834704 140723888832104 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9306 3503 887 476 0 2628 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 37224 KiB
Current children cumulated memory: 14012 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8805044/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=25.48 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15147 0 0 0 2548 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5053512 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.04 2.05 3/187 31560
/proc/meminfo: memFree=8804596/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=51.08 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15233 0 0 0 5108 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5017782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 51.08 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/187 31561
/proc/meminfo: memFree=8805600/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=102.27 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15321 0 0 0 10227 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5336753 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 102.27 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/188 31570
/proc/meminfo: memFree=8804684/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=162.27 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15404 0 0 0 16227 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5170052 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 162.27 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/188 31571
/proc/meminfo: memFree=8804692/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=222.26 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15487 0 0 0 22226 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5061130 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 222.26 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31572
/proc/meminfo: memFree=8804944/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=282.26 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15572 0 0 0 28226 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5054357 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 282.26 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31573
/proc/meminfo: memFree=8805560/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=342.25 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15655 0 0 0 34225 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5055409 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 342.25 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31574
/proc/meminfo: memFree=8805408/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=402.25 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15738 0 0 0 40225 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5335943 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/187 31576
/proc/meminfo: memFree=8805216/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=462.24 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 15820 0 0 0 46224 0 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5017782 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 462.24 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
################
# More data... #
################
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 1722.15 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31696
/proc/meminfo: memFree=8811256/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=1782.15 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17447 0 0 0 178214 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5053793 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 1782.15 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31798
/proc/meminfo: memFree=8806904/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=1842.14 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17510 0 0 0 184213 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5328016 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 1842.14 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31799
/proc/meminfo: memFree=8807900/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=1902.14 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17593 0 0 0 190213 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5058760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 1902.14 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31805
/proc/meminfo: memFree=8807676/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=1962.13 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17651 0 0 0 196212 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5347469 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 1962.13 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31806
/proc/meminfo: memFree=8807940/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2022.13 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17710 0 0 0 202212 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2022.13 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31807
/proc/meminfo: memFree=8808444/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2082.12 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17798 0 0 0 208211 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2082.12 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31808
/proc/meminfo: memFree=8808612/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2142.12 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17860 0 0 0 214211 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5061155 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2142.12 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/188 31809
/proc/meminfo: memFree=8808904/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2202.11 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 17924 0 0 0 220210 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2202.11 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2262.3 s]
/proc/loadavg: 2.63 2.17 2.10 3/188 31811
/proc/meminfo: memFree=8808744/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2262.11 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18003 0 0 0 226210 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5060602 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2262.11 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2322.3 s]
/proc/loadavg: 2.33 2.18 2.11 3/188 31812
/proc/meminfo: memFree=8809020/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2322.11 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18066 0 0 0 232210 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5013910 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2322.11 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2382.3 s]
/proc/loadavg: 2.12 2.15 2.10 3/188 31813
/proc/meminfo: memFree=8808864/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2382.1 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18124 0 0 0 238209 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5175056 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2382.1 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2442.3 s]
/proc/loadavg: 2.05 2.12 2.09 3/188 31815
/proc/meminfo: memFree=8808708/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2442.1 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18204 0 0 0 244209 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5175264 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2442.1 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
[startup+2502.3 s]
/proc/loadavg: 2.02 2.10 2.09 3/188 31816
/proc/meminfo: memFree=8808404/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2502.09 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18267 0 0 0 250208 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5018483 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2502.09 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.01 2.10 2.09 3/188 31821
/proc/meminfo: memFree=8807320/32770624 swapFree=67108860/67108860
[pid=31559] ppid=31556 vsize=37620 memory=14388 CPUtime=2519.8 cores=0,2,4,6
/proc/31559/stat : 31559 (cosoco) R 31556 31559 27447 0 -1 4202496 18329 0 0 0 251979 1 0 0 20 0 1 0 74172194 38522880 3597 33554432000 4194304 6142532 140723888834704 140723888832104 5017816 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8243016 8247936 39682048 140723888841862 140723888841992 140723888841992 140723888844750 0
/proc/31559/statm: 9405 3597 887 476 0 2727 0
Current children cumulated CPU time: 2519.8 s
Current children cumulated vsize: 37620 KiB
Current children cumulated memory: 14388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 31559 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2519.79 s, system=0.014998 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
Child status: 1
Real time (s): 2520.01
CPU time (s): 2519.81
CPU user time (s): 2519.79
CPU system time (s): 0.014998
CPU usage (%): 99.9921
Max. virtual memory (cumulated for all children) (KiB): 37620
Max. memory (cumulated for all children) (KiB): 14388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2519.79
system time used= 0.014998
maximum resident set size= 14452
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 18379
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= 20
involuntary context switches= 663
# summary of solver processes directly reported to runsolver:
# pid: 31559
# total CPU time (s): 2519.81
# total CPU user time (s): 2519.79
# total CPU system time (s): 0.014998
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.54084 second user time and 15.64 second system time
The end