Name | normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-mod011.opb |
MD5SUM | 5b9b020cb595d55e8dbba526590c1088 |
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 | 144804 |
Biggest coefficient in the objective function | 37355509514240 |
Number of bits for the biggest coefficient in the objective function | 46 |
Sum of the numbers in the objective function | 86052429291555573 |
Number of bits of the sum of numbers in the objective function | 57 |
Biggest number in a constraint | 37355509514240 |
Number of bits of the biggest number in a constraint | 46 |
Biggest sum of numbers in a constraint | 86052429291555573 |
Number of bits of the biggest sum of numbers | 57 |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 1.9477 |
Number of variables | 211663 |
Total number of constraints | 6093 |
Number of constraints which are clauses | 0 |
Number of constraints which are cardinality constraints (but not clauses) | 128 |
Number of constraints which are nor clauses,nor cardinality constraints | 5965 |
Minimum length of a constraint | 1 |
Maximum length of a constraint | 16460 |
#### BEGIN LAUNCHER DATA #### LAUNCH ON wulflinc1 THE 2005-06-08 07:36:48 (client local time) PB2005-SCRIPT v4.0 MARKUPS: idlaunch=28407 boxname=wulflinc1 idbench=1363 idsolver=20 numberseed=0 MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048 /oldhome/oroussel/solvers/bsolo_lpr-v2 MD5SUM BENCH: 5b9b020cb595d55e8dbba526590c1088 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb REAL COMMAND: bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-mod011.opb IDLAUNCH: 28407 /proc/cpuinfo: processor : 0 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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 : 888.83 processor : 1 vendor_id : GenuineIntel cpu family : 6 model : 7 model name : Pentium III (Katmai) stepping : 2 cpu MHz : 451.053 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: 588420 kB Buffers: 29376 kB Cached: 391328 kB SwapCached: 1168 kB Active: 53488 kB Inactive: 369440 kB HighTotal: 131008 kB HighFree: 252 kB LowTotal: 903652 kB LowFree: 588168 kB SwapTotal: 2097136 kB SwapFree: 2094844 kB Dirty: 28 kB Writeback: 0 kB Mapped: 5260 kB Slab: 17644 kB Committed_AS: 92720 kB PageTables: 332 kB VmallocTotal: 114680 kB VmallocUsed: 1388 kB VmallocChunk: 113256 kB JOB ENDED THE 2005-06-08 07:56:51 (client local time) WITH STATUS 0 IN 1200.26 SECONDS stats: 28407 7 1200.26 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 Enforcing Stack size limit: 67108864 bytes Current StackSize limit: 67108864 bytes Raw data (loadavg): 1.01 1.00 0.93 2/55 20037 Raw data (stat): 20037 (runsolver) R 20036 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 843028481 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0 Raw data (statm): 216 94 205 205 0 11 0 vsize: 864 [startup+9.99988 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 1703 0 0 0 992 5 0 0 25 0 1 0 843028481 16723968 1623 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4083 1623 1111 63 0 4020 0 vsize: 16332 [startup+20.0006 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 1978 0 0 0 1992 6 0 0 25 0 1 0 843028481 17895424 1898 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4369 1898 1111 63 0 4306 0 vsize: 17476 [startup+30.0004 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2122 0 0 0 2992 6 0 0 25 0 1 0 843028481 18436096 2042 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4501 2042 1111 63 0 4438 0 vsize: 18004 [startup+40.0002 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2242 0 0 0 3992 6 0 0 25 0 1 0 843028481 18980864 2162 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4634 2162 1111 63 0 4571 0 vsize: 18536 [startup+50.001 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2388 0 0 0 4992 6 0 0 25 0 1 0 843028481 19525632 2308 4294967295 134512640 134716908 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4767 2308 1111 63 0 4704 0 vsize: 19068 [startup+60.0011 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2527 0 0 0 5992 7 0 0 25 0 1 0 843028481 20066304 2447 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 4899 2447 1111 63 0 4836 0 vsize: 19596 [startup+70.0015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2671 0 0 0 6992 7 0 0 25 0 1 0 843028481 20606976 2591 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5031 2591 1111 63 0 4968 0 vsize: 20124 [startup+80.0023 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2832 0 0 0 7992 7 0 0 25 0 1 0 843028481 21291008 2752 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5198 2752 1111 63 0 5135 0 vsize: 20792 [startup+90.0021 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 2959 0 0 0 8992 7 0 0 25 0 1 0 843028481 21835776 2879 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5331 2879 1111 63 0 5268 0 vsize: 21324 [startup+100.002 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3091 0 0 0 9992 8 0 0 25 0 1 0 843028481 22376448 3011 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5463 3011 1111 63 0 5400 0 vsize: 21852 [startup+110.015 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3219 0 0 0 10993 8 0 0 25 0 1 0 843028481 22925312 3139 4294967295 134512640 134716908 3221224576 3221222884 1076999584 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5597 3139 1111 63 0 5534 0 vsize: 22388 [startup+120.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3351 0 0 0 11993 8 0 0 25 0 1 0 843028481 23470080 3271 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5730 3271 1111 63 0 5667 0 vsize: 22920 [startup+130.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3473 0 0 0 12993 8 0 0 25 0 1 0 843028481 24018944 3393 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5864 3393 1111 63 0 5801 0 vsize: 23456 [startup+140.016 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3599 0 0 0 13993 8 0 0 25 0 1 0 843028481 24428544 3519 4294967295 134512640 134716908 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 5964 3519 1111 63 0 5901 0 vsize: 23856 [startup+150.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3742 0 0 0 14994 8 0 0 25 0 1 0 843028481 25104384 3662 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6129 3662 1111 63 0 6066 0 vsize: 24516 [startup+160.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 3890 0 0 0 15993 8 0 0 25 0 1 0 843028481 25649152 3810 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6262 3810 1111 63 0 6199 0 vsize: 25048 [startup+170.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4028 0 0 0 16993 9 0 0 25 0 1 0 843028481 26189824 3948 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6394 3948 1111 63 0 6331 0 vsize: 25576 [startup+180.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4167 0 0 0 17993 9 0 0 25 0 1 0 843028481 26865664 4087 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6559 4087 1111 63 0 6496 0 vsize: 26236 [startup+190.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4307 0 0 0 18993 9 0 0 25 0 1 0 843028481 27414528 4227 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6693 4227 1111 63 0 6630 0 vsize: 26772 [startup+200.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4434 0 0 0 19993 9 0 0 25 0 1 0 843028481 27959296 4354 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6826 4354 1111 63 0 6763 0 vsize: 27304 [startup+210.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4592 0 0 0 20993 10 0 0 25 0 1 0 843028481 28499968 4512 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 6958 4512 1111 63 0 6895 0 vsize: 27832 [startup+220.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4749 0 0 0 21993 10 0 0 25 0 1 0 843028481 29196288 4669 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7128 4669 1111 63 0 7065 0 vsize: 28512 [startup+230.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 4875 0 0 0 22993 10 0 0 25 0 1 0 843028481 29741056 4795 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7261 4795 1111 63 0 7198 0 vsize: 29044 [startup+240.017 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5016 0 0 0 23993 10 0 0 25 0 1 0 843028481 30285824 4936 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7394 4936 1111 63 0 7331 0 vsize: 29576 [startup+250.018 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5160 0 0 0 24993 11 0 0 25 0 1 0 843028481 30826496 5080 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7526 5080 1111 63 0 7463 0 vsize: 30104 [startup+260.045 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5313 0 0 0 25995 11 0 0 25 0 1 0 843028481 31522816 5233 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7696 5233 1111 63 0 7633 0 vsize: 30784 [startup+270.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5444 0 0 0 26995 11 0 0 25 0 1 0 843028481 32071680 5364 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7830 5364 1111 63 0 7767 0 vsize: 31320 [startup+280.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5589 0 0 0 27995 12 0 0 25 0 1 0 843028481 32632832 5509 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 7967 5509 1111 63 0 7904 0 vsize: 31868 [startup+290.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5717 0 0 0 28995 12 0 0 25 0 1 0 843028481 33177600 5637 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8100 5637 1111 63 0 8037 0 vsize: 32400 [startup+300.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 5868 0 0 0 29994 12 0 0 25 0 1 0 843028481 33722368 5788 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8233 5788 1111 63 0 8170 0 vsize: 32932 [startup+310.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6007 0 0 0 30994 13 0 0 25 0 1 0 843028481 34287616 5927 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8371 5927 1111 63 0 8308 0 vsize: 33484 [startup+320.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6135 0 0 0 31994 13 0 0 25 0 1 0 843028481 34836480 6055 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8505 6055 1111 63 0 8442 0 vsize: 34020 [startup+330.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6292 0 0 0 32994 14 0 0 25 0 1 0 843028481 35532800 6212 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8675 6212 1111 63 0 8612 0 vsize: 34700 [startup+340.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6431 0 0 0 33994 14 0 0 25 0 1 0 843028481 36073472 6351 4294967295 134512640 134716908 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8807 6351 1111 63 0 8744 0 vsize: 35228 [startup+350.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6578 0 0 0 34994 14 0 0 25 0 1 0 843028481 36753408 6498 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 8973 6499 1111 63 0 8910 0 vsize: 35892 [startup+360.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6728 0 0 0 35994 14 0 0 25 0 1 0 843028481 37314560 6648 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9110 6648 1111 63 0 9047 0 vsize: 36440 [startup+370.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 6868 0 0 0 36994 14 0 0 25 0 1 0 843028481 37859328 6788 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9243 6788 1111 63 0 9180 0 vsize: 36972 [startup+380.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7001 0 0 0 37994 15 0 0 25 0 1 0 843028481 38400000 6921 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9375 6921 1111 63 0 9312 0 vsize: 37500 [startup+390.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7165 0 0 0 38994 15 0 0 25 0 1 0 843028481 39075840 7085 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9540 7085 1111 63 0 9477 0 vsize: 38160 [startup+400.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7317 0 0 0 39994 15 0 0 25 0 1 0 843028481 39645184 7237 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9679 7237 1111 63 0 9616 0 vsize: 38716 [startup+410.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7456 0 0 0 40993 15 0 0 25 0 1 0 843028481 40210432 7376 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9817 7376 1111 63 0 9754 0 vsize: 39268 [startup+420.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7609 0 0 0 41993 16 0 0 25 0 1 0 843028481 40914944 7529 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 9989 7529 1111 63 0 9926 0 vsize: 39956 [startup+430.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7747 0 0 0 42993 16 0 0 25 0 1 0 843028481 41455616 7667 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10121 7667 1111 63 0 10058 0 vsize: 40484 [startup+440.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 7900 0 0 0 43993 16 0 0 25 0 1 0 843028481 42156032 7820 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10292 7820 1111 63 0 10229 0 vsize: 41168 [startup+450.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8046 0 0 0 44993 17 0 0 25 0 1 0 843028481 42700800 7966 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10425 7966 1111 63 0 10362 0 vsize: 41700 [startup+460.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8185 0 0 0 45993 17 0 0 25 0 1 0 843028481 43241472 8105 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10557 8105 1111 63 0 10494 0 vsize: 42228 [startup+470.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8317 0 0 0 46992 17 0 0 25 0 1 0 843028481 43782144 8237 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10689 8237 1111 63 0 10626 0 vsize: 42756 [startup+480.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8464 0 0 0 47992 18 0 0 25 0 1 0 843028481 44466176 8384 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10856 8384 1111 63 0 10793 0 vsize: 43424 [startup+490.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8614 0 0 0 48992 18 0 0 25 0 1 0 843028481 45031424 8534 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 10994 8534 1111 63 0 10931 0 vsize: 43976 [startup+500.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8773 0 0 0 49992 18 0 0 25 0 1 0 843028481 45600768 8693 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11133 8693 1111 63 0 11070 0 vsize: 44532 [startup+510.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 8906 0 0 0 50992 18 0 0 25 0 1 0 843028481 46276608 8826 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11298 8826 1111 63 0 11235 0 vsize: 45192 [startup+520.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9069 0 0 0 51992 18 0 0 25 0 1 0 843028481 46837760 8989 4294967295 134512640 134716908 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11435 8989 1111 63 0 11372 0 vsize: 45740 [startup+530.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9203 0 0 0 52992 19 0 0 25 0 1 0 843028481 47382528 9123 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11568 9123 1111 63 0 11505 0 vsize: 46272 [startup+540.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9365 0 0 0 53991 19 0 0 25 0 1 0 843028481 48128000 9285 4294967295 134512640 134716908 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11750 9285 1111 63 0 11687 0 vsize: 47000 [startup+550.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9511 0 0 0 54991 20 0 0 25 0 1 0 843028481 48807936 9431 4294967295 134512640 134716908 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 11916 9431 1111 63 0 11853 0 vsize: 47664 [startup+560.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9651 0 0 0 55990 21 0 0 25 0 1 0 843028481 49348608 9571 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12048 9571 1111 63 0 11985 0 vsize: 48192 [startup+570.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9808 0 0 0 56990 21 0 0 25 0 1 0 843028481 49909760 9728 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12185 9728 1111 63 0 12122 0 vsize: 48740 [startup+580.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 9948 0 0 0 57990 22 0 0 25 0 1 0 843028481 50593792 9868 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12352 9868 1111 63 0 12289 0 vsize: 49408 [startup+590.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10086 0 0 0 58990 22 0 0 25 0 1 0 843028481 51134464 10006 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12484 10006 1111 63 0 12421 0 vsize: 49936 [startup+600.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10221 0 0 0 59989 22 0 0 25 0 1 0 843028481 51675136 10141 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12616 10141 1111 63 0 12553 0 vsize: 50464 [startup+610.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10386 0 0 0 60989 23 0 0 25 0 1 0 843028481 52359168 10306 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12783 10306 1111 63 0 12720 0 vsize: 51132 [startup+620.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10513 0 0 0 61989 23 0 0 25 0 1 0 843028481 52899840 10433 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 12915 10433 1111 63 0 12852 0 vsize: 51660 [startup+630.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10666 0 0 0 62989 24 0 0 25 0 1 0 843028481 53444608 10586 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13048 10586 1111 63 0 12985 0 vsize: 52192 [startup+640.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10823 0 0 0 63989 24 0 0 25 0 1 0 843028481 54140928 10743 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13218 10743 1111 63 0 13155 0 vsize: 52872 [startup+650.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 10967 0 0 0 64989 24 0 0 25 0 1 0 843028481 54681600 10887 4294967295 134512640 134716908 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13350 10887 1111 63 0 13287 0 vsize: 53400 [startup+660.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11120 0 0 0 65989 24 0 0 25 0 1 0 843028481 55361536 11040 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13516 11040 1111 63 0 13453 0 vsize: 54064 [startup+670.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11266 0 0 0 66988 25 0 0 25 0 1 0 843028481 55926784 11186 4294967295 134512640 134716908 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13654 11186 1111 63 0 13591 0 vsize: 54616 [startup+680.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11413 0 0 0 67989 25 0 0 25 0 1 0 843028481 56475648 11333 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13788 11333 1111 63 0 13725 0 vsize: 55152 [startup+690.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11565 0 0 0 68988 25 0 0 25 0 1 0 843028481 57171968 11485 4294967295 134512640 134716908 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 13958 11485 1111 63 0 13895 0 vsize: 55832 [startup+700.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11717 0 0 0 69988 25 0 0 25 0 1 0 843028481 57712640 11637 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14090 11637 1111 63 0 14027 0 vsize: 56360 [startup+710.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 11863 0 0 0 70988 26 0 0 25 0 1 0 843028481 58392576 11783 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14256 11783 1111 63 0 14193 0 vsize: 57024 [startup+720.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12008 0 0 0 71988 26 0 0 25 0 1 0 843028481 58933248 11928 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14388 11928 1111 63 0 14325 0 vsize: 57552 [startup+730.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12162 0 0 0 72988 26 0 0 25 0 1 0 843028481 59613184 12082 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14554 12082 1111 63 0 14491 0 vsize: 58216 [startup+740.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12319 0 0 0 73988 26 0 0 25 0 1 0 843028481 60153856 12239 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14686 12239 1111 63 0 14623 0 vsize: 58744 [startup+750.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12471 0 0 0 74988 26 0 0 25 0 1 0 843028481 60850176 12391 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14856 12391 1111 63 0 14793 0 vsize: 59424 [startup+760.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12618 0 0 0 75988 27 0 0 25 0 1 0 843028481 61394944 12538 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 14989 12538 1111 63 0 14926 0 vsize: 59956 [startup+770.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12756 0 0 0 76987 28 0 0 25 0 1 0 843028481 62070784 12676 4294967295 134512640 134716908 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15154 12676 1111 63 0 15091 0 vsize: 60616 [startup+780.044 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 12903 0 0 0 77987 28 0 0 25 0 1 0 843028481 62615552 12823 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15287 12823 1111 63 0 15224 0 vsize: 61148 [startup+790.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13041 0 0 0 78987 28 0 0 25 0 1 0 843028481 63156224 12961 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15419 12961 1111 63 0 15356 0 vsize: 61676 [startup+800.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13187 0 0 0 79987 28 0 0 25 0 1 0 843028481 63832064 13107 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15584 13107 1111 63 0 15521 0 vsize: 62336 [startup+810.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13333 0 0 0 80987 29 0 0 25 0 1 0 843028481 64376832 13253 4294967295 134512640 134716908 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15717 13253 1111 63 0 15654 0 vsize: 62868 [startup+820.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13479 0 0 0 81986 29 0 0 25 0 1 0 843028481 64917504 13399 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15849 13399 1111 63 0 15786 0 vsize: 63396 [startup+830.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13597 0 0 0 82986 29 0 0 25 0 1 0 843028481 65474560 13517 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 15985 13517 1111 63 0 15922 0 vsize: 63940 [startup+840.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13706 0 0 0 83987 29 0 0 25 0 1 0 843028481 65896448 13626 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16088 13626 1111 63 0 16025 0 vsize: 64352 [startup+850.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13822 0 0 0 84987 30 0 0 25 0 1 0 843028481 66314240 13742 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16190 13742 1111 63 0 16127 0 vsize: 64760 [startup+860.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 13934 0 0 0 85987 30 0 0 25 0 1 0 843028481 66883584 13854 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16329 13854 1111 63 0 16266 0 vsize: 65316 [startup+870.043 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14044 0 0 0 86986 30 0 0 25 0 1 0 843028481 67301376 13964 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16431 13964 1111 63 0 16368 0 vsize: 65724 [startup+880.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14154 0 0 0 87986 31 0 0 25 0 1 0 843028481 67723264 14074 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16534 14074 1111 63 0 16471 0 vsize: 66136 [startup+890.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14265 0 0 0 88986 31 0 0 25 0 1 0 843028481 68149248 14185 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16638 14185 1111 63 0 16575 0 vsize: 66552 [startup+900.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14375 0 0 0 89986 31 0 0 25 0 1 0 843028481 68571136 14295 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16741 14295 1111 63 0 16678 0 vsize: 66964 [startup+910.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14486 0 0 0 90985 32 0 0 25 0 1 0 843028481 69136384 14406 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16879 14406 1111 63 0 16816 0 vsize: 67516 [startup+920.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14603 0 0 0 91985 32 0 0 25 0 1 0 843028481 69558272 14523 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 16982 14523 1111 63 0 16919 0 vsize: 67928 [startup+930.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14712 0 0 0 92985 32 0 0 25 0 1 0 843028481 69976064 14632 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17084 14632 1111 63 0 17021 0 vsize: 68336 [startup+940.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14824 0 0 0 93985 32 0 0 25 0 1 0 843028481 70406144 14744 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17189 14744 1111 63 0 17126 0 vsize: 68756 [startup+950.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 14934 0 0 0 94985 32 0 0 25 0 1 0 843028481 70967296 14854 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17326 14854 1111 63 0 17263 0 vsize: 69304 [startup+960.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15045 0 0 0 95985 33 0 0 25 0 1 0 843028481 71385088 14965 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17428 14965 1111 63 0 17365 0 vsize: 69712 [startup+970.042 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15161 0 0 0 96985 33 0 0 25 0 1 0 843028481 71811072 15081 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17532 15081 1111 63 0 17469 0 vsize: 70128 [startup+980.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15271 0 0 0 97985 33 0 0 25 0 1 0 843028481 72232960 15191 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17635 15191 1111 63 0 17572 0 vsize: 70540 [startup+990.041 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15382 0 0 0 98985 33 0 0 25 0 1 0 843028481 72798208 15302 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17773 15302 1111 63 0 17710 0 vsize: 71092 [startup+1000.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15492 0 0 0 99985 33 0 0 25 0 1 0 843028481 73220096 15412 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17876 15412 1111 63 0 17813 0 vsize: 71504 [startup+1010.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15601 0 0 0 100985 34 0 0 25 0 1 0 843028481 73637888 15521 4294967295 134512640 134716908 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 17978 15521 1111 63 0 17915 0 vsize: 71912 [startup+1020.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15712 0 0 0 101985 34 0 0 25 0 1 0 843028481 74067968 15632 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18083 15632 1111 63 0 18020 0 vsize: 72332 [startup+1030.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15828 0 0 0 102985 34 0 0 25 0 1 0 843028481 74629120 15748 4294967295 134512640 134716908 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18220 15748 1111 63 0 18157 0 vsize: 72880 [startup+1040.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 15974 0 0 0 103985 34 0 0 25 0 1 0 843028481 75210752 15894 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18362 15894 1111 63 0 18299 0 vsize: 73448 [startup+1050.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16075 0 0 0 104985 34 0 0 25 0 1 0 843028481 75636736 15995 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18466 15995 1111 63 0 18403 0 vsize: 73864 [startup+1060.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16197 0 0 0 105985 34 0 0 25 0 1 0 843028481 76197888 16117 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18603 16117 1111 63 0 18540 0 vsize: 74412 [startup+1070.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16309 0 0 0 106985 35 0 0 25 0 1 0 843028481 76623872 16229 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18707 16229 1111 63 0 18644 0 vsize: 74828 [startup+1080.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16431 0 0 0 107985 35 0 0 25 0 1 0 843028481 77185024 16351 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18844 16351 1111 63 0 18781 0 vsize: 75376 [startup+1090.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16543 0 0 0 108985 35 0 0 25 0 1 0 843028481 77602816 16463 4294967295 134512640 134716908 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 18946 16463 1111 63 0 18883 0 vsize: 75784 [startup+1100.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16667 0 0 0 109984 36 0 0 25 0 1 0 843028481 78172160 16587 4294967295 134512640 134716908 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19085 16587 1111 63 0 19022 0 vsize: 76340 [startup+1110.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16777 0 0 0 110984 36 0 0 25 0 1 0 843028481 78589952 16697 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19187 16697 1111 63 0 19124 0 vsize: 76748 [startup+1120.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 16901 0 0 0 111984 36 0 0 25 0 1 0 843028481 79015936 16821 4294967295 134512640 134716908 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19291 16821 1111 63 0 19228 0 vsize: 77164 [startup+1130.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17011 0 0 0 112984 37 0 0 25 0 1 0 843028481 79577088 16931 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19428 16931 1111 63 0 19365 0 vsize: 77712 [startup+1140.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17129 0 0 0 113984 37 0 0 25 0 1 0 843028481 79998976 17049 4294967295 134512640 134716908 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19531 17049 1111 63 0 19468 0 vsize: 78124 [startup+1150.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17246 0 0 0 114983 38 0 0 25 0 1 0 843028481 80424960 17166 4294967295 134512640 134716908 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19635 17166 1111 63 0 19572 0 vsize: 78540 [startup+1160.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17357 0 0 0 115983 38 0 0 25 0 1 0 843028481 80986112 17277 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19772 17277 1111 63 0 19709 0 vsize: 79088 [startup+1170.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17481 0 0 0 116983 39 0 0 25 0 1 0 843028481 81412096 17401 4294967295 134512640 134716908 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19876 17401 1111 63 0 19813 0 vsize: 79504 [startup+1180.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17591 0 0 0 117982 40 0 0 25 0 1 0 843028481 81833984 17511 4294967295 134512640 134716908 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 19979 17511 1111 63 0 19916 0 vsize: 79916 [startup+1190.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17709 0 0 0 118982 40 0 0 25 0 1 0 843028481 82395136 17629 4294967295 134512640 134716908 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20116 17629 1111 63 0 20053 0 vsize: 80464 [startup+1200.04 s] Raw data (loadavg): 1.00 1.00 0.93 2/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) R 20036 8378 8377 0 -1 0 17825 0 0 0 119982 40 0 0 25 0 1 0 843028481 82821120 17745 4294967295 134512640 134716908 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0 Raw data (statm): 20220 17745 1111 63 0 20157 0 vsize: 80880 Maximum CPU time exceeded: sending SIGTERM and SIGKILL [startup+1200.08 s] Raw data (loadavg): 1.00 1.00 0.93 1/55 20037 Raw data (stat): 20037 (bsolo_lpr-v2) Z 20036 8378 8377 0 -1 1036 17825 0 0 0 119982 43 0 0 25 0 1 0 843028481 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.08 CPU time (s): 1200.26 CPU user time (s): 1199.82 CPU system time (s): 0.439933 CPU usage (%): 100.016 Max. virtual memory (Kb): 80880 #### END WATCHER DATA #### #### BEGIN VERIFIER DATA #### ERROR: no interpretation found ! #### END VERIFIER DATA ####