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/MIPLIB/miplib3/normalized-mps-v2-13-7-mitre.opb
MD5SUM	cb52c3dd346b4d656b5e715b686fba39
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8401
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.29
Number of variables	10724
Total number of constraints	12778
Number of constraints which are clauses	140
Number of constraints which are cardinality constraints (but not clauses)	12255
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 27087

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc24 THE 2005-05-24 19:07:46 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18591 boxname=wulflinc24 idbench=1431 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mitre.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc24/normalized-mps-v2-13-7-mitre.opb
IDLAUNCH: 18591
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.080
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	: 3
cpu MHz		: 451.080
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:        799560 kB
Buffers:         36412 kB
Cached:         175056 kB
SwapCached:        624 kB
Active:          62644 kB
Inactive:       151328 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799308 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            15460 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:27:21 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 18591 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
c After prepocess the problem consists of 7047 variables and 1997 constraints.
c preprocess terminated 921.08 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 2.238
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.85 0.97 0.98 2/54 7306
Raw data (stat): 7306 (runsolver) R 7305 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832633338 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.0002 s]
Raw data (loadavg): 0.87 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 38888 0 0 0 920 77 0 0 25 0 1 0 832633338 172285952 38812 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42062 38812 1111 63 0 41999 0
vsize: 168248
[startup+19.9995 s]
Raw data (loadavg): 0.89 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 66318 0 0 0 1869 128 0 0 25 0 1 0 832633338 284680192 66242 4294967295 134512640 134714508 3221224592 3221223100 134543616 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69502 66242 1111 63 0 69439 0
vsize: 278008
[startup+30.0006 s]
Raw data (loadavg): 0.91 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 73533 0 0 0 2850 146 0 0 25 0 1 0 832633338 285720576 68858 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.0003 s]
Raw data (loadavg): 0.92 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 162207 0 0 0 3631 365 0 0 25 0 1 0 832633338 286580736 69040 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69966 69047 1111 63 0 69903 0
vsize: 279864
[startup+50.0007 s]
Raw data (loadavg): 0.93 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 229572 0 0 0 4463 533 0 0 25 0 1 0 832633338 292122624 70421 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+60.0004 s]
Raw data (loadavg): 0.94 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 229572 0 0 0 5463 533 0 0 25 0 1 0 832633338 292122624 70421 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+70.0004 s]
Raw data (loadavg): 0.95 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 229931 0 0 0 6463 534 0 0 25 0 1 0 832633338 292384768 70485 4294967295 134512640 134714508 3221224592 3221223344 134630792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71383 70485 1111 63 0 71320 0
vsize: 285532
[startup+80.0009 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 232943 0 0 0 7457 540 0 0 25 0 1 0 832633338 293928960 70862 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71760 70862 1111 63 0 71697 0
vsize: 287040
[startup+90.0008 s]
Raw data (loadavg): 0.96 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 233531 0 0 0 8455 542 0 0 25 0 1 0 832633338 295387136 71218 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 234249 0 0 0 9454 544 0 0 25 0 1 0 832633338 296288256 71438 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 243729 0 0 0 10431 567 0 0 25 0 1 0 832633338 296288256 71438 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+120.002 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 247578 0 0 0 11422 576 0 0 25 0 1 0 832633338 298221568 71910 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72808 71910 1111 63 0 72745 0
vsize: 291232
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 254282 0 0 0 12406 592 0 0 25 0 1 0 832633338 299335680 72182 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73080 72182 1111 63 0 73017 0
vsize: 292320
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 255510 0 0 0 13402 597 0 0 25 0 1 0 832633338 300707840 72517 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73415 72517 1111 63 0 73352 0
vsize: 293660
[startup+150.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 256107 0 0 0 14401 598 0 0 25 0 1 0 832633338 302641152 72988 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73887 72988 1111 63 0 73824 0
vsize: 295548
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 258040 0 0 0 15396 603 0 0 25 0 1 0 832633338 302690304 73001 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 264897 0 0 0 16379 620 0 0 25 0 1 0 832633338 302866432 73044 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 272518 0 0 0 17361 639 0 0 25 0 1 0 832633338 302866432 73044 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 276303 0 0 0 18352 647 0 0 25 0 1 0 832633338 303468544 73191 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74089 73191 1111 63 0 74026 0
vsize: 296356
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 278072 0 0 0 19348 652 0 0 25 0 1 0 832633338 307372032 74143 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75042 74143 1111 63 0 74979 0
vsize: 300168
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 278581 0 0 0 20347 653 0 0 25 0 1 0 832633338 308187136 74342 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74342 1111 63 0 75178 0
vsize: 300964
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 278882 0 0 0 21346 654 0 0 25 0 1 0 832633338 308187136 74343 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75241 74343 1111 63 0 75178 0
vsize: 300964
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 279820 0 0 0 22344 657 0 0 25 0 1 0 832633338 308617216 74448 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 280260 0 0 0 23342 658 0 0 25 0 1 0 832633338 308617216 74448 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 24338 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 25338 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 26338 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 27338 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 28338 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 282433 0 0 0 29339 663 0 0 25 0 1 0 832633338 314195968 75809 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 284811 0 0 0 30332 670 0 0 25 0 1 0 832633338 314195968 75810 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 292343 0 0 0 31313 689 0 0 25 0 1 0 832633338 314195968 75810 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 300425 0 0 0 32295 707 0 0 25 0 1 0 832633338 314675200 75927 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 309708 0 0 0 33273 729 0 0 25 0 1 0 832633338 315019264 75980 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76909 75987 1111 63 0 76846 0
vsize: 307636
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 311651 0 0 0 34268 734 0 0 25 0 1 0 832633338 315969536 76242 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76242 1111 63 0 77078 0
vsize: 308564
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 312192 0 0 0 35267 735 0 0 25 0 1 0 832633338 315969536 76243 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 314184 0 0 0 36263 740 0 0 25 0 1 0 832633338 315969536 76243 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 317318 0 0 0 37255 748 0 0 25 0 1 0 832633338 316825600 76451 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77350 76451 1111 63 0 77287 0
vsize: 309400
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 317891 0 0 0 38254 750 0 0 25 0 1 0 832633338 317939712 76724 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77622 76724 1111 63 0 77559 0
vsize: 310488
[startup+400.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 318004 0 0 0 39254 750 0 0 25 0 1 0 832633338 318242816 76797 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77696 76797 1111 63 0 77633 0
vsize: 310784
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 318431 0 0 0 40252 752 0 0 25 0 1 0 832633338 318840832 76944 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77842 76944 1111 63 0 77779 0
vsize: 311368
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 319190 0 0 0 41250 754 0 0 25 0 1 0 832633338 319959040 77217 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78115 77217 1111 63 0 78052 0
vsize: 312460
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 319943 0 0 0 42248 756 0 0 25 0 1 0 832633338 320303104 77300 4294967295 134512640 134714508 3221224592 3221223232 134606468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77300 1111 63 0 78136 0
vsize: 312796
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 320566 0 0 0 43246 758 0 0 25 0 1 0 832633338 320303104 77301 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78199 77301 1111 63 0 78136 0
vsize: 312796
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 321412 0 0 0 44244 761 0 0 25 0 1 0 832633338 321032192 77478 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77478 1111 63 0 78314 0
vsize: 313508
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 321663 0 0 0 45244 761 0 0 25 0 1 0 832633338 321032192 77479 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 321703 0 0 0 46244 761 0 0 25 0 1 0 832633338 321032192 77479 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 322487 0 0 0 47242 763 0 0 25 0 1 0 832633338 321720320 77647 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78545 77647 1111 63 0 78482 0
vsize: 314180
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 322832 0 0 0 48241 764 0 0 25 0 1 0 832633338 323137536 77992 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+500.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 322832 0 0 0 49242 764 0 0 25 0 1 0 832633338 323137536 77992 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+510.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 323183 0 0 0 50241 765 0 0 25 0 1 0 832633338 323137536 77993 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77993 1111 63 0 78828 0
vsize: 315564
[startup+520.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 323756 0 0 0 51239 767 0 0 25 0 1 0 832633338 323313664 78036 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78934 78036 1111 63 0 78871 0
vsize: 315736
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 324185 0 0 0 52238 768 0 0 25 0 1 0 832633338 324214784 78255 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79154 78255 1111 63 0 79091 0
vsize: 316616
[startup+540.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 325023 0 0 0 53236 771 0 0 25 0 1 0 832633338 327606272 79083 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79982 79083 1111 63 0 79919 0
vsize: 319928
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 325222 0 0 0 54235 771 0 0 25 0 1 0 832633338 328421376 79282 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80181 79282 1111 63 0 80118 0
vsize: 320724
[startup+560.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 325222 0 0 0 55236 771 0 0 25 0 1 0 832633338 328421376 79282 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80181 79282 1111 63 0 80118 0
vsize: 320724
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 325830 0 0 0 56234 773 0 0 25 0 1 0 832633338 329879552 79639 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80537 79639 1111 63 0 80474 0
vsize: 322148
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 326113 0 0 0 57234 773 0 0 25 0 1 0 832633338 330178560 79712 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 326547 0 0 0 58233 774 0 0 25 0 1 0 832633338 330178560 79712 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80610 79712 1111 63 0 80547 0
vsize: 322440
[startup+600.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 328455 0 0 0 59228 779 0 0 25 0 1 0 832633338 330608640 79816 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79816 1111 63 0 80652 0
vsize: 322860
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 328455 0 0 0 60228 779 0 0 25 0 1 0 832633338 330608640 79816 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79816 1111 63 0 80652 0
vsize: 322860
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 329100 0 0 0 61226 781 0 0 25 0 1 0 832633338 330608640 79817 4294967295 134512640 134714508 3221224592 3221223016 1077377854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80715 79817 1111 63 0 80652 0
vsize: 322860
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 330260 0 0 0 62223 785 0 0 25 0 1 0 832633338 331550720 80047 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80945 80047 1111 63 0 80882 0
vsize: 323780
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 330396 0 0 0 63223 785 0 0 25 0 1 0 832633338 332111872 80183 4294967295 134512640 134714508 3221224592 3221223232 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81082 80183 1111 63 0 81019 0
vsize: 324328
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 331412 0 0 0 64221 787 0 0 25 0 1 0 832633338 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 331412 0 0 0 65221 787 0 0 25 0 1 0 832633338 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 331412 0 0 0 66221 787 0 0 25 0 1 0 832633338 336273408 81199 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81199 1111 63 0 82035 0
vsize: 328392
[startup+680.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 331513 0 0 0 67221 787 0 0 25 0 1 0 832633338 336273408 81200 4294967295 134512640 134714508 3221224592 3221222972 1077379857 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 331778 0 0 0 68221 788 0 0 25 0 1 0 832633338 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 332177 0 0 0 69220 789 0 0 25 0 1 0 832633338 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+710.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 332585 0 0 0 70219 790 0 0 25 0 1 0 832633338 336273408 81200 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82098 81200 1111 63 0 82035 0
vsize: 328392
[startup+720.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 333448 0 0 0 71217 792 0 0 25 0 1 0 832633338 339103744 81890 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81890 1111 63 0 82726 0
vsize: 331156
[startup+730.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 333699 0 0 0 72216 793 0 0 25 0 1 0 832633338 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 333939 0 0 0 73216 794 0 0 25 0 1 0 832633338 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+750.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 333939 0 0 0 74216 794 0 0 25 0 1 0 832633338 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 333939 0 0 0 75216 794 0 0 25 0 1 0 832633338 339103744 81891 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82789 81891 1111 63 0 82726 0
vsize: 331156
[startup+770.012 s]
Raw data (loadavg): 1.07 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 334137 0 0 0 76216 794 0 0 25 0 1 0 832633338 339918848 82089 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82089 1111 63 0 82925 0
vsize: 331952
[startup+780.012 s]
Raw data (loadavg): 1.06 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 334218 0 0 0 77216 794 0 0 25 0 1 0 832633338 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+790.012 s]
Raw data (loadavg): 1.05 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 336728 0 0 0 78209 802 0 0 25 0 1 0 832633338 339918848 82090 4294967295 134512640 134714508 3221224592 3221223344 134630795 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+800.013 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 340476 0 0 0 79198 812 0 0 25 0 1 0 832633338 339918848 82090 4294967295 134512640 134714508 3221224592 3221223392 134617624 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+810.014 s]
Raw data (loadavg): 1.04 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 345483 0 0 0 80186 825 0 0 25 0 1 0 832633338 339918848 82090 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82988 82090 1111 63 0 82925 0
vsize: 331952
[startup+820.013 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 351501 0 0 0 81172 839 0 0 25 0 1 0 832633338 340140032 82144 4294967295 134512640 134714508 3221224592 3221223232 134606479 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83042 82144 1111 63 0 82979 0
vsize: 332168
[startup+830.013 s]
Raw data (loadavg): 1.03 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 354816 0 0 0 82165 847 0 0 25 0 1 0 832633338 340140032 82144 4294967295 134512640 134714508 3221224592 3221223232 134606474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83084 82146 1111 63 0 83021 0
vsize: 332168
[startup+840.012 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 356650 0 0 0 83160 851 0 0 25 0 1 0 832633338 340361216 82198 4294967295 134512640 134714508 3221224592 3221223232 134606485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83096 82198 1111 63 0 83033 0
vsize: 332384
[startup+850.013 s]
Raw data (loadavg): 1.02 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 356784 0 0 0 84160 852 0 0 25 0 1 0 832633338 340660224 82271 4294967295 134512640 134714508 3221224592 3221223240 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83169 82271 1111 63 0 83106 0
vsize: 332676
[startup+860.013 s]
Raw data (loadavg): 1.01 0.99 0.98 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357404 0 0 0 85158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+870.013 s]
Raw data (loadavg): 1.08 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 86158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+880.013 s]
Raw data (loadavg): 1.07 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 87158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223264 134627250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+890.013 s]
Raw data (loadavg): 1.06 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 88158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223256 134627195 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+900.014 s]
Raw data (loadavg): 1.05 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 89158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+910.014 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 90158 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223240 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+920.014 s]
Raw data (loadavg): 1.04 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 357564 0 0 0 91159 854 0 0 25 0 1 0 832633338 341561344 82491 4294967295 134512640 134714508 3221224592 3221223252 134627197 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82491 1111 63 0 83326 0
vsize: 333556
[startup+930.014 s]
Raw data (loadavg): 1.03 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358201 0 0 0 92156 856 0 0 25 0 1 0 832633338 341561344 82638 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82638 1111 63 0 83326 0
vsize: 333556
[startup+940.014 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358203 0 0 0 93156 857 0 0 25 0 1 0 832633338 341561344 82640 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82640 1111 63 0 83326 0
vsize: 333556
[startup+950.015 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358203 0 0 0 94156 857 0 0 25 0 1 0 832633338 341561344 82640 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82640 1111 63 0 83326 0
vsize: 333556
[startup+960.015 s]
Raw data (loadavg): 1.02 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358203 0 0 0 95156 858 0 0 25 0 1 0 832633338 341561344 82640 4294967295 134512640 134714508 3221224592 3221223376 134597611 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82640 1111 63 0 83326 0
vsize: 333556
[startup+970.014 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358203 0 0 0 96155 858 0 0 25 0 1 0 832633338 341561344 82640 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82640 1111 63 0 83326 0
vsize: 333556
[startup+980.014 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358204 0 0 0 97155 858 0 0 25 0 1 0 832633338 341561344 82641 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+990.014 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358204 0 0 0 98155 859 0 0 25 0 1 0 832633338 341561344 82641 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+1000.01 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358204 0 0 0 99155 859 0 0 25 0 1 0 832633338 341561344 82641 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+1010.02 s]
Raw data (loadavg): 1.01 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358204 0 0 0 100155 859 0 0 25 0 1 0 832633338 341561344 82641 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82641 1111 63 0 83326 0
vsize: 333556
[startup+1020.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 101155 860 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1030.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 102154 860 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1040.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 103154 861 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 104154 861 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597648 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1060.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 105153 862 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1070.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 106153 862 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 107153 863 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1090.01 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 108152 863 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 109152 864 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 110152 864 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 111152 865 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 112151 865 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 113151 865 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 114151 866 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 115151 866 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.99 2/54 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 116151 866 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 333556
[startup+1175 s]
Raw data (loadavg): 1.00 1.00 0.99 1/53 7306
Raw data (stat): 7306 (bsolo_lpr) R 7305 4613 4612 0 -1 0 358208 0 0 0 116151 866 0 0 25 0 1 0 832633338 341561344 82645 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83389 82645 1111 63 0 83326 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.17
CPU user time (s): 1166.34
CPU system time (s): 8.82566
CPU usage (%): 100.014
Max. virtual memory (Kb): 333556
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####