63.11/52.48 c root propagations : 0
63.11/52.48 c restarts enabled, print stats at every restarts
63.11/52.48 c
63.11/52.48 c
63.11/52.48 c
63.11/52.48 c This is cosoco 2.00 --
63.11/52.48 c
63.11/52.48 c command line: cosoco -model -nbcores=8 HOME/instance-4398047-1568606213.xml
63.11/52.48 c ========================================[ Problem Statistics ]===========================================
63.11/52.48 c |
63.11/52.48 c | Parse time : 49.44 s
63.11/52.48 c |
63.11/52.48 c | Variables: 72
63.11/52.48 c | Domain Sizes: 7..8
63.11/52.48 c |
63.11/52.48 c | Constraints: 44
63.11/52.48 c | Arity: 2..8 -- Binary: 36
63.11/52.48 c |
63.11/52.48 c | Types:
63.11/52.48 c | Extension: 44 (nb tuples: 14..5764802) -- (shared: 328)
63.11/52.48 c |
63.11/52.48 c =========================================================================================================
63.11/52.48 c Parallel mode: Portfolio
63.11/52.48 c [pFactory][Group N°0] created (threads:8).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
63.11/52.48 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
63.11/52.48 c [pFactory][Group N°0] concurrent mode: enabled.
63.11/52.48 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
63.11/52.48 c [pFactory][Group N°0] task 7 launched on thread 2.
63.11/52.48 c [pFactory][Group N°0] task 6 launched on thread 0.
63.11/52.48 c [pFactory][Group N°0] task 5 launched on thread 1.
63.11/52.48 c [pFactory][Group N°0] task 4 launched on thread 5.
63.11/52.48 c [pFactory][Group N°0] task 3 launched on thread 6.
63.11/52.48 c [pFactory][Group N°0] task 2 launched on thread 7.
63.11/52.48 c [pFactory][Group N°0] task 1 launched on thread 3.
63.11/52.48 c [pFactory][Group N°0] task 0 launched on thread 4.
63.11/52.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
63.11/52.48 c root propagations : 0
63.11/52.48 c restarts enabled, print stats at every restarts
63.11/52.48 c
63.11/52.48 c
63.11/52.48 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
63.11/52.49 c root propagations : 0
63.11/52.49 c restarts enabled, print stats at every restarts
63.11/52.49 c
63.11/52.49 c
63.11/52.49 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
63.92/52.54 c root propagations : 0
63.92/52.54 c restarts enabled, print stats at every restarts
63.92/52.54 c
63.92/52.54 c
63.92/52.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
67.09/52.91 c root propagations : 0
67.09/52.91 c restarts enabled, print stats at every restarts
67.09/52.91 c
67.09/52.91 c
67.09/52.91 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
67.96/53.09 c root propagations : 0
67.96/53.09 c restarts enabled, print stats at every restarts
67.96/53.09 c
67.96/53.09 c
67.96/53.09 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
71.87/53.54 c root propagations : 0
71.87/53.54 c restarts enabled, print stats at every restarts
71.87/53.54 c
71.87/53.54 c
71.87/53.54 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
72.67/53.61 c root propagations : 0
72.67/53.61 c restarts enabled, print stats at every restarts
72.67/53.61 c
72.67/53.61 c
72.67/53.61 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
133.33/61.21 c 32 118 1905 1109 0 0 38 54 43
159.68/64.51 c 32 110 1921 1107 0 0 30 46 35
174.85/66.47 c 33 132 2124 1267 0 0 14 14 7
203.64/70.07 c 33 132 2149 1322 0 0 22 22 11
221.14/72.27 c 32 81 2536 923 0 0 8 11 9
244.37/75.18 c 32 80 2520 1002 0 0 8 11 9
260.34/77.18 c 33 88 2748 1067 0 0 7 7 3
284.27/80.19 c 33 86 2737 1090 0 0 6 6 3
391.97/93.66 c 64 211 4514 2199 0 0 6 7 6
415.18/96.54 c 64 211 4543 2254 0 0 6 7 6
435.14/99.04 c 65 217 4739 2287 0 0 6 6 3
457.40/101.81 c 65 217 4768 2342 0 0 6 6 3
471.77/103.61 c 64 171 5201 1975 0 0 7 7 6
477.36/104.37 c 66 223 4964 2375 0 0 6 6 3
496.52/106.70 c 64 171 5201 2004 0 0 5 6 5
498.13/107.00 c 66 223 4993 2430 0 0 6 6 3
506.98/108.10 c 101 272 8145 3037 0 0 8 32 16
513.29/108.80 c 65 177 5428 2063 0 0 6 6 3
517.27/109.35 c 101 254 8158 2995 0 0 7 11 8
519.66/109.66 c 67 229 5189 2463 0 0 6 6 3
534.83/111.58 c 65 177 5428 2092 0 0 6 6 3
539.70/112.19 c 67 229 5218 2518 0 0 6 6 3
553.20/113.88 c 66 183 5655 2151 0 0 6 6 3
574.75/116.54 c 66 183 5655 2180 0 0 6 6 3
588.32/118.23 c 101 265 7926 2951 0 0 20 31 23
594.77/119.09 c 67 189 5882 2239 0 0 6 6 3
613.06/121.36 c 67 189 5882 2268 0 0 6 6 3
628.22/123.21 c 101 246 7975 2936 0 0 7 10 7
908.41/158.30 c 128 383 10229 4215 0 0 5 6 5
921.18/159.90 c 128 383 10258 4270 0 0 5 6 5
950.71/163.61 c 129 389 10448 4303 0 0 6 6 3
955.50/164.20 c 128 338 10551 3873 0 0 5 6 5
959.50/164.79 c 128 341 10771 3958 0 0 4 6 5
961.96/165.10 c 129 389 10477 4358 0 0 6 6 3
993.90/169.05 c 130 395 10667 4391 0 0 6 6 3
996.21/169.35 c 129 344 10778 3961 0 0 6 6 3
999.41/169.77 c 129 347 10996 4046 0 0 6 6 3
1004.19/170.36 c 130 395 10696 4446 0 0 6 6 3
1036.13/174.36 c 130 350 11005 4049 0 0 6 6 3
1038.53/174.61 c 131 401 10886 4479 0 0 6 6 3
1038.53/174.70 c 130 353 11221 4134 0 0 6 6 3
1046.51/175.68 c 131 401 10915 4534 0 0 6 6 3
1076.84/179.41 c 131 356 11232 4137 0 0 6 6 3
1078.44/179.70 c 131 359 11446 4222 0 0 6 6 3
1082.51/180.19 c 132 407 11105 4567 0 0 6 6 3
1089.69/181.02 c 132 407 11134 4622 0 0 6 6 3
1116.75/184.47 c 132 362 11459 4225 0 0 6 6 3
1118.34/184.64 c 132 365 11671 4310 0 0 6 6 3
1125.53/185.57 c 133 413 11324 4655 0 0 6 6 3
1131.10/186.21 c 133 413 11353 4710 0 0 6 6 3
1157.44/189.54 c 133 368 11686 4313 0 0 6 6 3
1158.24/189.65 c 133 371 11896 4398 0 0 6 6 3
1167.82/190.81 c 211 558 16850 6146 0 0 3 6 5
1169.49/191.05 c 134 419 11543 4743 0 0 6 6 3
1172.61/191.47 c 134 419 11572 4798 0 0 6 6 3
1173.41/191.59 c 211 547 16921 6078 0 0 4 6 5
1198.16/194.61 c 134 374 11913 4401 0 0 6 6 3
1198.16/194.63 c 134 377 12121 4486 0 0 6 6 3
1213.32/196.58 c 135 425 11762 4831 0 0 6 6 3
1215.72/196.80 c 135 425 11791 4886 0 0 6 6 3
1238.07/199.65 c 135 383 12346 4574 0 0 6 6 3
1238.86/199.70 c 135 380 12140 4489 0 0 6 6 3
1305.20/208.01 c 211 569 17018 6146 0 0 5 6 5
1311.51/208.90 c 211 546 17257 6090 0 0 6 6 5
1922.11/285.35 c 332 885 27235 9625 0 0 4 6 5
1934.89/286.98 c 332 878 26788 9482 0 0 4 6 5
1935.75/287.05 c 256 675 21654 7770 0 0 4 6 5
1973.93/291.82 c 256 741 21550 8275 0 0 4 6 5
1977.92/292.39 c 257 681 21873 7858 0 0 6 6 3
1988.31/293.65 c 256 738 21440 8190 0 0 4 6 5
1993.89/294.35 c 256 712 22399 8122 0 0 3 6 5
2015.52/297.07 c 257 747 21775 8363 0 0 6 6 3
2020.24/297.62 c 258 687 22092 7946 0 0 6 6 3
2031.52/299.07 c 257 744 21665 8278 0 0 6 6 3
2033.00/299.28 c 257 718 22626 8210 0 0 6 6 3
2041.78/300.32 c 332 856 26886 9460 0 0 4 6 5
2056.95/302.25 c 258 753 22000 8451 0 0 6 6 3
2061.75/302.81 c 259 693 22311 8034 0 0 6 6 3
2071.40/304.06 c 258 724 22853 8298 0 0 6 6 3
2074.52/304.44 c 258 750 21890 8366 0 0 6 6 3
2095.35/307.02 c 332 908 27508 9715 0 0 5 6 5
2099.27/307.50 c 259 759 22225 8539 0 0 6 6 3
2103.35/308.02 c 260 699 22530 8122 0 0 6 6 3
2110.44/308.95 c 259 730 23080 8386 0 0 6 6 3
2117.62/309.81 c 259 756 22115 8454 0 0 6 6 3
2140.77/312.76 c 260 765 22450 8627 0 0 6 6 3
2144.76/313.23 c 261 705 22749 8210 0 0 6 6 3
2148.76/313.73 c 260 736 23307 8474 0 0 6 6 3
2160.01/315.16 c 260 762 22342 8542 0 0 6 6 3
2182.29/317.93 c 261 771 22677 8715 0 0 6 6 3
2186.28/318.41 c 262 711 22968 8298 0 0 6 6 3
2187.87/318.65 c 261 742 23534 8562 0 0 6 6 3
2203.03/320.50 c 261 768 22567 8630 0 0 6 6 3
2223.85/323.13 c 262 777 22902 8803 0 0 6 6 3
2226.17/323.46 c 262 748 23761 8650 0 0 6 6 3
2226.97/323.59 c 263 717 23193 8386 0 0 6 6 3
2245.34/325.89 c 262 774 22794 8718 0 0 6 6 3
2265.29/328.39 c 263 754 23988 8738 0 0 6 6 3
2266.09/328.44 c 263 783 23129 8891 0 0 6 6 3
2269.28/328.82 c 264 723 23412 8474 0 0 6 6 3
2288.43/331.27 c 263 780 23019 8806 0 0 6 6 3
2303.68/333.17 c 264 760 24215 8826 0 0 6 6 3
2308.39/333.73 c 264 789 23354 8979 0 0 6 6 3
2309.98/333.99 c 265 729 23637 8562 0 0 6 6 3
2331.55/336.66 c 264 786 23246 8894 0 0 6 6 3
2342.79/338.08 c 265 766 24442 8914 0 0 6 6 3
2349.10/338.88 c 265 795 23581 9067 0 0 6 6 3
2352.29/339.21 c 266 735 23856 8650 0 0 6 6 3
2374.71/342.03 c 265 792 23471 8982 0 0 6 6 3
2381.03/342.86 c 266 772 24669 9002 0 0 6 6 3
2390.67/344.05 c 266 801 23806 9155 0 0 6 6 3
2393.80/344.41 c 267 741 24081 8738 0 0 6 6 3
2416.95/347.38 c 266 798 23698 9070 0 0 6 6 3
2420.15/347.75 c 267 778 24896 9090 0 0 6 6 3
2432.91/349.30 c 267 807 24033 9243 0 0 6 6 3
2435.31/349.61 c 268 747 24300 8826 0 0 6 6 3
2458.46/352.52 c 268 784 25123 9178 0 0 6 6 3
2460.05/352.74 c 267 804 23921 9158 0 0 6 6 3
2474.42/354.53 c 268 813 24258 9331 0 0 6 6 3
2476.82/354.86 c 269 753 24521 8914 0 0 6 6 3
2497.58/357.41 c 269 790 25350 9266 0 0 6 6 3
2501.57/358.00 c 268 810 24142 9246 0 0 6 6 3
2515.14/359.69 c 269 819 24485 9419 0 0 6 6 3
2517.53/359.99 c 270 759 24738 9002 0 0 6 6 3
2535.17/362.17 c 270 796 25577 9354 0 0 6 6 3
2543.86/363.25 c 269 816 24365 9334 0 0 6 6 3
2555.84/364.76 c 270 825 24708 9507 0 0 6 6 3
2558.30/365.07 c 271 765 24963 9090 0 0 6 6 3
2574.26/367.07 c 271 802 25804 9442 0 0 6 6 3
2586.97/368.60 c 270 822 24592 9422 0 0 6 6 3
2597.35/369.94 c 271 831 24933 9595 0 0 6 6 3
2629.27/374.00 c 271 828 24815 9510 0 0 6 6 3
2743.47/388.28 c 465 1252 38352 13319 0 0 4 6 5
2765.85/391.07 c 465 1253 38193 13461 0 0 3 6 5
2831.23/399.23 c 465 1194 37531 13145 0 0 4 6 5
2970.13/416.68 c 465 1282 38686 13615 0 0 6 6 5
3669.41/504.29 c 611 1647 50582 17606 0 0 3 6 5
3676.68/505.12 c 611 1666 50759 17557 0 0 6 6 5
3714.92/509.98 c 611 1574 49318 17173 0 0 4 6 5
3922.48/535.94 c 611 1687 51143 17858 0 0 5 6 5
4004.67/546.27 c 512 1467 46388 16360 0 0 4 6 5
4017.46/547.88 c 512 1426 43783 16194 0 0 4 6 5
4027.90/549.19 c 512 1400 44857 15925 0 0 4 6 5
4044.59/551.25 c 513 1473 46609 16448 0 0 6 6 3
4059.83/553.19 c 513 1432 44006 16282 0 0 6 6 3
4070.14/554.48 c 513 1406 45078 16013 0 0 6 6 3
4083.78/556.19 c 514 1479 46830 16536 0 0 6 6 3
4101.27/558.34 c 514 1438 44229 16370 0 0 6 6 3
4111.64/559.62 c 514 1412 45299 16101 0 0 6 6 3
4111.64/559.68 c 512 1433 43812 16280 0 0 4 6 5
4123.68/561.12 c 515 1485 47051 16624 0 0 6 6 3
4141.97/563.48 c 515 1444 44452 16458 0 0 6 6 3
4153.15/564.81 c 515 1418 45522 16189 0 0 6 6 3
4154.82/565.09 c 513 1439 44039 16368 0 0 6 6 3
4162.81/566.03 c 516 1491 47272 16712 0 0 6 6 3
4183.50/568.62 c 516 1450 44675 16546 0 0 6 6 3
4193.06/569.84 c 516 1424 45745 16277 0 0 6 6 3
4197.84/570.44 c 514 1445 44266 16456 0 0 6 6 3
4201.84/570.97 c 517 1497 47499 16800 0 0 6 6 3
4224.19/573.76 c 517 1456 44898 16634 0 0 6 6 3
4233.77/574.99 c 517 1430 45966 16365 0 0 6 6 3
4240.96/575.82 c 515 1451 44493 16544 0 0 6 6 3
4240.96/575.87 c 518 1503 47720 16888 0 0 6 6 3
4265.71/578.90 c 518 1462 45121 16722 0 0 6 6 3
4274.55/580.08 c 518 1436 46187 16453 0 0 6 6 3
4280.07/580.80 c 519 1509 47947 16976 0 0 6 6 3
4284.06/581.22 c 516 1457 44720 16632 0 0 6 6 3
4306.48/584.02 c 519 1468 45344 16810 0 0 6 6 3
4316.00/585.25 c 519 1442 46410 16541 0 0 6 6 3
4319.99/585.72 c 520 1515 48168 17064 0 0 6 6 3
4327.18/586.64 c 517 1463 44947 16720 0 0 6 6 3
4347.21/589.16 c 520 1474 45567 16898 0 0 6 6 3
4356.70/590.31 c 520 1448 46633 16629 0 0 6 6 3
4359.10/590.70 c 521 1521 48395 17152 0 0 6 6 3
4370.33/592.01 c 518 1469 45174 16808 0 0 6 6 3
4388.62/594.32 c 521 1480 45790 16986 0 0 6 6 3
4397.41/595.43 c 521 1454 46854 16717 0 0 6 6 3
4399.01/595.61 c 522 1527 48616 17240 0 0 6 6 3
4413.38/597.41 c 519 1475 45401 16896 0 0 6 6 3
4429.34/599.47 c 522 1486 46013 17074 0 0 6 6 3
4437.32/600.49 c 522 1460 47075 16805 0 0 6 6 3
4438.12/600.55 c 523 1533 48843 17328 0 0 6 6 3
4455.67/602.80 c 520 1481 45628 16984 0 0 6 6 3
4470.05/604.58 c 523 1492 46236 17162 0 0 6 6 3
4477.24/605.48 c 524 1539 49064 17416 0 0 6 6 3
4478.83/605.69 c 523 1466 47298 16893 0 0 6 6 3
4499.58/608.23 c 521 1487 45855 17072 0 0 6 6 3
4511.56/609.72 c 524 1498 46459 17250 0 0 6 6 3
4517.15/610.40 c 525 1545 49291 17504 0 0 6 6 3
4519.54/610.72 c 524 1472 47521 16981 0 0 6 6 3
4542.69/613.62 c 522 1493 46082 17160 0 0 6 6 3
4552.28/614.87 c 525 1504 46682 17338 0 0 6 6 3
4556.26/615.34 c 526 1551 49512 17592 0 0 6 6 3
4561.06/615.91 c 525 1478 47742 17069 0 0 6 6 3
4585.87/619.03 c 523 1499 46309 17248 0 0 6 6 3
4592.99/620.00 c 526 1510 46905 17426 0 0 6 6 3
4595.38/620.24 c 527 1557 49739 17680 0 0 6 6 3
4601.84/621.10 c 526 1484 47963 17157 0 0 6 6 3
4628.86/624.43 c 524 1505 46536 17336 0 0 6 6 3
4634.52/625.12 c 527 1516 47128 17514 0 0 6 6 3
4634.52/625.16 c 528 1563 49960 17768 0 0 6 6 3
4644.02/626.34 c 527 1490 48186 17245 0 0 6 6 3
4659.20/628.20 c 771 1969 61980 21589 0 0 4 6 5
4671.98/629.82 c 525 1511 46763 17424 0 0 6 6 3
4674.44/630.11 c 529 1569 50187 17856 0 0 6 6 3
4675.16/630.26 c 528 1522 47351 17602 0 0 6 6 3
4681.62/631.02 c 771 2088 64177 22171 0 0 4 6 5
4684.75/631.43 c 528 1496 48409 17333 0 0 6 6 3
4690.41/632.14 c 771 2123 64186 22185 0 0 6 6 5
4713.55/635.02 c 530 1575 50408 17944 0 0 6 6 3
4715.07/635.21 c 526 1517 46990 17512 0 0 6 6 3
4716.67/635.40 c 529 1528 47574 17690 0 0 6 6 3
4726.24/636.65 c 529 1502 48630 17421 0 0 6 6 3
4752.58/639.96 c 531 1581 50635 18032 0 0 6 6 3
4757.37/640.57 c 530 1534 47797 17778 0 0 6 6 3
4758.17/640.60 c 527 1523 47217 17600 0 0 6 6 3
4767.75/641.81 c 530 1508 48851 17509 0 0 6 6 3
4792.50/644.90 c 532 1587 50856 18120 0 0 6 6 3
4798.88/645.72 c 531 1540 48020 17866 0 0 6 6 3
4800.48/645.99 c 528 1529 47444 17688 0 0 6 6 3
4809.33/647.05 c 531 1514 49074 17597 0 0 6 6 3
4831.61/649.85 c 533 1593 51083 18208 0 0 6 6 3
4839.60/650.85 c 532 1546 48243 17954 0 0 6 6 3
4844.38/651.42 c 529 1535 47671 17776 0 0 6 6 3
4850.05/652.18 c 532 1520 49297 17685 0 0 6 6 3
4870.74/654.76 c 534 1599 51304 18296 0 0 6 6 3
4880.32/655.97 c 533 1552 48466 18042 0 0 6 6 3
4887.50/656.81 c 530 1541 47898 17864 0 0 6 6 3
4891.49/657.38 c 533 1526 49518 17773 0 0 6 6 3
4910.65/659.72 c 535 1605 51531 18384 0 0 6 6 3
4921.90/661.12 c 534 1558 48689 18130 0 0 6 6 3
4930.61/662.21 c 531 1547 48125 17952 0 0 6 6 3
4933.00/662.56 c 534 1532 49739 17861 0 0 6 6 3
4949.76/664.63 c 536 1611 51752 18472 0 0 6 6 3
4955.35/665.32 c 771 2130 64803 22517 0 0 5 6 5
4962.54/666.25 c 535 1564 48916 18218 0 0 6 6 3
4972.92/667.59 c 532 1553 48352 18040 0 0 6 6 3
4974.52/667.76 c 535 1538 49960 17949 0 0 6 6 3
4988.88/669.56 c 537 1617 51979 18560 0 0 6 6 3
5003.26/671.39 c 536 1570 49137 18306 0 0 6 6 3
5016.04/672.94 c 536 1544 50183 18037 0 0 6 6 3
5016.90/673.01 c 533 1559 48579 18128 0 0 6 6 3
5028.00/674.47 c 538 1623 52200 18648 0 0 6 6 3
5044.77/676.57 c 537 1576 49358 18394 0 0 6 6 3
5057.63/678.18 c 537 1550 50404 18125 0 0 6 6 3
5059.15/678.39 c 534 1565 48806 18216 0 0 6 6 3
5067.12/679.37 c 539 1629 52427 18736 0 0 6 6 3
5085.48/681.68 c 538 1582 49585 18482 0 0 6 6 3
5099.84/683.44 c 538 1556 50627 18213 0 0 6 6 3
5103.04/683.81 c 535 1571 49033 18304 0 0 6 6 3
5107.02/684.30 c 540 1635 52648 18824 0 0 6 6 3
5126.98/686.83 c 539 1588 49812 18570 0 0 6 6 3
5141.36/688.61 c 539 1562 50852 18301 0 0 6 6 3
5145.41/689.19 c 536 1577 49260 18392 0 0 6 6 3
5146.13/689.23 c 541 1641 52875 18912 0 0 6 6 3
5167.70/691.96 c 540 1594 50033 18658 0 0 6 6 3
5182.86/693.87 c 540 1568 51077 18389 0 0 6 6 3
5185.33/694.14 c 542 1647 53096 19000 0 0 6 6 3
5189.25/694.61 c 537 1583 49487 18480 0 0 6 6 3
5209.28/697.14 c 541 1600 50254 18746 0 0 6 6 3
5224.44/699.07 c 543 1653 53323 19088 0 0 6 6 3
5225.25/699.12 c 541 1574 51298 18477 0 0 6 6 3
5231.55/699.99 c 538 1589 49714 18568 0 0 6 6 3
5249.91/702.27 c 542 1606 50481 18834 0 0 6 6 3
5266.67/704.35 c 542 1580 51521 18565 0 0 6 6 3
5275.46/705.41 c 539 1595 49941 18656 0 0 6 6 3
5291.41/707.44 c 543 1612 50708 18922 0 0 6 6 3
5308.18/709.52 c 543 1586 51746 18653 0 0 6 6 3
5318.57/710.83 c 540 1601 50168 18744 0 0 6 6 3
5360.94/716.13 c 541 1607 50395 18832 0 0 6 6 3
5403.17/721.45 c 542 1613 50622 18920 0 0 6 6 3
5446.27/726.84 c 543 1619 50849 19008 0 0 6 6 3
5755.21/765.53 c 947 2565 78760 27155 0 0 3 6 5
5762.39/766.42 c 947 2432 76687 26700 0 0 4 6 5
5780.75/768.75 c 947 2624 79654 27291 0 0 4 6 5
6088.87/807.39 c 947 2620 79670 27633 0 0 5 6 5
6932.67/913.02 c 1140 2946 92972 32143 0 0 4 6 5
6953.35/915.65 c 1140 3105 95360 32720 0 0 3 6 5
6994.07/920.73 c 1140 3174 96206 32899 0 0 4 6 5
7218.39/948.81 c 1140 3112 95134 33015 0 0 4 6 5
7987.18/1045.14 c 1000 2930 92230 32305 2 0 3 6 5
8147.55/1065.29 c 1024 2996 94348 33022 6 0 6 6 5
8187.45/1070.23 c 1025 3002 94596 33113 6 0 6 6 3
8187.45/1070.24 c 1000 2807 87975 32123 0 0 4 6 5
8224.99/1074.96 c 1026 3008 94823 33198 6 0 6 6 3
8243.34/1077.25 c 1352 3504 110577 38258 0 0 4 6 5
8255.32/1078.71 c 1352 3689 113078 38771 0 0 4 6 5
8263.29/1079.78 c 1027 3014 95063 33289 6 0 6 6 3
8301.60/1084.56 c 1028 3020 95290 33374 6 0 6 6 3
8308.00/1085.36 c 1352 3773 113882 38991 0 0 6 6 5
8327.15/1087.76 c 1000 2812 91353 32646 4 0 4 6 5
8336.73/1088.94 c 1029 3026 95508 33457 6 0 6 6 3
8355.87/1091.33 c 1024 2871 90055 32824 6 0 6 6 5
8373.44/1093.53 c 1030 3032 95728 33541 6 0 6 6 3
8393.47/1096.09 c 1025 2877 90278 32908 6 0 6 6 3
8412.57/1098.46 c 1031 3038 95976 33632 6 0 6 6 3
8430.92/1100.73 c 1026 2883 90501 32992 6 0 6 6 3
8451.66/1103.31 c 1032 3044 96201 33717 6 0 6 6 3
8470.03/1105.64 c 1027 2889 90728 33077 6 0 6 6 3
8490.06/1108.14 c 1033 3050 96449 33808 6 0 6 6 3
8497.24/1109.01 c 1024 2877 93417 33347 6 0 6 6 5
8508.34/1110.43 c 1028 2895 90953 33161 6 0 6 6 3
8509.14/1110.52 c 1000 2891 90322 32723 6 0 4 6 5
8528.30/1112.99 c 1034 3056 96668 33893 6 0 6 6 3
8533.89/1113.66 c 1025 2883 93639 33430 6 0 6 6 3
8548.26/1115.44 c 1029 2901 91178 33246 6 0 6 6 3
8561.10/1117.04 c 1352 3705 113416 39215 0 0 5 6 5
8565.02/1117.55 c 1035 3062 96888 33977 6 0 6 6 3
8570.61/1118.24 c 1026 2889 93861 33513 6 0 6 6 3
8585.05/1120.09 c 1030 2907 91401 33330 6 0 6 6 3
8604.14/1122.40 c 1036 3068 97136 34068 6 0 6 6 3
8605.73/1122.69 c 1027 2895 94079 33596 6 0 6 6 3
8624.10/1124.99 c 1031 2913 91628 33415 6 0 6 6 3
8641.74/1127.18 c 1028 2901 94301 33679 6 0 6 6 3
8642.45/1127.25 c 1037 3074 97355 34153 6 0 6 6 3
8663.21/1129.81 c 1032 2919 91853 33499 6 0 6 6 3
8677.57/1131.64 c 1029 2907 94519 33762 6 0 6 6 3
8679.17/1131.87 c 1038 3080 97575 34237 6 0 6 6 3
8683.95/1132.44 c 1024 2956 92354 33420 6 0 6 6 5
8703.90/1135.00 c 1033 2925 92080 33584 6 0 6 6 3
8713.56/1136.15 c 1030 2913 94741 33845 6 0 6 6 3
8718.27/1136.71 c 1039 3086 97823 34328 6 0 6 6 3
8722.26/1137.22 c 1025 2962 92579 33504 6 0 6 6 3
8744.68/1140.11 c 1034 2931 92305 33668 6 0 6 6 3
8750.20/1140.78 c 1031 2919 94959 33928 6 0 6 6 3
8756.58/1141.58 c 1040 3092 98042 34413 6 0 6 6 3
8763.77/1142.49 c 1026 2968 92827 33595 6 0 6 6 3
8786.12/1145.24 c 1035 2937 92532 33753 6 0 6 6 3
8786.92/1145.37 c 1032 2925 95179 34011 6 0 6 6 3
8793.39/1146.18 c 1041 3098 98262 34497 6 0 6 6 3
8803.69/1147.48 c 1027 2974 93050 33679 6 0 6 6 3
8822.85/1149.84 c 1033 2931 95397 34094 6 0 6 6 3
8824.51/1150.03 c 1036 2943 92757 33837 6 0 6 6 3
8832.49/1151.03 c 1042 3104 98510 34588 6 0 6 6 3
8844.40/1152.50 c 1028 2980 93290 33769 6 0 6 6 3
8858.77/1154.33 c 1034 2937 95619 34177 6 0 6 6 3
8863.56/1155.00 c 1037 2949 92984 33922 6 0 6 6 3
8870.75/1155.87 c 1043 3110 98729 34673 6 0 6 6 3
8883.52/1157.45 c 1029 2986 93515 33853 6 0 6 6 3
8895.49/1158.94 c 1035 2943 95837 34260 6 0 6 6 3
8901.88/1159.70 c 1038 2955 93209 34006 6 0 6 6 3
8907.47/1160.48 c 1044 3116 98949 34757 6 0 6 6 3
8925.83/1162.73 c 1030 2992 93763 33944 6 0 6 6 3
8932.21/1163.54 c 1036 2949 96057 34343 6 0 6 6 3
8941.00/1164.62 c 1039 2961 93434 34091 6 0 6 6 3
8946.59/1165.30 c 1045 3122 99197 34848 6 0 6 6 3
8965.75/1167.71 c 1031 2998 93982 34028 6 0 6 6 3
8968.21/1168.05 c 1037 2955 96275 34426 6 0 6 6 3
8978.51/1169.30 c 1040 2967 93657 34175 6 0 6 6 3
8984.98/1170.15 c 1046 3128 99416 34933 6 0 6 6 3
9004.06/1172.54 c 1038 2961 96497 34509 6 0 6 6 3
9005.66/1172.76 c 1032 3004 94226 34118 6 0 6 6 3
9017.62/1174.20 c 1041 2973 93884 34260 6 0 6 6 3
9021.62/1174.76 c 1047 3134 99636 35017 6 0 6 6 3
9040.85/1177.16 c 1039 2967 96715 34592 6 0 6 6 3
9044.77/1177.69 c 1033 3010 94445 34202 6 0 6 6 3
9054.35/1178.89 c 1042 2979 94109 34344 6 0 6 6 3
9060.73/1179.60 c 1048 3140 99884 35108 6 0 6 6 3
9077.50/1181.77 c 1040 2973 96935 34675 6 0 6 6 3
9086.28/1182.84 c 1034 3016 94691 34292 6 0 6 6 3
9094.27/1183.80 c 1043 2985 94334 34429 6 0 6 6 3
9099.05/1184.46 c 1049 3146 100103 35193 6 0 6 6 3
9113.42/1186.29 c 1041 2979 97153 34758 6 0 6 6 3
9126.20/1187.87 c 1035 3022 94910 34376 6 0 6 6 3
9130.99/1188.46 c 1044 2991 94557 34513 6 0 6 6 3
9135.89/1189.08 c 1050 3152 100323 35277 6 0 6 6 3
9150.15/1190.80 c 1042 2985 97375 34841 6 0 6 6 3
9166.11/1192.88 c 1036 3028 95154 34466 6 0 6 6 3
9170.11/1193.36 c 1045 2997 94784 34598 6 0 6 6 3
9174.90/1193.92 c 1051 3158 100571 35368 6 0 6 6 3
9186.87/1195.42 c 1043 2991 97593 34924 6 0 6 6 3
9206.03/1197.84 c 1037 3034 95379 34550 6 0 6 6 3
9208.50/1198.18 c 1046 3003 95009 34682 6 0 6 6 3
9213.21/1198.79 c 1052 3164 100790 35453 6 0 6 6 3
9223.66/1200.06 c 1044 2997 97813 35007 6 0 6 6 3
9246.74/1202.99 c 1038 3040 95619 34640 6 0 6 6 3
9248.41/1203.17 c 1047 3009 95234 34767 6 0 6 6 3
9249.93/1203.39 c 1053 3170 101010 35537 6 0 6 6 3
9259.51/1204.53 c 1045 3003 98031 35090 6 0 6 6 3
9285.85/1207.85 c 1048 3015 95457 34851 6 0 6 6 3
9287.52/1208.01 c 1039 3046 95844 34724 6 0 6 6 3
9289.04/1208.23 c 1054 3176 101258 35628 6 0 6 6 3
9295.49/1209.03 c 1046 3009 98253 35173 6 0 6 6 3
9324.96/1212.76 c 1049 3021 95684 34936 6 0 6 6 3
9327.43/1213.07 c 1055 3182 101477 35713 6 0 6 6 3
9328.95/1213.28 c 1040 3052 96092 34815 6 0 6 6 3
9332.15/1213.67 c 1047 3015 98471 35256 6 0 6 6 3
9363.28/1217.54 c 1050 3027 95909 35020 6 0 6 6 3
9364.08/1217.66 c 1056 3188 101697 35797 6 0 6 6 3
9368.86/1218.25 c 1048 3021 98691 35339 6 0 6 6 3
9368.86/1218.26 c 1041 3058 96317 34899 6 0 6 6 3
9402.38/1222.49 c 1057 3194 101945 35888 6 0 6 6 3
9403.18/1222.55 c 1051 3033 96136 35105 6 0 6 6 3
9404.78/1222.75 c 1049 3027 98909 35422 6 0 6 6 3
9410.36/1223.45 c 1042 3064 96557 34989 6 0 6 6 3
9440.69/1227.21 c 1052 3039 96361 35189 6 0 6 6 3
9440.69/1227.25 c 1050 3033 99131 35505 6 0 6 6 3
9441.49/1227.33 c 1058 3200 102164 35973 6 0 6 6 3
9451.08/1228.50 c 1043 3070 96782 35073 6 0 6 6 3
9476.62/1231.80 c 1059 3206 102378 36056 6 0 6 6 3
9477.42/1231.88 c 1051 3039 99349 35588 6 0 6 6 3
9479.89/1232.12 c 1053 3045 96588 35274 6 0 6 6 3
9492.59/1233.77 c 1044 3076 97030 35164 6 0 6 6 3
9513.33/1236.36 c 1060 3212 102598 36140 6 0 6 6 3
9514.13/1236.48 c 1052 3045 99569 35671 6 0 6 6 3
9518.13/1236.91 c 1054 3051 96811 35358 6 0 6 6 3
9532.50/1238.71 c 1045 3082 97253 35248 6 0 6 6 3
9550.93/1241.02 c 1053 3051 99787 35754 6 0 6 6 3
9552.45/1241.23 c 1061 3218 102846 36231 6 0 6 6 3
9556.45/1241.70 c 1055 3057 97034 35442 6 0 6 6 3
9572.41/1243.72 c 1046 3088 97493 35338 6 0 6 6 3
9585.98/1245.48 c 1054 3057 100009 35837 6 0 6 6 3
9590.84/1246.09 c 1062 3224 103065 36316 6 0 6 6 3
9593.97/1246.41 c 1056 3063 97259 35526 6 0 6 6 3
9610.73/1248.60 c 1047 3094 97718 35422 6 0 6 6 3
9623.57/1250.11 c 1055 3063 100227 35920 6 0 6 6 3
9626.69/1250.54 c 1063 3230 103279 36399 6 0 6 6 3
9632.28/1251.21 c 1057 3069 97484 35610 6 0 6 6 3
9649.84/1253.45 c 1585 4106 129985 44977 6 0 4 6 5
9652.25/1253.76 c 1048 3100 97964 35512 6 0 6 6 3
9660.23/1254.73 c 1056 3069 100447 36003 6 0 6 6 3
9662.78/1255.10 c 1064 3236 103499 36483 6 0 6 6 3
9669.81/1255.98 c 1058 3075 97707 35694 6 0 6 6 3
9688.16/1258.24 c 1585 4314 132491 45487 6 0 3 6 5
9692.95/1258.80 c 1049 3106 98189 35596 6 0 6 6 3
9696.14/1259.23 c 1057 3075 100669 36086 6 0 6 6 3
9701.73/1259.95 c 1065 3242 103747 36574 6 0 6 6 3
9708.92/1260.89 c 1059 3081 97932 35779 6 0 6 6 3
9732.07/1263.74 c 1058 3081 100885 36169 6 0 6 6 3
9734.53/1264.06 c 1050 3112 98437 35687 6 0 6 6 3
9739.25/1264.65 c 1585 4437 134642 45860 6 0 3 6 5
9740.85/1264.84 c 1066 3248 103966 36659 6 0 6 6 3
9747.23/1265.61 c 1060 3087 98155 35863 6 0 6 6 3
9768.77/1268.37 c 1059 3087 101105 36252 6 0 6 6 3
9773.56/1268.96 c 1051 3118 98660 35771 6 0 6 6 3
9775.95/1269.28 c 1067 3254 104180 36742 6 0 6 6 3
9784.73/1270.31 c 1061 3093 98380 35947 6 0 6 6 3
9805.49/1272.99 c 1060 3093 101327 36335 6 0 6 6 3
9812.68/1273.87 c 1068 3260 104400 36826 6 0 6 6 3
9813.48/1273.93 c 1052 3124 98900 35861 6 0 6 6 3
9822.32/1275.10 c 1062 3099 98605 36031 6 0 6 6 3
9843.01/1277.61 c 1061 3099 101541 36418 6 0 6 6 3
9848.59/1278.39 c 1069 3266 104627 36911 6 0 6 6 3
9852.59/1278.85 c 1053 3130 99125 35945 6 0 6 6 3
9860.57/1279.89 c 1063 3105 98828 36115 6 0 6 6 3
9882.92/1282.61 c 1062 3105 101768 36503 6 0 6 6 3
9884.51/1282.86 c 1070 3272 104843 36994 6 0 6 6 3
9893.30/1283.98 c 1054 3136 99371 36035 6 0 6 6 3
9899.68/1284.79 c 1064 3111 99053 36200 6 0 6 6 3
9918.93/1287.17 c 1063 3111 101990 36586 6 0 6 6 3
9922.05/1287.54 c 1071 3278 105068 37079 6 0 6 6 3
9933.22/1289.00 c 1055 3142 99596 36119 6 0 6 6 3
9938.00/1289.51 c 1065 3117 99276 36284 6 0 6 6 3
9954.77/1291.65 c 1064 3117 102208 36669 6 0 6 6 3
9959.55/1292.24 c 1072 3284 105287 37164 6 0 6 6 3
9974.80/1294.19 c 1066 3123 99501 36368 6 0 6 6 3
9975.52/1294.23 c 1056 3148 99844 36210 6 0 6 6 3
9991.48/1296.27 c 1065 3123 102430 36752 6 0 6 6 3
9996.29/1296.86 c 1073 3290 105514 37249 6 0 6 6 3
10009.06/1298.48 c 1585 4304 132329 45720 6 0 4 6 5
10013.05/1299.00 c 1067 3129 99726 36452 6 0 6 6 3
10014.71/1299.16 c 1057 3154 100067 36294 6 0 6 6 3
10028.20/1300.84 c 1066 3129 102648 36835 6 0 6 6 3
10031.39/1301.30 c 1074 3296 105732 37332 6 0 6 6 3
10052.15/1303.81 c 1068 3135 99949 36536 6 0 6 6 3
10054.62/1304.13 c 1058 3160 100307 36384 6 0 6 6 3
10065.73/1305.57 c 1067 3135 102868 36918 6 0 6 6 3
10068.93/1306.00 c 1075 3302 105957 37417 6 0 6 6 3
10091.26/1308.72 c 1069 3141 100174 36621 6 0 6 6 3
10093.73/1309.05 c 1059 3166 100532 36468 6 0 6 6 3
10107.22/1310.71 c 1076 3308 106178 37502 6 0 6 6 3
10108.01/1310.83 c 1068 3141 103095 37003 6 0 6 6 3
10128.76/1313.44 c 1070 3147 100397 36705 6 0 6 6 3
10134.48/1314.18 c 1060 3172 100778 36558 6 0 6 6 3
10142.41/1315.12 c 1077 3314 106396 37585 6 0 6 6 3
10146.33/1315.65 c 1069 3147 103317 37086 6 0 6 6 3
10166.36/1318.12 c 1071 3153 100622 36789 6 0 6 6 3
10175.06/1319.21 c 1061 3178 101003 36642 6 0 6 6 3
10180.65/1319.91 c 1078 3320 106623 37670 6 0 6 6 3
10183.84/1320.38 c 1070 3153 103539 37169 6 0 6 6 3
10204.60/1322.94 c 1072 3159 100847 36873 6 0 6 6 3
10216.57/1324.44 c 1062 3184 101251 36733 6 0 6 6 3
10216.57/1324.47 c 1079 3326 106850 37755 6 0 6 6 3
10226.15/1325.64 c 1071 3159 103766 37254 6 0 6 6 3
10242.93/1327.73 c 1073 3165 101070 36957 6 0 6 6 3
10252.50/1328.96 c 1080 3332 107066 37838 6 0 6 6 3
10255.69/1329.36 c 1063 3190 101474 36817 6 0 6 6 3
10265.27/1330.54 c 1072 3165 103982 37337 6 0 6 6 3
10282.04/1332.64 c 1074 3171 101295 37042 6 0 6 6 3
10290.82/1333.72 c 1081 3338 107291 37923 6 0 6 6 3
10295.61/1334.32 c 1064 3196 101714 36907 6 0 6 6 3
10307.59/1335.82 c 1073 3171 104201 37422 6 0 6 6 3
10319.56/1337.39 c 1075 3177 101518 37126 6 0 6 6 3
10328.34/1338.41 c 1082 3344 107518 38008 6 0 6 6 3
10334.72/1339.24 c 1065 3202 101939 36991 6 0 6 6 3
10347.49/1340.80 c 1074 3177 104421 37505 6 0 6 6 3
10357.14/1342.09 c 1076 3183 101743 37210 6 0 6 6 3
10365.12/1343.11 c 1083 3350 107739 38093 6 0 6 6 3
10375.44/1344.36 c 1066 3208 102185 37081 6 0 6 6 3
10385.02/1345.54 c 1075 3183 104643 37588 6 0 6 6 3
10395.41/1346.89 c 1077 3189 101968 37294 6 0 6 6 3
10400.99/1347.54 c 1084 3356 107957 38176 6 0 6 6 3
10416.15/1349.40 c 1067 3214 102410 37165 6 0 6 6 3
10423.33/1350.37 c 1076 3189 104861 37671 6 0 6 6 3
10433.71/1351.69 c 1078 3195 102191 37378 6 0 6 6 3
10438.50/1352.29 c 1085 3362 108184 38261 6 0 6 6 3
10457.66/1354.69 c 1068 3220 102658 37256 6 0 6 6 3
10462.45/1355.30 c 1077 3195 105075 37754 6 0 6 6 3
10472.82/1356.55 c 1079 3201 102416 37463 6 0 6 6 3
10475.22/1356.83 c 1086 3368 108411 38346 6 0 6 6 3
10497.56/1359.66 c 1069 3226 102881 37340 6 0 6 6 3
10505.55/1360.62 c 1078 3201 105302 37839 6 0 6 6 3
10510.34/1361.25 c 1080 3207 102639 37547 6 0 6 6 3
10511.14/1361.31 c 1087 3374 108627 38429 6 0 6 6 3
10537.48/1364.69 c 1070 3232 103121 37430 6 0 6 6 3
10543.87/1365.47 c 1079 3207 105524 37922 6 0 6 6 3
10547.87/1365.92 c 1081 3213 102864 37631 6 0 6 6 3
10577.39/1369.64 c 1071 3238 103346 37514 6 0 6 6 3
10586.24/1370.71 c 1082 3219 103089 37715 6 0 6 6 3
10586.24/1370.76 c 1080 3213 105751 38007 6 0 6 6 3
10618.91/1374.83 c 1072 3244 103592 37604 6 0 6 6 3
10623.70/1375.46 c 1083 3225 103312 37799 6 0 6 6 3
10626.09/1375.74 c 1081 3219 105971 38090 6 0 6 6 3
10658.82/1379.86 c 1073 3250 103817 37688 6 0 6 6 3
10662.81/1380.33 c 1084 3231 103537 37884 6 0 6 6 3
10665.21/1380.65 c 1082 3225 106193 38173 6 0 6 6 3
10700.40/1385.05 c 1085 3237 103760 37968 6 0 6 6 3
10701.21/1385.18 c 1074 3256 104065 37779 6 0 6 6 3
10703.53/1385.50 c 1083 3231 106413 38256 6 0 6 6 3
10737.86/1389.71 c 1086 3243 103985 38052 6 0 6 6 3
10741.12/1390.16 c 1075 3262 104288 37863 6 0 6 6 3
10745.04/1390.68 c 1084 3237 106640 38341 6 0 6 6 3
10775.37/1394.47 c 1087 3249 104210 38136 6 0 6 6 3
10781.75/1395.20 c 1076 3268 104528 37953 6 0 6 6 3
10784.15/1395.56 c 1085 3243 106860 38424 6 0 6 6 3
10820.94/1400.15 c 1077 3274 104753 38037 6 0 6 6 3
10821.66/1400.24 c 1086 3249 107078 38507 6 0 6 6 3
10858.38/1404.89 c 1087 3255 107292 38590 6 0 6 6 3
10861.57/1405.29 c 1078 3280 104999 38127 6 0 6 6 3
10902.28/1410.32 c 1079 3286 105224 38211 6 0 6 6 3
10943.78/1415.56 c 1080 3292 105472 38302 6 0 6 6 3
10982.91/1420.48 c 1081 3298 105695 38386 6 0 6 6 3
11022.82/1425.46 c 1082 3304 105935 38476 6 0 6 6 3
11062.69/1430.40 c 1083 3310 106160 38560 6 0 6 6 3
11103.41/1435.52 c 1084 3316 106406 38650 6 0 6 6 3
11130.54/1438.92 c 1841 4744 150432 51979 6 0 4 6 5
11143.32/1440.54 c 1085 3322 106631 38734 6 0 6 6 3
11185.61/1445.80 c 1086 3328 106879 38825 6 0 6 6 3
11225.52/1450.82 c 1087 3334 107111 38910 8 0 6 6 3
11231.91/1451.65 c 1841 5010 153918 52731 6 0 4 6 5
11488.96/1483.85 c 1841 5189 157368 53572 8 0 3 6 5
11758.77/1517.65 c 1841 4981 155231 53885 8 0 3 6 5
12086.86/1558.78 c 2000 5150 163408 56524 6 0 4 6 5
12220.17/1575.40 c 2000 5457 167704 57380 8 0 4 6 5
12499.55/1610.48 c 2000 5640 171414 58318 12 0 3 6 5
12705.48/1636.26 c 2000 5417 168729 58537 8 0 3 6 5
12803.67/1648.59 c 2122 5461 173183 59978 10 0 4 6 5
12965.72/1668.81 c 2122 5798 177804 60935 10 0 3 6 5
13277.05/1707.89 c 2122 5985 182529 62103 16 0 3 6 5
13532.47/1739.82 c 2122 5764 179505 62395 14 0 3 6 5
13897.19/1785.91 c [pFactory][Group N°0] concurent mode: thread 4 has won with the task 0.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°0 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°1 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°2 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°3 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°4 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°5 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°6 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Thread N°7 is joined.
13897.19/1785.91 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°4)
13897.19/1785.91 s UNSATISFIABLE
13897.19/1785.91 c restarts : 127
13897.19/1785.91 c conflicts : 1570 (0 /sec)
13897.19/1785.91 c decisions : 4605 (0 /sec)
13897.19/1785.91 c propagations : 52626 (4 /sec)
13897.19/1785.91 c root propagations : 0
13897.19/1785.91 c filter calls : 146145 (11 /sec)
13897.19/1785.91 c useless filter calls : 107759 (73 %)
13897.19/1785.91 c Memory used : 6428.14 MB
13897.19/1785.91 c CPU time : 13880.6 s
13897.19/1785.91 c real time : 1785.91 s
13897.19/1785.91
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 (14266 MiB free)
memory of node 1: 16384 MiB (15038 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4398047-1568606213/watcher-4398047-1568606213 -o /tmp/evaluation-result-4398047-1568606213/solver-4398047-1568606213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398047-1568606213.xml
running on 8 cores: 0,2,4,6,1,3,5,7
Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 20160 seconds
Enforcing CPUTime limit (hard limit, will send SIGXCPU): 20190 seconds
Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2520 seconds
Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 31744000 KiB
Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 31795200 KiB
Linux 3.10.0-514.16.1.el7.x86_64
Starting watchdog thread
solver pid=20674, runsolver pid=20671
Current StackSize limit: 8192 KiB
[startup+0.100149 s]*
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=30007640/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=28728 memory=4856 CPUtime=0.1 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 1478 0 0 0 10 0 0 0 20 0 1 0 436871901 29417472 1214 33554432000 4194304 6211092 140734777431584 140734777428120 5818587 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 7182 1214 814 493 0 487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28728 KiB
Current children cumulated memory: 4856 KiB
[startup+0.209365 s]*
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=30006524/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=29904 memory=5960 CPUtime=0.21 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 1856 0 0 0 21 0 0 0 20 0 1 0 436871901 30621696 1490 33554432000 4194304 6211092 140734777431584 140734777428120 5743366 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 7476 1490 814 493 0 781 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29904 KiB
Current children cumulated memory: 5960 KiB
[startup+0.308896 s]*
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=30005780/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=31332 memory=7112 CPUtime=0.3 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 2305 0 0 0 30 0 0 0 20 0 1 0 436871901 32083968 1778 33554432000 4194304 6211092 140734777431584 140734777428120 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 7833 1778 814 493 0 1138 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31332 KiB
Current children cumulated memory: 7112 KiB
[startup+0.700272 s]
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=30003324/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=35508 memory=11000 CPUtime=0.69 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 3675 0 0 0 68 1 0 0 20 0 1 0 436871901 36360192 2750 33554432000 4194304 6211092 140734777431584 140734777428120 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 8877 2750 814 493 0 2182 0
Current children cumulated CPU time: 0.69 s
Current children cumulated vsize: 35508 KiB
Current children cumulated memory: 11000 KiB
[startup+1.50028 s]
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=29996788/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=43992 memory=19528 CPUtime=1.49 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 5556 0 0 0 148 1 0 0 20 0 1 0 436871901 45047808 4882 33554432000 4194304 6211092 140734777431584 140734777428856 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 10998 4882 814 493 0 4303 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19528 KiB
[startup+3.10941 s]
/proc/loadavg: 5.63 7.75 8.07 2/195 20675
/proc/meminfo: memFree=29976472/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=61224 memory=36700 CPUtime=3.09 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 8872 0 0 0 308 1 0 0 20 0 1 0 436871901 62693376 9175 33554432000 4194304 6211092 140734777431584 140734777428856 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 15306 9175 814 493 0 8611 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61224 KiB
Current children cumulated memory: 36700 KiB
[startup+6.30027 s]
/proc/loadavg: 5.34 7.65 8.04 2/195 20677
/proc/meminfo: memFree=29944580/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=95424 memory=68992 CPUtime=6.29 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 15241 0 0 0 626 3 0 0 20 0 1 0 436871901 97714176 17248 33554432000 4194304 6211092 140734777431584 140734777428856 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 23856 17248 814 493 0 17161 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 95424 KiB
Current children cumulated memory: 68992 KiB
[startup+12.7003 s]
/proc/loadavg: 4.99 7.54 8.00 2/195 20677
/proc/meminfo: memFree=29884168/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=164088 memory=135352 CPUtime=12.68 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 27147 0 0 0 1261 7 0 0 20 0 1 0 436871901 168026112 33838 33554432000 4194304 6211092 140734777431584 140734777426872 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 41022 33838 814 493 0 34327 0
Current children cumulated CPU time: 12.68 s
Current children cumulated vsize: 164088 KiB
Current children cumulated memory: 135352 KiB
[startup+25.5003 s]
/proc/loadavg: 4.11 7.22 7.89 2/195 20678
/proc/meminfo: memFree=29750540/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=301152 memory=268596 CPUtime=25.49 cores=0-7
/proc/20674/stat : 20674 (cosoco) R 20671 20674 19091 0 -1 4202496 50126 0 0 0 2537 12 0 0 20 0 1 0 436871901 308379648 67149 33554432000 4194304 6211092 140734777431584 140734777428856 139654881860581 0 0 4096 8405026 0 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 75288 67149 814 493 0 68593 0
Current children cumulated CPU time: 25.49 s
Current children cumulated vsize: 301152 KiB
Current children cumulated memory: 268596 KiB
[startup+51.1108 s]
/proc/loadavg: 3.05 6.72 7.71 9/203 20688
/proc/meminfo: memFree=24157968/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6090904 memory=5845012 CPUtime=52.81 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 778348 0 0 0 5140 141 0 0 20 0 9 0 436871901 6237085696 1461253 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1522726 1461253 845 493 0 1516031 0
[pid=20674/tid=20681] ppid=20671 vsize=6090904 memory=294873079 CPUtime=0.24 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 1 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654874758656 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6090904 memory=45048 CPUtime=0.23 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 23 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654866365952 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6090904 memory=5845012 CPUtime=0.24 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 1 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654857973248 5039007 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6090904 memory=3661824 CPUtime=0.24 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654849580544 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6090904 memory=2940828 CPUtime=0.23 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 23 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654841187936 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6090904 memory=5484516 CPUtime=0.24 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654832795136 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6090904 memory=3628 CPUtime=0.24 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654824402432 5038944 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6090904 memory=992 CPUtime=0.24 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 0 0 0 0 24 0 0 0 20 0 9 0 436876987 6237085696 1461253 33554432000 4194304 6211092 140734777431584 139654816009728 5038992 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 52.81 s
Current children cumulated vsize: 6090904 KiB
Current children cumulated memory: 5845012 KiB
[startup+102.301 s]
/proc/loadavg: 5.95 6.95 7.73 9/203 20691
/proc/meminfo: memFree=24156092/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845216 CPUtime=461.4 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 4431258 0 0 0 45271 869 0 0 20 0 9 0 436871901 6773956608 1461304 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461304 854 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=33 CPUtime=51.41 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 387404 0 0 0 5012 129 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654874758520 5038990 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=5845216 CPUtime=51.13 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 318615 0 0 0 5092 21 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654866365816 5039178 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=0 CPUtime=51.42 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 375227 0 0 0 5001 141 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654857973112 5039193 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=45988 CPUtime=50.89 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 656563 0 0 0 5044 45 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654849580128 5039199 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=0 CPUtime=51.4 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 754186 0 0 0 4938 202 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654841187424 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=0 CPUtime=51.41 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 343231 0 0 0 5119 22 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654832795000 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=2037 CPUtime=51.4 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 407169 0 0 0 5113 27 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654824402016 5038982 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=0 CPUtime=51.4 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 410517 0 0 0 5003 137 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654816009312 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 461.4 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845216 KiB
[startup+162.301 s]
/proc/loadavg: 7.25 7.14 7.75 9/204 20696
/proc/meminfo: memFree=24157516/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845216 CPUtime=940.34 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 6131496 0 0 0 93075 959 0 0 20 0 9 0 436871901 6773956608 1461304 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461304 854 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.4 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 548368 0 0 0 10999 141 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654874758240 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=5845216 CPUtime=110.76 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 471880 0 0 0 11047 29 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654866365536 5039104 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.38 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 525669 0 0 0 10987 151 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654857972832 5038990 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=5845216 CPUtime=110.73 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 961142 0 0 0 11014 59 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654849580128 5039199 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.37 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 1093331 0 0 0 10918 219 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654841187424 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.16 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 522013 0 0 0 11085 31 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654832794720 5038992 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.21 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 622450 0 0 0 11084 37 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654824402016 5039189 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=5845216 CPUtime=111.39 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 608297 0 0 0 10991 148 0 0 20 0 9 0 436876987 6773956608 1461304 33554432000 4194304 6211092 140734777431584 139654816009312 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 940.34 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845216 KiB
[startup+222.301 s]
/proc/loadavg: 7.92 7.36 7.79 9/204 20700
################
# More data... #
################
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=5845236 CPUtime=1664.48 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 1982055 0 0 0 166304 144 0 0 20 0 9 0 436876987 6773956608 1461309 33554432000 4194304 6211092 140734777431584 139654824402016 5039132 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=5845236 CPUtime=1670.97 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 1857451 0 0 0 166889 208 0 0 20 0 9 0 436876987 6773956608 1461309 33554432000 4194304 6211092 140734777431584 139654816009312 5039199 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13392.8 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845236 KiB
[startup+1782.3 s]
/proc/loadavg: 8.48 8.32 8.25 9/203 20849
/proc/meminfo: memFree=24157132/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845244 CPUtime=13871.7 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552678 0 0 0 1385510 1662 0 0 20 0 9 0 436871901 6773956608 1461311 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461311 855 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=12036 CPUtime=1727.43 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 2333493 0 0 0 172449 294 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654874758240 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=5845244 CPUtime=1724.39 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 2083724 0 0 0 172327 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654866365536 5038999 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=5845240 CPUtime=1730.87 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 172842 245 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654857972832 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=5845240 CPUtime=1728.42 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 2085823 0 0 0 172713 129 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654849580128 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=5845240 CPUtime=1730.7 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 1977378 0 0 0 172801 269 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654841187424 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=23280 CPUtime=1723.58 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936251 0 0 0 172246 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654832794720 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=5845240 CPUtime=1724.44 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 2010829 0 0 0 172297 147 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654824402016 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=5845240 CPUtime=1730.96 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 1882708 0 0 0 172887 209 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654816009312 5039323 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13871.7 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845244 KiB
[startup+1785.98 s]
# the end of solver process 20674 was just reported to runsolver
# cumulated CPU time of all completed processes: user=13880.6 s, system=16.6991 s
Solver just ended.
??? end of watcher thread
Dumping a history of the last processes samples
[startup+1782.4 s]
/proc/loadavg: 8.48 8.32 8.25 9/203 20849
/proc/meminfo: memFree=24157132/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845244 CPUtime=13872.5 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552682 0 0 0 1385590 1662 0 0 20 0 9 0 436871901 6773956608 1461311 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461311 855 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=3628 CPUtime=1727.53 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 2333493 0 0 0 172459 294 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654874758240 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=45088 CPUtime=1724.49 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 2083724 0 0 0 172337 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654866365536 5039118 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=23280 CPUtime=1730.97 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 172852 245 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654857972832 5039121 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=12036 CPUtime=1728.52 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 2085825 0 0 0 172723 129 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654849580128 5039104 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=3628 CPUtime=1730.8 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 1977380 0 0 0 172811 269 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654841187424 5039061 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=45088 CPUtime=1723.68 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936251 0 0 0 172256 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654832794720 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=1716 CPUtime=1724.54 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 2010829 0 0 0 172307 147 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654824402016 5039132 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=1156 CPUtime=1731.06 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 1882708 0 0 0 172897 209 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654816009312 5039038 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13872.5 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845244 KiB
[startup+1784 s]*
/proc/loadavg: 8.48 8.32 8.25 9/203 20849
/proc/meminfo: memFree=24157256/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845244 CPUtime=13885.4 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552844 0 0 0 1386874 1662 0 0 20 0 9 0 436871901 6773956608 1461311 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461311 855 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=6935054825532540783 CPUtime=1729.14 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 2333493 0 0 0 172620 294 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654874758240 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=4872558044660077418 CPUtime=1726.07 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 2083781 0 0 0 172495 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654866365536 5038964 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=1156 CPUtime=1732.58 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 173013 245 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654857972832 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=944 CPUtime=1730.13 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 2085831 0 0 0 172884 129 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654849580128 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=1552 CPUtime=1732.41 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 1977391 0 0 0 172972 269 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654841187424 5039014 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=916 CPUtime=1725.29 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936322 0 0 0 172417 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654832794720 5039104 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=1444 CPUtime=1726.15 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 2010846 0 0 0 172468 147 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654824402016 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=1984 CPUtime=1732.67 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 1882708 0 0 0 173058 209 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654816009312 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13885.4 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845244 KiB
[startup+1784.8 s]
/proc/loadavg: 8.48 8.32 8.25 9/203 20849
/proc/meminfo: memFree=24157256/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845244 CPUtime=13891.7 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552846 0 0 0 1387507 1662 0 0 20 0 9 0 436871901 6773956608 1461311 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461311 855 493 0 1647103 0
[pid=20674/tid=20681] ppid=20671 vsize=6615192 memory=5845244 CPUtime=1729.93 cores=0-7
/proc/20674/task/20681/stat : 20681 (cosoco) R 20671 20674 19091 0 -1 4202560 2333493 0 0 0 172699 294 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654874758240 5039038 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20682] ppid=20671 vsize=6615192 memory=1808 CPUtime=1726.86 cores=0-7
/proc/20674/task/20682/stat : 20682 (cosoco) R 20671 20674 19091 0 -1 4202560 2083781 0 0 0 172574 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654866365536 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=920 CPUtime=1733.37 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 173092 245 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654857972832 5039199 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20684] ppid=20671 vsize=6615192 memory=3628 CPUtime=1730.92 cores=0-7
/proc/20674/task/20684/stat : 20684 (cosoco) R 20671 20674 19091 0 -1 4202560 2085831 0 0 0 172963 129 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654849580128 5039132 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20685] ppid=20671 vsize=6615192 memory=45088 CPUtime=1733.2 cores=0-7
/proc/20674/task/20685/stat : 20685 (cosoco) R 20671 20674 19091 0 -1 4202560 1977393 0 0 0 173051 269 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654841187424 5039132 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=992 CPUtime=1726.08 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936322 0 0 0 172496 112 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654832794720 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20687] ppid=20671 vsize=6615192 memory=6935054825532540783 CPUtime=1726.94 cores=0-7
/proc/20674/task/20687/stat : 20687 (cosoco) R 20671 20674 19091 0 -1 4202560 2010846 0 0 0 172547 147 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654824402016 5039210 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20688] ppid=20671 vsize=6615192 memory=1552 CPUtime=1733.46 cores=0-7
/proc/20674/task/20688/stat : 20688 (cosoco) R 20671 20674 19091 0 -1 4202560 1882708 0 0 0 173137 209 0 0 20 0 9 0 436876987 6773956608 1461311 33554432000 4194304 6211092 140734777431584 139654816009312 5037823 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13891.7 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845244 KiB
[startup+1785.6 s]
/proc/loadavg: 8.52 8.33 8.26 9/203 20849
/proc/meminfo: memFree=24157256/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845248 CPUtime=13896.7 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552956 0 0 0 1388003 1662 0 0 20 0 3 0 436871901 6773956608 1461312 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461312 856 493 0 1647103 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=45088 CPUtime=1734.17 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 173172 245 0 0 20 0 3 0 436876987 6773956608 1461312 33554432000 4194304 6211092 140734777431584 139654857972832 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=2828 CPUtime=1726.88 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936323 0 0 0 172576 112 0 0 20 0 3 0 436876987 6773956608 1461312 33554432000 4194304 6211092 140734777431584 139654832794720 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13896.7 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845248 KiB
[startup+1785.8 s]
/proc/loadavg: 8.52 8.33 8.26 9/203 20849
/proc/meminfo: memFree=24157256/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6615192 memory=5845248 CPUtime=13897 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552956 0 0 0 1388043 1662 0 0 20 0 3 0 436871901 6773956608 1461312 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1653798 1461312 856 493 0 1647103 0
[pid=20674/tid=20683] ppid=20671 vsize=6615192 memory=1716 CPUtime=1734.37 cores=0-7
/proc/20674/task/20683/stat : 20683 (cosoco) R 20671 20674 19091 0 -1 4202560 2464126 0 0 0 173192 245 0 0 20 0 3 0 436876987 6773956608 1461312 33554432000 4194304 6211092 140734777431584 139654857972832 5038964 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
[pid=20674/tid=20686] ppid=20671 vsize=6615192 memory=2044 CPUtime=1727.08 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936323 0 0 0 172596 112 0 0 20 0 3 0 436876987 6773956608 1461312 33554432000 4194304 6211092 140734777431584 139654832794720 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13897 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5845248 KiB
[startup+1785.9 s]
/proc/loadavg: 8.52 8.33 8.26 9/203 20849
/proc/meminfo: memFree=24157256/32770624 swapFree=66917044/67108860
[pid=20674] ppid=20671 vsize=6606996 memory=5845340 CPUtime=13897.2 cores=0-7
/proc/20674/stat : 20674 (cosoco) S 20671 20674 19091 0 -1 1077944320 17552957 0 0 0 1388057 1662 0 0 20 0 2 0 436871901 6765563904 1461335 33554432000 4194304 6211092 140734777431584 140734777429840 139654897901303 0 0 4096 8405026 18446744073709551615 0 0 17 5 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
/proc/20674/statm: 1651749 1461335 867 493 0 1645054 0
[pid=20674/tid=20686] ppid=20671 vsize=6606996 memory=5845248 CPUtime=1727.18 cores=0-7
/proc/20674/task/20686/stat : 20686 (cosoco) R 20671 20674 19091 0 -1 4202560 1936323 0 0 0 172606 112 0 0 20 0 2 0 436876987 6765563904 1461335 33554432000 4194304 6211092 140734777431584 139654832794720 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 9400320 140734777435153 140734777435245 140734777435245 140734777438158 0
Current children cumulated CPU time: 13897.2 s
Current children cumulated vsize: 6606996 KiB
Current children cumulated memory: 5845340 KiB
Child status: 0
Real time (s): 1785.98
CPU time (s): 13897.3
CPU user time (s): 13880.6
CPU system time (s): 16.6991
CPU usage (%): 778.131
Max. virtual memory (cumulated for all children) (KiB): 6615192
Max. memory (cumulated for all children) (KiB): 5845340
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 13880.6
system time used= 16.6991
maximum resident set size= 5845356
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17552987
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= 299
involuntary context switches= 128504
# summary of solver processes directly reported to runsolver:
# pid: 20674
# total CPU time (s): 13897.3
# total CPU user time (s): 13880.6
# total CPU system time (s): 16.6991
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 8.85135 second user time and 17.2852 second system time
The end
Begin job on node134 at 2019-09-16 05:56:12
IDJOB=4398047
IDBENCH=134289
IDSOLVER=2851
FILE ID=node134/4398047-1568606213
RUNJOBID= node134-1568597901-19118
PBS_JOBID= 21703415
Free space on /tmp= 59508 MiB
SOLVER NAME= cosoco 2.O parallel
BENCH NAME= XCSP17/PigeonsPlus/PigeonsPlus-m1-s1/pigeonsPlus-08-08.xml
COMMAND LINE= cosoco -model -nbcores=NBCORE BENCHNAME
RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-4398047-1568606213/watcher-4398047-1568606213 -o /tmp/evaluation-result-4398047-1568606213/solver-4398047-1568606213 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node134-1568597901-19118 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4398047-1568606213.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a4344d82eae68729eeb0bbc0b13d3fa1
RANDOM SEED=639439694
node134.alineos.net Linux 3.10.0-514.16.1.el7.x86_64 #1 SMP Wed Apr 12 15:04:24 UTC 2017
/sys/devices/system/cpu/cpu0/cpufreq/scaling_governor:
performance
/proc/cpuinfo:
processor : 0
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 0
cpu cores : 4
apicid : 0
initial apicid : 0
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 1
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 0
cpu cores : 4
apicid : 16
initial apicid : 16
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 2
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 1
cpu cores : 4
apicid : 2
initial apicid : 2
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 3
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 1
cpu cores : 4
apicid : 18
initial apicid : 18
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 4
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 2
cpu cores : 4
apicid : 4
initial apicid : 4
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 5
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 2
cpu cores : 4
apicid : 20
initial apicid : 20
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 6
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 0
siblings : 4
core id : 3
cpu cores : 4
apicid : 6
initial apicid : 6
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5333.76
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
processor : 7
vendor_id : GenuineIntel
cpu family : 6
model : 26
model name : Intel(R) Xeon(R) CPU X5550 @ 2.67GHz
stepping : 5
microcode : 0x19
cpu MHz : 2668.000
cache size : 8192 KB
physical id : 1
siblings : 4
core id : 3
cpu cores : 4
apicid : 22
initial apicid : 22
fpu : yes
fpu_exception : yes
cpuid level : 11
wp : yes
flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 clflush dts acpi mmx fxsr sse sse2 ss ht tm pbe syscall nx rdtscp lm constant_tsc arch_perfmon pebs bts rep_good nopl xtopology nonstop_tsc aperfmperf pni dtes64 monitor ds_cpl vmx est tm2 ssse3 cx16 xtpr pdcm dca sse4_1 sse4_2 popcnt lahf_lm ida dtherm tpr_shadow vnmi flexpriority ept vpid
bogomips : 5332.55
clflush size : 64
cache_alignment : 64
address sizes : 40 bits physical, 48 bits virtual
power management:
/proc/meminfo:
MemTotal: 32770624 kB
MemFree: 30009340 kB
MemAvailable: 31785196 kB
Buffers: 205656 kB
Cached: 1844764 kB
SwapCached: 90384 kB
Active: 697224 kB
Inactive: 1446080 kB
Active(anon): 3204 kB
Inactive(anon): 138064 kB
Active(file): 694020 kB
Inactive(file): 1308016 kB
Unevictable: 108520 kB
Mlocked: 108520 kB
SwapTotal: 67108860 kB
SwapFree: 66917044 kB
Dirty: 98612 kB
Writeback: 256 kB
AnonPages: 159720 kB
Mapped: 46748 kB
Shmem: 39652 kB
Slab: 209692 kB
SReclaimable: 179308 kB
SUnreclaim: 30384 kB
KernelStack: 3424 kB
PageTables: 5284 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 506468 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 114688 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 118144 kB
DirectMap2M: 33427456 kB
Free space on /tmp at the end= 59504 MiB
End job on node134 at 2019-09-16 06:25:58