62.87/52.16 c root propagations : 0
62.87/52.16 c restarts enabled, print stats at every restarts
62.87/52.16 c
62.87/52.16 c
62.87/52.16 c
62.87/52.16 c This is cosoco 2.00 --
62.87/52.16 c
62.87/52.16 c command line: cosoco -model -nbcores=8 HOME/instance-4409307-1569829895.xml
62.87/52.16 c ========================================[ Problem Statistics ]===========================================
62.87/52.16 c |
62.87/52.16 c | Parse time : 49.14 s
62.87/52.16 c |
62.87/52.16 c | Variables: 72
62.87/52.16 c | Domain Sizes: 7..8
62.87/52.16 c |
62.87/52.16 c | Constraints: 44
62.87/52.16 c | Arity: 2..8 -- Binary: 36
62.87/52.16 c |
62.87/52.16 c | Types:
62.87/52.16 c | Extension: 44 (nb tuples: 14..5764802) -- (shared: 328)
62.87/52.16 c |
62.87/52.16 c =========================================================================================================
62.87/52.16 c Parallel mode: Portfolio
62.87/52.16 c [pFactory][Group N°0] created (threads:8).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:1).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:2).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:3).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:4).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:5).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:6).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:7).
62.87/52.16 c [pFactory][Group N°0] new task added (threads:8 - tasks:8).
62.87/52.16 c [pFactory][Group N°0] concurrent mode: enabled.
62.87/52.16 c [pFactory][Group N°0] computations in progress (threads:8 - tasks:8).
62.87/52.16 c [pFactory][Group N°0] task 7 launched on thread 5.
62.87/52.16 c [pFactory][Group N°0] task 6 launched on thread 2.
62.87/52.16 c [pFactory][Group N°0] task 5 launched on thread 0.
62.87/52.16 c [pFactory][Group N°0] task 4 launched on thread 1.
62.87/52.16 c [pFactory][Group N°0] task 3 launched on thread 6.
62.87/52.16 c [pFactory][Group N°0] task 2 launched on thread 7.
62.87/52.16 c [pFactory][Group N°0] task 1 launched on thread 4.
62.87/52.16 c [pFactory][Group N°0] task 0 launched on thread 3.
62.87/52.16 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
62.87/52.17 c root propagations : 0
62.87/52.17 c restarts enabled, print stats at every restarts
62.87/52.17 c
62.87/52.17 c
62.87/52.17 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
62.87/52.18 c root propagations : 0
62.87/52.18 c restarts enabled, print stats at every restarts
62.87/52.18 c
62.87/52.18 c
62.87/52.18 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
63.58/52.23 c root propagations : 0
63.58/52.23 c restarts enabled, print stats at every restarts
63.58/52.23 c
63.58/52.23 c
63.58/52.23 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
68.38/52.85 c root propagations : 0
68.38/52.85 c restarts enabled, print stats at every restarts
68.38/52.85 c
68.38/52.85 c
68.38/52.85 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
71.57/53.26 c root propagations : 0
71.57/53.26 c restarts enabled, print stats at every restarts
71.57/53.26 c
71.57/53.26 c
71.57/53.26 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
71.57/53.28 c root propagations : 0
71.57/53.28 c restarts enabled, print stats at every restarts
71.57/53.28 c
71.57/53.28 c
71.57/53.28 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
74.76/53.62 c root propagations : 0
74.76/53.62 c restarts enabled, print stats at every restarts
74.76/53.62 c
74.76/53.62 c
74.76/53.62 c conflicts decisions filterCalls propagations Root Prop. Nogoods min/max/avg depth
144.15/62.34 c 32 118 1905 1109 0 0 38 54 43
149.82/63.04 c 32 110 1921 1107 0 0 30 46 35
186.46/67.68 c 33 132 2124 1267 0 0 14 14 7
190.53/68.14 c 33 132 2149 1322 0 0 22 22 11
218.40/71.65 c 32 81 2536 923 0 0 8 11 9
249.53/75.58 c 32 80 2520 1002 0 0 8 11 9
257.50/76.52 c 33 88 2748 1067 0 0 7 7 3
291.03/80.77 c 33 86 2737 1090 0 0 6 6 3
402.01/94.62 c 64 211 4543 2254 0 0 6 7 6
406.79/95.23 c 64 211 4514 2199 0 0 6 7 6
443.52/99.88 c 65 217 4768 2342 0 0 6 6 3
450.70/100.79 c 65 217 4739 2287 0 0 6 6 3
465.87/102.67 c 64 171 5201 1975 0 0 7 7 6
485.10/105.02 c 66 223 4993 2430 0 0 6 6 3
494.60/106.26 c 66 223 4964 2375 0 0 6 6 3
501.05/107.02 c 101 272 8145 3037 0 0 8 32 16
506.57/107.76 c 65 177 5428 2063 0 0 6 6 3
512.18/108.41 c 64 171 5201 2004 0 0 5 6 5
525.80/110.16 c 67 229 5218 2518 0 0 6 6 3
532.98/111.02 c 101 254 8158 2995 0 0 7 11 8
537.70/111.66 c 67 229 5189 2463 0 0 6 6 3
546.48/112.72 c 66 183 5655 2151 0 0 6 6 3
552.07/113.49 c 65 177 5428 2092 0 0 6 6 3
586.40/117.77 c 67 189 5882 2239 0 0 6 6 3
593.59/118.62 c 66 183 5655 2180 0 0 6 6 3
609.55/120.64 c 101 265 7926 2951 0 0 20 31 23
618.33/121.79 c 101 246 7975 2936 0 0 7 10 7
633.50/123.65 c 67 189 5882 2268 0 0 6 6 3
906.53/157.83 c 128 383 10258 4270 0 0 5 6 5
936.85/161.67 c 128 383 10229 4215 0 0 5 6 5
939.25/161.98 c 128 338 10551 3873 0 0 5 6 5
948.10/163.02 c 129 389 10477 4358 0 0 6 6 3
980.04/167.03 c 129 344 10778 3961 0 0 6 6 3
980.84/167.14 c 129 389 10448 4303 0 0 6 6 3
989.55/168.27 c 130 395 10696 4446 0 0 6 6 3
995.99/169.05 c 128 341 10771 3958 0 0 4 6 5
1019.08/171.93 c 130 350 11005 4049 0 0 6 6 3
1024.66/172.69 c 130 395 10667 4391 0 0 6 6 3
1032.65/173.65 c 131 401 10915 4534 0 0 6 6 3
1037.44/174.22 c 129 347 10996 4046 0 0 6 6 3
1058.21/176.85 c 131 356 11232 4137 0 0 6 6 3
1069.37/178.29 c 131 401 10886 4479 0 0 6 6 3
1074.97/178.99 c 132 407 11134 4622 0 0 6 6 3
1078.95/179.42 c 130 353 11221 4134 0 0 6 6 3
1098.11/181.83 c 132 362 11459 4225 0 0 6 6 3
1114.88/183.91 c 132 407 11105 4567 0 0 6 6 3
1117.26/184.21 c 133 413 11353 4710 0 0 6 6 3
1121.26/184.70 c 131 359 11446 4222 0 0 6 6 3
1137.23/186.79 c 133 368 11686 4313 0 0 6 6 3
1146.01/187.89 c 211 558 16850 6146 0 0 3 6 5
1157.99/189.37 c 133 413 11324 4655 0 0 6 6 3
1158.79/189.44 c 134 419 11572 4798 0 0 6 6 3
1161.98/189.88 c 132 365 11671 4310 0 0 6 6 3
1177.14/191.72 c 134 374 11913 4401 0 0 6 6 3
1201.09/194.78 c 135 425 11791 4886 0 0 6 6 3
1201.89/194.88 c 134 419 11543 4743 0 0 6 6 3
1204.36/195.15 c 133 371 11896 4398 0 0 6 6 3
1216.24/196.67 c 135 380 12140 4489 0 0 6 6 3
1218.65/196.96 c 211 547 16921 6078 0 0 4 6 5
1245.78/200.34 c 134 377 12121 4486 0 0 6 6 3
1246.58/200.49 c 135 425 11762 4831 0 0 6 6 3
1288.09/205.60 c 135 383 12346 4574 0 0 6 6 3
1302.46/207.42 c 211 546 17257 6090 0 0 6 6 5
1352.76/213.77 c 211 569 17018 6146 0 0 5 6 5
1890.90/281.16 c 332 885 27235 9625 0 0 4 6 5
1898.07/282.04 c 256 675 21654 7770 0 0 4 6 5
1939.51/287.28 c 257 681 21873 7858 0 0 6 6 3
1981.04/292.41 c 258 687 22092 7946 0 0 6 6 3
2015.35/296.71 c 332 878 26788 9482 0 0 4 6 5
2020.95/297.47 c 259 693 22311 8034 0 0 6 6 3
2029.72/298.56 c 256 738 21440 8190 0 0 4 6 5
2032.92/298.97 c 332 856 26886 9460 0 0 4 6 5
2044.91/300.49 c 256 741 21550 8275 0 0 4 6 5
2061.66/302.55 c 260 699 22530 8122 0 0 6 6 3
2074.51/304.15 c 257 744 21665 8278 0 0 6 6 3
2078.43/304.69 c 256 712 22399 8122 0 0 3 6 5
2091.19/306.29 c 257 747 21775 8363 0 0 6 6 3
2102.38/307.65 c 261 705 22749 8210 0 0 6 6 3
2118.34/309.69 c 258 750 21890 8366 0 0 6 6 3
2120.73/309.90 c 257 718 22626 8210 0 0 6 6 3
2135.91/311.84 c 258 753 22000 8451 0 0 6 6 3
2143.09/312.74 c 262 711 22968 8298 0 0 6 6 3
2160.66/314.92 c 258 724 22853 8298 0 0 6 6 3
2163.04/315.24 c 259 756 22115 8454 0 0 6 6 3
2163.84/315.35 c 332 908 27508 9715 0 0 5 6 5
2180.62/317.45 c 259 759 22225 8539 0 0 6 6 3
2183.80/317.81 c 263 717 23193 8386 0 0 6 6 3
2201.43/320.03 c 259 730 23080 8386 0 0 6 6 3
2206.95/320.71 c 260 762 22342 8542 0 0 6 6 3
2224.53/322.93 c 264 723 23412 8474 0 0 6 6 3
2225.39/323.05 c 260 765 22450 8627 0 0 6 6 3
2241.36/325.02 c 260 736 23307 8474 0 0 6 6 3
2250.15/326.16 c 261 768 22567 8630 0 0 6 6 3
2264.44/327.97 c 265 729 23637 8562 0 0 6 6 3
2269.23/328.53 c 261 771 22677 8715 0 0 6 6 3
2282.06/330.12 c 261 742 23534 8562 0 0 6 6 3
2293.97/331.65 c 262 774 22794 8718 0 0 6 6 3
2305.21/333.07 c 266 735 23856 8650 0 0 6 6 3
2313.19/334.07 c 262 777 22902 8803 0 0 6 6 3
2321.18/335.09 c 262 748 23761 8650 0 0 6 6 3
2337.95/337.11 c 263 780 23019 8806 0 0 6 6 3
2345.93/338.17 c 267 741 24081 8738 0 0 6 6 3
2357.82/339.69 c 263 783 23129 8891 0 0 6 6 3
2362.61/340.21 c 263 754 23988 8738 0 0 6 6 3
2380.98/342.58 c 264 786 23246 8894 0 0 6 6 3
2387.36/343.31 c 268 747 24300 8826 0 0 6 6 3
2401.82/345.19 c 264 760 24215 8826 0 0 6 6 3
2403.34/345.33 c 264 789 23354 8979 0 0 6 6 3
2424.96/348.05 c 265 792 23471 8982 0 0 6 6 3
2428.10/348.40 c 269 753 24521 8914 0 0 6 6 3
2443.25/350.31 c 265 766 24442 8914 0 0 6 6 3
2446.45/350.73 c 265 795 23581 9067 0 0 6 6 3
2468.02/353.43 c 270 759 24738 9002 0 0 6 6 3
2468.80/353.53 c 266 798 23698 9070 0 0 6 6 3
2482.37/355.28 c 266 772 24669 9002 0 0 6 6 3
2489.63/356.16 c 266 801 23806 9155 0 0 6 6 3
2507.94/358.45 c 271 765 24963 9090 0 0 6 6 3
2512.78/359.03 c 267 804 23921 9158 0 0 6 6 3
2523.90/360.43 c 267 778 24896 9090 0 0 6 6 3
2533.47/361.64 c 267 807 24033 9243 0 0 6 6 3
2555.85/364.43 c 268 810 24142 9246 0 0 6 6 3
2563.83/365.42 c 268 784 25123 9178 0 0 6 6 3
2577.46/367.13 c 268 813 24258 9331 0 0 6 6 3
2598.94/369.81 c 269 816 24365 9334 0 0 6 6 3
2604.52/370.54 c 269 790 25350 9266 0 0 6 6 3
2620.50/372.53 c 269 819 24485 9419 0 0 6 6 3
2642.03/375.29 c 270 822 24592 9422 0 0 6 6 3
2644.43/375.56 c 270 796 25577 9354 0 0 6 6 3
2662.80/377.81 c 270 825 24708 9507 0 0 6 6 3
2685.94/380.70 c 271 802 25804 9442 0 0 6 6 3
2686.74/380.81 c 271 828 24815 9510 0 0 6 6 3
2705.18/383.19 c 271 831 24933 9595 0 0 6 6 3
2709.10/383.64 c 465 1253 38193 13461 0 0 3 6 5
2822.47/397.82 c 465 1194 37531 13145 0 0 4 6 5
2859.99/402.59 c 465 1252 38352 13319 0 0 4 6 5
3088.37/431.12 c 465 1282 38686 13615 0 0 6 6 5
3584.85/493.31 c 611 1647 50582 17606 0 0 3 6 5
3709.38/508.98 c 611 1574 49318 17173 0 0 4 6 5
3841.04/525.42 c 611 1666 50759 17557 0 0 6 6 5
3947.24/538.73 c 512 1400 44857 15925 0 0 4 6 5
3988.75/543.92 c 513 1406 45078 16013 0 0 6 6 3
4028.62/548.94 c 514 1412 45299 16101 0 0 6 6 3
4064.56/553.41 c 611 1687 51143 17858 0 0 5 6 5
4069.40/554.05 c 515 1418 45522 16189 0 0 6 6 3
4108.44/558.96 c 516 1424 45745 16277 0 0 6 6 3
4148.36/563.96 c 517 1430 45966 16365 0 0 6 6 3
4151.55/564.33 c 512 1426 43783 16194 0 0 4 6 5
4183.48/568.35 c 512 1467 46388 16360 0 0 4 6 5
4188.27/568.92 c 518 1436 46187 16453 0 0 6 6 3
4193.86/569.63 c 513 1432 44006 16282 0 0 6 6 3
4216.28/572.45 c 512 1433 43812 16280 0 0 4 6 5
4224.99/573.58 c 513 1473 46609 16448 0 0 6 6 3
4228.19/573.99 c 519 1442 46410 16541 0 0 6 6 3
4234.58/574.77 c 514 1438 44229 16370 0 0 6 6 3
4260.99/578.05 c 513 1439 44039 16368 0 0 6 6 3
4266.51/578.77 c 514 1479 46830 16536 0 0 6 6 3
4267.31/578.87 c 520 1448 46633 16629 0 0 6 6 3
4275.28/579.87 c 515 1444 44452 16458 0 0 6 6 3
4305.63/583.61 c 514 1445 44266 16456 0 0 6 6 3
4308.03/583.93 c 521 1454 46854 16717 0 0 6 6 3
4308.03/583.96 c 515 1485 47051 16624 0 0 6 6 3
4316.87/585.05 c 516 1450 44675 16546 0 0 6 6 3
4347.93/588.94 c 522 1460 47075 16805 0 0 6 6 3
4349.61/589.13 c 516 1491 47272 16712 0 0 6 6 3
4350.32/589.23 c 515 1451 44493 16544 0 0 6 6 3
4357.60/590.18 c 517 1456 44898 16634 0 0 6 6 3
4387.85/594.00 c 523 1466 47298 16893 0 0 6 6 3
4391.04/594.31 c 517 1497 47499 16800 0 0 6 6 3
4395.04/594.83 c 516 1457 44720 16632 0 0 6 6 3
4399.05/595.31 c 518 1462 45121 16722 0 0 6 6 3
4427.78/598.90 c 524 1472 47521 16981 0 0 6 6 3
4431.76/599.46 c 518 1503 47720 16888 0 0 6 6 3
4439.75/600.44 c 517 1463 44947 16720 0 0 6 6 3
4439.75/600.44 c 519 1468 45344 16810 0 0 6 6 3
4467.75/603.95 c 525 1478 47742 17069 0 0 6 6 3
4473.27/604.64 c 519 1509 47947 16976 0 0 6 6 3
4480.45/605.59 c 520 1474 45567 16898 0 0 6 6 3
4484.52/606.06 c 518 1469 45174 16808 0 0 6 6 3
4507.53/608.92 c 526 1484 47963 17157 0 0 6 6 3
4514.72/609.80 c 520 1515 48168 17064 0 0 6 6 3
4521.95/610.71 c 521 1480 45790 16986 0 0 6 6 3
4529.08/611.66 c 519 1475 45401 16896 0 0 6 6 3
4547.45/613.98 c 527 1490 48186 17245 0 0 6 6 3
4555.44/615.00 c 521 1521 48395 17152 0 0 6 6 3
4562.62/615.83 c 522 1486 46013 17074 0 0 6 6 3
4564.29/616.10 c 771 2088 64177 22171 0 0 4 6 5
4573.07/617.19 c 520 1481 45628 16984 0 0 6 6 3
4586.63/618.86 c 528 1496 48409 17333 0 0 6 6 3
4597.03/620.14 c 522 1527 48616 17240 0 0 6 6 3
4603.34/620.94 c 523 1492 46236 17162 0 0 6 6 3
4617.71/622.70 c 521 1487 45855 17072 0 0 6 6 3
4626.50/623.87 c 529 1502 48630 17421 0 0 6 6 3
4638.46/625.33 c 523 1533 48843 17328 0 0 6 6 3
4644.13/626.08 c 524 1498 46459 17250 0 0 6 6 3
4653.63/627.28 c 771 1969 61980 21589 0 0 4 6 5
4661.61/628.21 c 522 1493 46082 17160 0 0 6 6 3
4666.40/628.83 c 530 1508 48851 17509 0 0 6 6 3
4679.18/630.47 c 524 1539 49064 17416 0 0 6 6 3
4685.56/631.21 c 525 1504 46682 17338 0 0 6 6 3
4705.52/633.73 c 523 1499 46309 17248 0 0 6 6 3
4706.32/633.87 c 531 1514 49074 17597 0 0 6 6 3
4720.69/635.64 c 525 1545 49291 17504 0 0 6 6 3
4726.27/636.35 c 526 1510 46905 17426 0 0 6 6 3
4745.45/638.78 c 532 1520 49297 17685 0 0 6 6 3
4749.42/639.23 c 524 1505 46536 17336 0 0 6 6 3
4761.40/640.79 c 526 1551 49512 17592 0 0 6 6 3
4766.98/641.48 c 527 1516 47128 17514 0 0 6 6 3
4786.15/643.80 c 533 1526 49518 17773 0 0 6 6 3
4793.33/644.73 c 525 1511 46763 17424 0 0 6 6 3
4802.91/645.99 c 527 1557 49739 17680 0 0 6 6 3
4808.49/646.62 c 528 1522 47351 17602 0 0 6 6 3
4825.26/648.78 c 534 1532 49739 17861 0 0 6 6 3
4837.21/650.23 c 526 1517 46990 17512 0 0 6 6 3
4845.27/651.23 c 528 1563 49960 17768 0 0 6 6 3
4849.19/651.76 c 529 1528 47574 17690 0 0 6 6 3
4865.16/653.79 c 535 1538 49960 17949 0 0 6 6 3
4881.13/655.75 c 527 1523 47217 17600 0 0 6 6 3
4887.52/656.51 c 529 1569 50187 17856 0 0 6 6 3
4890.72/656.93 c 530 1534 47797 17778 0 0 6 6 3
4903.57/658.51 c 771 2123 64186 22185 0 0 6 6 5
4905.09/658.76 c 536 1544 50183 18037 0 0 6 6 3
4925.03/661.25 c 528 1529 47444 17688 0 0 6 6 3
4929.02/661.71 c 530 1575 50408 17944 0 0 6 6 3
4931.49/662.08 c 531 1540 48020 17866 0 0 6 6 3
4945.79/663.80 c 537 1550 50404 18125 0 0 6 6 3
4968.95/666.76 c 529 1535 47671 17776 0 0 6 6 3
4970.55/666.95 c 531 1581 50635 18032 0 0 6 6 3
4972.94/667.24 c 532 1546 48243 17954 0 0 6 6 3
4985.72/668.84 c 538 1556 50627 18213 0 0 6 6 3
5012.12/672.19 c 532 1587 50856 18120 0 0 6 6 3
5012.90/672.26 c 530 1541 47898 17864 0 0 6 6 3
5013.64/672.35 c 533 1552 48466 18042 0 0 6 6 3
5024.88/673.75 c 539 1562 50852 18301 0 0 6 6 3
5054.36/677.42 c 533 1593 51083 18208 0 0 6 6 3
5054.36/677.46 c 534 1558 48689 18130 0 0 6 6 3
5056.76/677.78 c 531 1547 48125 17952 0 0 6 6 3
5064.75/678.79 c 540 1568 51077 18389 0 0 6 6 3
5095.06/682.58 c 535 1564 48916 18218 0 0 6 6 3
5095.06/682.58 c 534 1599 51304 18296 0 0 6 6 3
5100.65/683.30 c 532 1553 48352 18040 0 0 6 6 3
5105.45/683.86 c 541 1574 51298 18477 0 0 6 6 3
5125.41/686.38 c 771 2130 64803 22517 0 0 5 6 5
5136.59/687.71 c 535 1605 51531 18384 0 0 6 6 3
5136.59/687.78 c 536 1570 49137 18306 0 0 6 6 3
5145.37/688.87 c 533 1559 48579 18128 0 0 6 6 3
5146.17/688.93 c 542 1580 51521 18565 0 0 6 6 3
5177.28/692.86 c 536 1611 51752 18472 0 0 6 6 3
5178.08/692.95 c 537 1576 49358 18394 0 0 6 6 3
5186.07/693.90 c 543 1586 51746 18653 0 0 6 6 3
5190.06/694.43 c 534 1565 48806 18216 0 0 6 6 3
5218.87/698.04 c 537 1617 51979 18560 0 0 6 6 3
5219.68/698.12 c 538 1582 49585 18482 0 0 6 6 3
5234.83/700.04 c 535 1571 49033 18304 0 0 6 6 3
5259.58/703.17 c 538 1623 52200 18648 0 0 6 6 3
5260.31/703.27 c 539 1588 49812 18570 0 0 6 6 3
5278.67/705.58 c 536 1577 49260 18392 0 0 6 6 3
5301.02/708.31 c 539 1629 52427 18736 0 0 6 6 3
5301.82/708.44 c 540 1594 50033 18658 0 0 6 6 3
5322.65/711.07 c 537 1583 49487 18480 0 0 6 6 3
5341.73/713.44 c 540 1635 52648 18824 0 0 6 6 3
5343.33/713.62 c 541 1600 50254 18746 0 0 6 6 3
5366.49/716.55 c 538 1589 49714 18568 0 0 6 6 3
5383.26/718.60 c 541 1641 52875 18912 0 0 6 6 3
5384.05/718.75 c 542 1606 50481 18834 0 0 6 6 3
5410.47/722.09 c 539 1595 49941 18656 0 0 6 6 3
5423.97/723.72 c 542 1647 53096 19000 0 0 6 6 3
5425.57/723.90 c 543 1612 50708 18922 0 0 6 6 3
5454.30/727.59 c 540 1601 50168 18744 0 0 6 6 3
5464.68/728.88 c 543 1653 53323 19088 0 0 6 6 3
5497.42/732.98 c 541 1607 50395 18832 0 0 6 6 3
5541.31/738.40 c 542 1613 50622 18920 0 0 6 6 3
5585.22/743.92 c 543 1619 50849 19008 0 0 6 6 3
5613.95/747.55 c 947 2565 78760 27155 0 0 3 6 5
5757.67/765.51 c 947 2432 76687 26700 0 0 4 6 5
6046.67/801.70 c 947 2624 79654 27291 0 0 4 6 5
6294.13/832.77 c 947 2620 79670 27633 0 0 5 6 5
6789.07/894.75 c 1140 3105 95360 32720 0 0 3 6 5
6928.77/912.23 c 1140 2946 92972 32143 0 0 4 6 5
7312.77/960.39 c 1140 3174 96206 32899 0 0 4 6 5
7464.44/979.37 c 1140 3112 95134 33015 0 0 4 6 5
8058.40/1053.76 c 1352 3689 113078 38771 0 0 4 6 5
8100.78/1059.04 c 1000 2812 91347 32646 2 0 4 6 5
8240.42/1076.52 c 1352 3504 110577 38258 0 0 4 6 5
8268.42/1080.03 c 1024 2877 93419 33349 6 0 6 6 5
8304.29/1084.56 c 1025 2883 93641 33432 6 0 6 6 3
8321.06/1086.66 c 1000 2807 87975 32123 0 0 4 6 5
8339.39/1088.99 c 1026 2889 93863 33515 6 0 6 6 3
8353.77/1090.73 c 1000 2930 92239 32306 4 0 3 6 5
8359.36/1091.45 c 1000 2811 88122 32180 6 0 0 0 0
8374.52/1093.35 c 1027 2895 94081 33598 6 0 6 6 3
8409.64/1097.76 c 1028 2901 94303 33681 6 0 6 6 3
8444.03/1102.09 c 1029 2907 94521 33764 6 0 6 6 3
8479.90/1106.51 c 1030 2913 94743 33847 6 0 6 6 3
8515.89/1111.01 c 1031 2919 94961 33930 6 0 6 6 3
8519.81/1111.56 c 1024 2996 94349 33021 6 0 6 6 5
8527.79/1112.56 c 1024 2876 90225 32879 6 0 6 6 5
8550.96/1115.50 c 1032 2925 95181 34013 6 0 6 6 3
8561.34/1116.74 c 1025 3002 94597 33112 6 0 6 6 3
8566.13/1117.33 c 1025 2882 90448 32963 6 0 6 6 3
8586.08/1119.89 c 1033 2931 95399 34096 6 0 6 6 3
8600.45/1121.68 c 1026 3008 94824 33197 6 0 6 6 3
8602.85/1121.97 c 1026 2888 90671 33047 6 0 6 6 3
8621.20/1124.29 c 1034 2937 95621 34179 6 0 6 6 3
8641.17/1126.71 c 1027 3014 95064 33288 6 0 6 6 3
8641.97/1126.87 c 1027 2894 90898 33132 6 0 6 6 3
8657.94/1128.80 c 1035 2943 95839 34262 6 0 6 6 3
8680.29/1131.66 c 1028 2900 91123 33216 6 0 6 6 3
8681.09/1131.71 c 1028 3020 95291 33373 6 0 6 6 3
8688.28/1132.67 c 1352 3773 113882 38991 0 0 6 6 5
8693.86/1133.30 c 1036 2949 96059 34345 6 0 6 6 3
8707.51/1135.03 c 1000 2891 90322 32723 6 0 4 6 5
8717.01/1136.27 c 1029 3026 95509 33456 6 0 6 6 3
8720.21/1136.66 c 1029 2906 91348 33301 6 0 6 6 3
8729.00/1137.72 c 1037 2955 96277 34428 6 0 6 6 3
8755.40/1141.10 c 1030 3032 95729 33540 6 0 6 6 3
8757.72/1141.33 c 1030 2912 91571 33385 6 0 6 6 3
8764.18/1142.14 c 1038 2961 96499 34511 6 0 6 6 3
8796.84/1146.24 c 1031 3038 95977 33631 6 0 6 6 3
8796.84/1146.26 c 1031 2918 91798 33470 6 0 6 6 3
8800.04/1146.67 c 1039 2967 96717 34594 6 0 6 6 3
8835.18/1151.06 c 1032 2924 92023 33554 6 0 6 6 3
8835.99/1151.19 c 1040 2973 96937 34677 6 0 6 6 3
8837.50/1151.33 c 1032 3044 96202 33716 6 0 6 6 3
8856.68/1153.72 c 1352 3705 113416 39215 0 0 5 6 5
8871.84/1155.61 c 1041 2979 97155 34760 6 0 6 6 3
8875.11/1156.07 c 1033 2930 92250 33639 6 0 6 6 3
8877.43/1156.36 c 1033 3050 96450 33807 6 0 6 6 3
8883.89/1157.14 c 1024 2956 92354 33420 6 0 6 6 5
8907.05/1160.01 c 1042 2985 97377 34843 6 0 6 6 3
8912.56/1160.73 c 1034 2936 92475 33723 6 0 6 6 3
8918.15/1161.45 c 1034 3056 96669 33892 6 0 6 6 3
8923.01/1162.05 c 1025 2962 92579 33504 6 0 6 6 3
8942.90/1164.53 c 1043 2991 97595 34926 6 0 6 6 3
8951.68/1165.65 c 1035 2942 92702 33808 6 0 6 6 3
8956.47/1166.21 c 1035 3062 96889 33976 6 0 6 6 3
8966.05/1167.44 c 1026 2968 92827 33595 6 0 6 6 3
8978.89/1169.03 c 1044 2997 97815 35009 6 0 6 6 3
8990.00/1170.42 c 1036 2948 92927 33892 6 0 6 6 3
8996.38/1171.28 c 1036 3068 97137 34067 6 0 6 6 3
9006.76/1172.52 c 1027 2974 93050 33679 6 0 6 6 3
9013.95/1173.43 c 1045 3003 98033 35092 6 0 6 6 3
9029.12/1175.39 c 1037 2954 93154 33977 6 0 6 6 3
9037.10/1176.35 c 1037 3074 97356 34152 6 0 6 6 3
9047.48/1177.66 c 1028 2980 93290 33769 6 0 6 6 3
9049.08/1177.82 c 1046 3009 98255 35175 6 0 6 6 3
9066.71/1180.04 c 1038 2960 93379 34061 6 0 6 6 3
9075.50/1181.16 c 1038 3080 97576 34236 6 0 6 6 3
9085.00/1182.34 c 1047 3015 98473 35258 6 0 6 6 3
9088.20/1182.71 c 1029 2986 93515 33853 6 0 6 6 3
9105.77/1184.94 c 1039 2966 93604 34146 6 0 6 6 3
9115.41/1186.18 c 1039 3086 97824 34327 6 0 6 6 3
9120.92/1186.88 c 1048 3021 98693 35341 6 0 6 6 3
9130.57/1188.10 c 1030 2992 93763 33944 6 0 6 6 3
9143.27/1189.60 c 1040 2972 93827 34230 6 0 6 6 3
9156.03/1191.24 c 1040 3092 98043 34412 6 0 6 6 3
9156.03/1191.25 c 1049 3027 98911 35424 6 0 6 6 3
9171.28/1193.18 c 1031 2998 93982 34028 6 0 6 6 3
9181.58/1194.48 c 1041 2978 94054 34315 6 0 6 6 3
9191.16/1195.67 c 1050 3033 99133 35507 6 0 6 6 3
9194.42/1196.04 c 1041 3098 98263 34496 6 0 6 6 3
9212.73/1198.31 c 1032 3004 94226 34118 6 0 6 6 3
9219.19/1199.15 c 1042 2984 94279 34399 6 0 6 6 3
9227.17/1200.19 c 1051 3039 99351 35590 6 0 6 6 3
9234.35/1201.09 c 1042 3104 98511 34587 6 0 6 6 3
9252.63/1203.32 c 1033 3010 94445 34202 6 0 6 6 3
9258.29/1204.07 c 1043 2990 94504 34484 6 0 6 6 3
9263.82/1204.70 c 1052 3045 99571 35673 6 0 6 6 3
9275.07/1206.15 c 1043 3110 98730 34672 6 0 6 6 3
9294.16/1208.60 c 1034 3016 94691 34292 6 0 6 6 3
9295.75/1208.76 c 1044 2996 94727 34568 6 0 6 6 3
9298.21/1209.10 c 1053 3051 99789 35756 6 0 6 6 3
9313.31/1210.95 c 1044 3116 98950 34756 6 0 6 6 3
9333.26/1213.49 c 1054 3057 100011 35839 6 0 6 6 3
9334.86/1213.68 c 1045 3002 94954 34653 6 0 6 6 3
9335.66/1213.75 c 1035 3022 94910 34376 6 0 6 6 3
9353.24/1215.97 c 1045 3122 99198 34847 6 0 6 6 3
9370.07/1218.02 c 1055 3063 100229 35922 6 0 6 6 3
9373.20/1218.49 c 1046 3008 95179 34737 6 0 6 6 3
9376.39/1218.85 c 1036 3028 95154 34466 6 0 6 6 3
9394.02/1221.04 c 1046 3128 99417 34932 6 0 6 6 3
9405.92/1222.51 c 1056 3069 100449 36005 6 0 6 6 3
9413.11/1223.49 c 1047 3014 95404 34822 6 0 6 6 3
9417.10/1223.91 c 1037 3034 95379 34550 6 0 6 6 3
9432.27/1225.85 c 1047 3134 99637 35016 6 0 6 6 3
9437.06/1226.49 c 1585 4314 132491 45487 6 0 3 6 5
9441.05/1226.93 c 1057 3075 100671 36088 6 0 6 6 3
9450.71/1228.15 c 1048 3020 95627 34906 6 0 6 6 3
9458.68/1229.18 c 1038 3040 95619 34640 6 0 6 6 3
9472.98/1230.90 c 1048 3140 99885 35107 6 0 6 6 3
9476.16/1231.34 c 1058 3081 100887 36171 6 0 6 6 3
9489.80/1233.08 c 1049 3026 95854 34991 6 0 6 6 3
9500.11/1234.34 c 1039 3046 95844 34724 6 0 6 6 3
9512.89/1235.90 c 1059 3087 101107 36254 6 0 6 6 3
9512.89/1235.99 c 1049 3146 100104 35192 6 0 6 6 3
9528.06/1237.88 c 1050 3032 96079 35075 6 0 6 6 3
9543.22/1239.72 c 1040 3052 96092 34815 6 0 6 6 3
9548.81/1240.45 c 1060 3093 101329 36337 6 0 6 6 3
9552.01/1240.81 c 1050 3152 100324 35276 6 0 6 6 3
9567.98/1242.86 c 1051 3038 96306 35160 6 0 6 6 3
9583.13/1244.79 c 1041 3058 96317 34899 6 0 6 6 3
9584.73/1244.96 c 1061 3099 101543 36420 6 0 6 6 3
9591.92/1245.83 c 1051 3158 100572 35367 6 0 6 6 3
9605.49/1247.56 c 1052 3044 96531 35244 6 0 6 6 3
9623.86/1249.85 c 1062 3105 101770 36505 6 0 6 6 3
9625.52/1250.04 c 1042 3064 96557 34989 6 0 6 6 3
9632.63/1250.90 c 1052 3164 100791 35452 6 0 6 6 3
9644.61/1252.48 c 1053 3050 96758 35329 6 0 6 6 3
9645.41/1252.58 c 1585 4106 129985 44977 6 0 4 6 5
9659.77/1254.32 c 1063 3111 101992 36588 6 0 6 6 3
9666.95/1255.21 c 1043 3070 96782 35073 6 0 6 6 3
9670.15/1255.70 c 1053 3170 101011 35536 6 0 6 6 3
9682.93/1257.28 c 1054 3056 96981 35413 6 0 6 6 3
9694.90/1258.72 c 1064 3117 102210 36671 6 0 6 6 3
9710.06/1260.61 c 1044 3076 97030 35164 6 0 6 6 3
9710.86/1260.76 c 1054 3176 101259 35627 6 0 6 6 3
9721.31/1262.07 c 1055 3062 97204 35497 6 0 6 6 3
9730.83/1263.21 c 1065 3123 102432 36754 6 0 6 6 3
9749.98/1265.64 c 1045 3082 97253 35248 6 0 6 6 3
9751.58/1265.83 c 1055 3182 101478 35712 6 0 6 6 3
9758.77/1266.76 c 1056 3068 97429 35581 6 0 6 6 3
9765.95/1267.61 c 1066 3129 102650 36837 6 0 6 6 3
9789.89/1270.64 c 1056 3188 101698 35796 6 0 6 6 3
9790.69/1270.75 c 1046 3088 97493 35338 6 0 6 6 3
9797.08/1271.56 c 1057 3074 97654 35665 6 0 6 6 3
9801.14/1272.03 c 1067 3135 102870 36920 6 0 6 6 3
9829.81/1275.67 c 1057 3194 101946 35887 6 0 6 6 3
9830.61/1275.74 c 1047 3094 97718 35422 6 0 6 6 3
9835.39/1276.34 c 1058 3080 97877 35749 6 0 6 6 3
9840.18/1276.92 c 1068 3141 103097 37005 6 0 6 6 3
9870.52/1280.76 c 1058 3200 102165 35972 6 0 6 6 3
9872.98/1281.02 c 1048 3100 97964 35512 6 0 6 6 3
9874.50/1281.28 c 1059 3086 98102 35834 6 0 6 6 3
9876.12/1281.46 c 1069 3147 103319 37088 6 0 6 6 3
9908.05/1285.42 c 1059 3206 102379 36055 6 0 6 6 3
9911.23/1285.84 c 1070 3153 103541 37171 6 0 6 6 3
9912.03/1286.01 c 1060 3092 98325 35918 6 0 6 6 3
9913.71/1286.14 c 1049 3106 98189 35596 6 0 6 6 3
9945.63/1290.18 c 1060 3212 102599 36139 6 0 6 6 3
9949.55/1290.68 c 1061 3098 98550 36002 6 0 6 6 3
9950.35/1290.77 c 1071 3159 103768 37256 6 0 6 6 3
9955.95/1291.48 c 1050 3112 98437 35687 6 0 6 6 3
9986.28/1295.24 c 1061 3218 102847 36230 6 0 6 6 3
9987.07/1295.34 c 1072 3165 103984 37339 6 0 6 6 3
9987.91/1295.48 c 1062 3104 98775 36086 6 0 6 6 3
9996.65/1296.51 c 1051 3118 98660 35771 6 0 6 6 3
10026.20/1300.29 c 1062 3224 103066 36315 6 0 6 6 3
10027.00/1300.30 c 1073 3171 104203 37424 6 0 6 6 3
10027.00/1300.30 c 1063 3110 98998 36170 6 0 6 6 3
10036.58/1301.58 c 1052 3124 98900 35861 6 0 6 6 3
10063.73/1304.95 c 1074 3177 104423 37507 6 0 6 6 3
10063.73/1304.96 c 1063 3230 103280 36398 6 0 6 6 3
10066.12/1305.23 c 1064 3116 99223 36255 6 0 6 6 3
10077.30/1306.60 c 1053 3130 99125 35945 6 0 6 6 3
10098.84/1309.37 c 1075 3183 104645 37590 6 0 6 6 3
10102.05/1309.76 c 1064 3236 103500 36482 6 0 6 6 3
10103.65/1309.96 c 1065 3122 99446 36339 6 0 6 6 3
10118.81/1311.84 c 1054 3136 99371 36035 6 0 6 6 3
10134.78/1313.80 c 1076 3189 104863 37673 6 0 6 6 3
10141.17/1314.66 c 1066 3128 99671 36423 6 0 6 6 3
10142.77/1314.80 c 1065 3242 103748 36573 6 0 6 6 3
10159.53/1316.97 c 1055 3142 99596 36119 6 0 6 6 3
10171.51/1318.40 c 1077 3195 105077 37756 6 0 6 6 3
10176.35/1319.08 c 1585 4437 134642 45860 6 0 3 6 5
10179.49/1319.46 c 1067 3134 99896 36507 6 0 6 6 3
10182.68/1319.87 c 1066 3248 103967 36658 6 0 6 6 3
10202.62/1322.31 c 1056 3148 99844 36210 6 0 6 6 3
10209.80/1323.29 c 1078 3201 105304 37841 6 0 6 6 3
10217.79/1324.25 c 1068 3140 100119 36591 6 0 6 6 3
10220.19/1324.51 c 1067 3254 104181 36741 6 0 6 6 3
10242.53/1327.33 c 1057 3154 100067 36294 6 0 6 6 3
10245.73/1327.78 c 1079 3207 105526 37924 6 0 6 6 3
10256.98/1329.15 c 1069 3146 100344 36676 6 0 6 6 3
10257.70/1329.28 c 1068 3260 104401 36825 6 0 6 6 3
10283.27/1332.42 c 1058 3160 100307 36384 6 0 6 6 3
10285.65/1332.72 c 1080 3213 105753 38009 6 0 6 6 3
10294.43/1333.88 c 1070 3152 100567 36760 6 0 6 6 3
10296.10/1334.03 c 1069 3266 104628 36910 6 0 6 6 3
10322.37/1337.35 c 1081 3219 105973 38092 6 0 6 6 3
10323.18/1337.45 c 1059 3166 100532 36468 6 0 6 6 3
10331.95/1338.55 c 1071 3158 100792 36844 6 0 6 6 3
10332.75/1338.67 c 1070 3272 104844 36993 6 0 6 6 3
10358.29/1341.89 c 1082 3225 106195 38175 6 0 6 6 3
10359.09/1341.94 c 1585 4304 132329 45720 6 0 4 6 5
10365.48/1342.71 c 1060 3172 100778 36558 6 0 6 6 3
10370.27/1343.36 c 1072 3164 101017 36928 6 0 6 6 3
10371.87/1343.55 c 1071 3278 105069 37078 6 0 6 6 3
10394.22/1346.35 c 1083 3231 106415 38258 6 0 6 6 3
10406.20/1347.85 c 1061 3178 101003 36642 6 0 6 6 3
10408.67/1348.14 c 1073 3170 101240 37012 6 0 6 6 3
10411.00/1348.49 c 1072 3284 105288 37163 6 0 6 6 3
10433.33/1351.28 c 1084 3237 106642 38343 6 0 6 6 3
10447.78/1353.03 c 1074 3176 101465 37097 6 0 6 6 3
10449.30/1353.20 c 1062 3184 101251 36733 6 0 6 6 3
10450.10/1353.33 c 1073 3290 105515 37248 6 0 6 6 3
10470.87/1355.93 c 1085 3243 106862 38426 6 0 6 6 3
10485.24/1357.77 c 1075 3182 101688 37181 6 0 6 6 3
10486.84/1357.94 c 1074 3296 105733 37331 6 0 6 6 3
10489.23/1358.22 c 1063 3190 101474 36817 6 0 6 6 3
10505.98/1360.34 c 1086 3249 107080 38509 6 0 6 6 3
10522.77/1362.46 c 1076 3188 101913 37265 6 0 6 6 3
10525.95/1362.84 c 1075 3302 105958 37416 6 0 6 6 3
10529.94/1363.30 c 1064 3196 101714 36907 6 0 6 6 3
10541.12/1364.76 c 1087 3255 107294 38592 6 0 6 6 3
10561.06/1367.25 c 1077 3194 102138 37349 6 0 6 6 3
10565.06/1367.74 c 1076 3308 106179 37501 6 0 6 6 3
10569.85/1368.33 c 1065 3202 101939 36991 6 0 6 6 3
10599.45/1372.03 c 1078 3200 102361 37433 6 0 6 6 3
10601.77/1372.36 c 1077 3314 106397 37584 6 0 6 6 3
10611.35/1373.58 c 1066 3208 102185 37081 6 0 6 6 3
10638.50/1376.92 c 1079 3206 102586 37518 6 0 6 6 3
10641.70/1377.37 c 1078 3320 106624 37669 6 0 6 6 3
10652.87/1378.71 c 1067 3214 102410 37165 6 0 6 6 3
10676.01/1381.65 c 1080 3212 102809 37602 6 0 6 6 3
10680.09/1382.13 c 1079 3326 106851 37754 6 0 6 6 3
10695.24/1384.06 c 1068 3220 102658 37256 6 0 6 6 3
10713.54/1386.34 c 1081 3218 103034 37686 6 0 6 6 3
10717.54/1386.82 c 1080 3332 107067 37837 6 0 6 6 3
10735.16/1389.09 c 1069 3226 102881 37340 6 0 6 6 3
10751.93/1391.14 c 1082 3224 103259 37770 6 0 6 6 3
10756.64/1391.77 c 1081 3338 107292 37922 6 0 6 6 3
10775.89/1394.18 c 1070 3232 103121 37430 6 0 6 6 3
10790.19/1395.93 c 1083 3230 103482 37854 6 0 6 6 3
10795.77/1396.67 c 1082 3344 107519 38007 6 0 6 6 3
10816.52/1399.23 c 1071 3238 103346 37514 6 0 6 6 3
10829.30/1400.82 c 1084 3236 103707 37939 6 0 6 6 3
10835.68/1401.60 c 1083 3350 107740 38092 6 0 6 6 3
10858.05/1404.48 c 1072 3244 103592 37604 6 0 6 6 3
10866.82/1405.53 c 1085 3242 103930 38023 6 0 6 6 3
10872.40/1406.22 c 1084 3356 107958 38175 6 0 6 6 3
10899.55/1409.61 c 1073 3250 103817 37688 6 0 6 6 3
10904.34/1410.26 c 1086 3248 104155 38107 6 0 6 6 3
10911.59/1411.18 c 1085 3362 108185 38260 6 0 6 6 3
10919.57/1412.15 c 1841 5010 153918 52731 6 0 4 6 5
10941.85/1414.94 c 1074 3256 104065 37779 6 0 6 6 3
10942.71/1415.03 c 1087 3254 104380 38191 6 0 6 6 3
10949.83/1415.94 c 1086 3368 108412 38345 6 0 6 6 3
10981.76/1419.97 c 1075 3262 104288 37863 6 0 6 6 3
10987.35/1420.65 c 1087 3374 108628 38428 6 0 6 6 3
11022.54/1425.05 c 1076 3268 104528 37953 6 0 6 6 3
11062.45/1430.07 c 1077 3274 104753 38037 6 0 6 6 3
11103.90/1435.29 c 1078 3280 104999 38127 6 0 6 6 3
11127.85/1438.26 c 1841 4744 150432 51979 6 0 4 6 5
11145.41/1440.44 c 1079 3286 105224 38211 6 0 6 6 3
11187.73/1445.77 c 1080 3292 105472 38302 6 0 6 6 3
11228.44/1450.81 c 1081 3298 105695 38386 6 0 6 6 3
11269.17/1455.90 c 1082 3304 105935 38476 6 0 6 6 3
11309.06/1460.92 c 1083 3310 106160 38560 6 0 6 6 3
11350.66/1466.17 c 1084 3316 106406 38650 6 0 6 6 3
11392.10/1471.32 c 1085 3322 106631 38734 6 0 6 6 3
11434.41/1476.67 c 1086 3328 106879 38825 6 0 6 6 3
11474.33/1481.68 c 1087 3334 107102 38909 6 0 6 6 3
11870.29/1531.20 c 2000 5452 167560 57347 6 0 4 6 5
11889.46/1533.61 c 1841 5189 157368 53572 8 0 3 6 5
11895.04/1534.38 c 2000 5455 167655 57389 8 0 0 0 0
12082.65/1557.90 c 2000 5150 163408 56524 6 0 4 6 5
12160.08/1567.51 c 1841 4981 155231 53885 8 0 3 6 5
12614.32/1624.44 c 2122 5788 177705 60867 8 0 3 6 5
12824.29/1650.79 c 2122 5479 173738 60010 8 0 5 6 5
12911.32/1661.64 c 2000 5639 171402 58304 16 0 3 6 5
13125.26/1688.41 c 2000 5417 168729 58537 8 0 3 6 5
13656.97/1755.01 c 2122 5966 182050 62050 16 0 3 6 5
13887.61/1783.94 c 2122 5746 179002 62313 16 0 2 6 5
14162.29/1818.76 c [pFactory][Group N°0] concurent mode: thread 6 has won with the task 3.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°0 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°1 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°2 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°3 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°4 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°5 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°6 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Thread N°7 is joined.
14162.29/1818.76 c [pFactory][Group N°0] Return Code of the winner:2 (Thread N°6)
14162.29/1818.76 s UNSATISFIABLE
14162.29/1818.76 c restarts : 128
14162.29/1818.76 c conflicts : 1587 (0 /sec)
14162.29/1818.76 c decisions : 4658 (0 /sec)
14162.29/1818.76 c propagations : 52974 (4 /sec)
14162.29/1818.76 c root propagations : 0
14162.29/1818.76 c filter calls : 147382 (10 /sec)
14162.29/1818.76 c useless filter calls : 108724 (73 %)
14162.29/1818.76 c Memory used : 6428.14 MB
14162.29/1818.76 c CPU time : 14143.2 s
14162.29/1818.76 c real time : 1818.76 s
14162.29/1818.76
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 (15196 MiB free)
memory of node 1: 16384 MiB (14944 MiB free)
node distances:
10 21
21 10
command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-4409307-1569829895/watcher-4409307-1569829895 -o /tmp/evaluation-result-4409307-1569829895/solver-4409307-1569829895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409307-1569829895.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=12124, runsolver pid=12121
Current StackSize limit: 8192 KiB
[startup+0.100108 s]*
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30863476/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=28728 memory=4852 CPUtime=0.1 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 1472 0 0 0 10 0 0 0 20 0 1 0 558927829 29417472 1213 33554432000 4194304 6211132 140727751076880 140727751073416 139944745868261 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 7182 1213 814 493 0 487 0
Current children cumulated CPU time: 0.1 s
Current children cumulated vsize: 28728 KiB
Current children cumulated memory: 4852 KiB
[startup+0.208903 s]*
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30862360/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=29904 memory=5956 CPUtime=0.21 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 1848 0 0 0 21 0 0 0 20 0 1 0 558927829 30621696 1489 33554432000 4194304 6211132 140727751076880 140727751073416 139944761930880 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 7476 1489 814 493 0 781 0
Current children cumulated CPU time: 0.21 s
Current children cumulated vsize: 29904 KiB
Current children cumulated memory: 5956 KiB
[startup+0.308579 s]*
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30861244/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=31332 memory=7108 CPUtime=0.3 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 2297 0 0 0 30 0 0 0 20 0 1 0 558927829 32083968 1777 33554432000 4194304 6211132 140727751076880 140727751073416 5743409 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 7833 1777 814 493 0 1138 0
Current children cumulated CPU time: 0.3 s
Current children cumulated vsize: 31332 KiB
Current children cumulated memory: 7108 KiB
[startup+0.700304 s]
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30858848/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=35508 memory=10996 CPUtime=0.68 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 3670 0 0 0 68 0 0 0 20 0 1 0 558927829 36360192 2749 33554432000 4194304 6211132 140727751076880 140727751074152 5818445 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 8877 2749 814 493 0 2182 0
Current children cumulated CPU time: 0.68 s
Current children cumulated vsize: 35508 KiB
Current children cumulated memory: 10996 KiB
[startup+1.50028 s]
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30853376/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=43992 memory=19668 CPUtime=1.49 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 5587 0 0 0 148 1 0 0 20 0 1 0 558927829 45047808 4917 33554432000 4194304 6211132 140727751076880 140727751074152 5689525 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 10998 4917 814 493 0 4303 0
Current children cumulated CPU time: 1.49 s
Current children cumulated vsize: 43992 KiB
Current children cumulated memory: 19668 KiB
[startup+3.10857 s]
/proc/loadavg: 0.94 3.66 5.82 2/191 12125
/proc/meminfo: memFree=30832256/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=61224 memory=36840 CPUtime=3.09 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 8899 0 0 0 308 1 0 0 20 0 1 0 558927829 62693376 9210 33554432000 4194304 6211132 140727751076880 140727751074152 5818433 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 15306 9210 814 493 0 8611 0
Current children cumulated CPU time: 3.09 s
Current children cumulated vsize: 61224 KiB
Current children cumulated memory: 36840 KiB
[startup+6.30028 s]
/proc/loadavg: 0.94 3.61 5.80 2/191 12125
/proc/meminfo: memFree=30800636/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=95292 memory=68864 CPUtime=6.29 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 15281 0 0 0 626 3 0 0 20 0 1 0 558927829 97579008 17216 33554432000 4194304 6211132 140727751076880 140727751074152 5817187 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 23823 17216 814 493 0 17128 0
Current children cumulated CPU time: 6.29 s
Current children cumulated vsize: 95292 KiB
Current children cumulated memory: 68864 KiB
[startup+12.7003 s]
/proc/loadavg: 0.95 3.57 5.77 2/191 12125
/proc/meminfo: memFree=30739300/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=163824 memory=135520 CPUtime=12.69 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 27205 0 0 0 1263 6 0 0 20 0 1 0 558927829 167755776 33880 33554432000 4194304 6211132 140727751076880 140727751074152 5528236 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 40956 33880 814 493 0 34261 0
Current children cumulated CPU time: 12.69 s
Current children cumulated vsize: 163824 KiB
Current children cumulated memory: 135520 KiB
[startup+25.5003 s]
/proc/loadavg: 0.96 3.44 5.70 2/191 12127
/proc/meminfo: memFree=30605008/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=300888 memory=266456 CPUtime=25.48 cores=0-7
/proc/12124/stat : 12124 (cosoco) R 12121 12124 11894 0 -1 4202496 50179 0 0 0 2536 12 0 0 20 0 1 0 558927829 308109312 66614 33554432000 4194304 6211132 140727751076880 140727751074152 5484878 0 0 4096 8405026 0 0 0 17 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 75222 66614 814 493 0 68527 0
Current children cumulated CPU time: 25.48 s
Current children cumulated vsize: 300888 KiB
Current children cumulated memory: 266456 KiB
[startup+51.1116 s]
/proc/loadavg: 0.97 3.25 5.57 9/199 12136
/proc/meminfo: memFree=25014044/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6090904 memory=5844156 CPUtime=54.89 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 750473 0 0 0 5349 140 0 0 20 0 9 0 558927829 6237085696 1461039 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1522726 1461039 854 493 0 1516031 0
[pid=12124/tid=12129] ppid=12121 vsize=6090904 memory=333328 CPUtime=0.54 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 1 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944738766336 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6090904 memory=10552 CPUtime=0.54 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944730373632 5039014 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6090904 memory=5162550690983 CPUtime=0.54 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944721980928 5038990 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6090904 memory=1485776 CPUtime=0.53 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 53 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944713588224 5039026 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6090904 memory=3524560 CPUtime=0.54 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944705195520 5039014 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6090904 memory=5844156 CPUtime=0.54 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 1 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944696802952 5039022 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6090904 memory=988 CPUtime=0.54 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 54 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944688410112 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6090904 memory=2016 CPUtime=0.53 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 0 0 0 0 53 0 0 0 20 0 9 0 558932885 6237085696 1461039 33554432000 4194304 6211132 140727751076880 139944680017408 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 54.89 s
Current children cumulated vsize: 6090904 KiB
Current children cumulated memory: 5844156 KiB
[startup+102.301 s]
/proc/loadavg: 4.95 3.98 5.70 9/199 12139
/proc/meminfo: memFree=25015100/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844360 CPUtime=463.47 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 4697955 0 0 0 45472 875 0 0 20 0 9 0 558927829 6773956608 1461090 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461090 863 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=5844360 CPUtime=51.3 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 378582 0 0 0 4992 138 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944738766200 5039026 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=5844360 CPUtime=51.7 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 398762 0 0 0 5147 23 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944730373496 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=0 CPUtime=51.7 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 402477 0 0 0 5028 142 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944721980792 5038990 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=140082975710273 CPUtime=51.69 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 722732 0 0 0 5129 40 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944713587808 5039121 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=140087398028927 CPUtime=51.57 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 759878 0 0 0 4965 192 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944705195104 5039199 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=988 CPUtime=51.72 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 371754 0 0 0 5149 23 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944696802680 5037865 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=4016 CPUtime=51.71 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 451603 0 0 0 5145 26 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944688409696 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=5844360 CPUtime=51.45 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 461696 0 0 0 5000 145 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944680016992 5039022 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 463.47 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844360 KiB
[startup+162.301 s]
/proc/loadavg: 6.88 4.71 5.84 9/199 12144
/proc/meminfo: memFree=25013552/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844360 CPUtime=942.44 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 5712738 0 0 0 93311 933 0 0 20 0 9 0 558927829 6773956608 1461090 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461090 863 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=5844360 CPUtime=110.5 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 494039 0 0 0 10905 145 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944738765920 5039026 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.7 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 513608 0 0 0 11141 29 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944730373216 5039038 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.7 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 551087 0 0 0 11018 152 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944721980512 5038999 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.65 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 853702 0 0 0 11118 47 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944713587808 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.46 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 882882 0 0 0 10946 200 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944705195104 5039038 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.66 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 519953 0 0 0 11136 30 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944696802400 5039026 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.71 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 579935 0 0 0 11138 33 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944688409696 5039217 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=5844360 CPUtime=111.42 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 567061 0 0 0 10990 152 0 0 20 0 9 0 558932885 6773956608 1461090 33554432000 4194304 6211132 140727751076880 139944680016992 5039121 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 942.44 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844360 KiB
[startup+222.301 s]
/proc/loadavg: 7.63 5.33 5.98 9/199 12147
################
# More data... #
################
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2436585 0 0 0 173712 159 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039132 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=5844372 CPUtime=1740.98 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1928305 0 0 0 173993 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=5844372 CPUtime=1740.26 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1800031 0 0 0 173798 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5038999 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 13952.3 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1804.8 s]
/proc/loadavg: 8.07 8.14 7.81 9/200 12292
/proc/meminfo: memFree=25012268/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844384 CPUtime=14054.5 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17063740 0 0 0 1403534 1914 0 0 20 0 9 0 558927829 6773956608 1461096 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461096 864 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=1220 CPUtime=1737.23 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130073 0 0 0 173294 429 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944738765920 5039199 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=10584 CPUtime=1753.54 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 1993713 0 0 0 175247 107 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944730373216 5039104 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=988 CPUtime=1752.55 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 2338447 0 0 0 175003 252 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944721980512 5039029 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1751.57 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 1696325 0 0 0 174940 217 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944713587808 5039014 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=988 CPUtime=1750.8 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 1985039 0 0 0 174809 271 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944705195104 5037823 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=1708 CPUtime=1751.32 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2436586 0 0 0 174973 159 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039038 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=988 CPUtime=1753.77 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1932953 0 0 0 175272 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5039132 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=4016 CPUtime=1753.04 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1800133 0 0 0 175076 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14054.5 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1811.2 s]
/proc/loadavg: 8.06 8.14 7.82 9/200 12292
/proc/meminfo: memFree=25012112/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844384 CPUtime=14105.6 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17067340 0 0 0 1408642 1915 0 0 20 0 9 0 558927829 6773956608 1461096 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461096 864 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1743.63 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130188 0 0 0 173934 429 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944738765920 5039038 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=6935054825532540783 CPUtime=1759.94 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 1993829 0 0 0 175887 107 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944730373216 5039132 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=6628 CPUtime=1758.95 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 2338481 0 0 0 175643 252 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944721980512 5039038 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=3624 CPUtime=1757.97 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 1696325 0 0 0 175580 217 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944713587808 5039026 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=10584 CPUtime=1757.2 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 1985049 0 0 0 175449 271 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944705195104 5039199 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=10584 CPUtime=1757.62 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2436589 0 0 0 175603 159 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039121 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=988 CPUtime=1760.17 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1933021 0 0 0 175912 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5039029 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=2016 CPUtime=1759.44 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1803387 0 0 0 175716 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5039199 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14105.6 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1814.4 s]
/proc/loadavg: 8.06 8.14 7.82 9/200 12292
/proc/meminfo: memFree=25012112/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844384 CPUtime=14131.1 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17067818 0 0 0 1411199 1915 0 0 20 0 9 0 558927829 6773956608 1461096 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461096 864 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=772 CPUtime=1746.83 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130205 0 0 0 174254 429 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944738765920 5038999 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=10596 CPUtime=1763.14 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 1993829 0 0 0 176207 107 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944730373216 5037884 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=1708 CPUtime=1762.16 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 2338539 0 0 0 175963 253 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944721980512 5039125 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=3624 CPUtime=1761.17 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 1696325 0 0 0 175900 217 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944713587808 5039199 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=10584 CPUtime=1760.41 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 1985421 0 0 0 175770 271 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944705195104 5038999 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=988 CPUtime=1760.77 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2436620 0 0 0 175918 159 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039178 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=6935054825532540783 CPUtime=1763.37 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1933021 0 0 0 176232 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5039014 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=10584 CPUtime=1762.64 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1803387 0 0 0 176036 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5039007 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14131.1 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1816 s]*
/proc/loadavg: 8.05 8.14 7.82 9/200 12292
/proc/meminfo: memFree=25012112/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844384 CPUtime=14144 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17068171 0 0 0 1412479 1918 0 0 20 0 9 0 558927829 6773956608 1461096 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461096 864 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=2900 CPUtime=1748.44 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130205 0 0 0 174415 429 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944738765920 5039026 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1764.75 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 1993845 0 0 0 176368 107 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944730373216 5038999 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=4872558044660077418 CPUtime=1763.77 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 2338561 0 0 0 176124 253 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944721980512 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1762.78 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 1696325 0 0 0 176061 217 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944713587808 5039199 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=2828 CPUtime=1762.01 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 1985635 0 0 0 175930 271 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944705195104 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=1048 CPUtime=1762.36 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2436704 0 0 0 176073 163 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039065 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=6272 CPUtime=1764.98 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1933038 0 0 0 176393 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5038999 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=3624 CPUtime=1764.25 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1803387 0 0 0 176197 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5039082 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14144 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1817.6 s]
/proc/loadavg: 8.05 8.14 7.82 9/200 12292
/proc/meminfo: memFree=25012112/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844384 CPUtime=14156.7 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17072388 0 0 0 1413749 1919 0 0 20 0 9 0 558927829 6773956608 1461096 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461096 864 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1750.03 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130205 0 0 0 174574 429 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944738765920 5037881 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12130] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1766.34 cores=0-7
/proc/12124/task/12130/stat : 12130 (cosoco) R 12121 12124 11894 0 -1 4202560 1993845 0 0 0 176527 107 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944730373216 5039178 0 0 4096 8405026 0 0 0 -1 4 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12131] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1765.36 cores=0-7
/proc/12124/task/12131/stat : 12131 (cosoco) R 12121 12124 11894 0 -1 4202560 2338561 0 0 0 176283 253 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944721980512 5039199 0 0 4096 8405026 0 0 0 -1 3 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12132] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1764.37 cores=0-7
/proc/12124/task/12132/stat : 12132 (cosoco) R 12121 12124 11894 0 -1 4202560 1696325 0 0 0 176220 217 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944713587808 5038999 0 0 4096 8405026 0 0 0 -1 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12133] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1763.6 cores=0-7
/proc/12124/task/12133/stat : 12133 (cosoco) R 12121 12124 11894 0 -1 4202560 1985641 0 0 0 176089 271 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944705195104 5039132 0 0 4096 8405026 0 0 0 -1 5 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1763.93 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2440915 0 0 0 176230 163 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944696802400 5039104 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12135] ppid=12121 vsize=6615192 memory=10584 CPUtime=1766.57 cores=0-7
/proc/12124/task/12135/stat : 12135 (cosoco) R 12121 12124 11894 0 -1 4202560 1933038 0 0 0 176552 105 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944688409696 5039038 0 0 4096 8405026 0 0 0 -1 6 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12136] ppid=12121 vsize=6615192 memory=988 CPUtime=1765.84 cores=0-7
/proc/12124/task/12136/stat : 12136 (cosoco) R 12121 12124 11894 0 -1 4202560 1803387 0 0 0 176356 228 0 0 20 0 9 0 558932885 6773956608 1461096 33554432000 4194304 6211132 140727751076880 139944680016992 5039104 0 0 4096 8405026 0 0 0 -1 1 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14156.7 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844384 KiB
[startup+1818.4 s]
/proc/loadavg: 8.05 8.14 7.82 9/201 12294
/proc/meminfo: memFree=25011948/32770624 swapFree=66997268/67108860
[pid=12124] ppid=12121 vsize=6615192 memory=5844388 CPUtime=14162 cores=0-7
/proc/12124/stat : 12124 (cosoco) S 12121 12124 11894 0 -1 1077944320 17072635 0 0 0 1414278 1919 0 0 20 0 3 0 558927829 6773956608 1461097 33554432000 4194304 6211132 140727751076880 140727751075136 139944761908983 0 0 4096 8405026 18446744073709551615 0 0 17 2 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
/proc/12124/statm: 1653798 1461097 865 493 0 1647103 0
[pid=12124/tid=12129] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1750.83 cores=0-7
/proc/12124/task/12129/stat : 12129 (cosoco) R 12121 12124 11894 0 -1 4202560 2130205 0 0 0 174654 429 0 0 20 0 3 0 558932885 6773956608 1461097 33554432000 4194304 6211132 140727751076880 139944738765920 5039178 0 0 4096 8405026 0 0 0 -1 0 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
[pid=12124/tid=12134] ppid=12121 vsize=6615192 memory=5844384 CPUtime=1764.71 cores=0-7
/proc/12124/task/12134/stat : 12134 (cosoco) R 12121 12124 11894 0 -1 4202560 2440917 0 0 0 176308 163 0 0 20 0 3 0 558932885 6773956608 1461097 33554432000 4194304 6211132 140727751076880 139944696802400 5039014 0 0 4096 8405026 0 0 0 -1 7 0 0 0 0 0 8312316 8317760 37523456 140727751083025 140727751083117 140727751083117 140727751086030 0
Current children cumulated CPU time: 14162 s
Current children cumulated vsize: 6615192 KiB
Current children cumulated memory: 5844388 KiB
[startup+1818.8 s]*
/proc/loadavg: 8.05 8.14 7.82 2/193 12294
/proc/meminfo: memFree=30189068/32770624 swapFree=66997268/67108860
Current children cumulated CPU time: 0 s
Current children cumulated vsize: 0 KiB
Current children cumulated memory: 0 KiB
Child status: 0
Real time (s): 1818.84
CPU time (s): 14162.4
CPU user time (s): 14143.2
CPU system time (s): 19.2725
CPU usage (%): 778.652
Max. virtual memory (cumulated for all children) (KiB): 6615192
Max. memory (cumulated for all children) (KiB): 5844388
getrusage(RUSAGE_CHILDREN,...) data:
user time used= 14143.2
system time used= 19.2725
maximum resident set size= 5844448
integral shared memory size= 0
integral unshared data size= 0
integral unshared stack size= 0
page reclaims= 17072670
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= 386
involuntary context switches= 125482
# summary of solver processes directly reported to runsolver:
# pid: 12124
# total CPU time (s): 14162.4
# total CPU user time (s): 14143.2
# total CPU system time (s): 19.2725
??? join timestamper begins
??? join timestamper ends
??? end of timestamper thread
runsolver used 9.21958 second user time and 17.1936 second system time
The end
Begin job on node140 at 2019-09-30 09:50:54
IDJOB=4409307
IDBENCH=134289
IDSOLVER=2877
FILE ID=node140/4409307-1569829895
RUNJOBID= node140-1569829573-11921
PBS_JOBID= 21705940
Free space on /tmp= 61936 MiB
SOLVER NAME= cosoco 2.0 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-4409307-1569829895/watcher-4409307-1569829895 -o /tmp/evaluation-result-4409307-1569829895/solver-4409307-1569829895 -C 20160 -W 2520 -M 31000 --bin-var /tmp/runsolver-exch-node140-1569829573-11921 --watchdog 2580 cosoco -model -nbcores=8 HOME/instance-4409307-1569829895.xml
TIME LIMIT= 20160 seconds
MEMORY LIMIT= 31000 MiB
NBCORE= 8
MD5SUM BENCH= a4344d82eae68729eeb0bbc0b13d3fa1
RANDOM SEED=1666004795
node140.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.43
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.43
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.43
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.43
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: 30865140 kB
MemAvailable: 31874108 kB
Buffers: 120016 kB
Cached: 1226516 kB
SwapCached: 3040 kB
Active: 988448 kB
Inactive: 365100 kB
Active(anon): 3168 kB
Inactive(anon): 83748 kB
Active(file): 985280 kB
Inactive(file): 281352 kB
Unevictable: 107704 kB
Mlocked: 107704 kB
SwapTotal: 67108860 kB
SwapFree: 66997268 kB
Dirty: 98448 kB
Writeback: 0 kB
AnonPages: 112644 kB
Mapped: 26900 kB
Shmem: 71168 kB
Slab: 145136 kB
SReclaimable: 116340 kB
SUnreclaim: 28796 kB
KernelStack: 3360 kB
PageTables: 5032 kB
NFS_Unstable: 0 kB
Bounce: 0 kB
WritebackTmp: 0 kB
CommitLimit: 83494172 kB
Committed_AS: 539200 kB
VmallocTotal: 34359738367 kB
VmallocUsed: 350232 kB
VmallocChunk: 34341910524 kB
HardwareCorrupted: 0 kB
AnonHugePages: 69632 kB
HugePages_Total: 0
HugePages_Free: 0
HugePages_Rsvd: 0
HugePages_Surp: 0
Hugepagesize: 2048 kB
DirectMap4k: 105856 kB
DirectMap2M: 33439744 kB
Free space on /tmp at the end= 61936 MiB
End job on node140 at 2019-09-30 10:21:13