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-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-sierra.opb
MD5SUM	0c242afd458949841d3ea7014466f311
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	31139
Biggest coefficient in the objective function	5007894118400
Number of bits for the biggest coefficient in the objective function	43
Sum of the numbers in the objective function	89107300928876
Number of bits of the sum of numbers in the objective function	47
Biggest number in a constraint	5007894118400
Number of bits of the biggest number in a constraint	43
Biggest sum of numbers in a constraint	89107300928876
Number of bits of the biggest sum of numbers	47
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.282956
Number of variables	32607
Total number of constraints	3263
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3263
Minimum length of a constraint	7
Maximum length of a constraint	426
Trace number 27586

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 22:39:13 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16472 boxname=wulflinc15 idbench=1268 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  0c242afd458949841d3ea7014466f311  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-sierra.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-13-7-sierra.opb
IDLAUNCH: 16472
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        712388 kB
Buffers:         10796 kB
Cached:         290212 kB
SwapCached:        504 kB
Active:          29516 kB
Inactive:       273820 kB
HighTotal:      131008 kB
HighFree:        91952 kB
LowTotal:       903652 kB
LowFree:        620436 kB
SwapTotal:     2097136 kB
SwapFree:      2096044 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            13192 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 22:59:15 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 16472 7 1200.39 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 32607 variables and 3791 constraints.
#### 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.92 0.97 0.91 2/54 28728
Raw data (stat): 28728 (runsolver) R 28727 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 775677058 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+9.99944 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 1323 0 0 0 993 4 0 0 25 0 1 0 775677058 17895424 1247 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4369 1247 1111 63 0 4306 0
vsize: 17476
[startup+20.0006 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 2070 0 0 0 1991 6 0 0 25 0 1 0 775677058 21004288 1994 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 1994 1111 63 0 5065 0
vsize: 20512
[startup+30.0014 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 2776 0 0 0 2991 7 0 0 25 0 1 0 775677058 23830528 2700 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5818 2700 1111 63 0 5755 0
vsize: 23272
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 3748 0 0 0 3989 8 0 0 25 0 1 0 775677058 27836416 3672 4294967295 134512640 134714508 3221224592 3221222820 1077414372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6796 3672 1111 63 0 6733 0
vsize: 27184
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 4634 0 0 0 4988 10 0 0 25 0 1 0 775677058 31457280 4558 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7680 4558 1111 63 0 7617 0
vsize: 30720
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 5661 0 0 0 5985 13 0 0 25 0 1 0 775677058 35708928 5585 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8718 5585 1111 63 0 8655 0
vsize: 34872
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 6661 0 0 0 6983 15 0 0 25 0 1 0 775677058 39858176 6585 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9731 6585 1111 63 0 9668 0
vsize: 38924
[startup+80.0036 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 7780 0 0 0 7982 17 0 0 25 0 1 0 775677058 44429312 7704 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10847 7704 1111 63 0 10784 0
vsize: 43388
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 8725 0 0 0 8980 19 0 0 25 0 1 0 775677058 48345088 8649 4294967295 134512640 134714508 3221224592 3221222820 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11803 8649 1111 63 0 11740 0
vsize: 47212
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 10015 0 0 0 9977 22 0 0 25 0 1 0 775677058 53592064 9939 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13084 9939 1111 63 0 13021 0
vsize: 52336
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 11375 0 0 0 10974 25 0 0 25 0 1 0 775677058 59097088 11299 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14428 11299 1111 63 0 14365 0
vsize: 57712
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 12953 0 0 0 11972 27 0 0 25 0 1 0 775677058 65548288 12877 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16003 12877 1111 63 0 15940 0
vsize: 64012
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 14653 0 0 0 12969 30 0 0 25 0 1 0 775677058 72597504 14577 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17724 14577 1111 63 0 17661 0
vsize: 70896
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 16080 0 0 0 13967 33 0 0 25 0 1 0 775677058 78536704 16004 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19174 16004 1111 63 0 19111 0
vsize: 76696
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 17586 0 0 0 14964 36 0 0 25 0 1 0 775677058 84606976 17510 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20656 17510 1111 63 0 20593 0
vsize: 82624
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 19245 0 0 0 15961 39 0 0 25 0 1 0 775677058 91385856 19169 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22311 19169 1111 63 0 22248 0
vsize: 89244
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 20883 0 0 0 16957 43 0 0 25 0 1 0 775677058 98152448 20807 4294967295 134512640 134714508 3221224592 3221222944 134567410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23963 20811 1111 63 0 23900 0
vsize: 95852
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 22978 0 0 0 17954 47 0 0 25 0 1 0 775677058 106692608 22902 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26048 22902 1111 63 0 25985 0
vsize: 104192
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 24780 0 0 0 18951 50 0 0 25 0 1 0 775677058 114003968 24704 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27833 24704 1111 63 0 27770 0
vsize: 111332
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 28824 0 0 0 19943 58 0 0 25 0 1 0 775677058 130768896 28748 4294967295 134512640 134714508 3221224592 3221222508 1077244201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31926 28748 1111 63 0 31863 0
vsize: 127704
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 59698 0 0 0 20870 129 0 0 25 0 1 0 775677058 248225792 59453 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60602 59453 1111 63 0 60539 0
vsize: 242408
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 92440 0 0 0 21794 206 0 0 25 0 1 0 775677058 377925632 91187 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 93574 0 0 0 22791 209 0 0 25 0 1 0 775677058 377925632 91187 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 95379 0 0 0 23785 214 0 0 25 0 1 0 775677058 377925632 91187 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 92267 91187 1111 63 0 92204 0
vsize: 369068
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 24780 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 25780 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 26780 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 27781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 28781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 29781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+310.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 30781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 31781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 32781 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 33782 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 34782 220 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97504 0 0 0 35782 221 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97567 0 0 0 36782 221 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97630 0 0 0 37782 221 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97756 0 0 0 38782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97756 0 0 0 39782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223328 134618518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97882 0 0 0 40782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97882 0 0 0 41782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97882 0 0 0 42782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 97882 0 0 0 43782 222 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98071 0 0 0 44782 223 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98071 0 0 0 45782 223 0 0 25 0 1 0 775677058 381186048 91983 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93063 91983 1111 63 0 93000 0
vsize: 372252
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98325 0 0 0 46782 223 0 0 25 0 1 0 775677058 381968384 92174 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93254 92174 1111 63 0 93191 0
vsize: 373016
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98579 0 0 0 47781 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98579 0 0 0 48782 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98642 0 0 0 49781 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+510.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98642 0 0 0 50781 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 51782 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 52782 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 53782 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+550.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 54782 224 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+560.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 55782 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 56782 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 57783 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 58783 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+600.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 59783 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 60783 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223312 134618229 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 61783 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+630.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 62784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+640.031 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 63784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+650.031 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 64784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+660.031 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 65784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+670.031 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 66784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+680.032 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 67784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+690.032 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 68784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+700.033 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 69784 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+710.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 70785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+720.033 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 71785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+730.032 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 72785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+740.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 73785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+750.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 74785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+760.034 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 75785 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+770.035 s]
Raw data (loadavg): 1.01 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 76786 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+780.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 77786 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+790.035 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 78786 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+800.036 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 79786 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+810.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 80788 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+820.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 81788 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+830.055 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 82789 225 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223204 134557818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+840.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 83789 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+850.056 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 84789 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+860.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 85789 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+870.057 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 86789 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+880.058 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 87790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+890.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 88790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+900.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 89790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+910.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 90790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+920.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 91790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+930.059 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 92790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+940.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 93791 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+950.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 94791 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+960.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 95790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+970.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 96790 226 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+980.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 97790 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+990.061 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 98791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1000.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 99791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1010.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 100791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98705 0 0 0 101791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98768 0 0 0 102791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98768 0 0 0 103791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98831 0 0 0 104791 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98831 0 0 0 105792 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98831 0 0 0 106792 227 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98894 0 0 0 107792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98894 0 0 0 108792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1100.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98957 0 0 0 109792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1110.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 98957 0 0 0 110792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 111792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1130.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 112792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1140.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 113792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1150.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 114792 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1160.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 115793 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1170.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 116793 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1180.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 117793 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1190.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 118793 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 28728
Raw data (stat): 28728 (bsolo_lpr) R 28727 23514 23513 0 -1 0 99020 0 0 0 119793 228 0 0 25 0 1 0 775677058 382750720 92365 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93445 92365 1111 63 0 93382 0
vsize: 373780
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.24 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 28728
Raw data (stat): 28728 (bsolo_lpr) Z 28727 23514 23513 0 -1 1036 99020 0 0 0 119793 245 0 0 25 0 1 0 775677058 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.24
CPU time (s): 1200.39
CPU user time (s): 1197.94
CPU system time (s): 2.45463
CPU usage (%): 100.013
Max. virtual memory (Kb): 373780
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####