0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.00 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.00 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 28 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c root propagations : 918
0.00/0.01 c restarts enabled, print stats at every restarts
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c
0.00/0.01 c This is cosoco 2.00 --
0.00/0.01 c
0.00/0.01 c command line: cosoco -lc -model -restarts -stick HOME/instance-4396733-1568585788.xml
0.00/0.01 c ========================================[ Problem Statistics ]===========================================
0.00/0.01 c |
0.00/0.01 c | Parse time : 0.01 s
0.00/0.01 c |
0.00/0.01 c | Variables: 287
0.00/0.01 c | Domain Sizes: 14..91
0.00/0.01 c |
0.00/0.01 c | Constraints: 427
0.00/0.01 c | Arity: 1..91 -- Unary: 7 -- Binary: 7 -- Ternary: 91
0.00/0.01 c |
0.00/0.01 c | Types:
0.00/0.01 c | (X - Y < k): 7
0.00/0.01 c | All Different: 15
0.00/0.01 c | At least: 98
0.00/0.01 c | At most: 98
0.00/0.01 c | Exactly K: 111
0.00/0.01 c | Extension: 91 (nb tuples: 91..91) -- (shared: 90)
0.00/0.01 c | Unary: 7
0.00/0.01 c |
0.00/0.01 c =========================================================================================================
0.00/0.01 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
0.00/0.02 c 101 231 38319 17146 287 0 46 72 68
0.00/0.03 c 211 437 63422 32593 287 0 17 37 23
0.00/0.04 c 332 649 89359 49141 287 0 17 23 20
0.00/0.05 c 465 904 121358 67784 287 0 18 23 20
0.00/0.05 c 611 1170 154238 87289 287 0 12 23 20
0.00/0.06 c 771 1438 191116 108868 287 0 18 23 20
0.00/0.07 c 947 1759 230822 134167 287 0 19 23 20
0.00/0.09 c 1140 2104 272346 161308 287 0 17 23 19
0.00/0.09 c 1352 2424 295028 172807 287 0 11 67 61
0.10/0.11 c 1585 2869 352159 204841 287 0 35 44 41
0.10/0.13 c 1841 3360 416622 242986 287 0 32 44 41
0.10/0.15 c 2122 3897 488476 284521 287 0 38 44 41
0.10/0.17 c 2431 4445 559364 325761 287 0 21 26 23
0.10/0.19 c 2770 5032 634524 373882 287 0 14 24 19
0.10/0.21 c 3142 5584 700101 415623 287 0 14 21 18
0.21/0.22 c 3551 6076 714809 419680 287 0 15 84 67
0.21/0.25 c 4000 6907 816630 484443 287 0 1 26 22
0.21/0.28 c 4493 7723 925429 554603 287 0 15 24 19
0.31/0.32 c 5035 8671 1050707 631743 287 0 17 23 19
0.31/0.35 c 5631 9793 1180167 710876 287 0 16 24 19
0.31/0.40 c 6286 11056 1344031 799744 287 0 15 80 61
0.41/0.44 c 7006 12308 1491091 897126 287 0 13 23 20
0.41/0.49 c 7798 13666 1665872 1008599 287 0 17 23 20
0.51/0.57 c 8669 15387 1929010 1139098 287 0 16 65 60
0.60/0.65 c 9627 17209 2159280 1247086 287 0 21 102 92
0.69/0.75 c 10680 19219 2472152 1412706 287 0 21 80 74
0.79/0.83 c 11838 21402 2769517 1567717 287 0 19 44 40
0.89/0.92 c 13111 23699 3049033 1684651 287 0 21 128 116
1.00/1.04 c 14511 26498 3435499 1867815 287 0 19 86 81
1.10/1.15 c 16051 29309 3822084 2072804 287 0 39 47 44
1.19/1.27 c 17745 32615 4230091 2303923 287 0 37 44 41
1.29/1.39 c 19608 35929 4662000 2547426 287 0 36 44 41
1.49/1.54 c 21657 39762 5167609 2823934 287 0 36 44 40
1.59/1.67 c 23910 43751 5682136 3122463 287 0 18 26 23
1.79/1.82 c 26388 48075 6230121 3449224 287 0 15 23 19
1.89/2.00 c 29113 53012 6874461 3828945 287 0 15 23 19
2.10/2.19 c 32110 58549 7565459 4247604 287 0 15 23 20
2.39/2.41 c 35406 64579 8339601 4708332 287 0 11 23 19
2.59/2.66 c 39031 70883 9167190 5206193 287 0 15 23 19
2.89/2.92 c 43018 78621 10117666 5806204 287 0 14 23 19
3.19/3.22 c 47403 86555 11142663 6433880 287 0 15 23 19
3.49/3.53 c 52226 95568 12269308 7103714 287 0 15 23 19
4.00/4.04 c 57531 105942 14027975 7899111 287 0 20 68 61
4.39/4.41 c 63366 117020 15382092 8716274 287 0 16 24 20
4.79/4.84 c 69784 128852 16891382 9636805 287 0 14 23 19
5.19/5.24 c 76843 140720 18412317 10547352 287 0 13 23 17
5.69/5.78 c 84607 155601 20294147 11678825 287 0 14 44 20
6.19/6.24 c 93147 170296 22070931 12816409 287 0 14 24 18
6.79/6.86 c 102541 188134 24265775 14166681 287 0 15 23 19
7.39/7.48 c 112874 205703 26450840 15537169 287 0 13 23 17
8.19/8.22 c 124240 225200 28985510 17076873 287 0 13 23 18
8.89/8.93 c 136742 246503 31707838 18716906 287 0 13 23 17
9.89/9.94 c 150494 273879 34950698 20523005 287 0 11 160 56
11.00/11.09 c 165621 301863 38640190 22814969 287 0 1 25 20
12.19/12.20 c 182260 332604 42570822 25215109 287 0 11 23 18
13.29/13.34 c 200562 366509 46630276 27827887 287 0 13 23 18
14.79/14.80 c 220694 406124 51462254 30270684 287 0 14 156 68
17.00/17.05 c 242839 446009 57361903 34278649 287 0 1 25 19
18.89/18.98 c 267198 495660 63348136 37363266 287 0 14 215 80
21.49/21.56 c 293992 565910 71425683 40887563 287 0 16 227 146
23.59/23.63 c 323465 622094 77558227 44020542 287 0 15 130 84
26.39/26.47 c 355885 685856 86359903 48123414 287 0 20 89 76
28.89/28.94 c 391547 751500 94753614 52597654 287 0 19 44 40
31.79/31.82 c 430775 824092 103550837 57151847 287 0 18 107 79
35.89/35.93 c 473925 916508 115414321 62585575 287 0 32 108 103
39.89/39.98 c 521390 1010961 128756686 68810117 287 0 38 66 61
44.59/44.62 c 573601 1108245 142080470 77117329 287 0 15 27 22
48.39/48.49 c 631033 1216852 155405217 85138269 287 0 12 23 19
53.00/53.03 c 694208 1334643 170114207 93528992 287 0 14 44 38
57.49/57.57 c 763700 1460888 186133550 102867539 287 0 15 26 22
63.79/63.83 c 840141 1634410 204780058 110642059 287 0 19 215 159
71.59/71.64 c 924226 1795974 228082209 120991608 287 0 20 110 104
79.19/79.24 c 1016719 1979070 249814771 131598103 287 0 24 140 107
87.29/87.30 c 1118461 2174095 274064250 144431813 287 0 24 89 70
95.19/95.29 c 1230377 2381069 299732248 158482512 287 0 24 44 40
105.00/105.05 c 1353484 2612621 331756896 174233328 287 0 24 65 61
115.39/115.45 c 1488901 2862465 365314440 192212557 287 0 24 59 47
125.29/125.33 c 1637859 3131840 398491907 211506062 287 0 12 23 19
139.29/139.38 c 1801712 3446632 445098405 233028827 287 0 42 65 61
150.59/150.69 c 1981950 3780095 485373111 256283919 287 0 12 26 22
164.90/164.94 c 2180211 4163460 530352938 283048332 287 0 12 24 19
181.00/181.02 c 2398298 4570096 580699307 311348544 287 0 15 44 39
198.70/198.78 c 2638193 5024306 637536285 344010586 287 0 32 44 40
221.60/221.61 c 2902077 5677155 707190754 370737040 287 0 39 224 171
244.30/244.30 c 3192349 6268116 777041464 409565584 287 0 35 48 43
269.70/269.76 c 3511648 6886161 852687746 450402600 287 0 13 65 60
297.50/297.52 c 3862876 7562656 937839403 499174650 287 0 20 108 47
330.50/330.60 c 4249226 8413911 1044965809 553484160 287 0 15 217 84
362.80/362.87 c 4674211 9222744 1133650381 597161775 287 0 50 137 124
400.80/400.80 c 5141694 10105749 1239710936 655465869 287 0 61 86 70
437.30/437.37 c 5655925 11039466 1333188865 700912210 287 0 56 144 116
480.81/480.88 c 6221579 12119977 1458367178 766596962 287 0 36 107 82
530.02/530.09 c 6843798 13280448 1597873571 842408445 287 0 63 107 85
584.91/584.93 c 7528238 14607843 1757184719 929956368 287 0 37 78 46
653.21/653.22 c 8281122 16402433 1965145293 1019330014 287 0 18 231 152
721.31/721.33 c 9109294 18110858 2170405760 1103223005 287 0 21 221 137
803.03/803.10 c 10020283 20196348 2413727611 1215016753 287 0 19 231 131
922.92/923.00 c 11022370 23331154 2797932835 1373499789 287 0 21 215 186
993.72/993.72 c 12124665 25356274 2997166213 1480787035 287 0 21 90 63
1117.83/1117.81 c 13337189 28431288 3382539403 1650299902 287 0 11 212 138
1238.73/1238.73 c 14670965 31412796 3751196088 1823797702 287 0 17 207 103
1325.93/1325.92 c 16138118 34074800 4018361319 1964829628 287 0 13 27 22
1446.24/1446.20 c 17751986 37501290 4378492165 2126958867 287 0 19 206 79
1586.24/1586.20 c 19527240 40872774 4794320690 2323267468 287 0 33 48 43
1724.95/1724.90 c 21480019 44415395 5199159739 2516201939 287 0 12 77 55
1881.16/1881.11 c 23628075 48366317 5674832446 2782192692 287 0 17 50 40
2067.96/2067.92 c 25990936 53177152 6196920868 3024146310 287 0 16 191 116
2330.87/2330.85 c 28590083 59688737 6995466528 3374730913 287 0 26 221 167
2520.08/2520.00
2520.08/2520.00 c *** INTERRUPTED ***
2520.08/2520.00 c restarts : 108
2520.08/2520.00 c conflicts : 30209333 (11987 /sec)
2520.08/2520.00 c decisions : 64260363 (25499 /sec)
2520.08/2520.00 c propagations : 3614393438 (1434233 /sec)
2520.08/2520.00 c root propagations : 918
2520.08/2520.00 c filter calls : 7596351591 (3014320 /sec)
2520.08/2520.00 c useless filter calls : 7316308346 (96 %)
2520.08/2520.00 c Memory used : 28.40 MB
2520.08/2520.00 c CPU time : 2520.09 s
2520.08/2520.00 c real time : 2520 s
2520.08/2520.00
2520.08/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 (10484 MiB free)
memory of node 1: 16384 MiB (13367 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4396733-1568585788/watcher-4396733-1568585788 -o /tmp/evaluation-result-4396733-1568585788/solver-4396733-1568585788 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node140-1568572743-2768 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4396733-1568585788.xml
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
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=5302, runsolver pid=5299
[startup+0.100136 s]*
/proc/loadavg: 2.05 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5272 CPUtime=0.1 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1535 0 0 0 10 0 0 0 20 0 1 0 434517263 29503488 1318 33554432000 4194304 6211092 140729720497616 140729720495576 5082233 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1318 870 493 0 508 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5272 KiB
[startup+0.20942 s]*
/proc/loadavg: 2.05 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5272 CPUtime=0.21 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1535 0 0 0 21 0 0 0 20 0 1 0 434517263 29503488 1318 33554432000 4194304 6211092 140729720497616 140729720495576 5039026 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1318 870 493 0 508 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5272 KiB
[startup+0.308884 s]*
/proc/loadavg: 2.05 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5272 CPUtime=0.31 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1541 0 0 0 31 0 0 0 20 0 1 0 434517263 29503488 1318 33554432000 4194304 6211092 140729720497616 140729720495576 5081166 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1318 870 493 0 508 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5272 KiB
[startup+0.700304 s]
/proc/loadavg: 2.05 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5536 CPUtime=0.69 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1547 0 0 0 69 0 0 0 20 0 1 0 434517263 29503488 1384 33554432000 4194304 6211092 140729720497616 140729720495576 5074376 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1384 903 493 0 508 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5536 KiB
[startup+1.50036 s]
/proc/loadavg: 2.05 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5536 CPUtime=1.49 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1561 0 0 0 149 0 0 0 20 0 1 0 434517263 29503488 1384 33554432000 4194304 6211092 140729720497616 140729720495576 5074376 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1384 903 493 0 508 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5536 KiB
[startup+3.10906 s]
/proc/loadavg: 2.04 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423396/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5596 CPUtime=3.1 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 1992 0 0 0 310 0 0 0 20 0 1 0 434517263 29503488 1399 33554432000 4194304 6211092 140729720497616 140729720495576 5193728 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1399 903 493 0 508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5596 KiB
[startup+6.30036 s]
/proc/loadavg: 2.04 2.07 2.06 3/199 5303
/proc/meminfo: memFree=24423332/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28812 memory=5596 CPUtime=6.29 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 2425 0 0 0 629 0 0 0 20 0 1 0 434517263 29503488 1399 33554432000 4194304 6211092 140729720497616 140729720495576 5009195 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7203 1399 903 493 0 508 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5596 KiB
[startup+12.7004 s]
/proc/loadavg: 2.04 2.07 2.06 3/200 5305
/proc/meminfo: memFree=24422788/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5624 CPUtime=12.69 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 2867 0 0 0 1269 0 0 0 20 0 1 0 434517263 29638656 1406 33554432000 4194304 6211092 140729720497616 140729720495576 5186199 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1406 903 493 0 541 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5624 KiB
[startup+25.5004 s]
/proc/loadavg: 2.03 2.07 2.05 3/199 5305
/proc/meminfo: memFree=24422960/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5708 CPUtime=25.49 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 3787 0 0 0 2549 0 0 0 20 0 1 0 434517263 29638656 1427 33554432000 4194304 6211092 140729720497616 140729720495576 5193696 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1427 903 493 0 541 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5708 KiB
[startup+51.109 s]
/proc/loadavg: 2.02 2.06 2.05 3/200 5307
/proc/meminfo: memFree=24422048/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5708 CPUtime=51.1 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 4244 0 0 0 5110 0 0 0 20 0 1 0 434517263 29638656 1427 33554432000 4194304 6211092 140729720497616 140729720495576 5039137 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1427 903 493 0 541 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5708 KiB
[startup+102.3 s]
/proc/loadavg: 2.01 2.05 2.05 3/202 5314
/proc/meminfo: memFree=24420952/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5716 CPUtime=102.29 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 4711 0 0 0 10229 0 0 0 20 0 1 0 434517263 29638656 1429 33554432000 4194304 6211092 140729720497616 140729720495576 5081337 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1429 903 493 0 541 0
Current children cumulated CPU time: 102.29 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5716 KiB
[startup+162.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 5318
/proc/meminfo: memFree=24420840/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5716 CPUtime=162.3 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 5172 0 0 0 16230 0 0 0 20 0 1 0 434517263 29638656 1429 33554432000 4194304 6211092 140729720497616 140729720495576 5136320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1429 903 493 0 541 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5716 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 2.04 2.05 3/201 5322
/proc/meminfo: memFree=24420576/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5728 CPUtime=222.3 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 5641 0 0 0 22230 0 0 0 20 0 1 0 434517263 29638656 1432 33554432000 4194304 6211092 140729720497616 140729720495576 5074379 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1432 903 493 0 541 0
Current children cumulated CPU time: 222.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5728 KiB
[startup+282.3 s]
/proc/loadavg: 2.00 2.03 2.05 3/202 5335
/proc/meminfo: memFree=24420408/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5740 CPUtime=282.3 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 6103 0 0 0 28230 0 0 0 20 0 1 0 434517263 29638656 1435 33554432000 4194304 6211092 140729720497616 140729720495576 5074540 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1435 903 493 0 541 0
Current children cumulated CPU time: 282.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5740 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/200 5339
/proc/meminfo: memFree=24420576/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5740 CPUtime=342.3 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 6572 0 0 0 34230 0 0 0 20 0 1 0 434517263 29638656 1435 33554432000 4194304 6211092 140729720497616 140729720495576 5075957 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1435 903 493 0 541 0
Current children cumulated CPU time: 342.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5740 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.02 2.05 3/199 5344
/proc/meminfo: memFree=24421292/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5740 CPUtime=402.3 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 7039 0 0 0 40230 0 0 0 20 0 1 0 434517263 29638656 1435 33554432000 4194304 6211092 140729720497616 140729720495576 5130170 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1435 903 493 0 541 0
Current children cumulated CPU time: 402.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5740 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5350
/proc/meminfo: memFree=24420708/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=28944 memory=5740 CPUtime=462.31 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 7507 0 0 0 46231 0 0 0 20 0 1 0 434517263 29638656 1435 33554432000 4194304 6211092 140729720497616 140729720495576 5397413 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7236 1435 903 493 0 541 0
Current children cumulated CPU time: 462.31 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5740 KiB
################
# More data... #
################
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 1722.35 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+1782.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5470
/proc/meminfo: memFree=24420448/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=1782.35 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 16686 0 0 0 178235 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5039132 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 1782.35 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+1842.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5474
/proc/meminfo: memFree=24420420/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=1842.35 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 17115 0 0 0 184235 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5008816 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 1842.35 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5480
/proc/meminfo: memFree=24419868/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=1902.35 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 17583 0 0 0 190235 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5389408 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 1902.35 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5484
/proc/meminfo: memFree=24420116/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=1962.36 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 18026 0 0 0 196236 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5081280 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 1962.36 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5488
/proc/meminfo: memFree=24420172/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2022.36 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 18468 0 0 0 202236 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5009400 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2022.36 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5501
/proc/meminfo: memFree=24419824/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2082.36 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 18497 0 0 0 208236 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5136571 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2082.36 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5505
/proc/meminfo: memFree=24420212/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2142.36 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 18929 0 0 0 214236 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5078762 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2142.36 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5509
/proc/meminfo: memFree=24420100/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2202.36 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 19352 0 0 0 220236 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5136283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2202.36 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5514
/proc/meminfo: memFree=24419684/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2262.37 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 19779 0 0 0 226237 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5390416 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2262.37 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 5518
/proc/meminfo: memFree=24420856/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2322.37 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 20209 0 0 0 232237 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5081189 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2322.37 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5524
/proc/meminfo: memFree=24420060/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2382.37 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 20679 0 0 0 238237 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5035283 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2382.37 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 5530
/proc/meminfo: memFree=24419812/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2442.37 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 21109 0 0 0 244237 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5136320 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2442.37 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 5594
/proc/meminfo: memFree=24358892/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2502.37 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 21536 0 0 0 250237 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5082405 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2502.37 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
Maximum wall clock time exceeded: sending SIGTERM then SIGKILL
[startup+2520 s]*
/proc/loadavg: 2.00 2.01 2.05 3/199 5596
/proc/meminfo: memFree=24358784/32770624 swapFree=66999428/67108860
[pid=5302] ppid=5299 vsize=29076 memory=5752 CPUtime=2520.08 cores=1,3,5,7
/proc/5302/stat : 5302 (cosoco) R 5299 5302 2736 0 -1 4202496 21961 0 0 0 252008 0 0 0 20 0 1 0 434517263 29773824 1438 33554432000 4194304 6211092 140729720497616 140729720495576 5009005 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 24174592 140729720505355 140729720505457 140729720505457 140729720508366 0
/proc/5302/statm: 7269 1438 903 493 0 574 0
Current children cumulated CPU time: 2520.08 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5752 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2520.01 s]
# the end of solver process 5302 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.09 s, system=0.007 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): 2520.1
CPU user time (s): 2520.09
CPU system time (s): 0.007
CPU usage (%): 100.003
Max. virtual memory (cumulated for all children) (KiB): 29076
Max. memory (cumulated for all children) (KiB): 5752
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.09
system time used= 0.007
maximum resident set size= 5816
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 22011
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= 14
involuntary context switches= 653
# summary of solver processes directly reported to runsolver:
# pid: 5302
# total CPU time (s): 2520.1
# total CPU user time (s): 2520.09
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.73015 second user time and 16.2749 second system time
The end