Name | normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1l.opb |
MD5SUM | 4d1c8086316d85cb5ef2a3148b52a8a1 |
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 | 85408 |
Biggest coefficient in the objective function | 536870912000000000000 |
Number of bits for the biggest coefficient in the objective function | 69 |
Sum of the numbers in the objective function | 6807849934732110331904 |
Number of bits of the sum of numbers in the objective function | 73 |
Biggest number in a constraint | 536870912000000000000 |
Number of bits of the biggest number in a constraint | 69 |
Biggest sum of numbers in a constraint | 6807849934732110331904 |
Number of bits of the biggest sum of numbers | 73 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 0.91486 |
Number of variables | 85198 |
Total number of constraints | 37291 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 35639 |
Number of constraints which are nor clauses,nor cardinality constraints | 1652 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 35129 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc7 THE 2005-05-24 23:49:45 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=15081 boxname=wulflinc7 idbench=1161 idsolver=1 numberseed=0 MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef /oldhome/oroussel/solvers/bsolo_lpr MD5SUM BENCH: 4d1c8086316d85cb5ef2a3148b52a8a1 /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dc1l.opb REAL COMMAND: bsolo_lpr /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-20-10-dc1l.opb IDLAUNCH: 15081 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.050 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 : 451.050 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: 443980 kB Buffers: 35940 kB Cached: 533052 kB SwapCached: 100 kB Active: 173820 kB Inactive: 397976 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 443728 kB SwapTotal: 2097136 kB SwapFree: 2096820 kB Dirty: 28 kB Writeback: 0 kB Mapped: 6740 kB Slab: 13264 kB Committed_AS: 63600 kB PageTables: 316 kB VmallocTotal: 114680 kB VmallocUsed: 1364 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-05-25 00:09:48 (client local time) WITH STATUS 0 IN 1200.53 SECONDS stats: 15081 7 1200.53 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.93 0.95 0.90 2/54 1404 Raw data (stat): 1404 (runsolver) R 1403 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 776114589 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 257 99 215 215 0 42 0 vsize: 1028 [startup+9.99963 s] Raw data (loadavg): 0.94 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 1705 0 0 0 993 4 0 0 25 0 1 0 776114589 17915904 1629 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4374 1629 1111 63 0 4311 0 vsize: 17496 [startup+19.9995 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 2440 0 0 0 1992 6 0 0 25 0 1 0 776114589 21053440 2364 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5140 2364 1111 63 0 5077 0 vsize: 20560 [startup+30.0001 s] Raw data (loadavg): 0.95 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 3164 0 0 0 2991 6 0 0 25 0 1 0 776114589 23891968 3088 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5833 3088 1111 63 0 5770 0 vsize: 23332 [startup+39.9994 s] Raw data (loadavg): 0.96 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 3887 0 0 0 3991 7 0 0 25 0 1 0 776114589 26873856 3811 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6561 3811 1111 63 0 6498 0 vsize: 26244 [startup+50.0004 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 4609 0 0 0 4990 8 0 0 25 0 1 0 776114589 29863936 4533 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7291 4533 1111 63 0 7228 0 vsize: 29164 [startup+60 s] Raw data (loadavg): 0.97 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 5339 0 0 0 5989 10 0 0 25 0 1 0 776114589 32849920 5263 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8020 5263 1111 63 0 7957 0 vsize: 32080 [startup+69.9996 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 6062 0 0 0 6987 11 0 0 25 0 1 0 776114589 35840000 5986 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8750 5986 1111 63 0 8687 0 vsize: 35000 [startup+79.9999 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 6790 0 0 0 7986 13 0 0 25 0 1 0 776114589 38821888 6714 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9478 6714 1111 63 0 9415 0 vsize: 37912 [startup+89.9999 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 7522 0 0 0 8985 14 0 0 25 0 1 0 776114589 41795584 7446 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10204 7446 1111 63 0 10141 0 vsize: 40816 [startup+100 s] Raw data (loadavg): 0.98 0.96 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 8246 0 0 0 9984 15 0 0 25 0 1 0 776114589 44785664 8170 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10934 8170 1111 63 0 10871 0 vsize: 43736 [startup+110.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 8986 0 0 0 10982 17 0 0 25 0 1 0 776114589 47767552 8910 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11662 8910 1111 63 0 11599 0 vsize: 46648 [startup+120.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 9715 0 0 0 11981 18 0 0 25 0 1 0 776114589 50753536 9639 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12391 9639 1111 63 0 12328 0 vsize: 49564 [startup+130.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 10445 0 0 0 12981 19 0 0 25 0 1 0 776114589 53743616 10369 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13121 10369 1111 63 0 13058 0 vsize: 52484 [startup+140.001 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 11174 0 0 0 13980 20 0 0 25 0 1 0 776114589 56729600 11098 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13850 11098 1111 63 0 13787 0 vsize: 55400 [startup+150.002 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 11914 0 0 0 14979 21 0 0 25 0 1 0 776114589 59858944 11838 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14614 11838 1111 63 0 14551 0 vsize: 58456 [startup+160.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 12656 0 0 0 15978 22 0 0 25 0 1 0 776114589 62849024 12580 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15344 12580 1111 63 0 15281 0 vsize: 61376 [startup+170.004 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 13402 0 0 0 16977 23 0 0 25 0 1 0 776114589 65957888 13326 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16103 13326 1111 63 0 16040 0 vsize: 64412 [startup+180.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 14137 0 0 0 17976 25 0 0 25 0 1 0 776114589 68939776 14061 4294967295 134512640 134714508 3221224592 3221222820 1077414432 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16831 14061 1111 63 0 16768 0 vsize: 67324 [startup+190.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 14873 0 0 0 18975 26 0 0 25 0 1 0 776114589 71929856 14797 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17561 14797 1111 63 0 17498 0 vsize: 70244 [startup+200.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 15615 0 0 0 19973 28 0 0 25 0 1 0 776114589 74915840 15539 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18290 15539 1111 63 0 18227 0 vsize: 73160 [startup+210.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 16350 0 0 0 20972 29 0 0 25 0 1 0 776114589 77897728 16274 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19018 16274 1111 63 0 18955 0 vsize: 76072 [startup+220.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 17181 0 0 0 21970 31 0 0 25 0 1 0 776114589 81334272 17105 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19857 17105 1111 63 0 19794 0 vsize: 79428 [startup+230.005 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 18153 0 0 0 22969 33 0 0 25 0 1 0 776114589 85364736 18077 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20841 18077 1111 63 0 20778 0 vsize: 83364 [startup+240.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 18895 0 0 0 23968 34 0 0 25 0 1 0 776114589 88354816 18819 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 21571 18819 1111 63 0 21508 0 vsize: 86284 [startup+250.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 19643 0 0 0 24967 35 0 0 25 0 1 0 776114589 91492352 19567 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 22337 19567 1111 63 0 22274 0 vsize: 89348 [startup+260.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 20383 0 0 0 25966 36 0 0 25 0 1 0 776114589 94474240 20307 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 23065 20307 1111 63 0 23002 0 vsize: 92260 [startup+270.006 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 21428 0 0 0 26964 38 0 0 25 0 1 0 776114589 98803712 21352 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24122 21352 1111 63 0 24059 0 vsize: 96488 [startup+280.007 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 22187 0 0 0 27963 40 0 0 25 0 1 0 776114589 101937152 22111 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 24887 22111 1111 63 0 24824 0 vsize: 99548 [startup+290.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 22935 0 0 0 28963 41 0 0 25 0 1 0 776114589 104927232 22859 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 25617 22859 1111 63 0 25554 0 vsize: 102468 [startup+300.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 23689 0 0 0 29962 42 0 0 25 0 1 0 776114589 108064768 23613 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 26383 23613 1111 63 0 26320 0 vsize: 105532 [startup+310.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 24904 0 0 0 30960 44 0 0 25 0 1 0 776114589 112988160 24828 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 27585 24828 1111 63 0 27522 0 vsize: 110340 [startup+320.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 25669 0 0 0 31959 45 0 0 25 0 1 0 776114589 116092928 25593 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 28343 25593 1111 63 0 28280 0 vsize: 113372 [startup+330.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 26422 0 0 0 32957 47 0 0 25 0 1 0 776114589 119230464 26346 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29109 26346 1111 63 0 29046 0 vsize: 116436 [startup+340.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 27176 0 0 0 33956 49 0 0 25 0 1 0 776114589 122368000 27100 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 29875 27100 1111 63 0 29812 0 vsize: 119500 [startup+350.014 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 28142 0 0 0 34954 51 0 0 25 0 1 0 776114589 126251008 28066 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 30823 28066 1111 63 0 30760 0 vsize: 123292 [startup+360.015 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 28903 0 0 0 35953 52 0 0 25 0 1 0 776114589 129388544 28827 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 31589 28827 1111 63 0 31526 0 vsize: 126356 [startup+370.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 29661 0 0 0 36952 54 0 0 25 0 1 0 776114589 132517888 29585 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 32353 29585 1111 63 0 32290 0 vsize: 129412 [startup+380.018 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 30421 0 0 0 37951 55 0 0 25 0 1 0 776114589 135655424 30345 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33119 30345 1111 63 0 33056 0 vsize: 132476 [startup+390.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 31181 0 0 0 38951 56 0 0 25 0 1 0 776114589 138792960 31105 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 33885 31105 1111 63 0 33822 0 vsize: 135540 [startup+400.024 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 32148 0 0 0 39949 58 0 0 25 0 1 0 776114589 142675968 32072 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 34833 32072 1111 63 0 34770 0 vsize: 139332 [startup+410.027 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 33175 0 0 0 40948 60 0 0 25 0 1 0 776114589 146853888 33099 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 35853 33099 1111 63 0 35790 0 vsize: 143412 [startup+420.038 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 33939 0 0 0 41948 61 0 0 25 0 1 0 776114589 149987328 33863 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 36618 33863 1111 63 0 36555 0 vsize: 146472 [startup+430.04 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 34712 0 0 0 42947 62 0 0 25 0 1 0 776114589 153124864 34636 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 37384 34636 1111 63 0 37321 0 vsize: 149536 [startup+440.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 35478 0 0 0 43947 63 0 0 25 0 1 0 776114589 156262400 35402 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38150 35402 1111 63 0 38087 0 vsize: 152600 [startup+450.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 36250 0 0 0 44946 64 0 0 25 0 1 0 776114589 159547392 36174 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 38952 36174 1111 63 0 38889 0 vsize: 155808 [startup+460.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 37119 0 0 0 45945 65 0 0 25 0 1 0 776114589 162979840 37043 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 39790 37043 1111 63 0 39727 0 vsize: 159160 [startup+470.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 37890 0 0 0 46945 66 0 0 25 0 1 0 776114589 166260736 37814 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 40591 37814 1111 63 0 40528 0 vsize: 162364 [startup+480.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 38662 0 0 0 47943 68 0 0 25 0 1 0 776114589 169398272 38586 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 41357 38586 1111 63 0 41294 0 vsize: 165428 [startup+490.052 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 39434 0 0 0 48942 69 0 0 25 0 1 0 776114589 172535808 39358 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42123 39358 1111 63 0 42060 0 vsize: 168492 [startup+500.053 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 40327 0 0 0 49941 70 0 0 25 0 1 0 776114589 176119808 40251 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 42998 40251 1111 63 0 42935 0 vsize: 171992 [startup+510.065 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 41452 0 0 0 50941 72 0 0 25 0 1 0 776114589 180748288 41376 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44128 41376 1111 63 0 44065 0 vsize: 176512 [startup+520.082 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 42229 0 0 0 51941 74 0 0 25 0 1 0 776114589 184029184 42153 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 44929 42153 1111 63 0 44866 0 vsize: 179716 [startup+530.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 43007 0 0 0 52940 76 0 0 25 0 1 0 776114589 187166720 42931 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 45695 42931 1111 63 0 45632 0 vsize: 182780 [startup+540.086 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 43791 0 0 0 53939 77 0 0 25 0 1 0 776114589 190300160 43715 4294967295 134512640 134714508 3221224592 3221222820 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 46460 43715 1111 63 0 46397 0 vsize: 185840 [startup+550.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 44896 0 0 0 54938 78 0 0 25 0 1 0 776114589 194928640 44820 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 47590 44820 1111 63 0 47527 0 vsize: 190360 [startup+560.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 45814 0 0 0 55937 80 0 0 25 0 1 0 776114589 198664192 45738 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 48502 45738 1111 63 0 48439 0 vsize: 194008 [startup+570.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 46598 0 0 0 56936 81 0 0 25 0 1 0 776114589 201801728 46522 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 49268 46522 1111 63 0 49205 0 vsize: 197072 [startup+580.089 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 47387 0 0 0 57935 82 0 0 25 0 1 0 776114589 205078528 47311 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50068 47311 1111 63 0 50005 0 vsize: 200272 [startup+590.088 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 48171 0 0 0 58934 83 0 0 25 0 1 0 776114589 208367616 48095 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 50871 48095 1111 63 0 50808 0 vsize: 203484 [startup+600.089 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 48961 0 0 0 59932 85 0 0 25 0 1 0 776114589 211501056 48885 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 51636 48885 1111 63 0 51573 0 vsize: 206544 [startup+610.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1404 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 49761 0 0 0 60931 86 0 0 25 0 1 0 776114589 214933504 49685 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 52474 49685 1111 63 0 52411 0 vsize: 209896 [startup+620.089 s] Raw data (loadavg): 0.99 0.97 0.91 3/57 1427 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 50556 0 0 0 61929 88 0 0 25 0 1 0 776114589 218066944 50480 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 53239 50480 1111 63 0 53176 0 vsize: 212956 [startup+630.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 51341 0 0 0 62910 107 0 0 25 0 1 0 776114589 221351936 51265 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54041 51265 1111 63 0 53978 0 vsize: 216164 [startup+640.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 52131 0 0 0 63909 108 0 0 25 0 1 0 776114589 224636928 52055 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 54843 52055 1111 63 0 54780 0 vsize: 219372 [startup+650.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 52927 0 0 0 64908 109 0 0 25 0 1 0 776114589 227774464 52851 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 55609 52851 1111 63 0 55546 0 vsize: 222436 [startup+660.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 53724 0 0 0 65907 111 0 0 25 0 1 0 776114589 231059456 53648 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 56411 53648 1111 63 0 56348 0 vsize: 225644 [startup+670.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 54597 0 0 0 66906 112 0 0 25 0 1 0 776114589 234639360 54521 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 57285 54521 1111 63 0 57222 0 vsize: 229140 [startup+680.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 55460 0 0 0 67905 113 0 0 25 0 1 0 776114589 238223360 55384 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58160 55384 1111 63 0 58097 0 vsize: 232640 [startup+690.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1457 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 56257 0 0 0 68904 114 0 0 25 0 1 0 776114589 241508352 56181 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 58962 56181 1111 63 0 58899 0 vsize: 235848 [startup+700.09 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 57061 0 0 0 69903 115 0 0 25 0 1 0 776114589 244797440 56985 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 59765 56985 1111 63 0 59702 0 vsize: 239060 [startup+710.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 58008 0 0 0 70901 117 0 0 25 0 1 0 776114589 248676352 57932 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 60712 57932 1111 63 0 60649 0 vsize: 242848 [startup+720.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 58809 0 0 0 71900 119 0 0 25 0 1 0 776114589 251957248 58733 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 61513 58733 1111 63 0 61450 0 vsize: 246052 [startup+730.091 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 59624 0 0 0 72898 120 0 0 25 0 1 0 776114589 255242240 59548 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 62315 59548 1111 63 0 62252 0 vsize: 249260 [startup+740.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 60432 0 0 0 73897 122 0 0 25 0 1 0 776114589 258531328 60356 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63118 60356 1111 63 0 63055 0 vsize: 252472 [startup+750.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 61271 0 0 0 74896 123 0 0 25 0 1 0 776114589 261963776 61195 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 63956 61195 1111 63 0 63893 0 vsize: 255824 [startup+760.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 62086 0 0 0 75895 125 0 0 25 0 1 0 776114589 265400320 62010 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 64795 62010 1111 63 0 64732 0 vsize: 259180 [startup+770.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 63028 0 0 0 76894 126 0 0 25 0 1 0 776114589 269127680 62952 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 65705 62952 1111 63 0 65642 0 vsize: 262820 [startup+780.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 63921 0 0 0 77893 127 0 0 25 0 1 0 776114589 272859136 63845 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 66616 63845 1111 63 0 66553 0 vsize: 266464 [startup+790.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 64741 0 0 0 78891 129 0 0 25 0 1 0 776114589 276148224 64665 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 67419 64665 1111 63 0 67356 0 vsize: 269676 [startup+800.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 65555 0 0 0 79890 131 0 0 25 0 1 0 776114589 279580672 65479 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 68257 65479 1111 63 0 68194 0 vsize: 273028 [startup+810.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 66473 0 0 0 80888 132 0 0 25 0 1 0 776114589 283316224 66397 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69169 66397 1111 63 0 69106 0 vsize: 276676 [startup+820.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 67293 0 0 0 81887 134 0 0 25 0 1 0 776114589 286601216 67217 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 69971 67217 1111 63 0 69908 0 vsize: 279884 [startup+830.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 68180 0 0 0 82885 135 0 0 25 0 1 0 776114589 290328576 68104 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 70881 68104 1111 63 0 70818 0 vsize: 283524 [startup+840.092 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 69019 0 0 0 83885 136 0 0 25 0 1 0 776114589 293765120 68943 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 71720 68943 1111 63 0 71657 0 vsize: 286880 [startup+850.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 69846 0 0 0 84884 138 0 0 25 0 1 0 776114589 297050112 69770 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 72522 69770 1111 63 0 72459 0 vsize: 290088 [startup+860.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 70673 0 0 0 85882 140 0 0 25 0 1 0 776114589 300486656 70597 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 73361 70597 1111 63 0 73298 0 vsize: 293444 [startup+870.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 71505 0 0 0 86880 142 0 0 25 0 1 0 776114589 303919104 71429 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 74199 71429 1111 63 0 74136 0 vsize: 296796 [startup+880.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 72362 0 0 0 87879 143 0 0 25 0 1 0 776114589 307347456 72286 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75036 72286 1111 63 0 74973 0 vsize: 300144 [startup+890.093 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 73206 0 0 0 88878 144 0 0 25 0 1 0 776114589 310935552 73130 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 75912 73130 1111 63 0 75849 0 vsize: 303648 [startup+900.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 74088 0 0 0 89877 146 0 0 25 0 1 0 776114589 314519552 74012 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 76787 74012 1111 63 0 76724 0 vsize: 307148 [startup+910.094 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 74920 0 0 0 90876 147 0 0 25 0 1 0 776114589 317952000 74844 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 77625 74844 1111 63 0 77562 0 vsize: 310500 [startup+920.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 75821 0 0 0 91875 148 0 0 25 0 1 0 776114589 321536000 75745 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 78500 75745 1111 63 0 78437 0 vsize: 314000 [startup+930.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 76659 0 0 0 92874 149 0 0 25 0 1 0 776114589 324972544 76583 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 79339 76583 1111 63 0 79276 0 vsize: 317356 [startup+940.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 77503 0 0 0 93873 150 0 0 25 0 1 0 776114589 328400896 77427 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 80176 77427 1111 63 0 80113 0 vsize: 320704 [startup+950.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 78341 0 0 0 94872 152 0 0 25 0 1 0 776114589 331837440 78265 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81015 78265 1111 63 0 80952 0 vsize: 324060 [startup+960.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 79186 0 0 0 95871 153 0 0 25 0 1 0 776114589 335421440 79110 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 81890 79110 1111 63 0 81827 0 vsize: 327560 [startup+970.098 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 80038 0 0 0 96870 154 0 0 25 0 1 0 776114589 338857984 79962 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 82729 79962 1111 63 0 82666 0 vsize: 330916 [startup+980.099 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 80889 0 0 0 97868 156 0 0 25 0 1 0 776114589 342290432 80813 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 83567 80813 1111 63 0 83504 0 vsize: 334268 [startup+990.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1459 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 81782 0 0 0 98867 158 0 0 25 0 1 0 776114589 346025984 81706 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 84479 81706 1111 63 0 84416 0 vsize: 337916 [startup+1000.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 82632 0 0 0 99865 160 0 0 25 0 1 0 776114589 349454336 82556 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 85316 82556 1111 63 0 85253 0 vsize: 341264 [startup+1010.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 83635 0 0 0 100863 162 0 0 25 0 1 0 776114589 353636352 83559 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 86337 83559 1111 63 0 86274 0 vsize: 345348 [startup+1020.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 84491 0 0 0 101862 163 0 0 25 0 1 0 776114589 357068800 84415 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 87175 84415 1111 63 0 87112 0 vsize: 348700 [startup+1030.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 85500 0 0 0 102860 165 0 0 25 0 1 0 776114589 361250816 85424 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 88196 85424 1111 63 0 88133 0 vsize: 352784 [startup+1040.1 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 86358 0 0 0 103859 167 0 0 25 0 1 0 776114589 364687360 86282 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89035 86282 1111 63 0 88972 0 vsize: 356140 [startup+1050.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 87251 0 0 0 104857 169 0 0 25 0 1 0 776114589 368418816 87175 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 89946 87175 1111 63 0 89883 0 vsize: 359784 [startup+1060.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 88114 0 0 0 105856 170 0 0 25 0 1 0 776114589 371855360 88038 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 90785 88038 1111 63 0 90722 0 vsize: 363140 [startup+1070.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 89051 0 0 0 106855 172 0 0 25 0 1 0 776114589 375738368 88975 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 91733 88975 1111 63 0 91670 0 vsize: 366932 [startup+1080.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 90011 0 0 0 107854 174 0 0 25 0 1 0 776114589 379613184 89935 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 92679 89935 1111 63 0 92616 0 vsize: 370716 [startup+1090.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 91056 0 0 0 108852 175 0 0 25 0 1 0 776114589 383946752 90980 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 93737 90980 1111 63 0 93674 0 vsize: 374948 [startup+1100.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 92008 0 0 0 109851 176 0 0 25 0 1 0 776114589 387825664 91932 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 94684 91932 1111 63 0 94621 0 vsize: 378736 [startup+1110.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 92889 0 0 0 110850 178 0 0 25 0 1 0 776114589 391409664 92813 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 95559 92813 1111 63 0 95496 0 vsize: 382236 [startup+1120.11 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 94013 0 0 0 111849 179 0 0 25 0 1 0 776114589 396038144 93937 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 96689 93937 1111 63 0 96626 0 vsize: 386756 [startup+1130.12 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 94894 0 0 0 112848 181 0 0 25 0 1 0 776114589 399622144 94818 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 97564 94818 1111 63 0 97501 0 vsize: 390256 [startup+1140.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 95781 0 0 0 113848 182 0 0 25 0 1 0 776114589 403353600 95705 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 98475 95705 1111 63 0 98412 0 vsize: 393900 [startup+1150.13 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 96675 0 0 0 114846 184 0 0 25 0 1 0 776114589 406937600 96599 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 99350 96599 1111 63 0 99287 0 vsize: 397400 [startup+1160.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 97586 0 0 0 115846 186 0 0 25 0 1 0 776114589 410673152 97510 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 100262 97510 1111 63 0 100199 0 vsize: 401048 [startup+1170.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 98588 0 0 0 116844 188 0 0 25 0 1 0 776114589 414920704 98512 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 101299 98512 1111 63 0 101236 0 vsize: 405196 [startup+1180.15 s] Raw data (loadavg): 0.99 0.97 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 99518 0 0 0 117843 190 0 0 25 0 1 0 776114589 418803712 99442 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 102247 99442 1111 63 0 102184 0 vsize: 408988 [startup+1190.15 s] Raw data (loadavg): 1.07 0.99 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 100405 0 0 0 118841 192 0 0 25 0 1 0 776114589 422387712 100329 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 103122 100329 1111 63 0 103059 0 vsize: 412488 [startup+1200.15 s] Raw data (loadavg): 1.06 0.99 0.91 2/54 1461 Raw data (stat): 1404 (bsolo_lpr) R 1403 24300 24299 0 -1 0 101291 0 0 0 119840 193 0 0 25 0 1 0 776114589 425963520 101215 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 103995 101215 1111 63 0 103932 0 vsize: 415980 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.34 s] Raw data (loadavg): 1.06 0.99 0.91 1/54 1461 Raw data (stat): 1404 (bsolo_lpr) Z 1403 24300 24299 0 -1 1036 101291 0 0 0 119840 212 0 0 25 0 1 0 776114589 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.34 CPU time (s): 1200.53 CPU user time (s): 1198.4 CPU system time (s): 2.12768 CPU usage (%): 100.016 Max. virtual memory (Kb): 415980 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####