0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 Exactly/AtMost.. constraint
0.00/0.01 c
0.00/0.01 c Create Cardinality(vars,values,occurs) constraint using 26 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 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-4407993-1569801423.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.06 c 611 1170 154238 87289 287 0 12 23 20
0.00/0.07 c 771 1438 191116 108868 287 0 18 23 20
0.00/0.08 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.10 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.20 c 2770 5032 634524 373882 287 0 14 24 19
0.21/0.22 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.29 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.36 c 5631 9793 1180167 710876 287 0 16 24 19
0.31/0.41 c 6286 11056 1344031 799744 287 0 15 80 61
0.41/0.45 c 7006 12308 1491091 897126 287 0 13 23 20
0.41/0.50 c 7798 13666 1665872 1008599 287 0 17 23 20
0.51/0.58 c 8669 15387 1929010 1139098 287 0 16 65 60
0.60/0.66 c 9627 17209 2159280 1247086 287 0 21 102 92
0.69/0.76 c 10680 19219 2472152 1412706 287 0 21 80 74
0.79/0.85 c 11838 21402 2769517 1567717 287 0 19 44 40
0.89/0.94 c 13111 23699 3049033 1684651 287 0 21 128 116
1.00/1.06 c 14511 26498 3435499 1867815 287 0 19 86 81
1.10/1.17 c 16051 29309 3822084 2072804 287 0 39 47 44
1.19/1.29 c 17745 32615 4230091 2303923 287 0 37 44 41
1.39/1.41 c 19608 35929 4662000 2547426 287 0 36 44 41
1.49/1.56 c 21657 39762 5167609 2823934 287 0 36 44 40
1.69/1.70 c 23910 43751 5682136 3122463 287 0 18 26 23
1.79/1.85 c 26388 48075 6230121 3449224 287 0 15 23 19
2.00/2.04 c 29113 53012 6874461 3828945 287 0 15 23 19
2.19/2.23 c 32110 58549 7565459 4247604 287 0 15 23 20
2.39/2.45 c 35406 64579 8339601 4708332 287 0 11 23 19
2.69/2.70 c 39031 70883 9167190 5206193 287 0 15 23 19
2.89/2.96 c 43018 78621 10117666 5806204 287 0 14 23 19
3.19/3.27 c 47403 86555 11142663 6433880 287 0 15 23 19
3.49/3.58 c 52226 95568 12269308 7103714 287 0 15 23 19
4.00/4.10 c 57531 105942 14027975 7899111 287 0 20 68 61
4.39/4.47 c 63366 117020 15382092 8716274 287 0 16 24 20
4.89/4.91 c 69784 128852 16891382 9636805 287 0 14 23 19
5.29/5.31 c 76843 140720 18412317 10547352 287 0 13 23 17
5.79/5.86 c 84607 155601 20294147 11678825 287 0 14 44 20
6.29/6.33 c 93147 170296 22070931 12816409 287 0 14 24 18
6.89/6.96 c 102541 188134 24265775 14166681 287 0 15 23 19
7.49/7.59 c 112874 205703 26450840 15537169 287 0 13 23 17
8.29/8.34 c 124240 225200 28985510 17076873 287 0 13 23 18
8.99/9.06 c 136742 246503 31707838 18716906 287 0 13 23 17
10.00/10.08 c 150494 273879 34950698 20523005 287 0 11 160 56
11.19/11.25 c 165621 301863 38640190 22814969 287 0 1 25 20
12.29/12.37 c 182260 332604 42570822 25215109 287 0 11 23 18
13.49/13.51 c 200562 366509 46630276 27827887 287 0 13 23 18
14.89/14.99 c 220694 406124 51462254 30270684 287 0 14 156 68
17.19/17.26 c 242839 446009 57361903 34278649 287 0 1 25 19
19.19/19.21 c 267198 495660 63348136 37363266 287 0 14 215 80
21.79/21.81 c 293992 565910 71425683 40887563 287 0 16 227 146
23.89/23.92 c 323465 622094 77558227 44020542 287 0 15 130 84
26.69/26.79 c 355885 685856 86359903 48123414 287 0 20 89 76
29.29/29.31 c 391547 751500 94753614 52597654 287 0 19 44 40
32.19/32.25 c 430775 824092 103550837 57151847 287 0 18 107 79
36.39/36.46 c 473925 916508 115414321 62585575 287 0 32 108 103
40.49/40.60 c 521390 1010961 128756686 68810117 287 0 38 66 61
45.19/45.29 c 573601 1108245 142080470 77117329 287 0 15 27 22
49.10/49.20 c 631033 1216852 155405217 85138269 287 0 12 23 19
53.79/53.80 c 694208 1334643 170114207 93528992 287 0 14 44 38
58.29/58.39 c 763700 1460888 186133550 102867539 287 0 15 26 22
64.69/64.74 c 840141 1634410 204780058 110642059 287 0 19 215 159
72.69/72.71 c 924226 1795974 228082209 120991608 287 0 20 110 104
80.40/80.47 c 1016719 1979070 249814771 131598103 287 0 24 140 107
88.60/88.68 c 1118461 2174095 274064250 144431813 287 0 24 89 70
96.70/96.74 c 1230377 2381069 299732248 158482512 287 0 24 44 40
106.60/106.68 c 1353484 2612621 331756896 174233328 287 0 24 65 61
117.20/117.21 c 1488901 2862465 365314440 192212557 287 0 24 59 47
127.11/127.15 c 1637859 3131840 398491907 211506062 287 0 12 23 19
141.40/141.43 c 1801712 3446632 445098405 233028827 287 0 42 65 61
152.80/152.80 c 1981950 3780095 485373111 256283919 287 0 12 26 22
167.11/167.12 c 2180211 4163460 530352938 283048332 287 0 12 24 19
183.30/183.34 c 2398298 4570096 580699307 311348544 287 0 15 44 39
201.21/201.25 c 2638193 5024306 637536285 344010586 287 0 32 44 40
224.21/224.26 c 2902077 5677155 707190754 370737040 287 0 39 224 171
247.02/247.10 c 3192349 6268116 777041464 409565584 287 0 35 48 43
272.91/273.00 c 3511648 6886161 852687746 450402600 287 0 13 65 60
300.92/300.95 c 3862876 7562656 937839403 499174650 287 0 20 108 47
334.22/334.24 c 4249226 8413911 1044965809 553484160 287 0 15 217 84
367.13/367.11 c 4674211 9222744 1133650381 597161775 287 0 50 137 124
405.53/405.54 c 5141694 10105749 1239710936 655465869 287 0 61 86 70
442.73/442.70 c 5655925 11039466 1333188865 700912210 287 0 56 144 116
486.84/486.84 c 6221579 12119977 1458367178 766596962 287 0 36 107 82
536.94/536.95 c 6843798 13280448 1597873571 842408445 287 0 63 107 85
592.55/592.51 c 7528238 14607843 1757184719 929956368 287 0 37 78 46
661.65/661.66 c 8281122 16402433 1965145293 1019330014 287 0 18 231 152
730.56/730.54 c 9109294 18110858 2170405760 1103223005 287 0 21 221 137
813.27/813.26 c 10020283 20196348 2413727611 1215016753 287 0 19 231 131
934.19/934.12 c 11022370 23331154 2797932835 1373499789 287 0 21 215 186
1005.99/1005.92 c 12124665 25356274 2997166213 1480787035 287 0 21 90 63
1131.40/1131.33 c 13337189 28431288 3382539403 1650299902 287 0 11 212 138
1253.41/1253.38 c 14670965 31412796 3751196088 1823797702 287 0 17 207 103
1341.23/1341.15 c 16138118 34074800 4018361319 1964829628 287 0 13 27 22
1462.83/1462.74 c 17751986 37501290 4378492165 2126958867 287 0 19 206 79
1604.65/1604.53 c 19527240 40872774 4794320690 2323267468 287 0 33 48 43
1745.86/1745.76 c 21480019 44415395 5199159739 2516201939 287 0 12 77 55
1902.98/1902.83 c 23628075 48366317 5674832446 2782192692 287 0 17 50 40
2092.50/2092.33 c 25990936 53177152 6196920868 3024146310 287 0 16 191 116
2357.83/2357.69 c 28590083 59688737 6995466528 3374730913 287 0 26 221 167
2520.04/2519.80
2520.04/2519.80 c *** INTERRUPTED ***
2520.04/2519.80 c restarts : 108
2520.04/2519.80 c conflicts : 29973668 (11894 /sec)
2520.04/2519.80 c decisions : 63545316 (25216 /sec)
2520.04/2519.80 c propagations : 3577995582 (1419812 /sec)
2520.04/2519.80 c root propagations : 918
2520.04/2519.80 c filter calls : 7503795353 (2977639 /sec)
2520.04/2519.80 c useless filter calls : 7227295776 (96 %)
2520.04/2519.80 c Memory used : 28.40 MB
2520.04/2519.80 c CPU time : 2520.05 s
2520.04/2519.80 c real time : 2519.8 s
2520.04/2519.80
2520.04/2519.80 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 (15131 MiB free)
memory of node 1: 16384 MiB (15417 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4407993-1569801423/watcher-4407993-1569801423 -o /tmp/evaluation-result-4407993-1569801423/solver-4407993-1569801423 -C 2520 -W 2520 -M 15500 --bin-var /tmp/runsolver-exch-node136-1569787347-31154 --watchdog 2580 cosoco -lc -model -restarts -stick HOME/instance-4407993-1569801423.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
Current StackSize limit: 8192 KiB
solver pid=1094, runsolver pid=1091
[startup+0.100106 s]*
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281492/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5272 CPUtime=0.1 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1536 0 0 0 10 0 0 0 20 0 1 0 556390852 29503488 1318 33554432000 4194304 6211132 140733440606432 140733440602968 5075221 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7203 1318 868 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.209441 s]*
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281516/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5272 CPUtime=0.21 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1536 0 0 0 21 0 0 0 20 0 1 0 556390852 29503488 1318 33554432000 4194304 6211132 140733440606432 140733440604392 5080351 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7203 1318 868 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.308993 s]*
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281516/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5272 CPUtime=0.31 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1542 0 0 0 31 0 0 0 20 0 1 0 556390852 29503488 1318 33554432000 4194304 6211132 140733440606432 140733440604392 5133616 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7203 1318 868 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.700225 s]
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281516/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5536 CPUtime=0.69 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1548 0 0 0 69 0 0 0 20 0 1 0 556390852 29503488 1384 33554432000 4194304 6211132 140733440606432 140733440604392 5078923 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/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.50023 s]
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281516/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5536 CPUtime=1.49 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1562 0 0 0 149 0 0 0 20 0 1 0 556390852 29503488 1384 33554432000 4194304 6211132 140733440606432 140733440604392 5193728 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/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.10888 s]
/proc/loadavg: 1.89 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281392/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5600 CPUtime=3.1 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 1992 0 0 0 310 0 0 0 20 0 1 0 556390852 29503488 1400 33554432000 4194304 6211132 140733440606432 140733440604392 5039185 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7203 1400 903 493 0 508 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5600 KiB
[startup+6.30022 s]
/proc/loadavg: 1.90 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31280872/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28812 memory=5600 CPUtime=6.29 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 2424 0 0 0 629 0 0 0 20 0 1 0 556390852 29503488 1400 33554432000 4194304 6211132 140733440606432 140733440604392 5136311 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7203 1400 903 493 0 508 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 28812 KiB
Current children cumulated memory: 5600 KiB
[startup+12.7003 s]
/proc/loadavg: 1.90 1.98 2.03 3/199 1095
/proc/meminfo: memFree=31281412/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5600 CPUtime=12.69 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 2865 0 0 0 1269 0 0 0 20 0 1 0 556390852 29638656 1400 33554432000 4194304 6211132 140733440606432 140733440604392 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1400 903 493 0 541 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5600 KiB
[startup+25.5003 s]
/proc/loadavg: 1.93 1.98 2.03 3/199 1096
/proc/meminfo: memFree=31281616/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5712 CPUtime=25.49 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 3783 0 0 0 2549 0 0 0 20 0 1 0 556390852 29638656 1428 33554432000 4194304 6211132 140733440606432 140733440604392 5079295 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1428 903 493 0 541 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5712 KiB
[startup+51.1092 s]
/proc/loadavg: 1.95 1.99 2.03 3/199 1098
/proc/meminfo: memFree=31280836/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5712 CPUtime=51.1 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 4239 0 0 0 5110 0 0 0 20 0 1 0 556390852 29638656 1428 33554432000 4194304 6211132 140733440606432 140733440604392 5080120 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1428 903 493 0 541 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5712 KiB
[startup+102.3 s]
/proc/loadavg: 1.98 1.99 2.03 3/199 1102
/proc/meminfo: memFree=31280516/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5720 CPUtime=102.3 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 4705 0 0 0 10230 0 0 0 20 0 1 0 556390852 29638656 1430 33554432000 4194304 6211132 140733440606432 140733440604392 5136356 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1430 903 493 0 541 0
Current children cumulated CPU time: 102.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5720 KiB
[startup+162.3 s]
/proc/loadavg: 1.99 1.99 2.03 3/199 1107
/proc/meminfo: memFree=31280448/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5720 CPUtime=162.3 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 5165 0 0 0 16230 0 0 0 20 0 1 0 556390852 29638656 1430 33554432000 4194304 6211132 140733440606432 140733440604392 5080096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1430 903 493 0 541 0
Current children cumulated CPU time: 162.3 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5720 KiB
[startup+222.3 s]
/proc/loadavg: 2.00 1.99 2.03 3/200 1113
/proc/meminfo: memFree=31279444/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5720 CPUtime=222.31 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 5633 0 0 0 22231 0 0 0 20 0 1 0 556390852 29638656 1430 33554432000 4194304 6211132 140733440606432 140733440604392 5081184 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1430 903 493 0 541 0
Current children cumulated CPU time: 222.31 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5720 KiB
[startup+282.3 s]
/proc/loadavg: 2.05 2.00 2.04 3/200 1127
/proc/meminfo: memFree=31279904/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5720 CPUtime=282.32 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 5633 0 0 0 28232 0 0 0 20 0 1 0 556390852 29638656 1430 33554432000 4194304 6211132 140733440606432 140733440604392 5079496 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1430 903 493 0 541 0
Current children cumulated CPU time: 282.32 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5720 KiB
[startup+342.3 s]
/proc/loadavg: 2.02 2.00 2.04 3/200 1156
/proc/meminfo: memFree=31279452/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5744 CPUtime=342.32 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 6100 0 0 0 34232 0 0 0 20 0 1 0 556390852 29638656 1436 33554432000 4194304 6211132 140733440606432 140733440604392 5397486 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1436 903 493 0 541 0
Current children cumulated CPU time: 342.32 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5744 KiB
[startup+402.3 s]
/proc/loadavg: 2.01 2.00 2.04 3/201 1162
/proc/meminfo: memFree=31279276/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5744 CPUtime=402.33 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 6100 0 0 0 40233 0 0 0 20 0 1 0 556390852 29638656 1436 33554432000 4194304 6211132 140733440606432 140733440604392 5074448 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1436 903 493 0 541 0
Current children cumulated CPU time: 402.33 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5744 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.00 2.04 3/200 1166
/proc/meminfo: memFree=31279744/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=28944 memory=5744 CPUtime=462.33 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 6565 0 0 0 46233 0 0 0 20 0 1 0 556390852 29638656 1436 33554432000 4194304 6211132 140733440606432 140733440604392 5039026 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7236 1436 903 493 0 541 0
Current children cumulated CPU time: 462.33 s
Current children cumulated vsize: 28944 KiB
Current children cumulated memory: 5744 KiB
################
# More data... #
################
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 1722.46 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+1782.3 s]
/proc/loadavg: 2.04 2.03 2.05 3/199 1286
/proc/meminfo: memFree=31278820/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=1782.47 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 11699 0 0 0 178247 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5075544 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 1782.47 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+1842.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 1292
/proc/meminfo: memFree=31279028/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=1842.47 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 11699 0 0 0 184247 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5397407 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 1842.47 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1296
/proc/meminfo: memFree=31279304/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=1902.48 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 12127 0 0 0 190248 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5074833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 1902.48 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1301
/proc/meminfo: memFree=31279020/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=1962.49 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 12169 0 0 0 196249 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 1962.49 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1309
/proc/meminfo: memFree=31278644/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2022.49 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 12603 0 0 0 202249 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5394125 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2022.49 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2082.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1321
/proc/meminfo: memFree=31278860/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2082.5 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 12610 0 0 0 208250 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5080136 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2082.5 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2142.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1325
/proc/meminfo: memFree=31278960/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2142.5 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13070 0 0 0 214250 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5081194 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2142.5 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2202.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/201 1331
/proc/meminfo: memFree=31278748/32770624 swapFree=67002176/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2202.51 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13070 0 0 0 220251 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5136343 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2202.51 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2262.3 s]
/proc/loadavg: 2.05 2.03 2.05 3/200 1335
/proc/meminfo: memFree=31277580/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2262.52 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13491 0 0 0 226252 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5136338 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2262.52 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2322.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 1339
/proc/meminfo: memFree=31277316/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2322.52 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13496 0 0 0 232252 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5081194 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2322.52 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2382.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/200 1353
/proc/meminfo: memFree=31277324/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2382.53 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13967 0 0 0 238253 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5081401 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2382.53 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2442.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 1357
/proc/meminfo: memFree=31278908/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2442.54 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 13967 0 0 0 244254 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5081401 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2442.54 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
[startup+2502.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 1423
/proc/meminfo: memFree=31415488/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2502.54 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 14391 0 0 0 250254 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5008994 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2502.54 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2519.8 s]
/proc/loadavg: 2.00 2.01 2.05 3/200 1425
/proc/meminfo: memFree=31414712/32770624 swapFree=67002192/67108860
[pid=1094] ppid=1091 vsize=29076 memory=5756 CPUtime=2520.04 cores=0,2,4,6
/proc/1094/stat : 1094 (cosoco) R 1091 1094 31123 0 -1 4202496 14393 0 0 0 252004 0 0 0 20 0 1 0 556390852 29773824 1439 33554432000 4194304 6211132 140733440606432 140733440604392 5193728 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8312316 8317760 39165952 140733440615435 140733440615537 140733440615537 140733440618446 0
/proc/1094/statm: 7269 1439 903 493 0 574 0
Current children cumulated CPU time: 2520.04 s
Current children cumulated vsize: 29076 KiB
Current children cumulated memory: 5756 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2519.8 s]
# the end of solver process 1094 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2520.05 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): 2519.8
CPU time (s): 2520.06
CPU user time (s): 2520.05
CPU system time (s): 0.007
CPU usage (%): 100.01
Max. virtual memory (cumulated for all children) (KiB): 29076
Max. memory (cumulated for all children) (KiB): 5756
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2520.05
system time used= 0.007
maximum resident set size= 5820
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 14443
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= 13
involuntary context switches= 688
# summary of solver processes directly reported to runsolver:
# pid: 1094
# total CPU time (s): 2520.06
# total CPU user time (s): 2520.05
# total CPU system time (s): 0.007
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 10.0091 second user time and 15.3595 second system time
The end