Name | normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-dfl001.opb |
MD5SUM | d116f9238cf2e97b47b1161aa0f7f9ea |
Bench Category | optimization, big integers (OPTBIGINT) |
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 | 124714 |
Biggest coefficient in the objective function | 2100440996511744 |
Number of bits for the biggest coefficient in the objective function | 51 |
Sum of the numbers in the objective function | 862062472006152900 |
Number of bits of the sum of numbers in the objective function | 60 |
Biggest number in a constraint | 52428800000000000 |
Number of bits of the biggest number in a constraint | 56 |
Biggest sum of numbers in a constraint | 4176904799999651840 |
Number of bits of the biggest sum of numbers | 62 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 2.31665 |
Number of variables | 244494 |
Total number of constraints | 6084 |
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 | 6084 |
Minimum length of a constraint | 10 |
Maximum length of a constraint | 4560 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc10 THE 2005-05-24 23:15:32 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15705 boxname=wulflinc10 idbench=1209 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: d116f9238cf2e97b47b1161aa0f7f9ea /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-dfl001.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc10/normalized-mps-v2-13-7-dfl001.opb IDLAUNCH: 15705 /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: 831824 kB Buffers: 27736 kB Cached: 153532 kB SwapCached: 224 kB Active: 59256 kB Inactive: 124836 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 831572 kB SwapTotal: 2097136 kB SwapFree: 2096792 kB Dirty: 4 kB Writeback: 0 kB Mapped: 6568 kB Slab: 13140 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-24 23:35:35 (client local time) WITH STATUS 0 IN 1200.31 SECONDS stats: 15705 7 1200.31 0 #### END LAUNCHER DATA #### #### BEGIN SOLVER DATA #### c INFO: OSL Context initialized. #### 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.81 0.94 0.90 1/54 22683 Raw data (stat): 22683 (runsolver) D 22682 15547 15546 0 -1 64 4 0 0 0 0 0 0 0 18 0 1 0 775914398 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 3225161850 0 0 17 1 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99978 s] Raw data (loadavg): 0.84 0.94 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1313 0 0 0 985 5 0 0 25 0 1 0 775914398 15634432 1237 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3817 1237 1111 63 0 3754 0 vsize: 15268 [startup+20.0007 s] Raw data (loadavg): 0.86 0.94 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1438 0 0 0 1985 5 0 0 25 0 1 0 775914398 16052224 1362 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 3919 1362 1111 63 0 3856 0 vsize: 15676 [startup+30.0011 s] Raw data (loadavg): 0.88 0.94 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1574 0 0 0 2985 6 0 0 25 0 1 0 775914398 16621568 1498 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4058 1498 1111 63 0 3995 0 vsize: 16232 [startup+40.0003 s] Raw data (loadavg): 0.90 0.94 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1698 0 0 0 3985 6 0 0 25 0 1 0 775914398 17182720 1622 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4195 1622 1111 63 0 4132 0 vsize: 16780 [startup+50.0012 s] Raw data (loadavg): 0.91 0.94 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1823 0 0 0 4985 6 0 0 25 0 1 0 775914398 17747968 1747 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4333 1747 1111 63 0 4270 0 vsize: 17332 [startup+60.0008 s] Raw data (loadavg): 0.93 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 1962 0 0 0 5984 6 0 0 25 0 1 0 775914398 18321408 1886 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4473 1886 1111 63 0 4410 0 vsize: 17892 [startup+70.001 s] Raw data (loadavg): 0.94 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2088 0 0 0 6984 7 0 0 25 0 1 0 775914398 18751488 2012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4578 2012 1111 63 0 4515 0 vsize: 18312 [startup+80.002 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2211 0 0 0 7985 7 0 0 25 0 1 0 775914398 19312640 2135 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4715 2135 1111 63 0 4652 0 vsize: 18860 [startup+90.0015 s] Raw data (loadavg): 0.95 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2350 0 0 0 8984 7 0 0 25 0 1 0 775914398 19877888 2274 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4853 2274 1111 63 0 4790 0 vsize: 19412 [startup+100.002 s] Raw data (loadavg): 0.96 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2479 0 0 0 9984 8 0 0 25 0 1 0 775914398 20439040 2403 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 4990 2403 1111 63 0 4927 0 vsize: 19960 [startup+110.001 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2609 0 0 0 10984 8 0 0 25 0 1 0 775914398 20865024 2533 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5094 2533 1111 63 0 5031 0 vsize: 20376 [startup+120.002 s] Raw data (loadavg): 0.97 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2746 0 0 0 11984 8 0 0 25 0 1 0 775914398 21422080 2670 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5230 2670 1111 63 0 5167 0 vsize: 20920 [startup+130.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 2876 0 0 0 12984 8 0 0 25 0 1 0 775914398 21983232 2800 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5367 2800 1111 63 0 5304 0 vsize: 21468 [startup+140.002 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3009 0 0 0 13984 8 0 0 25 0 1 0 775914398 22552576 2933 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5506 2933 1111 63 0 5443 0 vsize: 22024 [startup+150.003 s] Raw data (loadavg): 0.98 0.95 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3139 0 0 0 14984 8 0 0 25 0 1 0 775914398 23113728 3063 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5643 3063 1111 63 0 5580 0 vsize: 22572 [startup+160.002 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3271 0 0 0 15985 8 0 0 25 0 1 0 775914398 23678976 3195 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5781 3195 1111 63 0 5718 0 vsize: 23124 [startup+170.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3400 0 0 0 16985 9 0 0 25 0 1 0 775914398 24100864 3324 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 5884 3324 1111 63 0 5821 0 vsize: 23536 [startup+180.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3532 0 0 0 17985 9 0 0 25 0 1 0 775914398 24666112 3456 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6022 3456 1111 63 0 5959 0 vsize: 24088 [startup+190.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3649 0 0 0 18985 9 0 0 25 0 1 0 775914398 25227264 3573 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6159 3573 1111 63 0 6096 0 vsize: 24636 [startup+200.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3781 0 0 0 19985 9 0 0 25 0 1 0 775914398 25649152 3705 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6262 3705 1111 63 0 6199 0 vsize: 25048 [startup+210.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 3911 0 0 0 20985 9 0 0 25 0 1 0 775914398 26218496 3835 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6401 3835 1111 63 0 6338 0 vsize: 25604 [startup+220.004 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4054 0 0 0 21985 10 0 0 25 0 1 0 775914398 26796032 3978 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6542 3978 1111 63 0 6479 0 vsize: 26168 [startup+230.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4187 0 0 0 22985 10 0 0 25 0 1 0 775914398 27365376 4111 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6681 4111 1111 63 0 6618 0 vsize: 26724 [startup+240.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4318 0 0 0 23985 10 0 0 25 0 1 0 775914398 27926528 4242 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6818 4242 1111 63 0 6755 0 vsize: 27272 [startup+250.003 s] Raw data (loadavg): 0.99 0.96 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4455 0 0 0 24985 10 0 0 25 0 1 0 775914398 28491776 4379 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 6956 4379 1111 63 0 6893 0 vsize: 27824 [startup+260.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4579 0 0 0 25985 10 0 0 25 0 1 0 775914398 29052928 4503 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7093 4503 1111 63 0 7030 0 vsize: 28372 [startup+270.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4712 0 0 0 26985 11 0 0 25 0 1 0 775914398 29483008 4636 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7198 4636 1111 63 0 7135 0 vsize: 28792 [startup+280.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4848 0 0 0 27985 11 0 0 25 0 1 0 775914398 30044160 4772 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7335 4772 1111 63 0 7272 0 vsize: 29340 [startup+290.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 4982 0 0 0 28985 11 0 0 25 0 1 0 775914398 30605312 4906 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7472 4906 1111 63 0 7409 0 vsize: 29888 [startup+300.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5118 0 0 0 29985 11 0 0 25 0 1 0 775914398 31170560 5042 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7610 5042 1111 63 0 7547 0 vsize: 30440 [startup+310.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5248 0 0 0 30985 11 0 0 25 0 1 0 775914398 31731712 5172 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7747 5172 1111 63 0 7684 0 vsize: 30988 [startup+320.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5381 0 0 0 31985 12 0 0 25 0 1 0 775914398 32301056 5305 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 7886 5305 1111 63 0 7823 0 vsize: 31544 [startup+330.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5518 0 0 0 32985 12 0 0 25 0 1 0 775914398 32862208 5442 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8023 5442 1111 63 0 7960 0 vsize: 32092 [startup+340.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5658 0 0 0 33984 12 0 0 25 0 1 0 775914398 33427456 5582 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8161 5582 1111 63 0 8098 0 vsize: 32644 [startup+350.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5795 0 0 0 34984 12 0 0 25 0 1 0 775914398 33988608 5719 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8298 5719 1111 63 0 8235 0 vsize: 33192 [startup+360.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 5933 0 0 0 35985 13 0 0 25 0 1 0 775914398 34557952 5857 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8437 5857 1111 63 0 8374 0 vsize: 33748 [startup+370.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6070 0 0 0 36985 13 0 0 25 0 1 0 775914398 35119104 5994 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8574 5994 1111 63 0 8511 0 vsize: 34296 [startup+380.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6208 0 0 0 37985 13 0 0 25 0 1 0 775914398 35684352 6132 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8712 6132 1111 63 0 8649 0 vsize: 34848 [startup+390.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6345 0 0 0 38984 14 0 0 25 0 1 0 775914398 36245504 6269 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8849 6269 1111 63 0 8786 0 vsize: 35396 [startup+400.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6484 0 0 0 39984 14 0 0 25 0 1 0 775914398 36814848 6408 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 8988 6408 1111 63 0 8925 0 vsize: 35952 [startup+410.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6614 0 0 0 40984 14 0 0 25 0 1 0 775914398 37376000 6538 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9125 6538 1111 63 0 9062 0 vsize: 36500 [startup+420.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6770 0 0 0 41985 15 0 0 25 0 1 0 775914398 38064128 6694 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9293 6694 1111 63 0 9230 0 vsize: 37172 [startup+430.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 6907 0 0 0 42984 15 0 0 25 0 1 0 775914398 38625280 6831 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9430 6831 1111 63 0 9367 0 vsize: 37720 [startup+440.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7040 0 0 0 43985 15 0 0 25 0 1 0 775914398 39047168 6964 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9533 6964 1111 63 0 9470 0 vsize: 38132 [startup+450.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7170 0 0 0 44985 15 0 0 25 0 1 0 775914398 39616512 7094 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9672 7094 1111 63 0 9609 0 vsize: 38688 [startup+460.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7307 0 0 0 45984 15 0 0 25 0 1 0 775914398 40177664 7231 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9809 7231 1111 63 0 9746 0 vsize: 39236 [startup+470.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7446 0 0 0 46984 16 0 0 25 0 1 0 775914398 40742912 7370 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 9947 7370 1111 63 0 9884 0 vsize: 39788 [startup+480.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7583 0 0 0 47984 16 0 0 25 0 1 0 775914398 41304064 7507 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10084 7507 1111 63 0 10021 0 vsize: 40336 [startup+490.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7723 0 0 0 48984 16 0 0 25 0 1 0 775914398 41873408 7647 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10223 7647 1111 63 0 10160 0 vsize: 40892 [startup+500.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7860 0 0 0 49984 16 0 0 25 0 1 0 775914398 42434560 7784 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10360 7784 1111 63 0 10297 0 vsize: 41440 [startup+510.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 7998 0 0 0 50984 17 0 0 25 0 1 0 775914398 42999808 7922 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10498 7922 1111 63 0 10435 0 vsize: 41992 [startup+520.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8129 0 0 0 51984 17 0 0 25 0 1 0 775914398 43560960 8053 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10635 8053 1111 63 0 10572 0 vsize: 42540 [startup+530.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8261 0 0 0 52984 17 0 0 25 0 1 0 775914398 44130304 8185 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10774 8185 1111 63 0 10711 0 vsize: 43096 [startup+540.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8392 0 0 0 53984 17 0 0 25 0 1 0 775914398 44691456 8316 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 10911 8316 1111 63 0 10848 0 vsize: 43644 [startup+550.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8537 0 0 0 54984 18 0 0 25 0 1 0 775914398 45256704 8461 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11049 8461 1111 63 0 10986 0 vsize: 44196 [startup+560.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8674 0 0 0 55984 18 0 0 25 0 1 0 775914398 45817856 8598 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11186 8598 1111 63 0 11123 0 vsize: 44744 [startup+570.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8814 0 0 0 56984 18 0 0 25 0 1 0 775914398 46387200 8738 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11325 8738 1111 63 0 11262 0 vsize: 45300 [startup+580.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 8951 0 0 0 57984 18 0 0 25 0 1 0 775914398 46948352 8875 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11462 8875 1111 63 0 11399 0 vsize: 45848 [startup+590.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9089 0 0 0 58984 19 0 0 25 0 1 0 775914398 47509504 9013 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11599 9013 1111 63 0 11536 0 vsize: 46396 [startup+600.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9228 0 0 0 59983 19 0 0 25 0 1 0 775914398 48074752 9152 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11737 9152 1111 63 0 11674 0 vsize: 46948 [startup+610.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9365 0 0 0 60983 20 0 0 25 0 1 0 775914398 48635904 9289 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 11874 9289 1111 63 0 11811 0 vsize: 47496 [startup+620.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9511 0 0 0 61983 20 0 0 25 0 1 0 775914398 49205248 9435 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12013 9435 1111 63 0 11950 0 vsize: 48052 [startup+630.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9654 0 0 0 62983 20 0 0 25 0 1 0 775914398 49766400 9578 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12150 9578 1111 63 0 12087 0 vsize: 48600 [startup+640.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9794 0 0 0 63983 21 0 0 25 0 1 0 775914398 50331648 9718 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12288 9718 1111 63 0 12225 0 vsize: 49152 [startup+650.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 9931 0 0 0 64983 21 0 0 25 0 1 0 775914398 50892800 9855 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12425 9855 1111 63 0 12362 0 vsize: 49700 [startup+660.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10076 0 0 0 65983 21 0 0 25 0 1 0 775914398 51462144 10000 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12564 10000 1111 63 0 12501 0 vsize: 50256 [startup+670.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10201 0 0 0 66982 22 0 0 25 0 1 0 775914398 52023296 10125 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12701 10125 1111 63 0 12638 0 vsize: 50804 [startup+680.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10346 0 0 0 67982 22 0 0 25 0 1 0 775914398 52588544 10270 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12839 10270 1111 63 0 12776 0 vsize: 51356 [startup+690.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10483 0 0 0 68982 22 0 0 25 0 1 0 775914398 53149696 10407 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 12976 10407 1111 63 0 12913 0 vsize: 51904 [startup+700.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10630 0 0 0 69982 23 0 0 25 0 1 0 775914398 53719040 10554 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13115 10554 1111 63 0 13052 0 vsize: 52460 [startup+710.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10767 0 0 0 70982 23 0 0 25 0 1 0 775914398 54280192 10691 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13252 10691 1111 63 0 13189 0 vsize: 53008 [startup+720.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 10912 0 0 0 71982 23 0 0 25 0 1 0 775914398 54984704 10836 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13424 10836 1111 63 0 13361 0 vsize: 53696 [startup+730.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11049 0 0 0 72982 23 0 0 25 0 1 0 775914398 55545856 10973 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13561 10973 1111 63 0 13498 0 vsize: 54244 [startup+740.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11188 0 0 0 73982 24 0 0 25 0 1 0 775914398 56115200 11112 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13700 11112 1111 63 0 13637 0 vsize: 54800 [startup+750.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11333 0 0 0 74981 24 0 0 25 0 1 0 775914398 56676352 11257 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13837 11257 1111 63 0 13774 0 vsize: 55348 [startup+760.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11478 0 0 0 75981 25 0 0 25 0 1 0 775914398 57241600 11402 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 13975 11402 1111 63 0 13912 0 vsize: 55900 [startup+770.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11622 0 0 0 76981 25 0 0 25 0 1 0 775914398 57802752 11546 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14112 11546 1111 63 0 14049 0 vsize: 56448 [startup+780.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11760 0 0 0 77981 26 0 0 25 0 1 0 775914398 58363904 11684 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14249 11684 1111 63 0 14186 0 vsize: 56996 [startup+790.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 11898 0 0 0 78980 26 0 0 25 0 1 0 775914398 58933248 11822 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14388 11822 1111 63 0 14325 0 vsize: 57552 [startup+800.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12043 0 0 0 79980 26 0 0 25 0 1 0 775914398 59494400 11967 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14525 11967 1111 63 0 14462 0 vsize: 58100 [startup+810.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12187 0 0 0 80980 27 0 0 25 0 1 0 775914398 60203008 12111 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14698 12111 1111 63 0 14635 0 vsize: 58792 [startup+820.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12350 0 0 0 81980 27 0 0 25 0 1 0 775914398 60870656 12274 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14861 12274 1111 63 0 14798 0 vsize: 59444 [startup+830.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12489 0 0 0 82980 27 0 0 25 0 1 0 775914398 61435904 12413 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 14999 12413 1111 63 0 14936 0 vsize: 59996 [startup+840.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12639 0 0 0 83980 27 0 0 25 0 1 0 775914398 62140416 12563 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15171 12563 1111 63 0 15108 0 vsize: 60684 [startup+850.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12771 0 0 0 84980 27 0 0 25 0 1 0 775914398 62705664 12695 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15309 12695 1111 63 0 15246 0 vsize: 61236 [startup+860.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 12922 0 0 0 85980 28 0 0 25 0 1 0 775914398 63266816 12846 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15446 12846 1111 63 0 15383 0 vsize: 61784 [startup+870.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13068 0 0 0 86980 28 0 0 25 0 1 0 775914398 63836160 12992 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15585 12992 1111 63 0 15522 0 vsize: 62340 [startup+880.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13206 0 0 0 87980 28 0 0 25 0 1 0 775914398 64397312 13130 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15722 13130 1111 63 0 15659 0 vsize: 62888 [startup+890.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13351 0 0 0 88979 29 0 0 25 0 1 0 775914398 64962560 13275 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 15860 13275 1111 63 0 15797 0 vsize: 63440 [startup+900.013 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13495 0 0 0 89979 29 0 0 25 0 1 0 775914398 65662976 13419 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16031 13419 1111 63 0 15968 0 vsize: 64124 [startup+910.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13648 0 0 0 90979 29 0 0 25 0 1 0 775914398 66232320 13572 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16170 13572 1111 63 0 16107 0 vsize: 64680 [startup+920.012 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13786 0 0 0 91978 30 0 0 25 0 1 0 775914398 66793472 13710 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16307 13710 1111 63 0 16244 0 vsize: 65228 [startup+930.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 13925 0 0 0 92978 31 0 0 25 0 1 0 775914398 67358720 13849 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16445 13849 1111 63 0 16382 0 vsize: 65780 [startup+940.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14075 0 0 0 93978 31 0 0 25 0 1 0 775914398 67919872 13999 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16582 13999 1111 63 0 16519 0 vsize: 66328 [startup+950.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14220 0 0 0 94978 31 0 0 25 0 1 0 775914398 68628480 14144 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16755 14144 1111 63 0 16692 0 vsize: 67020 [startup+960.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14366 0 0 0 95978 31 0 0 25 0 1 0 775914398 69189632 14290 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 16892 14290 1111 63 0 16829 0 vsize: 67568 [startup+970.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14512 0 0 0 96978 32 0 0 25 0 1 0 775914398 69758976 14436 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17031 14436 1111 63 0 16968 0 vsize: 68124 [startup+980.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14655 0 0 0 97977 32 0 0 25 0 1 0 775914398 70320128 14579 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17168 14579 1111 63 0 17105 0 vsize: 68672 [startup+990.011 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14794 0 0 0 98977 33 0 0 25 0 1 0 775914398 70885376 14718 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17306 14718 1111 63 0 17243 0 vsize: 69224 [startup+1000.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 14945 0 0 0 99977 33 0 0 25 0 1 0 775914398 71585792 14869 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17477 14869 1111 63 0 17414 0 vsize: 69908 [startup+1010.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15099 0 0 0 100977 33 0 0 25 0 1 0 775914398 72155136 15023 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17616 15023 1111 63 0 17553 0 vsize: 70464 [startup+1020.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15250 0 0 0 101977 34 0 0 25 0 1 0 775914398 72716288 15174 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17753 15174 1111 63 0 17690 0 vsize: 71012 [startup+1030.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15402 0 0 0 102976 34 0 0 25 0 1 0 775914398 73424896 15326 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 17926 15326 1111 63 0 17863 0 vsize: 71704 [startup+1040.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15552 0 0 0 103976 35 0 0 25 0 1 0 775914398 73986048 15476 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18063 15476 1111 63 0 18000 0 vsize: 72252 [startup+1050.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15705 0 0 0 104976 35 0 0 25 0 1 0 775914398 74690560 15629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18235 15629 1111 63 0 18172 0 vsize: 72940 [startup+1060.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15857 0 0 0 105976 35 0 0 25 0 1 0 775914398 75251712 15781 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18372 15781 1111 63 0 18309 0 vsize: 73488 [startup+1070.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 15996 0 0 0 106976 36 0 0 25 0 1 0 775914398 75816960 15920 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18510 15920 1111 63 0 18447 0 vsize: 74040 [startup+1080.01 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16140 0 0 0 107976 36 0 0 25 0 1 0 775914398 76378112 16064 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18647 16064 1111 63 0 18584 0 vsize: 74588 [startup+1090.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16298 0 0 0 108977 36 0 0 25 0 1 0 775914398 77086720 16222 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18820 16222 1111 63 0 18757 0 vsize: 75280 [startup+1100.02 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16451 0 0 0 109976 37 0 0 25 0 1 0 775914398 77647872 16375 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 18957 16375 1111 63 0 18894 0 vsize: 75828 [startup+1110.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16603 0 0 0 110977 37 0 0 25 0 1 0 775914398 78356480 16527 4294967295 134512640 134714508 3221224592 3221223248 134527935 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19130 16527 1111 63 0 19067 0 vsize: 76520 [startup+1120.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16754 0 0 0 111976 38 0 0 25 0 1 0 775914398 78917632 16678 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19267 16678 1111 63 0 19204 0 vsize: 77068 [startup+1130.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 16906 0 0 0 112976 38 0 0 25 0 1 0 775914398 79482880 16830 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19405 16830 1111 63 0 19342 0 vsize: 77620 [startup+1140.03 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17043 0 0 0 113976 39 0 0 25 0 1 0 775914398 80044032 16967 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19542 16967 1111 63 0 19479 0 vsize: 78168 [startup+1150.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17197 0 0 0 114986 39 0 0 25 0 1 0 775914398 80752640 17121 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19715 17121 1111 63 0 19652 0 vsize: 78860 [startup+1160.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17348 0 0 0 115986 39 0 0 25 0 1 0 775914398 81313792 17272 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19852 17272 1111 63 0 19789 0 vsize: 79408 [startup+1170.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17487 0 0 0 116986 40 0 0 25 0 1 0 775914398 81883136 17411 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 19991 17411 1111 63 0 19928 0 vsize: 79964 [startup+1180.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17644 0 0 0 117986 40 0 0 25 0 1 0 775914398 82583552 17568 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20162 17568 1111 63 0 20099 0 vsize: 80648 [startup+1190.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17791 0 0 0 118986 40 0 0 25 0 1 0 775914398 83148800 17715 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20300 17715 1111 63 0 20237 0 vsize: 81200 [startup+1200.14 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 22683 Raw data (stat): 22683 (bsolo_lpr) R 22682 15547 15546 0 -1 0 17949 0 0 0 119986 41 0 0 25 0 1 0 775914398 83853312 17873 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 1 0 0 Raw data (statm): 20472 17873 1111 63 0 20409 0 vsize: 81888 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.17 s] Raw data (loadavg): 0.99 0.97 0.91 1/54 22683 Raw data (stat): 22683 (bsolo_lpr) Z 22682 15547 15546 0 -1 1036 17949 0 0 0 119986 44 0 0 25 0 1 0 775914398 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0 Raw data (statm): 0 0 0 0 0 0 0 vsize: 0 Maximum CPU time exceeded: sending SIGTERM and SIGKILL Child ended because it received signal 15 (SIGTERM) Real time (s): 1200.17 CPU time (s): 1200.31 CPU user time (s): 1199.87 CPU system time (s): 0.445932 CPU usage (%): 100.011 Max. virtual memory (Kb): 81888 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####