Name | normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-stp3d.opb |
MD5SUM | bd41ba4f2ddbc80664ba643e2dc93b96 |
Bench Category | optimization, medium integers (OPTMEDINT) |
Has Objective Function | YES |
Satisfiable | NO |
(Un)Satisfiability was proved | |
Best value of the objective function | |
Optimality of the best value was proved | |
Number of terms in the objective function | 75648 |
Biggest coefficient in the objective function | 100303 |
Number of bits for the biggest coefficient in the objective function | 17 |
Sum of the numbers in the objective function | 7576279200 |
Number of bits of the sum of numbers in the objective function | 33 |
Biggest number in a constraint | 100303 |
Number of bits of the biggest number in a constraint | 17 |
Biggest sum of numbers in a constraint | 7576279200 |
Number of bits of the biggest sum of numbers | 33 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.74658 |
Number of variables | 204880 |
Total number of constraints | 364368 |
Number of constraints which are clauses | 129232 |
Number of constraints which are cardinality constraints (but not clauses) | 210685 |
Number of constraints which are nor clauses,nor cardinality constraints | 24451 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 120 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc15 THE 2005-05-24 15:51:57 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=13042 boxname=wulflinc15 idbench=1004 idsolver=3 numberseed=0 MD5SUM SOLVER: 03a6a792daea978e4202f78851741568 /oldhome/oroussel/solvers/bsolo_mis MD5SUM BENCH: bd41ba4f2ddbc80664ba643e2dc93b96 /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stp3d.opb REAL COMMAND: bsolo_mis /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-stp3d.opb IDLAUNCH: 13042 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 890.88 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 450.999 cache size : 512 KB fdiv_bug : no hlt_bug : no f00f_bug : no coma_bug : no fpu : yes fpu_exception : yes cpuid level : 2 wp : yes flags : fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse bogomips : 899.07 /proc/meminfo: MemTotal: 1034660 kB MemFree: 834536 kB Buffers: 34420 kB Cached: 144812 kB SwapCached: 560 kB Active: 86400 kB Inactive: 95308 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 834284 kB SwapTotal: 2097136 kB SwapFree: 2096112 kB Dirty: 24 kB Writeback: 0 kB Mapped: 5708 kB Slab: 12800 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 16:03:20 (client local time) WITH STATUS 0 IN 681.57 SECONDS stats: 13042 7 681.57 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### #### END SOLVER DATA #### #### BEGIN WATCHER DATA #### Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds Enforcing VSIZE limit: 943718400 bytes Raw data (loadavg): 0.87 0.94 0.95 2/54 25487 Raw data (stat): 25487 (runsolver) R 25486 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773233241 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+10.0012 s] Raw data (loadavg): 0.89 0.94 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 3201 0 0 0 989 10 0 0 25 0 1 0 773233241 25366528 3179 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6193 3179 1111 63 0 6130 0 vsize: 24772 [startup+20.0014 s] Raw data (loadavg): 0.91 0.94 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 5826 0 0 0 1984 15 0 0 25 0 1 0 773233241 36118528 5804 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8818 5804 1111 63 0 8755 0 vsize: 35272 [startup+30.0022 s] Raw data (loadavg): 0.92 0.94 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 8465 0 0 0 2979 20 0 0 25 0 1 0 773233241 46850048 8443 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11438 8443 1111 63 0 11375 0 vsize: 45752 [startup+40.0031 s] Raw data (loadavg): 0.93 0.94 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 11114 0 0 0 3976 23 0 0 25 0 1 0 773233241 57753600 11092 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14100 11092 1111 63 0 14037 0 vsize: 56400 [startup+50.0039 s] Raw data (loadavg): 0.94 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 13779 0 0 0 4971 28 0 0 25 0 1 0 773233241 68648960 13757 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16760 13757 1111 63 0 16697 0 vsize: 67040 [startup+60.0047 s] Raw data (loadavg): 0.95 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 16454 0 0 0 5967 33 0 0 25 0 1 0 773233241 79699968 16432 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19458 16432 1111 63 0 19395 0 vsize: 77832 [startup+70.005 s] Raw data (loadavg): 0.96 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 19140 0 0 0 6962 38 0 0 25 0 1 0 773233241 90595328 19118 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 22118 19118 1111 63 0 22055 0 vsize: 88472 [startup+80.0065 s] Raw data (loadavg): 0.96 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 21842 0 0 0 7957 43 0 0 25 0 1 0 773233241 101646336 21820 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 24816 21820 1111 63 0 24753 0 vsize: 99264 [startup+90.0073 s] Raw data (loadavg): 0.97 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 24564 0 0 0 8953 47 0 0 25 0 1 0 773233241 112844800 24542 4294967295 134512640 134714540 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 27550 24542 1111 63 0 27487 0 vsize: 110200 [startup+100.007 s] Raw data (loadavg): 0.97 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 27298 0 0 0 9949 51 0 0 25 0 1 0 773233241 124039168 27276 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 30283 27276 1111 63 0 30220 0 vsize: 121132 [startup+110.008 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 30052 0 0 0 10945 56 0 0 25 0 1 0 773233241 135385088 30030 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 33053 30030 1111 63 0 32990 0 vsize: 132212 [startup+120.013 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 32811 0 0 0 11940 62 0 0 25 0 1 0 773233241 146587648 32789 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 35788 32789 1111 63 0 35725 0 vsize: 143152 [startup+130.014 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 35594 0 0 0 12935 66 0 0 25 0 1 0 773233241 158081024 35572 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 38594 35572 1111 63 0 38531 0 vsize: 154376 [startup+140.014 s] Raw data (loadavg): 0.98 0.95 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 38390 0 0 0 13931 71 0 0 25 0 1 0 773233241 169426944 38368 4294967295 134512640 134714540 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 41364 38368 1111 63 0 41301 0 vsize: 165456 [startup+150.014 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 41198 0 0 0 14927 75 0 0 25 0 1 0 773233241 180928512 41176 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 44172 41176 1111 63 0 44109 0 vsize: 176688 [startup+160.015 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 44029 0 0 0 15921 81 0 0 25 0 1 0 773233241 192569344 44007 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 47014 44007 1111 63 0 46951 0 vsize: 188056 [startup+170.021 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 46865 0 0 0 16917 86 0 0 25 0 1 0 773233241 204214272 46843 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 49857 46843 1111 63 0 49794 0 vsize: 199428 [startup+180.022 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 49744 0 0 0 17912 92 0 0 25 0 1 0 773233241 216031232 49722 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 52742 49722 1111 63 0 52679 0 vsize: 210968 [startup+190.023 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 52619 0 0 0 18907 97 0 0 25 0 1 0 773233241 227827712 52597 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 55622 52597 1111 63 0 55559 0 vsize: 222488 [startup+200.022 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 55518 0 0 0 19901 102 0 0 25 0 1 0 773233241 239624192 55496 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 58502 55496 1111 63 0 58439 0 vsize: 234008 [startup+210.024 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 58428 0 0 0 20898 106 0 0 25 0 1 0 773233241 251564032 58406 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 61417 58406 1111 63 0 61354 0 vsize: 245668 [startup+220.026 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 61368 0 0 0 21893 111 0 0 25 0 1 0 773233241 263659520 61346 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 64370 61346 1111 63 0 64307 0 vsize: 257480 [startup+230.031 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 64353 0 0 0 22889 116 0 0 25 0 1 0 773233241 275902464 64331 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 67359 64331 1111 63 0 67296 0 vsize: 269436 [startup+240.032 s] Raw data (loadavg): 0.99 0.96 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 67349 0 0 0 23884 121 0 0 25 0 1 0 773233241 288145408 67327 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 70348 67327 1111 63 0 70285 0 vsize: 281392 [startup+250.049 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 70376 0 0 0 24881 126 0 0 25 0 1 0 773233241 300539904 70354 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 73374 70354 1111 63 0 73311 0 vsize: 293496 [startup+260.068 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 73420 0 0 0 25878 131 0 0 25 0 1 0 773233241 312934400 73398 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 76400 73398 1111 63 0 76337 0 vsize: 305600 [startup+270.068 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 76484 0 0 0 26872 137 0 0 25 0 1 0 773233241 325476352 76462 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 79462 76462 1111 63 0 79399 0 vsize: 317848 [startup+280.069 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 79564 0 0 0 27868 142 0 0 25 0 1 0 773233241 338165760 79542 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 82560 79542 1111 63 0 82497 0 vsize: 330240 [startup+290.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 82670 0 0 0 28863 147 0 0 25 0 1 0 773233241 350855168 82648 4294967295 134512640 134714540 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 85658 82648 1111 63 0 85595 0 vsize: 342632 [startup+300.073 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 85800 0 0 0 29857 153 0 0 25 0 1 0 773233241 363696128 85778 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 88793 85778 1111 63 0 88730 0 vsize: 355172 [startup+310.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 88948 0 0 0 30852 158 0 0 25 0 1 0 773233241 376537088 88926 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 91928 88926 1111 63 0 91865 0 vsize: 367712 [startup+320.074 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 92125 0 0 0 31848 163 0 0 25 0 1 0 773233241 389525504 92103 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 95099 92103 1111 63 0 95036 0 vsize: 380396 [startup+330.075 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 95315 0 0 0 32844 168 0 0 25 0 1 0 773233241 402665472 95293 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 98307 95293 1111 63 0 98244 0 vsize: 393228 [startup+340.076 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 98559 0 0 0 33839 173 0 0 25 0 1 0 773233241 416018432 98537 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 101567 98537 1111 63 0 101504 0 vsize: 406268 [startup+350.076 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 101803 0 0 0 34834 177 0 0 25 0 1 0 773233241 429305856 101781 4294967295 134512640 134714540 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 104811 101781 1111 63 0 104748 0 vsize: 419244 [startup+360.077 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 105086 0 0 0 35828 184 0 0 25 0 1 0 773233241 442740736 105064 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 108091 105064 1111 63 0 108028 0 vsize: 432364 [startup+370.077 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 108386 0 0 0 36823 189 0 0 25 0 1 0 773233241 456335360 108364 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 111410 108364 1111 63 0 111347 0 vsize: 445640 [startup+380.077 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 111723 0 0 0 37817 195 0 0 25 0 1 0 773233241 469917696 111701 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 114726 111701 1111 63 0 114663 0 vsize: 458904 [startup+390.078 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 115083 0 0 0 38812 200 0 0 25 0 1 0 773233241 483655680 115061 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 118080 115061 1111 63 0 118017 0 vsize: 472320 [startup+400.079 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 118473 0 0 0 39806 207 0 0 25 0 1 0 773233241 497537024 118451 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 121469 118451 1111 63 0 121406 0 vsize: 485876 [startup+410.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 121902 0 0 0 40801 212 0 0 25 0 1 0 773233241 511578112 121880 4294967295 134512640 134714540 3221224592 3221223100 1077227168 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 124897 121880 1111 63 0 124834 0 vsize: 499588 [startup+420.08 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 125371 0 0 0 41796 218 0 0 25 0 1 0 773233241 525905920 125349 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 128395 125349 1111 63 0 128332 0 vsize: 513580 [startup+430.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 128866 0 0 0 42790 223 0 0 25 0 1 0 773233241 540090368 128844 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 131858 128844 1111 63 0 131795 0 vsize: 527432 [startup+440.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 132391 0 0 0 43785 229 0 0 25 0 1 0 773233241 554573824 132369 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 135394 132369 1111 63 0 135331 0 vsize: 541576 [startup+450.082 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 135946 0 0 0 44778 236 0 0 25 0 1 0 773233241 569204736 135924 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 138966 135924 1111 63 0 138903 0 vsize: 555864 [startup+460.083 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 139537 0 0 0 45771 243 0 0 25 0 1 0 773233241 583839744 139515 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 142539 139515 1111 63 0 142476 0 vsize: 570156 [startup+470.09 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 143159 0 0 0 46765 250 0 0 25 0 1 0 773233241 598618112 143137 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 146147 143137 1111 63 0 146084 0 vsize: 584588 [startup+480.091 s] Raw data (loadavg): 0.99 0.97 0.95 2/54 25487 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 146825 0 0 0 47759 256 0 0 25 0 1 0 773233241 613699584 146803 4294967295 134512640 134714540 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 149829 146803 1111 63 0 149766 0 vsize: 599316 [startup+490.12 s] Raw data (loadavg): 0.99 0.97 0.95 3/58 25521 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 150530 0 0 0 48756 263 0 0 25 0 1 0 773233241 628924416 150508 4294967295 134512640 134714540 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 153546 150508 1111 63 0 153483 0 vsize: 614184 [startup+500.121 s] Raw data (loadavg): 1.15 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 154293 0 0 0 49751 268 0 0 25 0 1 0 773233241 644304896 154271 4294967295 134512640 134714540 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 157301 154271 1111 63 0 157238 0 vsize: 629204 [startup+510.122 s] Raw data (loadavg): 1.12 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 158067 0 0 0 50744 274 0 0 25 0 1 0 773233241 659681280 158045 4294967295 134512640 134714540 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 161055 158049 1111 63 0 160992 0 vsize: 644220 [startup+520.122 s] Raw data (loadavg): 1.10 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 161883 0 0 0 51738 281 0 0 25 0 1 0 773233241 675360768 161861 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 164883 161861 1111 63 0 164820 0 vsize: 659532 [startup+530.123 s] Raw data (loadavg): 1.09 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 165767 0 0 0 52732 287 0 0 25 0 1 0 773233241 691187712 165745 4294967295 134512640 134714540 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 168747 165745 1111 63 0 168684 0 vsize: 674988 [startup+540.124 s] Raw data (loadavg): 1.07 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 169710 0 0 0 53726 294 0 0 25 0 1 0 773233241 707461120 169688 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 172720 169688 1111 63 0 172657 0 vsize: 690880 [startup+550.124 s] Raw data (loadavg): 1.06 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 173704 0 0 0 54720 300 0 0 25 0 1 0 773233241 723730432 173682 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 176692 173682 1111 63 0 176629 0 vsize: 706768 [startup+560.124 s] Raw data (loadavg): 1.05 1.00 0.96 2/54 25540 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 177769 0 0 0 55714 306 0 0 25 0 1 0 773233241 740454400 177747 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 180775 177747 1111 63 0 180712 0 vsize: 723100 [startup+570.125 s] Raw data (loadavg): 1.04 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 181876 0 0 0 56707 313 0 0 25 0 1 0 773233241 757178368 181854 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 184858 181854 1111 63 0 184795 0 vsize: 739432 [startup+580.126 s] Raw data (loadavg): 1.04 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 185639 0 0 0 57700 320 0 0 25 0 1 0 773233241 772558848 185617 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 188613 185617 1111 63 0 188550 0 vsize: 754452 [startup+590.127 s] Raw data (loadavg): 1.03 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 189382 0 0 0 58694 327 0 0 25 0 1 0 773233241 787939328 189360 4294967295 134512640 134714540 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 192368 189360 1111 63 0 192305 0 vsize: 769472 [startup+600.127 s] Raw data (loadavg): 1.03 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 193227 0 0 0 59688 333 0 0 25 0 1 0 773233241 803758080 193205 4294967295 134512640 134714540 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 196230 193205 1111 63 0 196167 0 vsize: 784920 [startup+610.129 s] Raw data (loadavg): 1.02 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 197179 0 0 0 60681 340 0 0 25 0 1 0 773233241 820101120 197157 4294967295 134512640 134714540 3221224592 3221222820 1077414347 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 200220 197157 1111 63 0 200157 0 vsize: 800880 [startup+620.129 s] Raw data (loadavg): 1.02 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 201208 0 0 0 61674 347 0 0 25 0 1 0 773233241 836673536 201186 4294967295 134512640 134714540 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 204266 201186 1111 63 0 204203 0 vsize: 817064 [startup+630.13 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 205371 0 0 0 62667 354 0 0 25 0 1 0 773233241 853692416 205349 4294967295 134512640 134714540 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 208421 205349 1111 63 0 208358 0 vsize: 833684 [startup+640.131 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 209595 0 0 0 63658 364 0 0 25 0 1 0 773233241 871014400 209510 4294967295 134512640 134714540 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 212650 209510 1111 63 0 212587 0 vsize: 850600 [startup+650.13 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 213826 0 1 0 64646 374 0 0 25 0 1 0 773233241 888332288 212942 4294967295 134512640 134714540 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 216878 212942 1111 63 0 216815 0 vsize: 867512 [startup+660.131 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 218091 0 1 0 65635 385 0 0 25 0 1 0 773233241 905801728 216343 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 221143 216343 1111 63 0 221080 0 vsize: 884572 [startup+670.132 s] Raw data (loadavg): 1.01 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 222474 0 1 0 66624 396 0 0 25 0 1 0 773233241 923713536 219484 4294967295 134512640 134714540 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 225516 219484 1111 63 0 225453 0 vsize: 902064 [startup+680.133 s] Raw data (loadavg): 1.00 1.00 0.96 2/54 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 226945 0 3 0 67611 408 0 0 25 0 1 0 773233241 941932544 222711 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229964 222711 1111 63 0 229901 0 vsize: 919856 [startup+681.506 s] Raw data (loadavg): 1.00 1.00 0.96 1/53 25542 Raw data (stat): 25487 (bsolo_mis) R 25486 23514 23513 0 -1 0 226945 0 3 0 67611 408 0 0 25 0 1 0 773233241 941932544 222711 4294967295 134512640 134714540 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 229964 222711 1111 63 0 229901 0 vsize: 0 Child ended because it received signal 6 (SIGABRT) Real time (s): 681.506 CPU time (s): 681.57 CPU user time (s): 677.054 CPU system time (s): 4.51631 CPU usage (%): 100.009 Max. virtual memory (Kb): 919856 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####