PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-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.27
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 40030

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 00:49:28 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28091 boxname=wulflinc5 idbench=1047 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mitre.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-20-10-mitre.opb
IDLAUNCH: 28091
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        877520 kB
Buffers:          4568 kB
Cached:         129908 kB
SwapCached:        708 kB
Active:          20456 kB
Inactive:       116112 kB
HighTotal:      131008 kB
HighFree:        22708 kB
LowTotal:       903652 kB
LowFree:        854812 kB
SwapTotal:     2097136 kB
SwapFree:      2095488 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5144 kB
Slab:            14856 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 01:09:04 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 28091 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 2003 constraints.
c preprocess terminated 921.74 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 1.76325
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.61 0.87 0.88 1/54 11661
Raw data (stat): 11661 (runsolver) R 11660 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 897441036 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0003 s]
Raw data (loadavg): 0.67 0.87 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 39448 0 0 0 918 79 0 0 25 0 1 0 897441036 174673920 39368 4294967295 134512640 134716908 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42645 39368 1111 63 0 42582 0
vsize: 170580
[startup+20.0008 s]
Raw data (loadavg): 0.72 0.87 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 66380 0 0 0 1869 128 0 0 25 0 1 0 897441036 284950528 66300 4294967295 134512640 134716908 3221224576 3221222852 1077049360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69568 66300 1111 63 0 69505 0
vsize: 278272
[startup+30.0015 s]
Raw data (loadavg): 0.76 0.88 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 74808 0 0 0 2845 151 0 0 25 0 1 0 897441036 285720576 68858 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.0017 s]
Raw data (loadavg): 0.80 0.88 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 166929 0 0 0 3615 381 0 0 25 0 1 0 897441036 286064640 68905 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69840 68905 1111 63 0 69777 0
vsize: 279360
[startup+50.0022 s]
Raw data (loadavg): 0.83 0.89 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 229576 0 0 0 4459 536 0 0 25 0 1 0 897441036 292122624 70421 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.0015 s]
Raw data (loadavg): 0.85 0.89 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 229576 0 0 0 5459 536 0 0 25 0 1 0 897441036 292122624 70421 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.0026 s]
Raw data (loadavg): 0.88 0.89 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 229935 0 0 0 6458 538 0 0 25 0 1 0 897441036 292384768 70485 4294967295 134512640 134716908 3221224576 3221223296 134618245 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.0034 s]
Raw data (loadavg): 0.89 0.89 0.88 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 233292 0 0 0 7449 547 0 0 25 0 1 0 897441036 295133184 71155 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72054 71155 1111 63 0 71991 0
vsize: 288216
[startup+90.0028 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 233535 0 0 0 8448 548 0 0 25 0 1 0 897441036 295387136 71218 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.003 s]
Raw data (loadavg): 0.92 0.90 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 234408 0 0 0 9446 551 0 0 25 0 1 0 897441036 296288256 71438 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.004 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 244782 0 0 0 10420 577 0 0 25 0 1 0 897441036 296288256 71438 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.004 s]
Raw data (loadavg): 0.94 0.91 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 247830 0 0 0 11414 583 0 0 25 0 1 0 897441036 298221568 71910 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.004 s]
Raw data (loadavg): 0.95 0.91 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 254389 0 0 0 12397 601 0 0 25 0 1 0 897441036 299634688 72255 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73153 72255 1111 63 0 73090 0
vsize: 292612
[startup+140.004 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 255640 0 0 0 13393 604 0 0 25 0 1 0 897441036 300707840 72517 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.96 0.91 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 256111 0 0 0 14393 605 0 0 25 0 1 0 897441036 302641152 72988 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73920 72989 1111 63 0 73857 0
vsize: 295548
[startup+160.004 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 258571 0 0 0 15386 611 0 0 25 0 1 0 897441036 302690304 73001 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.005 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 265101 0 0 0 16370 628 0 0 25 0 1 0 897441036 302866432 73044 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.004 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 273706 0 0 0 17346 652 0 0 25 0 1 0 897441036 302866432 73044 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.98 0.92 0.89 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 276307 0 0 0 18339 659 0 0 25 0 1 0 897441036 303468544 73191 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.98 0.92 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 278076 0 0 0 19335 663 0 0 25 0 1 0 897441036 307372032 74143 4294967295 134512640 134716908 3221224576 3221223216 134606472 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.98 0.93 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 278585 0 0 0 20334 665 0 0 25 0 1 0 897441036 308187136 74342 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 278917 0 0 0 21333 666 0 0 25 0 1 0 897441036 308187136 74343 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.007 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 279824 0 0 0 22331 668 0 0 25 0 1 0 897441036 308617216 74448 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.006 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 280264 0 0 0 23330 669 0 0 25 0 1 0 897441036 308617216 74448 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.93 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 24325 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 25325 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 26325 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.007 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 27325 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606495 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.008 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 28326 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606514 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.008 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 282437 0 0 0 29326 675 0 0 25 0 1 0 897441036 314195968 75809 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 285239 0 0 0 30319 682 0 0 25 0 1 0 897441036 314195968 75810 4294967295 134512640 134716908 3221224576 3221223216 134606472 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.009 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 294532 0 0 0 31297 704 0 0 25 0 1 0 897441036 314195968 75810 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 301417 0 0 0 32281 720 0 0 25 0 1 0 897441036 314675200 75927 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 310700 0 0 0 33259 743 0 0 25 0 1 0 897441036 314851328 75970 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76868 75970 1111 63 0 76805 0
vsize: 307472
[startup+350.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 311655 0 0 0 34256 746 0 0 25 0 1 0 897441036 315969536 76242 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 312406 0 0 0 35254 748 0 0 25 0 1 0 897441036 315969536 76243 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 314794 0 0 0 36247 755 0 0 25 0 1 0 897441036 315969536 76243 4294967295 134512640 134716908 3221224576 3221223216 134606501 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.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 317322 0 0 0 37242 761 0 0 25 0 1 0 897441036 316825600 76451 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 317865 0 0 0 38240 762 0 0 25 0 1 0 897441036 317939712 76724 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 317978 0 0 0 39240 763 0 0 25 0 1 0 897441036 318242816 76797 4294967295 134512640 134716908 3221224576 3221223216 134606484 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.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 318601 0 0 0 40239 764 0 0 25 0 1 0 897441036 319401984 77080 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77979 77080 1111 63 0 77916 0
vsize: 311916
[startup+420.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 319415 0 0 0 41237 767 0 0 25 0 1 0 897441036 319959040 77217 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 319918 0 0 0 42235 768 0 0 25 0 1 0 897441036 320303104 77300 4294967295 134512640 134716908 3221224576 3221223312 134618538 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.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 320757 0 0 0 43233 770 0 0 25 0 1 0 897441036 320303104 77301 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 321369 0 0 0 44231 773 0 0 25 0 1 0 897441036 321032192 77478 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 321870 0 0 0 45230 774 0 0 25 0 1 0 897441036 321032192 77479 4294967295 134512640 134716908 3221224576 3221223216 134606510 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 322425 0 0 0 46229 776 0 0 25 0 1 0 897441036 321458176 77583 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78481 77583 1111 63 0 78418 0
vsize: 313924
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 322636 0 0 0 47228 776 0 0 25 0 1 0 897441036 321720320 77647 4294967295 134512640 134716908 3221224576 3221223216 134606504 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.015 s]
Raw data (loadavg): 1.07 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 322981 0 0 0 48227 777 0 0 25 0 1 0 897441036 323137536 77992 4294967295 134512640 134716908 3221224576 3221223304 134543552 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.015 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 322981 0 0 0 49227 777 0 0 25 0 1 0 897441036 323137536 77992 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.015 s]
Raw data (loadavg): 1.05 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 323546 0 0 0 50225 780 0 0 25 0 1 0 897441036 323137536 77993 4294967295 134512640 134716908 3221224576 3221223216 134606490 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.016 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 323996 0 0 0 51224 781 0 0 25 0 1 0 897441036 323915776 78182 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79081 78182 1111 63 0 79018 0
vsize: 316324
[startup+530.017 s]
Raw data (loadavg): 1.04 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 325025 0 0 0 52222 784 0 0 25 0 1 0 897441036 327352320 79022 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79920 79022 1111 63 0 79857 0
vsize: 319680
[startup+540.016 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 325254 0 0 0 53221 784 0 0 25 0 1 0 897441036 328126464 79211 4294967295 134512640 134716908 3221224576 3221223304 134675281 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80109 79211 1111 63 0 80046 0
vsize: 320436
[startup+550.017 s]
Raw data (loadavg): 1.03 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 325327 0 0 0 54221 785 0 0 25 0 1 0 897441036 328425472 79284 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80182 79284 1111 63 0 80119 0
vsize: 320728
[startup+560.017 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 325515 0 0 0 55221 785 0 0 25 0 1 0 897441036 329068544 79441 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80339 79441 1111 63 0 80276 0
vsize: 321356
[startup+570.018 s]
Raw data (loadavg): 1.02 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 326057 0 0 0 56220 786 0 0 25 0 1 0 897441036 330141696 79703 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+580.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 326057 0 0 0 57220 787 0 0 25 0 1 0 897441036 330141696 79703 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+590.017 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 326491 0 0 0 58219 788 0 0 25 0 1 0 897441036 330141696 79703 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+600.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 328399 0 0 0 59215 792 0 0 25 0 1 0 897441036 330571776 79807 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79807 1111 63 0 80643 0
vsize: 322824
[startup+610.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 328500 0 0 0 60215 792 0 0 25 0 1 0 897441036 330571776 79808 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79808 1111 63 0 80643 0
vsize: 322824
[startup+620.018 s]
Raw data (loadavg): 1.01 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 329050 0 0 0 61213 794 0 0 25 0 1 0 897441036 330571776 79808 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79808 1111 63 0 80643 0
vsize: 322824
[startup+630.019 s]
Raw data (loadavg): 1.00 0.98 0.91 2/54 11661
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 329653 0 0 0 62212 795 0 0 25 0 1 0 897441036 331771904 80101 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80999 80101 1111 63 0 80936 0
vsize: 323996
[startup+640.019 s]
Raw data (loadavg): 1.16 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 330312 0 0 0 63206 801 0 0 25 0 1 0 897441036 334434304 80750 4294967295 134512640 134716908 3221224576 3221223328 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81649 80750 1111 63 0 81586 0
vsize: 326596
[startup+650.02 s]
Raw data (loadavg): 1.14 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 330763 0 0 0 64205 802 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+660.019 s]
Raw data (loadavg): 1.12 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 330763 0 0 0 65205 802 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+670.021 s]
Raw data (loadavg): 1.10 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 330763 0 0 0 66206 802 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+680.021 s]
Raw data (loadavg): 1.08 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 330905 0 0 0 67205 803 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+690.02 s]
Raw data (loadavg): 1.07 1.01 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 331153 0 0 0 68204 804 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+700.022 s]
Raw data (loadavg): 1.06 1.00 0.93 2/54 11714
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 331472 0 0 0 69204 805 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+710.021 s]
Raw data (loadavg): 1.05 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 331800 0 0 0 70203 805 0 0 25 0 1 0 897441036 336277504 81201 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+720.022 s]
Raw data (loadavg): 1.04 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 332583 0 0 0 71201 807 0 0 25 0 1 0 897441036 339107840 81892 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+730.022 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 332813 0 0 0 72201 808 0 0 25 0 1 0 897441036 339279872 81902 4294967295 134512640 134716908 3221224576 3221223188 134557818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82832 81902 1111 63 0 82769 0
vsize: 331328
[startup+740.023 s]
Raw data (loadavg): 1.03 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 332969 0 0 0 73200 808 0 0 25 0 1 0 897441036 339107840 81892 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+750.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 332969 0 0 0 74201 808 0 0 25 0 1 0 897441036 339107840 81892 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+760.023 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 332969 0 0 0 75201 809 0 0 25 0 1 0 897441036 339107840 81892 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+770.024 s]
Raw data (loadavg): 1.02 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 333168 0 0 0 76200 809 0 0 25 0 1 0 897441036 339927040 82091 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82091 1111 63 0 82927 0
vsize: 331960
[startup+780.024 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 333700 0 0 0 77199 811 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+790.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 337401 0 0 0 78188 822 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+800.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 342485 0 0 0 79175 835 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+810.025 s]
Raw data (loadavg): 1.01 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 348310 0 0 0 80160 851 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+820.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 355028 0 0 0 81142 869 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+830.027 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 363097 0 0 0 82121 890 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+840.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 372267 0 0 0 83099 913 0 0 25 0 1 0 897441036 339927040 82092 4294967295 134512640 134716908 3221224576 3221223216 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+850.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 372995 0 0 0 84097 915 0 0 25 0 1 0 897441036 340697088 82280 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83178 82280 1111 63 0 83115 0
vsize: 332712
[startup+860.028 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373575 0 0 0 85095 917 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+870.029 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 86094 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+880.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 87094 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+890.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 88095 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+900.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 89095 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+910.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 90095 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+920.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373775 0 0 0 91095 918 0 0 25 0 1 0 897441036 341598208 82500 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+930.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373915 0 0 0 92094 918 0 0 25 0 1 0 897441036 341598208 82640 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82640 1111 63 0 83335 0
vsize: 333592
[startup+940.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373917 0 0 0 93094 919 0 0 25 0 1 0 897441036 341598208 82642 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82642 1111 63 0 83335 0
vsize: 333592
[startup+950.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373917 0 0 0 94094 919 0 0 25 0 1 0 897441036 341598208 82642 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82642 1111 63 0 83335 0
vsize: 333592
[startup+960.031 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 95093 919 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+970.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 96093 920 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+980.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 97093 920 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+990.032 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11716
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 98093 921 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 99093 921 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 100092 921 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 101092 922 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 102092 922 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 103092 922 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223348 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373918 0 0 0 104092 922 0 0 25 0 1 0 897441036 341598208 82643 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82643 1111 63 0 83335 0
vsize: 333592
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373921 0 0 0 105092 922 0 0 25 0 1 0 897441036 341598208 82646 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82646 1111 63 0 83335 0
vsize: 333592
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 106092 923 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597685 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 107092 923 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 108092 923 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 109092 924 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 110092 924 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 111092 924 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 112091 924 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 113091 925 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 114091 926 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223352 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 115091 926 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 116090 926 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+1175.03 s]
Raw data (loadavg): 1.00 1.00 0.93 1/53 11718
Raw data (stat): 11661 (bsolo_lpr-v2) R 11660 7266 7265 0 -1 0 373922 0 0 0 116090 926 0 0 25 0 1 0 897441036 341598208 82647 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.17
CPU user time (s): 1165.75
CPU system time (s): 9.42057
CPU usage (%): 100.012
Max. virtual memory (Kb): 333592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####