PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib2003/normalized-mps-v2-20-10-timtab2.opb
MD5SUM	388cec2ad329df6f021dfbdc92f512ad
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	3774
Biggest coefficient in the objective function	3604480000000000
Number of bits for the biggest coefficient in the objective function	52
Sum of the numbers in the objective function	483609165299803395
Number of bits of the sum of numbers in the objective function	59
Biggest number in a constraint	3604480000000000
Number of bits of the biggest number in a constraint	52
Biggest sum of numbers in a constraint	483609165299803395
Number of bits of the biggest sum of numbers	59
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.05999
Number of variables	6363
Total number of constraints	952
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	113
Number of constraints which are nor clauses,nor cardinality constraints	839
Minimum length of a constraint	1
Maximum length of a constraint	141
Trace number 28490

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-05-25 02:39:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=13092 boxname=wulflinc5 idbench=1008 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  388cec2ad329df6f021dfbdc92f512ad  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-timtab2.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-timtab2.opb
IDLAUNCH: 13092
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        550872 kB
Buffers:         20024 kB
Cached:         440416 kB
SwapCached:       1348 kB
Active:          31968 kB
Inactive:       431756 kB
HighTotal:      131008 kB
HighFree:         1288 kB
LowTotal:       903652 kB
LowFree:        549584 kB
SwapTotal:     2097136 kB
SwapFree:      2095356 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5744 kB
Slab:            14292 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 02:58:49 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 13092 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6363 variables and 1079 constraints.
c After prepocess the problem consists of 6361 variables and 1082 constraints.
c preprocess terminated 6.773 s
c Initial Lower Bound: -3750
c Lower Bound Elapsed time: 1.0605
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.87 0.98 0.97 2/54 17048
Raw data (stat): 17048 (runsolver) R 17047 7266 7265 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 777123349 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0085 s]
Raw data (loadavg): 0.89 0.98 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 12269 0 0 0 944 28 0 0 25 0 1 0 777123349 44142592 10001 4294967295 134512640 134714508 3221224592 3221222336 1075823494 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10777 10001 1111 63 0 10714 0
vsize: 43108
[startup+20.0196 s]
Raw data (loadavg): 0.91 0.98 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14272 0 0 0 1941 33 0 0 25 0 1 0 777123349 42987520 9781 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+30.0331 s]
Raw data (loadavg): 0.92 0.98 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14272 0 0 0 2941 34 0 0 25 0 1 0 777123349 42987520 9781 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+40.1433 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14272 0 0 0 3951 34 0 0 25 0 1 0 777123349 42987520 9781 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+50.1434 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14272 0 0 0 4951 35 0 0 25 0 1 0 777123349 42987520 9781 4294967295 134512640 134714508 3221224592 3221223368 134613535 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9781 1111 63 0 10432 0
vsize: 41980
[startup+60.1442 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14273 0 0 0 5950 36 0 0 25 0 1 0 777123349 42987520 9782 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9782 1111 63 0 10432 0
vsize: 41980
[startup+70.144 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14273 0 0 0 6950 36 0 0 25 0 1 0 777123349 42987520 9782 4294967295 134512640 134714508 3221224592 3221223260 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10495 9782 1111 63 0 10432 0
vsize: 41980
[startup+80.1443 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14351 0 0 0 7948 37 0 0 25 0 1 0 777123349 43393024 9860 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10594 9860 1111 63 0 10531 0
vsize: 42376
[startup+90.1448 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14407 0 0 0 8947 39 0 0 25 0 1 0 777123349 43663360 9916 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9916 1111 63 0 10597 0
vsize: 42640
[startup+100.145 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14411 0 0 0 9946 40 0 0 25 0 1 0 777123349 43663360 9920 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9920 1111 63 0 10597 0
vsize: 42640
[startup+110.149 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14418 0 0 0 10946 41 0 0 25 0 1 0 777123349 43663360 9927 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10660 9927 1111 63 0 10597 0
vsize: 42640
[startup+120.157 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14453 0 0 0 11945 42 0 0 25 0 1 0 777123349 43798528 9962 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9962 1111 63 0 10630 0
vsize: 42772
[startup+130.157 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14458 0 0 0 12945 43 0 0 25 0 1 0 777123349 43798528 9967 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9967 1111 63 0 10630 0
vsize: 42772
[startup+140.161 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14466 0 0 0 13944 44 0 0 25 0 1 0 777123349 43798528 9975 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10693 9975 1111 63 0 10630 0
vsize: 42772
[startup+150.162 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14499 0 0 0 14943 44 0 0 25 0 1 0 777123349 43933696 10008 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10726 10008 1111 63 0 10663 0
vsize: 42904
[startup+160.168 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14554 0 0 0 15942 46 0 0 25 0 1 0 777123349 44204032 10063 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10063 1111 63 0 10729 0
vsize: 43168
[startup+170.168 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14561 0 0 0 16941 47 0 0 25 0 1 0 777123349 44204032 10070 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10070 1111 63 0 10729 0
vsize: 43168
[startup+180.169 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14569 0 0 0 17941 48 0 0 25 0 1 0 777123349 44204032 10078 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10792 10078 1111 63 0 10729 0
vsize: 43168
[startup+190.17 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14576 0 0 0 18940 49 0 0 25 0 1 0 777123349 44339200 10085 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10085 1111 63 0 10762 0
vsize: 43300
[startup+200.17 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14588 0 0 0 19939 49 0 0 25 0 1 0 777123349 44339200 10097 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10097 1111 63 0 10762 0
vsize: 43300
[startup+210.171 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14603 0 0 0 20938 51 0 0 25 0 1 0 777123349 44339200 10112 4294967295 134512640 134714508 3221224592 3221223352 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 10112 1111 63 0 10762 0
vsize: 43300
[startup+220.171 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14615 0 0 0 21937 52 0 0 25 0 1 0 777123349 44474368 10124 4294967295 134512640 134714508 3221224592 3221223184 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10124 1111 63 0 10795 0
vsize: 43432
[startup+230.172 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14622 0 0 0 22936 52 0 0 25 0 1 0 777123349 44474368 10131 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10131 1111 63 0 10795 0
vsize: 43432
[startup+240.173 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14632 0 0 0 23936 53 0 0 25 0 1 0 777123349 44474368 10141 4294967295 134512640 134714508 3221224592 3221223372 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10858 10141 1111 63 0 10795 0
vsize: 43432
[startup+250.172 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14668 0 0 0 24935 54 0 0 25 0 1 0 777123349 44609536 10177 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10891 10177 1111 63 0 10828 0
vsize: 43564
[startup+260.173 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14712 0 0 0 25934 55 0 0 25 0 1 0 777123349 44879872 10221 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10957 10221 1111 63 0 10894 0
vsize: 43828
[startup+270.173 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14761 0 0 0 26932 57 0 0 25 0 1 0 777123349 45015040 10270 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10990 10270 1111 63 0 10927 0
vsize: 43960
[startup+280.174 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 14899 0 0 0 27932 58 0 0 25 0 1 0 777123349 45551616 10408 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11121 10408 1111 63 0 11058 0
vsize: 44484
[startup+290.174 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15081 0 0 0 28930 59 0 0 25 0 1 0 777123349 46362624 10590 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11319 10590 1111 63 0 11256 0
vsize: 45276
[startup+300.174 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15158 0 0 0 29928 61 0 0 25 0 1 0 777123349 46632960 10667 4294967295 134512640 134714508 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11385 10667 1111 63 0 11322 0
vsize: 45540
[startup+310.175 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15193 0 0 0 30927 63 0 0 25 0 1 0 777123349 46768128 10702 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11418 10702 1111 63 0 11355 0
vsize: 45672
[startup+320.175 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15207 0 0 0 31925 64 0 0 25 0 1 0 777123349 46903296 10716 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11451 10716 1111 63 0 11388 0
vsize: 45804
[startup+330.176 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15235 0 0 0 32925 65 0 0 25 0 1 0 777123349 47038464 10744 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11484 10744 1111 63 0 11421 0
vsize: 45936
[startup+340.176 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15267 0 0 0 33924 66 0 0 25 0 1 0 777123349 47173632 10776 4294967295 134512640 134714508 3221224592 3221223392 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11517 10776 1111 63 0 11454 0
vsize: 46068
[startup+350.176 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15298 0 0 0 34922 67 0 0 25 0 1 0 777123349 47308800 10807 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11550 10807 1111 63 0 11487 0
vsize: 46200
[startup+360.177 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15327 0 0 0 35922 68 0 0 25 0 1 0 777123349 47308800 10836 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11550 10836 1111 63 0 11487 0
vsize: 46200
[startup+370.176 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15359 0 0 0 36921 68 0 0 25 0 1 0 777123349 47443968 10868 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11583 10868 1111 63 0 11520 0
vsize: 46332
[startup+380.177 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15388 0 0 0 37920 70 0 0 25 0 1 0 777123349 47579136 10897 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11616 10897 1111 63 0 11553 0
vsize: 46464
[startup+390.178 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15418 0 0 0 38920 70 0 0 25 0 1 0 777123349 47714304 10927 4294967295 134512640 134714508 3221224592 3221223368 134613522 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11649 10927 1111 63 0 11586 0
vsize: 46596
[startup+400.179 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15448 0 0 0 39919 71 0 0 25 0 1 0 777123349 47849472 10957 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 10957 1111 63 0 11619 0
vsize: 46728
[startup+410.179 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15514 0 0 0 40918 72 0 0 25 0 1 0 777123349 48119808 11023 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11748 11023 1111 63 0 11685 0
vsize: 46992
[startup+420.179 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15583 0 0 0 41917 73 0 0 25 0 1 0 777123349 48390144 11092 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11814 11092 1111 63 0 11751 0
vsize: 47256
[startup+430.18 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15654 0 0 0 42916 75 0 0 25 0 1 0 777123349 48660480 11163 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11880 11163 1111 63 0 11817 0
vsize: 47520
[startup+440.181 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15722 0 0 0 43915 75 0 0 25 0 1 0 777123349 48930816 11231 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11946 11231 1111 63 0 11883 0
vsize: 47784
[startup+450.181 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15791 0 0 0 44913 77 0 0 25 0 1 0 777123349 49336320 11300 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12045 11300 1111 63 0 11982 0
vsize: 48180
[startup+460.182 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15859 0 0 0 45912 78 0 0 25 0 1 0 777123349 49606656 11368 4294967295 134512640 134714508 3221224592 3221223392 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12111 11368 1111 63 0 12048 0
vsize: 48444
[startup+470.182 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15931 0 0 0 46911 80 0 0 25 0 1 0 777123349 49876992 11440 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12177 11440 1111 63 0 12114 0
vsize: 48708
[startup+480.183 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15964 0 0 0 47909 81 0 0 25 0 1 0 777123349 50012160 11473 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12210 11473 1111 63 0 12147 0
vsize: 48840
[startup+490.183 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 15996 0 0 0 48909 81 0 0 25 0 1 0 777123349 50147328 11505 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12243 11505 1111 63 0 12180 0
vsize: 48972
[startup+500.183 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16028 0 0 0 49908 83 0 0 25 0 1 0 777123349 50282496 11537 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12276 11537 1111 63 0 12213 0
vsize: 49104
[startup+510.183 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16061 0 0 0 50907 84 0 0 25 0 1 0 777123349 50417664 11570 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12309 11570 1111 63 0 12246 0
vsize: 49236
[startup+520.184 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16098 0 0 0 51906 85 0 0 25 0 1 0 777123349 50552832 11607 4294967295 134512640 134714508 3221224592 3221223356 134613543 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12342 11607 1111 63 0 12279 0
vsize: 49368
[startup+530.184 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16131 0 0 0 52905 86 0 0 25 0 1 0 777123349 50688000 11640 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12375 11640 1111 63 0 12312 0
vsize: 49500
[startup+540.184 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16163 0 0 0 53904 87 0 0 25 0 1 0 777123349 50823168 11672 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12408 11672 1111 63 0 12345 0
vsize: 49632
[startup+550.184 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16195 0 0 0 54903 88 0 0 25 0 1 0 777123349 50958336 11704 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 11704 1111 63 0 12378 0
vsize: 49764
[startup+560.184 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16228 0 0 0 55903 89 0 0 25 0 1 0 777123349 51093504 11737 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12474 11737 1111 63 0 12411 0
vsize: 49896
[startup+570.185 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16261 0 0 0 56902 89 0 0 25 0 1 0 777123349 51228672 11770 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12507 11770 1111 63 0 12444 0
vsize: 50028
[startup+580.185 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16296 0 0 0 57901 91 0 0 25 0 1 0 777123349 51363840 11805 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12540 11805 1111 63 0 12477 0
vsize: 50160
[startup+590.185 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16330 0 0 0 58900 92 0 0 25 0 1 0 777123349 51499008 11839 4294967295 134512640 134714508 3221224592 3221223360 134597634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12573 11839 1111 63 0 12510 0
vsize: 50292
[startup+600.186 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16362 0 0 0 59899 93 0 0 25 0 1 0 777123349 51634176 11871 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12606 11871 1111 63 0 12543 0
vsize: 50424
[startup+610.186 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16396 0 0 0 60898 94 0 0 25 0 1 0 777123349 51769344 11905 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12639 11905 1111 63 0 12576 0
vsize: 50556
[startup+620.187 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16428 0 0 0 61897 94 0 0 25 0 1 0 777123349 51904512 11937 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12672 11937 1111 63 0 12609 0
vsize: 50688
[startup+630.188 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16460 0 0 0 62896 96 0 0 25 0 1 0 777123349 52039680 11969 4294967295 134512640 134714508 3221224592 3221223148 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12705 11969 1111 63 0 12642 0
vsize: 50820
[startup+640.189 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16493 0 0 0 63896 96 0 0 25 0 1 0 777123349 52174848 12002 4294967295 134512640 134714508 3221224592 3221223180 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12738 12002 1111 63 0 12675 0
vsize: 50952
[startup+650.188 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16525 0 0 0 64895 97 0 0 25 0 1 0 777123349 52310016 12034 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 12034 1111 63 0 12708 0
vsize: 51084
[startup+660.189 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16571 0 0 0 65894 98 0 0 25 0 1 0 777123349 52445184 12080 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12804 12080 1111 63 0 12741 0
vsize: 51216
[startup+670.189 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16604 0 0 0 66893 99 0 0 25 0 1 0 777123349 52580352 12113 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12837 12113 1111 63 0 12774 0
vsize: 51348
[startup+680.189 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16639 0 0 0 67892 100 0 0 25 0 1 0 777123349 52715520 12148 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12870 12148 1111 63 0 12807 0
vsize: 51480
[startup+690.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16673 0 0 0 68891 101 0 0 25 0 1 0 777123349 52850688 12182 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12903 12182 1111 63 0 12840 0
vsize: 51612
[startup+700.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16705 0 0 0 69890 102 0 0 25 0 1 0 777123349 52985856 12214 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12936 12214 1111 63 0 12873 0
vsize: 51744
[startup+710.191 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16738 0 0 0 70889 103 0 0 25 0 1 0 777123349 53121024 12247 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12969 12247 1111 63 0 12906 0
vsize: 51876
[startup+720.192 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16775 0 0 0 71889 104 0 0 25 0 1 0 777123349 53260288 12284 4294967295 134512640 134714508 3221224592 3221223372 134613500 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13003 12284 1111 63 0 12940 0
vsize: 52012
[startup+730.192 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16808 0 0 0 72888 104 0 0 25 0 1 0 777123349 53395456 12317 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13036 12317 1111 63 0 12973 0
vsize: 52144
[startup+740.193 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16840 0 0 0 73887 105 0 0 25 0 1 0 777123349 53530624 12349 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13069 12349 1111 63 0 13006 0
vsize: 52276
[startup+750.193 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 16884 0 0 0 74886 106 0 0 25 0 1 0 777123349 53800960 12393 4294967295 134512640 134714508 3221224592 3221223392 134597597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13135 12393 1111 63 0 13072 0
vsize: 52540
[startup+760.194 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 17057 0 0 0 75885 108 0 0 25 0 1 0 777123349 54476800 12566 4294967295 134512640 134714508 3221224592 3221223392 134597733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13300 12566 1111 63 0 13237 0
vsize: 53200
[startup+770.194 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 17459 0 0 0 76883 109 0 0 25 0 1 0 777123349 56098816 12968 4294967295 134512640 134714508 3221224592 3221223368 134600361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13696 12968 1111 63 0 13633 0
vsize: 54784
[startup+780.195 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 17750 0 0 0 77883 110 0 0 25 0 1 0 777123349 57315328 13259 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13993 13259 1111 63 0 13930 0
vsize: 55972
[startup+790.196 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 18009 0 0 0 78882 111 0 0 25 0 1 0 777123349 58413056 13518 4294967295 134512640 134714508 3221224592 3221223392 134597759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14261 13518 1111 63 0 14198 0
vsize: 57044
[startup+800.195 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 18330 0 0 0 79881 112 0 0 25 0 1 0 777123349 59764736 13839 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14591 13839 1111 63 0 14528 0
vsize: 58364
[startup+810.195 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 18649 0 0 0 80879 114 0 0 25 0 1 0 777123349 60981248 14158 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14888 14158 1111 63 0 14825 0
vsize: 59552
[startup+820.196 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 18960 0 0 0 81878 115 0 0 25 0 1 0 777123349 62332928 14469 4294967295 134512640 134714508 3221224592 3221223296 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15218 14469 1111 63 0 15155 0
vsize: 60872
[startup+830.196 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 19246 0 0 0 82877 117 0 0 25 0 1 0 777123349 63414272 14755 4294967295 134512640 134714508 3221224592 3221223392 134597692 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15482 14755 1111 63 0 15419 0
vsize: 61928
[startup+840.196 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 19265 0 0 0 83877 117 0 0 25 0 1 0 777123349 63549440 14773 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15515 14773 1111 63 0 15452 0
vsize: 62060
[startup+850.196 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 19287 0 0 0 84876 118 0 0 25 0 1 0 777123349 63684608 14795 4294967295 134512640 134714508 3221224592 3221223232 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15548 14795 1111 63 0 15485 0
vsize: 62192
[startup+860.197 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 19437 0 0 0 85875 119 0 0 25 0 1 0 777123349 64225280 14945 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15680 14945 1111 63 0 15617 0
vsize: 62720
[startup+870.197 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 19806 0 0 0 86874 121 0 0 25 0 1 0 777123349 65847296 15314 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16076 15314 1111 63 0 16013 0
vsize: 64304
[startup+880.197 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20135 0 0 0 87873 122 0 0 25 0 1 0 777123349 67198976 15643 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16406 15643 1111 63 0 16343 0
vsize: 65624
[startup+890.198 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20174 0 0 0 88872 122 0 0 25 0 1 0 777123349 67346432 15682 4294967295 134512640 134714508 3221224592 3221223392 134597769 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16442 15682 1111 63 0 16379 0
vsize: 65768
[startup+900.198 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20178 0 0 0 89872 123 0 0 25 0 1 0 777123349 67346432 15686 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16442 15686 1111 63 0 16379 0
vsize: 65768
[startup+910.199 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20188 0 0 0 90872 123 0 0 25 0 1 0 777123349 67346432 15696 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16442 15696 1111 63 0 16379 0
vsize: 65768
[startup+920.198 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20198 0 0 0 91872 124 0 0 25 0 1 0 777123349 67481600 15706 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16475 15706 1111 63 0 16412 0
vsize: 65900
[startup+930.199 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20219 0 0 0 92871 124 0 0 25 0 1 0 777123349 67616768 15727 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16508 15727 1111 63 0 16445 0
vsize: 66032
[startup+940.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20219 0 0 0 93871 125 0 0 25 0 1 0 777123349 67616768 15727 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16508 15727 1111 63 0 16445 0
vsize: 66032
[startup+950.199 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20245 0 0 0 94871 125 0 0 25 0 1 0 777123349 67616768 15752 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16508 15752 1111 63 0 16445 0
vsize: 66032
[startup+960.199 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20262 0 0 0 95870 126 0 0 25 0 1 0 777123349 67751936 15769 4294967295 134512640 134714508 3221224592 3221222984 134613965 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 15769 1111 63 0 16478 0
vsize: 66164
[startup+970.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20330 0 0 0 96869 127 0 0 25 0 1 0 777123349 68022272 15837 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16607 15837 1111 63 0 16544 0
vsize: 66428
[startup+980.201 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20389 0 0 0 97869 128 0 0 25 0 1 0 777123349 68292608 15896 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16673 15896 1111 63 0 16610 0
vsize: 66692
[startup+990.201 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20448 0 0 0 98869 128 0 0 25 0 1 0 777123349 68562944 15955 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16739 15955 1111 63 0 16676 0
vsize: 66956
[startup+1000.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20509 0 0 0 99868 129 0 0 25 0 1 0 777123349 68698112 16016 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16772 16016 1111 63 0 16709 0
vsize: 67088
[startup+1010.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20574 0 0 0 100867 130 0 0 25 0 1 0 777123349 68968448 16081 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16838 16081 1111 63 0 16775 0
vsize: 67352
[startup+1020.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20630 0 0 0 101867 131 0 0 25 0 1 0 777123349 69238784 16137 4294967295 134512640 134714508 3221224592 3221223372 134600365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16904 16137 1111 63 0 16841 0
vsize: 67616
[startup+1030.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20680 0 0 0 102866 131 0 0 25 0 1 0 777123349 69509120 16187 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16970 16187 1111 63 0 16907 0
vsize: 67880
[startup+1040.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20731 0 0 0 103866 132 0 0 25 0 1 0 777123349 69644288 16238 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17003 16238 1111 63 0 16940 0
vsize: 68012
[startup+1050.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20781 0 0 0 104866 132 0 0 25 0 1 0 777123349 69914624 16288 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17069 16288 1111 63 0 17006 0
vsize: 68276
[startup+1060.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20833 0 0 0 105866 133 0 0 25 0 1 0 777123349 70049792 16340 4294967295 134512640 134714508 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17102 16340 1111 63 0 17039 0
vsize: 68408
[startup+1070.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20884 0 0 0 106865 134 0 0 25 0 1 0 777123349 70320128 16391 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17168 16391 1111 63 0 17105 0
vsize: 68672
[startup+1080.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20936 0 0 0 107865 134 0 0 25 0 1 0 777123349 70455296 16443 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17201 16443 1111 63 0 17138 0
vsize: 68804
[startup+1090.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 20986 0 0 0 108864 135 0 0 25 0 1 0 777123349 70725632 16493 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17267 16493 1111 63 0 17204 0
vsize: 69068
[startup+1100.2 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21038 0 0 0 109863 136 0 0 25 0 1 0 777123349 70860800 16545 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17300 16545 1111 63 0 17237 0
vsize: 69200
[startup+1110.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21088 0 0 0 110863 136 0 0 25 0 1 0 777123349 71131136 16595 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17366 16595 1111 63 0 17303 0
vsize: 69464
[startup+1120.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21138 0 0 0 111862 137 0 0 25 0 1 0 777123349 71401472 16645 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17432 16645 1111 63 0 17369 0
vsize: 69728
[startup+1130.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21186 0 0 0 112862 138 0 0 25 0 1 0 777123349 71536640 16693 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17465 16693 1111 63 0 17402 0
vsize: 69860
[startup+1140.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21237 0 0 0 113862 138 0 0 25 0 1 0 777123349 71806976 16744 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17531 16744 1111 63 0 17468 0
vsize: 70124
[startup+1150.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21291 0 0 0 114861 139 0 0 25 0 1 0 777123349 71942144 16798 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17564 16798 1111 63 0 17501 0
vsize: 70256
[startup+1160.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21341 0 0 0 115861 140 0 0 25 0 1 0 777123349 72212480 16848 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17630 16848 1111 63 0 17567 0
vsize: 70520
[startup+1170.21 s]
Raw data (loadavg): 1.00 0.99 0.97 2/54 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21391 0 0 0 116860 140 0 0 25 0 1 0 777123349 72347648 16898 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 16898 1111 63 0 17600 0
vsize: 70652
[startup+1175.24 s]
Raw data (loadavg): 1.00 0.99 0.97 1/53 17048
Raw data (stat): 17048 (bsolo_lpr) R 17047 7266 7265 0 -1 0 21391 0 0 0 116860 140 0 0 25 0 1 0 777123349 72347648 16898 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17663 16898 1111 63 0 17600 0
vsize: 0

Child status: 0
Real time (s): 1175.24
CPU time (s): 1175.05
CPU user time (s): 1173.6
CPU system time (s): 1.44278
CPU usage (%): 99.9835
Max. virtual memory (Kb): 70652
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####