0.00/0.00 c
0.00/0.00 c This is cosoco 2.00 --
0.00/0.00 c
0.00/0.00 c command line: cosoco -lc -model -restarts -stick HOME/instance-4390048-1568333780.xml
0.00/0.00 c intension eq(add(p[1],2),p[0]) -> extension (support ? 1) - 46tuples
0.00/0.00 c intension eq(add(p[3],3),p[2]) -> extension (support ? 1) - 45tuples
0.00/0.01 c intension eq(add(p[5],4),p[4]) -> extension (support ? 1) - 44tuples
0.00/0.01 c intension eq(add(p[7],5),p[6]) -> extension (support ? 1) - 43tuples
0.00/0.01 c intension eq(add(p[9],6),p[8]) -> extension (support ? 1) - 42tuples
0.00/0.01 c intension eq(add(p[11],7),p[10]) -> extension (support ? 1) - 41tuples
0.00/0.01 c intension eq(add(p[13],8),p[12]) -> extension (support ? 1) - 40tuples
0.00/0.01 c intension eq(add(p[15],9),p[14]) -> extension (support ? 1) - 39tuples
0.00/0.01 c intension eq(add(p[17],10),p[16]) -> extension (support ? 1) - 38tuples
0.00/0.02 c intension eq(add(p[19],11),p[18]) -> extension (support ? 1) - 37tuples
0.00/0.02 c intension eq(add(p[21],12),p[20]) -> extension (support ? 1) - 36tuples
0.00/0.02 c intension eq(add(p[23],13),p[22]) -> extension (support ? 1) - 35tuples
0.00/0.02 c intension eq(add(p[25],14),p[24]) -> extension (support ? 1) - 34tuples
0.00/0.02 c intension eq(add(p[27],15),p[26]) -> extension (support ? 1) - 33tuples
0.00/0.02 c intension eq(add(p[29],16),p[28]) -> extension (support ? 1) - 32tuples
0.00/0.02 c intension eq(add(p[31],17),p[30]) -> extension (support ? 1) - 31tuples
0.00/0.03 c intension eq(add(p[33],18),p[32]) -> extension (support ? 1) - 30tuples
0.00/0.03 c intension eq(add(p[35],19),p[34]) -> extension (support ? 1) - 29tuples
0.00/0.03 c intension eq(add(p[37],20),p[36]) -> extension (support ? 1) - 28tuples
0.00/0.03 c intension eq(add(p[39],21),p[38]) -> extension (support ? 1) - 27tuples
0.00/0.03 c intension eq(add(p[41],22),p[40]) -> extension (support ? 1) - 26tuples
0.00/0.03 c intension eq(add(p[43],23),p[42]) -> extension (support ? 1) - 25tuples
0.00/0.03 c intension eq(add(p[45],24),p[44]) -> extension (support ? 1) - 24tuples
0.00/0.04 c intension eq(add(p[47],25),p[46]) -> extension (support ? 1) - 23tuples
0.00/0.04 c root propagations : 648
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 ========================================[ Problem Statistics ]===========================================
0.00/0.04 c |
0.00/0.04 c | Parse time : 0.04 s
0.00/0.04 c |
0.00/0.04 c | Variables: 96
0.00/0.04 c | Domain Sizes: 24..48
0.00/0.04 c |
0.00/0.04 c | Constraints: 72
0.00/0.04 c | Arity: 2..49 -- Binary: 24
0.00/0.04 c |
0.00/0.04 c | Types:
0.00/0.04 c | Element Constant: 48
0.00/0.04 c | Extension: 24 (nb tuples: 23..46) -- (shared: 0)
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.04 c 101 392 38201 8154 48 0 66 80 72
0.00/0.04 c 211 622 61864 16628 48 0 34 48 45
0.00/0.04 c 332 875 95183 31503 48 0 34 39 35
0.00/0.05 c 465 1146 125033 43283 48 0 35 40 36
0.00/0.05 c 611 1460 156147 55546 48 0 35 41 37
0.00/0.05 c 771 1796 195533 71598 48 0 36 41 36
0.00/0.06 c 947 2160 236292 88386 48 0 35 39 37
0.00/0.06 c 1140 2585 291891 111790 48 0 35 40 36
0.00/0.07 c 1352 2897 322070 120203 48 0 36 38 37
0.00/0.07 c 1585 3388 381568 142012 48 0 34 41 36
0.00/0.07 c 1841 3770 423589 158017 48 0 34 38 36
0.00/0.08 c 2122 4173 459762 173186 48 0 37 38 36
0.00/0.08 c 2431 4712 510933 192654 48 0 37 38 36
0.00/0.09 c 2770 5373 568237 217288 48 0 35 38 37
0.00/0.09 c 3142 5875 629974 239542 48 0 35 38 35
0.00/0.10 c 3551 6374 686252 261629 48 0 33 38 36
0.00/0.10 c 4000 6928 740138 278247 48 0 32 38 37
0.10/0.11 c 4493 7813 843308 317458 48 0 35 36 35
0.10/0.12 c 5035 8599 935709 354360 48 0 34 37 36
0.10/0.13 c 5631 9611 1021089 380804 48 0 35 37 36
0.10/0.14 c 6286 10799 1134632 420091 48 0 33 37 35
0.10/0.15 c 7006 12092 1309798 488032 48 0 33 37 34
0.10/0.17 c 7798 13532 1499484 568832 48 0 34 38 35
0.10/0.18 c 8669 15265 1653618 628273 48 0 36 38 37
0.10/0.19 c 9627 16618 1775024 664950 48 0 36 37 36
0.10/0.20 c 10680 17815 1902678 700582 48 0 34 38 37
0.21/0.21 c 11838 19280 2088653 768582 48 0 35 38 36
0.21/0.23 c 13111 20845 2264843 838599 48 0 33 37 35
0.21/0.24 c 14511 22517 2415250 896071 48 0 36 36 35
0.21/0.26 c 16051 24283 2632347 965075 48 0 33 37 35
0.21/0.27 c 17745 26341 2810539 1023181 48 0 35 36 35
0.21/0.29 c 19608 28958 3054621 1091798 48 0 35 37 36
0.31/0.32 c 21657 31889 3429082 1234340 48 0 32 38 36
0.31/0.34 c 23910 34624 3663718 1328639 48 0 34 38 37
0.31/0.36 c 26388 37535 3935412 1422618 48 0 30 38 36
0.31/0.39 c 29113 40667 4213838 1543101 48 0 31 38 36
0.41/0.41 c 32110 44102 4545092 1676506 48 0 31 38 36
0.41/0.44 c 35406 48454 4902650 1829617 48 0 32 38 36
0.41/0.48 c 39031 52648 5329683 1961508 48 0 33 38 35
0.41/0.51 c 43018 57040 5762200 2133025 48 0 34 38 35
0.51/0.57 c 47403 63333 6488967 2390746 48 0 32 39 36
0.51/0.60 c 52226 69206 6956466 2547193 48 0 34 36 35
0.60/0.66 c 57531 75174 7708319 2782988 48 0 33 37 34
0.69/0.72 c 63366 82286 8495053 3073655 48 0 34 37 35
0.79/0.80 c 69784 89202 9472452 3399548 48 0 35 37 35
0.89/0.90 c 76843 98586 10670787 3878762 48 0 33 40 35
0.89/0.98 c 84607 108118 11637413 4219458 48 0 34 37 35
1.00/1.05 c 93147 117720 12660951 4537267 48 0 35 39 36
1.10/1.15 c 102541 129503 13934839 4968666 48 0 34 41 37
1.19/1.26 c 112874 143067 15359107 5506101 48 0 35 39 37
1.29/1.37 c 124240 156066 16714371 6025823 48 0 34 38 36
1.39/1.48 c 136742 169930 18086722 6491487 48 0 35 37 36
1.59/1.62 c 150494 186275 19928799 7155354 48 0 33 39 35
1.69/1.75 c 165621 202987 21588256 7729046 48 0 34 39 37
1.79/1.86 c 182260 222666 23208848 8155828 48 0 34 39 37
2.00/2.03 c 200562 244379 25384584 8830576 48 0 35 39 36
2.19/2.26 c 220694 270270 28239661 9953856 48 0 33 39 36
2.49/2.52 c 242839 299510 31775297 11125130 48 0 35 38 36
2.69/2.71 c 267198 326526 34408765 11943861 48 0 34 38 36
3.00/3.09 c 293992 367351 39054831 13720452 48 0 32 39 34
3.29/3.35 c 323465 400308 42436244 14855179 48 0 34 36 35
3.59/3.68 c 355885 436852 46785421 16216218 48 0 33 38 35
4.00/4.08 c 391547 482803 51931222 18023165 48 0 35 37 36
4.59/4.68 c 430775 538496 58908939 20737225 48 0 32 39 34
5.19/5.24 c 473925 592769 65502923 23227736 48 0 31 38 34
5.69/5.79 c 521390 652436 71985943 26078770 48 0 32 37 34
6.19/6.23 c 573601 713504 77721571 28057126 48 0 34 38 35
6.69/6.72 c 631033 779639 84335278 30044747 48 0 35 37 36
7.19/7.27 c 694208 860792 91427353 32637273 48 0 34 38 36
7.89/7.97 c 763700 942266 101214743 35378328 48 0 31 37 35
8.69/8.72 c 840141 1031430 110729903 39151220 48 0 33 37 35
9.59/9.66 c 924226 1124148 121881533 43728769 48 0 33 38 34
10.49/10.54 c 1016719 1229980 133080429 48008673 48 0 32 37 35
11.49/11.52 c 1118461 1346879 145170927 52691479 48 0 31 40 35
12.79/12.89 c 1230377 1503607 162539083 59038340 48 0 32 40 35
14.49/14.52 c 1353484 1674221 183059974 66930218 48 0 31 40 34
15.89/15.98 c 1488901 1850455 201873437 73790808 48 0 33 36 35
17.39/17.46 c 1637859 2018686 222547569 79619149 48 0 36 40 39
18.89/18.95 c 1801712 2216936 241569239 86257626 48 0 32 38 36
20.79/20.89 c 1981950 2453104 269116319 92791970 48 0 32 38 35
23.29/23.31 c 2180211 2713369 299913697 104126320 48 0 33 41 35
25.00/25.09 c 2398298 2957494 323776411 111007212 48 0 33 36 35
27.29/27.33 c 2638193 3274827 352272101 121149180 48 0 33 37 35
29.39/29.40 c 2902077 3568693 379846307 130072331 48 0 31 36 35
32.00/32.04 c 3192349 3920022 414190453 142133907 48 0 31 38 36
34.59/34.62 c 3511648 4300508 448837209 151955424 48 0 33 38 35
37.59/37.63 c 3862876 4785241 490027066 164612630 48 0 32 38 36
42.00/42.04 c 4249226 5286776 545807606 184702834 48 0 31 39 34
46.19/46.20 c 4674211 5748215 599032428 205311238 48 0 31 39 34
50.69/50.73 c 5141694 6272845 657498203 225279186 48 0 32 38 36
55.49/55.50 c 5655925 6845354 716975141 248799989 48 0 33 38 35
59.59/59.67 c 6221579 7453464 774494407 264237615 48 0 34 38 35
65.49/65.58 c 6843798 8159928 857410480 288195841 48 0 32 38 35
71.99/72.01 c 7528238 8969066 942077701 313818676 48 0 32 40 35
77.29/77.38 c 8281122 9808182 1012993183 334827304 48 0 34 37 36
83.58/83.62 c 9109294 10728027 1091962563 361926136 48 0 34 37 36
91.58/91.69 c 10020283 11732540 1200570829 393466037 48 0 32 37 35
101.38/101.44 c 11022370 12966456 1328901170 432838341 48 0 33 39 35
111.48/111.59 c 12124665 14205946 1459674236 481206553 48 0 33 37 35
121.78/121.88 c 13337189 15707913 1588021146 527836445 48 0 32 38 35
132.28/132.36 c 14670965 17170634 1718435415 564030576 48 0 27 36 32
142.68/142.71 c 16138118 18803759 1849376012 600672523 48 0 30 36 34
155.58/155.68 c 17751986 20585030 2014283718 652878304 48 0 31 36 33
175.88/175.93 c 19527240 23214770 2269538560 735252970 48 0 31 37 34
192.77/192.84 c 21480019 25423964 2483120695 815829276 48 0 30 38 34
208.57/208.67 c 23628075 27841463 2701270929 877646340 48 0 32 41 36
231.57/231.62 c 25990936 31296432 3016136169 963122728 48 0 34 40 37
253.67/253.71 c 28590083 34400079 3326161276 1052102307 48 0 33 37 36
286.87/286.99 c 31449144 38102304 3743486495 1203995096 48 0 31 40 35
309.56/309.63 c 34594111 41691776 4089935201 1277040902 48 0 31 39 36
342.26/342.36 c 38053574 45604567 4509577692 1425200480 48 0 31 42 35
372.07/372.16 c 41858983 49784985 4932078914 1536670159 48 0 33 40 36
407.55/407.60 c 46044932 54579604 5398521638 1700168055 48 0 33 39 36
440.15/440.24 c 50649475 59841379 5836629286 1834144993 48 0 34 40 37
486.05/486.19 c 55714472 66806885 6470341368 2021883864 48 0 34 39 37
535.14/535.29 c 61285968 73102595 7110075291 2244130401 48 0 33 40 36
581.24/581.30 c 67414613 79892450 7755473533 2436629398 48 0 34 41 37
648.23/648.36 c 74156122 87694371 8615015568 2745326644 48 0 33 39 36
716.52/716.67 c 81571781 98158875 9493564175 3081001316 48 0 35 40 38
776.62/776.78 c 89729005 107188147 10342438371 3324534651 48 0 34 40 37
843.71/843.88 c 98701951 117434043 11312494116 3564019849 48 0 34 40 37
921.30/921.46 c 108572191 128334751 12400496405 3861292820 48 0 34 39 37
1006.00/1006.18 c 119429455 141211456 13632273583 4170437985 48 0 32 40 36
1101.39/1101.54 c 131372445 155086391 14888007993 4586697436 48 0 32 39 35
1218.17/1218.37 c 144509734 169711988 16403022333 5128734921 48 0 32 37 35
1347.76/1347.93 c 158960751 186654093 18175927861 5682357496 48 0 31 39 35
1492.55/1492.70 c 174856869 204929093 19996048665 6367466676 48 0 32 39 36
1629.13/1629.33 c 192342598 224830926 21803592746 6931322356 48 0 31 40 36
1811.22/1811.43 c 211576899 247579763 24069962337 7761250902 48 0 30 40 35
1970.81/1971.03 c 232734630 271242973 26088392600 8406962370 48 0 32 40 36
2154.48/2154.77 c 256008134 296569673 28613717527 9159278750 48 0 33 39 36
2333.56/2333.89 c 281608988 324297180 31123731193 9924362023 48 0 33 39 37
2400.06/2400.30
2400.06/2400.30 c *** INTERRUPTED ***
2400.06/2400.30 c restarts : 132
2400.06/2400.30 c conflicts : 290427721 (121008 /sec)
2400.06/2400.30 c decisions : 334093929 (139202 /sec)
2400.06/2400.30 c propagations : 10169250284 (4237077 /sec)
2400.06/2400.30 c root propagations : 648
2400.06/2400.30 c filter calls : 32005010387 (13335072 /sec)
2400.06/2400.30 c useless filter calls : 25952625053 (81 %)
2400.06/2400.30 c Memory used : 27.15 MB
2400.06/2400.30 c CPU time : 2400.06 s
2400.06/2400.30 c real time : 2400.3 s
2400.06/2400.30
2400.06/2400.30 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 (9206 MiB free)
memory of node 1: 16384 MiB (15373 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4390048-1568333780/watcher-4390048-1568333780 -o /tmp/evaluation-result-4390048-1568333780/solver-4390048-1568333780 -C 2400 -W 2500 -M 15500 --bin-var /tmp/runsolver-exch-node104-1568318532-25084 --watchdog 2560 cosoco -lc -model -restarts -stick HOME/instance-4390048-1568333780.xml
running on 4 cores: 0,2,4,6
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 2400 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 2430 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2500 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 15872000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 15923200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
Current StackSize limit: 8192 KiB
solver pid=27260, runsolver pid=27257
[startup+0.100191 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169676/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4240 CPUtime=0.1 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1284 0 0 0 10 0 0 0 20 0 1 0 409635279 28467200 1060 33554432000 4194304 6210612 140729988210288 140729988206824 5098833 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1060 829 493 0 255 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4240 KiB
[startup+0.209418 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169676/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4240 CPUtime=0.21 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1284 0 0 0 21 0 0 0 20 0 1 0 409635279 28467200 1060 33554432000 4194304 6210612 140729988210288 140729988206824 5098895 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1060 829 493 0 255 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4240 KiB
[startup+0.308883 s]*
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169676/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4240 CPUtime=0.31 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1284 0 0 0 31 0 0 0 20 0 1 0 409635279 28467200 1060 33554432000 4194304 6210612 140729988210288 140729988206824 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1060 829 493 0 255 0
Current children cumulated CPU time: 0.31 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4240 KiB
[startup+0.700331 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169372/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4240 CPUtime=0.69 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1284 0 0 0 69 0 0 0 20 0 1 0 409635279 28467200 1060 33554432000 4194304 6210612 140729988210288 140729988206824 5390328 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1060 829 493 0 255 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4240 KiB
[startup+1.50033 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169400/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4240 CPUtime=1.49 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1284 0 0 0 149 0 0 0 20 0 1 0 409635279 28467200 1060 33554432000 4194304 6210612 140729988210288 140729988208248 5389737 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1060 829 493 0 255 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4240 KiB
[startup+3.10936 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169244/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=3.1 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1417 0 0 0 310 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5192912 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 3.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+6.30032 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169268/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=6.29 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1550 0 0 0 629 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5397305 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+12.7003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169020/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=12.69 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1682 0 0 0 1269 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098842 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+25.5003 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27261
/proc/meminfo: memFree=25169112/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=25.49 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 1947 0 0 0 2549 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5192892 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+51.109 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27264
/proc/meminfo: memFree=25169252/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=51.1 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2079 0 0 0 5110 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008463 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 51.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+102.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27268
/proc/meminfo: memFree=25168952/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=102.28 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2211 0 0 0 10228 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 102.28 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+162.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/198 27272
/proc/meminfo: memFree=25169296/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=162.28 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2343 0 0 0 16228 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5391864 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 162.28 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+222.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/198 27278
/proc/meminfo: memFree=25169336/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=222.27 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2475 0 0 0 22227 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5380096 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 222.27 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+282.3 s]
/proc/loadavg: 2.01 2.02 2.05 3/199 27290
/proc/meminfo: memFree=25169688/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=282.27 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2607 0 0 0 28227 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5397289 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 282.27 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+342.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27294
/proc/meminfo: memFree=25169656/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=342.26 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2740 0 0 0 34226 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 342.26 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+402.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27300
/proc/meminfo: memFree=25169348/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=402.25 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 2872 0 0 0 40225 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098760 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 402.25 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+462.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27304
/proc/meminfo: memFree=25169192/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=462.25 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 3004 0 0 0 46225 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 462.25 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
################
# More data... #
################
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1662.13 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+1722.3 s]
/proc/loadavg: 1.94 2.01 2.04 3/199 27796
/proc/meminfo: memFree=25103112/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=1722.12 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 5587 0 0 0 172212 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5186192 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1722.12 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+1782.3 s]
/proc/loadavg: 1.98 2.01 2.04 3/198 27800
/proc/meminfo: memFree=25103120/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=1782.12 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 5694 0 0 0 178212 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008603 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1782.12 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+1842.3 s]
/proc/loadavg: 1.99 2.01 2.04 3/198 27867
/proc/meminfo: memFree=25153840/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=1842.11 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 5826 0 0 0 184211 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098791 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1842.11 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+1902.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/198 27871
/proc/meminfo: memFree=25152284/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=1902.11 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 5932 0 0 0 190211 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098743 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1902.11 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+1962.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 27876
/proc/meminfo: memFree=25152240/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=1962.1 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6040 0 0 0 196210 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008576 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 1962.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2022.3 s]
/proc/loadavg: 2.00 2.01 2.04 3/199 27882
/proc/meminfo: memFree=25152236/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2022.1 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6172 0 0 0 202210 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5192880 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2022.1 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2082.3 s]
/proc/loadavg: 2.06 2.03 2.05 3/200 27894
/proc/meminfo: memFree=25152600/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2082.09 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6280 0 0 0 208209 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2082.09 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2142.3 s]
/proc/loadavg: 2.02 2.02 2.05 3/200 27898
/proc/meminfo: memFree=25152168/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2142.08 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6388 0 0 0 214208 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5206688 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2142.08 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2202.3 s]
/proc/loadavg: 2.01 2.01 2.05 3/200 27904
/proc/meminfo: memFree=25151588/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2202.08 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6515 0 0 0 220208 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008807 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2202.08 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2262.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27908
/proc/meminfo: memFree=25151928/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2262.07 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6621 0 0 0 226207 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098888 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2262.07 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2322.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/199 27912
/proc/meminfo: memFree=25151992/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2322.07 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6726 0 0 0 232207 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5380110 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2322.07 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
[startup+2382.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27918
/proc/meminfo: memFree=25152684/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2382.06 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6862 0 0 0 238206 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5098829 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2382.06 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
Maximum CPU time exceeded: sending SIGTERM then SIGKILL
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27918
/proc/meminfo: memFree=25152436/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2400.06 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6968 0 0 0 240006 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
Sending SIGTERM to process tree (bottom up)
Sleeping 2 seconds
[startup+2400.3 s]
# the end of solver process 27260 was just reported to runsolver
# cumulated CPU time of all completed processes: user=2400.06 s, system=0.007999 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+2400.3 s]
/proc/loadavg: 2.00 2.01 2.05 3/198 27918
/proc/meminfo: memFree=25152436/32770624 swapFree=66977612/67108860
[pid=27260] ppid=27257 vsize=27800 memory=4388 CPUtime=2400.06 cores=0,2,4,6
/proc/27260/stat : 27260 (cosoco) R 27257 27260 25053 0 -1 4202496 6968 0 0 0 240006 0 0 0 20 0 1 0 409635279 28467200 1097 33554432000 4194304 6210612 140729988210288 140729988208248 5008827 0 0 4096 8405026 0 0 0 17 4 0 0 0 0 0 8308220 8313664 12177408 140729988215819 140729988215921 140729988215921 140729988218830 0
/proc/27260/statm: 6950 1097 865 493 0 255 0
Current children cumulated CPU time: 2400.06 s
Current children cumulated vsize: 27800 KiB
Current children cumulated memory: 4388 KiB
Child status: 1
Real time (s): 2400.3
CPU time (s): 2400.07
CPU user time (s): 2400.06
CPU system time (s): 0.007999
CPU usage (%): 99.9904
Max. virtual memory (cumulated for all children) (KiB): 27800
Max. memory (cumulated for all children) (KiB): 4388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 2400.06
system time used= 0.007999
maximum resident set size= 4456
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 7019
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= 6
involuntary context switches= 3022
# summary of solver processes directly reported to runsolver:
# pid: 27260
# total CPU time (s): 2400.07
# total CPU user time (s): 2400.06
# total CPU system time (s): 0.007999
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.54979 second user time and 15.6391 second system time
The end