Solver Name | Answer | obj | CPU time | Wall clock time |
---|---|---|---|---|
bsolo 3.1 pb | SAT | 4 | 1798.01 | 1798.61 |
Name | normalized-PB06/OPT-SMALLINT/submitted-PB06/ manquiho/market-split/normalized-opt-market-split_5_40_4.opb |
MD5SUM | a470052ca6f8034e2c6c08868e52d9e8 |
Bench Category | OPT-SMALLINT (optimisation, small integers) |
Best result obtained on this benchmark | SAT |
Best value of the objective obtained on this benchmark | 2 |
Best CPU time to get the best result obtained on this benchmark | 1800.05 |
Has Objective Function | YES |
Satisfiable | YES |
(Un)Satisfiability was proved | YES |
Best value of the objective function | 2 |
Optimality of the best value was proved | NO |
Number of variables | 120 |
Total number of constraints | 10 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 0 |
Number of constraints which are nor clauses,nor cardinality constraints | 10 |
Minimum length of a constraint | 55 |
Maximum length of a constraint | 56 |
Number of terms in the objective function | 80 |
Biggest coefficient in the objective function | 128 |
Number of bits for the biggest coefficient in the objective function | 8 |
Sum of the numbers in the objective function | 2550 |
Number of bits of the sum of numbers in the objective function | 12 |
Biggest number in a constraint | 1207 |
Number of bits of the biggest number in a constraint | 11 |
Biggest sum of numbers in a constraint | 4131 |
Number of bits of the biggest sum of numbers | 13 |
Number of products (including duplicates) | 0 |
Sum of products size (including duplicates) | 0 |
Number of different products | 0 |
Sum of products size | 0 |
0.00/0.00 c bsolo beta version 3.1 - 13/04/2009 : 1630 GMT 0.00/0.00 c Developed by Vasco Manquinho and José Santos IST/UTL - INESC-ID 0.00/0.00 c type "bsolo -h" for help 0.00/0.00 c Time Limit set via environment variable PBTIMEOUT to 1800 0.00/0.00 c Learning Strategy: Generic Pseudo-Boolean Learning 0.00/0.00 c Time Limit set to 1800 0.00/0.00 c Memory Limit set to 1800 MB 0.00/0.00 c Instance file HOME/instance-1880055-1245240770.opb 0.00/0.00 c File size is 5465 bytes. 0.00/0.00 c Highest Coefficient sum: 4131 0.00/0.00 c Parsing was ok!! 0.00/0.00 c Total parsing time: 0 s 0.00/0.00 c Var: 120 Constr: 10 0/0/10 Lit: 558 Watch. Lit: 166 0.00/0.00 c Obj. Vars: 80 (66.6667 % of total variables) 0.00/0.00 c Pre-processing Time: 0 s 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 10 558 55 168 1116 0 -2147483648 0.00 0.00/0.00 c Switching off lower bounding mode. 0.00/0.00 o 780 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 0 120 11 638 58 421 1276 1 0 0.00 0.00/0.00 o 759 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 6 120 24 1465 61 815 1276 14 3000 0.00 0.00/0.00 o 741 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 8 120 29 1832 63 1011 1276 19 2666 0.00 0.00/0.00 o 332 0.00/0.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.00 c 8 120 30 1912 63 982 1276 20 2000 0.00 0.00/0.00 o 183 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 9 120 33 2081 63 970 1276 23 2250 0.00 0.00/0.01 o 182 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 10 120 36 2267 62 1006 1276 26 2000 0.01 0.00/0.01 o 176 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 17 120 50 3143 62 1478 1276 40 2428 0.01 0.00/0.01 o 170 0.00/0.01 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.01 c 28 120 73 4671 63 2331 1276 63 2545 0.01 0.00/0.01 o 154 0.00/0.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.02 c 33 120 84 5364 63 2674 1276 74 2357 0.01 0.00/0.02 o 152 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 38 120 95 6145 64 3053 1276 85 2235 0.02 0.00/0.05 o 141 0.00/0.05 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.05 c 98 120 214 13624 63 6588 1276 204 2041 0.05 0.00/0.05 o 139 0.00/0.06 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.06 c 101 120 221 14215 64 6762 1276 211 1905 0.05 0.00/0.06 o 137 0.00/0.08 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.00/0.08 c 111 120 242 15658 64 7507 1276 232 1819 0.06 0.00/0.08 o 122 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 147 120 311 19549 62 8979 1276 301 1837 0.08 0.09/0.10 o 114 0.09/0.10 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.10 c 176 120 369 22904 62 9964 1276 359 1777 0.10 0.09/0.10 o 104 0.09/0.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.11 c 178 120 374 23266 62 10243 1276 364 1728 0.10 0.09/0.11 o 102 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 181 120 381 23824 62 10538 1276 371 1707 0.11 0.09/0.14 o 101 0.09/0.14 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.14 c 211 120 442 27876 63 12215 1276 432 1540 0.14 0.09/0.14 o 99 0.09/0.17 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.17 c 214 120 449 28412 63 12459 1276 439 1507 0.14 0.09/0.17 o 96 0.09/0.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.18 c 242 120 504 31482 62 14058 1276 494 1431 0.17 0.09/0.18 o 94 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 256 120 533 33476 62 14930 1276 523 1398 0.18 0.09/0.19 o 84 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 256 120 534 33556 62 15051 1276 524 1368 0.19 0.09/0.19 o 82 0.09/0.19 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.09/0.19 c 257 120 537 33813 62 15224 1276 527 1345 0.19 0.09/0.19 o 80 0.19/0.20 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.20 c 259 120 542 34190 63 15428 1276 532 1328 0.20 0.19/0.20 o 78 0.19/0.29 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.19/0.29 c 263 120 551 34873 63 15810 1276 541 1315 0.20 0.19/0.29 o 74 0.29/0.35 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.29/0.35 c 357 120 735 45884 62 19460 1276 725 1248 0.29 0.29/0.35 o 65 0.49/0.51 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.51 c 405 120 832 52805 63 22213 1276 822 1160 0.35 0.49/0.51 c 505 120 1030 64623 62 26263 1404 1020 1065 0.47 0.49/0.51 o 60 0.49/0.52 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.49/0.52 c 529 120 1078 67267 62 26032 1276 1068 1035 0.51 0.49/0.52 o 58 0.59/0.61 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.61 c 532 120 1085 67760 62 26183 1276 1075 1019 0.52 0.59/0.61 o 57 0.59/0.62 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 0.59/0.62 c 595 100 1212 74745 61 29128 1236 1202 973 0.61 0.59/0.62 o 51 1.09/1.15 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.09/1.15 c 596 100 1215 74933 61 29201 1236 1205 967 0.62 1.09/1.15 c 697 100 739 39205 53 16177 1360 729 876 0.80 1.09/1.15 c 947 100 1224 67035 54 27748 1497 1214 903 1.05 1.09/1.15 o 24 1.19/1.24 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1.19/1.24 c 1029 100 1386 76325 55 30648 1236 1376 891 1.15 1.19/1.24 o 22 3.08/3.11 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.08/3.11 c 1046 100 664 33092 49 14885 1236 654 845 1.24 3.08/3.11 c 1146 90 854 43134 50 18300 1360 844 864 1.32 3.08/3.11 c 1397 90 1334 69655 52 28075 1497 1324 885 1.58 3.08/3.11 c 1872 90 1416 70118 49 28216 1647 1406 890 2.10 3.08/3.11 o 19 3.98/4.00 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 3.98/4.00 c 2653 90 1111 50295 45 18637 1216 1101 852 3.11 3.98/4.00 c 2753 90 630 28196 44 12221 1338 620 846 3.25 3.98/4.00 c 3003 90 1077 52444 48 20740 1472 1067 859 3.49 3.98/4.00 o 17 5.09/5.18 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 5.09/5.18 c 3434 90 1049 46954 44 17495 1216 1039 859 4.00 5.09/5.18 c 3534 90 1222 55749 45 20488 1338 1212 863 4.09 5.09/5.18 c 3784 90 946 42835 45 16833 1472 936 864 4.38 5.09/5.18 c 4259 90 993 43186 43 15980 1620 983 865 4.92 5.09/5.18 o 14 18.28/18.38 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 18.28/18.38 c 4510 90 1431 67145 46 23115 1216 1421 871 5.17 18.28/18.38 c 4611 80 797 35757 44 13869 1338 787 870 5.29 18.28/18.38 c 4861 80 1217 57799 47 21133 1472 1207 879 5.53 18.28/18.38 c 5336 80 1224 54426 44 18952 1620 1214 886 6.02 18.28/18.38 c 6149 80 911 36627 40 13141 1783 901 888 6.92 18.28/18.38 c 7470 80 1275 55115 43 19071 1962 1265 889 8.40 18.28/18.38 c 9551 80 1697 79495 46 24402 2159 1687 892 10.71 18.28/18.38 c 12774 80 1373 61304 44 19931 2375 1363 867 14.72 18.28/18.38 o 11 19.18/19.27 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 19.18/19.27 c 15569 80 2201 107188 48 32919 1196 2191 847 18.37 19.18/19.27 c 15669 80 777 34611 44 13820 1316 767 844 18.56 19.18/19.27 c 15919 80 1179 55953 47 20900 1448 1169 846 18.80 19.18/19.27 o 8 40.97/41.02 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 40.97/41.02 c 16318 80 1050 45484 43 16475 1196 1040 847 19.26 40.97/41.02 c 16419 70 1208 53508 44 18478 1316 1198 847 19.36 40.97/41.02 c 16669 70 877 36977 42 13431 1448 867 849 19.63 40.97/41.02 c 17144 70 863 34535 40 12660 1593 853 851 20.12 40.97/41.02 c 17957 70 1282 54134 42 18007 1753 1272 856 20.95 40.97/41.02 c 19278 70 1493 63167 42 19699 1929 1483 861 22.37 40.97/41.02 c 21362 70 1705 77494 45 22301 2122 1695 872 24.50 40.97/41.02 c 24585 70 1119 45038 40 13919 2335 1109 872 28.17 40.97/41.02 c 29521 70 1343 56313 41 17388 2569 1333 869 33.93 40.97/41.02 o 7 51.87/51.92 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 51.87/51.92 c 35667 70 1441 61154 42 16577 1176 1431 869 41.00 51.87/51.92 c 35767 70 756 29879 39 9849 1294 746 870 41.10 51.87/51.92 c 36017 70 1129 48049 42 16579 1424 1119 871 41.30 51.87/51.92 c 36493 70 1079 39901 36 12197 1567 1069 873 41.78 51.87/51.92 c 37308 70 1543 65587 42 18172 1724 1533 877 42.53 51.87/51.92 c 38629 70 907 33753 37 10071 1897 897 881 43.82 51.87/51.92 c 40711 70 1063 39563 37 11701 2087 1053 886 45.94 51.87/51.92 c 43936 70 1713 75160 43 22165 2296 1703 890 49.32 51.87/51.92 o 6 383.35/383.54 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 383.35/383.54 c 46263 70 1686 73749 43 19585 1176 1676 891 51.90 383.35/383.54 c 46363 70 755 30181 39 9486 1294 745 891 52.01 383.35/383.54 c 46613 70 1137 49017 43 14796 1424 1127 892 52.23 383.35/383.54 c 47089 70 1118 46543 41 14103 1567 1108 893 52.70 383.35/383.54 c 47903 70 1570 69918 44 19895 1724 1560 895 53.48 383.35/383.54 c 49224 70 881 31516 35 9176 1897 871 896 54.90 383.35/383.54 c 51305 70 1142 45952 40 13353 2087 1132 898 57.11 383.35/383.54 c 54528 70 1840 82615 44 23094 2296 1830 901 60.46 383.35/383.54 c 59465 70 2036 91868 45 25423 2526 2026 899 66.14 383.35/383.54 c 66971 70 1323 53862 40 15050 2779 1313 890 75.17 383.35/383.54 c 78332 70 2766 129922 46 37192 3057 2756 867 90.33 383.35/383.54 c 95477 70 1582 67450 42 20663 3363 1572 845 112.90 383.35/383.54 c 121297 70 2464 119346 48 32561 3700 2454 811 149.43 383.35/383.54 c 160129 70 3745 178955 47 46851 4071 3735 770 207.85 383.35/383.54 c 218481 70 3273 149378 45 36674 4479 3263 726 300.62 383.35/383.54 o 4 1797.99/1798.60 c Confl Vars Ctrs Lits LPC W.Lits Max Learnt Conf/s Time 1797.99/1798.60 c 260586 70 2849 130472 45 35219 1176 2839 679 383.41 1797.99/1798.60 c 260687 70 762 29922 39 9716 1294 752 679 383.64 1797.99/1798.60 c 260939 70 1138 48791 42 15512 1424 1128 679 383.86 1797.99/1798.60 c 261414 60 1087 42548 39 12153 1567 1077 680 384.34 1797.99/1798.60 c 262227 60 1481 62268 42 17485 1724 1471 680 385.14 1797.99/1798.60 c 263548 60 1619 70806 43 19317 1897 1609 681 386.48 1797.99/1798.60 c 265629 60 1747 76219 43 21695 2087 1737 683 388.64 1797.99/1798.60 c 268852 60 1146 45467 39 12060 2296 1136 685 392.05 1797.99/1798.60 c 273788 60 1361 56898 41 15664 2526 1351 689 397.26 1797.99/1798.60 c 281295 60 2373 112757 47 29448 2779 2363 692 406.04 1797.99/1798.60 c 292657 60 1910 82126 42 22661 3057 1900 695 420.96 1797.99/1798.60 c 309801 60 2849 131749 46 32878 3363 2839 699 442.70 1797.99/1798.60 c 335620 60 2273 105154 46 26742 3700 2263 702 477.67 1797.99/1798.60 c 374453 60 3598 175222 48 43213 4071 3588 697 536.56 1797.99/1798.60 c 432806 60 2521 117635 46 28793 4479 2511 673 642.96 1797.99/1798.60 c 520438 60 3475 163083 46 40146 4927 3465 655 794.20 1797.99/1798.60 c 651990 60 3535 172704 48 44517 5420 3525 616 1057.19 1797.99/1798.60 c 849422 60 4554 222292 48 50248 5963 4544 574 1478.46 1797.99/1798.60 c Resources Exceeded 1797.99/1798.60 v -x1 -x2 -x3 -x4 -x5 -x6 -x7 -x8 x9 -x10 -x11 -x12 -x13 -x14 -x15 -x16 -x17 -x18 -x19 -x20 -x21 -x22 -x23 -x24 -x25 -x26 -x27 -x28 -x29 -x30 -x31 -x32 -x33 -x34 -x35 -x36 -x37 -x38 -x39 -x40 -x41 -x42 -x43 -x44 -x45 -x46 -x47 -x48 -x49 -x50 -x51 -x52 -x53 -x54 -x55 -x56 -x57 -x58 -x59 -x60 -x61 -x62 -x63 -x64 -x65 x66 -x67 -x68 -x69 -x70 -x71 -x72 x73 -x74 -x75 -x76 -x77 -x78 -x79 -x80 -x81 x82 x83 x84 -x85 -x86 x87 -x88 -x89 x90 -x91 x92 x93 x94 x95 -x96 -x97 -x98 x99 -x100 -x101 -x102 x103 x104 -x105 -x106 x107 x108 -x109 -x110 -x111 x112 x113 -x114 x115 x116 x117 -x118 -x119 x120 1797.99/1798.60 c Rst Confl NCB Dec Ctrs Lits Learnt Conf/s Time 1797.99/1798.60 c 107 967723 7630 978439 4005 200026 3995 538 1798.00 1797.99/1798.60 c Objective: 4 1797.99/1798.60 s SATISFIABLE 1797.99/1798.60 c Total time: 1798 s
OK 4
runsolver version 3.2.9 (svn:492) (c) roussel@cril.univ-artois.fr command line: BIN/runsolver --timestamp -w /tmp/evaluation-result-1880055-1245240770/watcher-1880055-1245240770 -o /tmp/evaluation-result-1880055-1245240770/solver-1880055-1245240770 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880055-1245240770.opb Enforcing CPUTime limit (soft limit, will send SIGTERM then SIGKILL): 1800 seconds Enforcing CPUTime limit (hard limit, will send SIGXCPU): 1830 seconds Enforcing wall clock limit (soft limit, will send SIGTERM then SIGKILL): 2000 seconds Enforcing VSIZE limit (soft limit, will send SIGTERM then SIGKILL): 1843200 KiB Enforcing VSIZE limit (hard limit, stack expansion will fail with SIGSEGV, brk() and mmap() will return ENOMEM): 1894400 KiB Current StackSize limit: 10240 KiB [startup+0 s] /proc/loadavg: 1.00 1.00 0.92 3/64 10201 /proc/meminfo: memFree=1861824/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18388 CPUtime=0 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 246 0 0 0 0 0 0 0 19 0 1 0 191676317 18829312 228 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4597 231 189 640 0 3953 0 [startup+0.102676 s] /proc/loadavg: 1.00 1.00 0.92 3/64 10201 /proc/meminfo: memFree=1861824/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=11104 CPUtime=0.09 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 393 0 0 0 9 0 0 0 19 0 1 0 191676317 11370496 375 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 2809 376 197 640 0 2165 0 Current children cumulated CPU time (s) 0.09 Current children cumulated vsize (KiB) 11104 [startup+0.202691 s] /proc/loadavg: 1.00 1.00 0.92 3/64 10201 /proc/meminfo: memFree=1861824/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=11496 CPUtime=0.19 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 470 0 0 0 19 0 0 0 20 0 1 0 191676317 11771904 452 1992294400 134512640 137136520 4294956256 18446744073709551615 136504651 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 2874 452 197 640 0 2230 0 Current children cumulated CPU time (s) 0.19 Current children cumulated vsize (KiB) 11496 [startup+0.301715 s] /proc/loadavg: 1.00 1.00 0.92 3/64 10201 /proc/meminfo: memFree=1861824/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=11756 CPUtime=0.29 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 539 0 0 0 29 0 0 0 20 0 1 0 191676317 12038144 521 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 2939 521 197 640 0 2295 0 Current children cumulated CPU time (s) 0.29 Current children cumulated vsize (KiB) 11756 [startup+0.701765 s] /proc/loadavg: 1.00 1.00 0.92 3/64 10201 /proc/meminfo: memFree=1861824/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=12544 CPUtime=0.69 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 726 0 0 0 69 0 0 0 24 0 1 0 191676317 12845056 708 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3136 708 197 640 0 2492 0 Current children cumulated CPU time (s) 0.69 Current children cumulated vsize (KiB) 12544 [startup+1.50189 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1859640/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=12544 CPUtime=1.48 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 726 0 0 0 148 0 0 0 25 0 1 0 191676317 12845056 708 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3136 708 197 640 0 2492 0 Current children cumulated CPU time (s) 1.48 Current children cumulated vsize (KiB) 12544 [startup+3.10113 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1859448/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=12676 CPUtime=3.08 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 765 0 0 0 308 0 0 0 25 0 1 0 191676317 12980224 747 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3169 747 197 640 0 2525 0 Current children cumulated CPU time (s) 3.08 Current children cumulated vsize (KiB) 12676 [startup+6.30162 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1859256/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=12676 CPUtime=6.29 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 765 0 0 0 628 1 0 0 25 0 1 0 191676317 12980224 747 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3169 747 197 640 0 2525 0 Current children cumulated CPU time (s) 6.29 Current children cumulated vsize (KiB) 12676 [startup+12.7016 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1858872/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=13072 CPUtime=12.68 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 858 0 0 0 1267 1 0 0 25 0 1 0 191676317 13385728 840 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3268 840 197 640 0 2624 0 Current children cumulated CPU time (s) 12.68 Current children cumulated vsize (KiB) 13072 [startup+25.5025 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1858616/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=13332 CPUtime=25.48 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 924 0 0 0 2545 3 0 0 25 0 1 0 191676317 13651968 906 1992294400 134512640 137136520 4294956256 18446744073709551615 134544129 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3333 906 197 640 0 2689 0 Current children cumulated CPU time (s) 25.48 Current children cumulated vsize (KiB) 13332 [startup+51.1015 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1858552/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=13332 CPUtime=51.07 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 924 0 0 0 5102 5 0 0 25 0 1 0 191676317 13651968 906 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3333 906 197 640 0 2689 0 Current children cumulated CPU time (s) 51.07 Current children cumulated vsize (KiB) 13332 [startup+102.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1857976/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=13808 CPUtime=102.25 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1058 0 0 0 10216 9 0 0 25 0 1 0 191676317 14139392 1040 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3452 1040 197 640 0 2808 0 Current children cumulated CPU time (s) 102.25 Current children cumulated vsize (KiB) 13808 [startup+162.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1857144/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=14576 CPUtime=162.24 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1256 0 0 0 16209 15 0 0 25 0 1 0 191676317 14925824 1238 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3644 1238 197 640 0 3000 0 Current children cumulated CPU time (s) 162.24 Current children cumulated vsize (KiB) 14576 [startup+222.306 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1856696/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15100 CPUtime=222.22 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1384 0 0 0 22203 19 0 0 25 0 1 0 191676317 15462400 1366 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3775 1366 197 640 0 3131 0 Current children cumulated CPU time (s) 222.22 Current children cumulated vsize (KiB) 15100 [startup+282.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1856504/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15232 CPUtime=282.2 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1409 0 0 0 28196 24 0 0 25 0 1 0 191676317 15597568 1391 1992294400 134512640 137136520 4294956256 18446744073709551615 134544249 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3808 1391 197 640 0 3164 0 Current children cumulated CPU time (s) 282.2 Current children cumulated vsize (KiB) 15232 [startup+342.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1855928/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=342.18 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1538 0 0 0 34188 30 0 0 25 0 1 0 191676317 16138240 1520 1992294400 134512640 137136520 4294956256 18446744073709551615 134544125 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1520 197 640 0 3296 0 Current children cumulated CPU time (s) 342.18 Current children cumulated vsize (KiB) 15760 [startup+402.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1855928/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=402.15 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1541 0 0 0 40181 34 0 0 25 0 1 0 191676317 16138240 1523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543927 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1523 197 640 0 3296 0 Current children cumulated CPU time (s) 402.15 Current children cumulated vsize (KiB) 15760 [startup+462.302 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1855928/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=462.13 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1541 0 0 0 46173 40 0 0 25 0 1 0 191676317 16138240 1523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544116 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1523 197 640 0 3296 0 Current children cumulated CPU time (s) 462.13 Current children cumulated vsize (KiB) 15760 [startup+522.301 s] /proc/loadavg: 1.00 1.00 0.92 2/65 10202 /proc/meminfo: memFree=1855864/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=522.12 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1541 0 0 0 52167 45 0 0 25 0 1 0 191676317 16138240 1523 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1523 197 640 0 3296 0 Current children cumulated CPU time (s) 522.12 Current children cumulated vsize (KiB) 15760 [startup+582.301 s] /proc/loadavg: 1.06 1.02 0.93 2/65 10202 /proc/meminfo: memFree=1855800/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=582.1 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1541 0 0 0 58160 50 0 0 25 0 1 0 191676317 16138240 1523 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1523 197 640 0 3296 0 Current children cumulated CPU time (s) 582.1 Current children cumulated vsize (KiB) 15760 [startup+642.302 s] /proc/loadavg: 1.08 1.03 0.93 2/65 10202 /proc/meminfo: memFree=1855736/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=15760 CPUtime=642.07 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1541 0 0 0 64153 54 0 0 25 0 1 0 191676317 16138240 1523 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 3940 1523 197 640 0 3296 0 Current children cumulated CPU time (s) 642.07 Current children cumulated vsize (KiB) 15760 [startup+702.302 s] ################ # More data... # ################ /proc/meminfo: memFree=1854456/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=16932 CPUtime=1061.93 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1844 0 0 0 106106 87 0 0 25 0 1 0 191676317 17338368 1826 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4233 1826 197 640 0 3589 0 Current children cumulated CPU time (s) 1061.93 Current children cumulated vsize (KiB) 16932 [startup+1122.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1854264/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17060 CPUtime=1121.91 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1878 0 0 0 112099 92 0 0 25 0 1 0 191676317 17469440 1860 1992294400 134512640 137136520 4294956256 18446744073709551615 134543921 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4265 1860 197 640 0 3621 0 Current children cumulated CPU time (s) 1121.91 Current children cumulated vsize (KiB) 17060 [startup+1182.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1854200/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17060 CPUtime=1181.89 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1878 0 0 0 118094 95 0 0 25 0 1 0 191676317 17469440 1860 1992294400 134512640 137136520 4294956256 18446744073709551615 134544140 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4265 1860 197 640 0 3621 0 Current children cumulated CPU time (s) 1181.89 Current children cumulated vsize (KiB) 17060 [startup+1242.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1854008/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17192 CPUtime=1241.88 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1911 0 0 0 124088 100 0 0 25 0 1 0 191676317 17604608 1893 1992294400 134512640 137136520 4294956256 18446744073709551615 134543933 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4298 1893 197 640 0 3654 0 Current children cumulated CPU time (s) 1241.88 Current children cumulated vsize (KiB) 17192 [startup+1302.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1853880/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17308 CPUtime=1301.85 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1934 0 0 0 130081 104 0 0 25 0 1 0 191676317 17723392 1916 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4327 1916 197 640 0 3683 0 Current children cumulated CPU time (s) 1301.85 Current children cumulated vsize (KiB) 17308 [startup+1362.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1853816/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17308 CPUtime=1361.83 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1934 0 0 0 136074 109 0 0 25 0 1 0 191676317 17723392 1916 1992294400 134512640 137136520 4294956256 18446744073709551615 134544160 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4327 1916 197 640 0 3683 0 Current children cumulated CPU time (s) 1361.83 Current children cumulated vsize (KiB) 17308 [startup+1422.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1853688/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17416 CPUtime=1421.82 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1947 0 0 0 142069 113 0 0 25 0 1 0 191676317 17833984 1929 1992294400 134512640 137136520 4294956256 18446744073709551615 134544431 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4354 1929 197 640 0 3710 0 Current children cumulated CPU time (s) 1421.82 Current children cumulated vsize (KiB) 17416 [startup+1482.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1853624/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=17416 CPUtime=1481.79 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 1952 0 0 0 148062 117 0 0 25 0 1 0 191676317 17833984 1934 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4354 1934 197 640 0 3710 0 Current children cumulated CPU time (s) 1481.79 Current children cumulated vsize (KiB) 17416 [startup+1542.31 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1853048/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18052 CPUtime=1541.77 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2119 0 0 0 154056 121 0 0 25 0 1 0 191676317 18485248 2101 1992294400 134512640 137136520 4294956256 18446744073709551615 134543942 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4513 2101 197 640 0 3869 0 Current children cumulated CPU time (s) 1541.77 Current children cumulated vsize (KiB) 18052 [startup+1602.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852856/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1601.75 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2139 0 0 0 160049 126 0 0 25 0 1 0 191676317 18616320 2121 1992294400 134512640 137136520 4294956256 18446744073709551615 134544164 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2121 197 640 0 3901 0 Current children cumulated CPU time (s) 1601.75 Current children cumulated vsize (KiB) 18180 [startup+1662.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852856/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1661.74 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2139 0 0 0 166043 131 0 0 25 0 1 0 191676317 18616320 2121 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2121 197 640 0 3901 0 Current children cumulated CPU time (s) 1661.74 Current children cumulated vsize (KiB) 18180 [startup+1722.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852792/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1721.71 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2141 0 0 0 172036 135 0 0 25 0 1 0 191676317 18616320 2123 1992294400 134512640 137136520 4294956256 18446744073709551615 134543819 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2123 197 640 0 3901 0 Current children cumulated CPU time (s) 1721.71 Current children cumulated vsize (KiB) 18180 [startup+1782.3 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1781.69 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 178029 140 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544443 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1781.69 Current children cumulated vsize (KiB) 18180 Solver just ended. Dumping a history of the last processes samples [startup+1792.01 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1791.39 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 178999 140 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544162 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1791.39 Current children cumulated vsize (KiB) 18180 [startup+1795.2 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1794.59 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 179319 140 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544449 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1794.59 Current children cumulated vsize (KiB) 18180 [startup+1796.8 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1796.18 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 179478 140 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134540859 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1796.18 Current children cumulated vsize (KiB) 18180 [startup+1797.6 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1796.99 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 179558 141 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134543831 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1796.99 Current children cumulated vsize (KiB) 18180 [startup+1798.4 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1797.79 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 179638 141 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 136568305 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1797.79 Current children cumulated vsize (KiB) 18180 [startup+1798.6 s] /proc/loadavg: 1.00 1.00 0.93 2/65 10202 /proc/meminfo: memFree=1852728/2055920 swapFree=4181956/4192956 [pid=10201] ppid=10199 vsize=18180 CPUtime=1797.99 /proc/10201/stat : 10201 (bsolo) R 10199 10201 10035 0 -1 4194304 2162 0 0 0 179658 141 0 0 25 0 1 0 191676317 18616320 2144 1992294400 134512640 137136520 4294956256 18446744073709551615 134544425 0 0 4096 16384 0 0 0 17 1 0 0 /proc/10201/statm: 4545 2144 197 640 0 3901 0 Current children cumulated CPU time (s) 1797.99 Current children cumulated vsize (KiB) 18180 Child status: 0 Real time (s): 1798.61 CPU time (s): 1798.01 CPU user time (s): 1796.59 CPU system time (s): 1.41478 CPU usage (%): 99.9664 Max. virtual memory (cumulated for all children) (KiB): 18180 getrusage(RUSAGE_CHILDREN,...) data: user time used= 1796.59 system time used= 1.41478 maximum resident set size= 0 integral shared memory size= 0 integral unshared data size= 0 integral unshared stack size= 0 page reclaims= 2164 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= 2 involuntary context switches= 2310 runsolver used 1.65675 second user time and 3.2965 second system time The end
Begin job on node34 at 2009-06-17 14:12:50 IDJOB=1880055 IDBENCH=2914 IDSOLVER=701 FILE ID=node34/1880055-1245240770 PBS_JOBID= 9372304 Free space on /tmp= 66252 MiB SOLVER NAME= bsolo 3.1 pb BENCH NAME= PB06/final/normalized-PB06/OPT-SMALLINT/submitted-PB06/manquiho/market-split/normalized-opt-market-split_5_40_4.opb COMMAND LINE= bsolo -l3 -tTIMEOUT -mMEMLIMIT BENCHNAME CONVERSION SCRIPT= PBconversionToLinear BENCHNAME RUNSOLVER COMMAND LINE= BIN/runsolver --timestamp -w /tmp/evaluation-result-1880055-1245240770/watcher-1880055-1245240770 -o /tmp/evaluation-result-1880055-1245240770/solver-1880055-1245240770 -C 1800 -W 2000 -M 1800 bsolo -l3 -t1800 -m1800 HOME/instance-1880055-1245240770.opb TIME LIMIT= 1800 seconds MEMORY LIMIT= 1800 MiB MAX NB THREAD= 0 MD5SUM BENCH= a470052ca6f8034e2c6c08868e52d9e8 RANDOM SEED=1077642375 node34.alineos.net Linux 2.6.9-22.EL.rootsmp #1 SMP Mon Oct 3 08:59:52 CEST 2005 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5914.62 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: processor : 1 vendor_id : GenuineIntel cpu family : 15 model : 4 model name : Intel(R) Xeon(TM) CPU 3.00GHz stepping : 3 cpu MHz : 3000.263 cache size : 2048 KB fpu : yes fpu_exception : yes cpuid level : 5 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 syscall nx lm pni monitor ds_cpl cid cx16 xtpr bogomips : 5586.94 clflush size : 64 cache_alignment : 128 address sizes : 36 bits physical, 48 bits virtual power management: /proc/meminfo: MemTotal: 2055920 kB MemFree: 1862176 kB Buffers: 24004 kB Cached: 88756 kB SwapCached: 5016 kB Active: 35504 kB Inactive: 85336 kB HighTotal: 0 kB HighFree: 0 kB LowTotal: 2055920 kB LowFree: 1862176 kB SwapTotal: 4192956 kB SwapFree: 4181956 kB Dirty: 3980 kB Writeback: 0 kB Mapped: 14424 kB Slab: 58920 kB Committed_AS: 193164 kB PageTables: 1384 kB VmallocTotal: 536870911 kB VmallocUsed: 264952 kB VmallocChunk: 536605679 kB HugePages_Total: 0 HugePages_Free: 0 Hugepagesize: 2048 kB CONVERSION COMMAND LINE= PBconversionToLinear HOME/instance-1880055-1245240770.opb Free space on /tmp at the end= 66248 MiB End job on node34 at 2009-06-17 14:42:49