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/submitted/een/normalized-stein45.opb
MD5SUM	34647f6a75058de4a92f0ff94f3c9005
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	30
Optimality of the best value was proved	NO
Number of terms in the objective function	45
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	45
Number of bits of the sum of numbers in the objective function	6
Biggest number in a constraint	22
Number of bits of the biggest number in a constraint	5
Biggest sum of numbers in a constraint	67
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01484
Number of variables	45
Total number of constraints	331
Number of constraints which are clauses	330
Number of constraints which are cardinality constraints (but not clauses)	1
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	45
Trace number 25142

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 01:24:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5201 boxname=wulflinc31 idbench=401 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-stein45.opb
IDLAUNCH: 5201
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764804 kB
Buffers:         52032 kB
Cached:         188368 kB
SwapCached:       1952 kB
Active:         204384 kB
Inactive:        44928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764552 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14852 kB
Committed_AS:    63840 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 01:44:21 (client local time) WITH STATUS 10 IN 1175.07 SECONDS
stats: 5201 0 1175.07 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.083 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.058
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 39 @ 0.144
c NEW SOLUTION FOUND: 38 @ 0.147
c NEW SOLUTION FOUND: 37 @ 0.149
c NEW SOLUTION FOUND: 36 @ 0.158
c NEW SOLUTION FOUND: 35 @ 0.161
c NEW SOLUTION FOUND: 34 @ 0.173
c NEW SOLUTION FOUND: 33 @ 0.216
c NEW SOLUTION FOUND: 32 @ 0.266
c NEW SOLUTION FOUND: 31 @ 1.002
c NEW SOLUTION FOUND: 30 @ 56.492
s SATISFIABLE
v x0 x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 x10 x11 x12 x13 x14 -x15 x16 x17 x18 x19 x20 -x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 -x32 x33 x34 -x35 x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 
c Exit Code: 10
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.79 0.91 0.96 2/55 20491
Raw data (stat): 20491 (runsolver) R 20490 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 765750339 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.82 0.91 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 10077 0 0 0 958 37 0 0 25 0 1 0 765750339 7335936 1077 4294967295 134512640 134714508 3221221792 3221217884 1075663518 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1791 1077 1111 63 0 1728 0
vsize: 7164
[startup+20.0005 s]
Raw data (loadavg): 0.85 0.91 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 19375 0 0 0 1922 73 0 0 25 0 1 0 765750339 9056256 1467 4294967295 134512640 134714508 3221221792 3221220192 1074118797 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2211 1467 1111 63 0 2148 0
vsize: 8844
[startup+30.0004 s]
Raw data (loadavg): 0.87 0.91 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 27646 0 0 0 2889 106 0 0 25 0 1 0 765750339 10457088 1837 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2553 1838 1111 63 0 2490 0
vsize: 10212
[startup+40.0018 s]
Raw data (loadavg): 0.89 0.92 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 35731 0 0 0 3858 138 0 0 25 0 1 0 765750339 11702272 2172 4294967295 134512640 134714508 3221221792 3221220204 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2857 2172 1111 63 0 2794 0
vsize: 11428
[startup+50.0027 s]
Raw data (loadavg): 0.90 0.92 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 43643 0 0 0 4823 173 0 0 25 0 1 0 765750339 13041664 2496 4294967295 134512640 134714508 3221221792 3221219444 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2496 1111 63 0 3121 0
vsize: 12736
[startup+60.0022 s]
Raw data (loadavg): 0.92 0.92 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 51068 0 0 0 5796 200 0 0 25 0 1 0 765750339 14438400 2811 4294967295 134512640 134714508 3221221792 3221218020 1075115035 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3495 2810 1111 63 0 3432 0
vsize: 14100
[startup+70.0035 s]
Raw data (loadavg): 0.93 0.92 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 59357 0 0 0 6767 229 0 0 25 0 1 0 765750339 15183872 3023 4294967295 134512640 134714508 3221221792 3221219628 1077404751 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3707 3023 1111 63 0 3644 0
vsize: 14828
[startup+80.0041 s]
Raw data (loadavg): 0.94 0.92 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 67014 0 0 0 7739 258 0 0 25 0 1 0 765750339 16048128 3230 4294967295 134512640 134714508 3221221792 3221220192 1074118870 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3918 3230 1111 63 0 3855 0
vsize: 15672
[startup+90.005 s]
Raw data (loadavg): 0.95 0.93 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 74640 0 0 0 8712 284 0 0 25 0 1 0 765750339 17010688 3440 4294967295 134512640 134714508 3221221792 3221217936 1074969598 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4153 3440 1111 63 0 4090 0
vsize: 16612
[startup+100.005 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 81712 0 0 0 9689 307 0 0 25 0 1 0 765750339 17735680 3642 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4367 3642 1111 63 0 4304 0
vsize: 17320
[startup+110.006 s]
Raw data (loadavg): 0.96 0.93 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 88907 0 0 0 10663 333 0 0 25 0 1 0 765750339 18710528 3854 4294967295 134512640 134714508 3221221792 3221218020 1075115112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4537 3853 1111 63 0 4474 0
vsize: 18272
[startup+120.007 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 95948 0 0 0 11638 359 0 0 25 0 1 0 765750339 19345408 4039 4294967295 134512640 134714508 3221221792 3221219792 1074921304 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4723 4039 1111 63 0 4660 0
vsize: 18892
[startup+130.007 s]
Raw data (loadavg): 0.97 0.93 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 102924 0 0 0 12612 384 0 0 25 0 1 0 765750339 20140032 4233 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4917 4233 1111 63 0 4854 0
vsize: 19668
[startup+140.008 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 109295 0 0 0 13588 409 0 0 25 0 1 0 765750339 21143552 4461 4294967295 134512640 134714508 3221221792 3221220384 134549533 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5162 4461 1111 63 0 5099 0
vsize: 20648
[startup+150.009 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 114985 0 0 0 14564 433 0 0 25 0 1 0 765750339 21958656 4648 4294967295 134512640 134714508 3221221792 3221217936 1074969383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5361 4648 1111 63 0 5298 0
vsize: 21444
[startup+160.009 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 121839 0 0 0 15541 457 0 0 25 0 1 0 765750339 22540288 4817 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5503 4817 1111 63 0 5440 0
vsize: 22012
[startup+170.009 s]
Raw data (loadavg): 0.98 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 128380 0 0 0 16518 480 0 0 25 0 1 0 765750339 23359488 4986 4294967295 134512640 134714508 3221221792 3221218712 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5703 4986 1111 63 0 5640 0
vsize: 22812
[startup+180.009 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 134940 0 0 0 17491 507 0 0 25 0 1 0 765750339 23912448 5154 4294967295 134512640 134714508 3221221792 3221219712 1075802495 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5838 5154 1111 63 0 5775 0
vsize: 23352
[startup+190.009 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 141315 0 0 0 18469 529 0 0 25 0 1 0 765750339 24580096 5314 4294967295 134512640 134714508 3221221792 3221220336 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6001 5314 1111 63 0 5938 0
vsize: 24004
[startup+200.009 s]
Raw data (loadavg): 0.99 0.94 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 147386 0 0 0 19448 550 0 0 25 0 1 0 765750339 25387008 5489 4294967295 134512640 134714508 3221221792 3221218344 1075088529 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6198 5489 1111 63 0 6135 0
vsize: 24792
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 153673 0 0 0 20425 574 0 0 25 0 1 0 765750339 25911296 5643 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6326 5643 1111 63 0 6263 0
vsize: 25304
[startup+220.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 159375 0 0 0 21404 594 0 0 25 0 1 0 765750339 26529792 5794 4294967295 134512640 134714508 3221221792 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6477 5794 1111 63 0 6414 0
vsize: 25908
[startup+230.01 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 165170 0 0 0 22383 615 0 0 25 0 1 0 765750339 27295744 5977 4294967295 134512640 134714508 3221221792 3221220432 134650068 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6664 5977 1111 63 0 6601 0
vsize: 26656
[startup+240.011 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 171277 0 0 0 23361 638 0 0 25 0 1 0 765750339 28041216 6159 4294967295 134512640 134714508 3221221792 3221220448 134649903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6846 6159 1111 63 0 6783 0
vsize: 27384
[startup+250.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 177398 0 0 0 24339 660 0 0 25 0 1 0 765750339 28823552 6321 4294967295 134512640 134714508 3221221792 3221218712 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7005 6320 1111 63 0 6942 0
vsize: 28148
[startup+260.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 182387 0 0 0 25321 678 0 0 25 0 1 0 765750339 29507584 6521 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7203 6520 1111 63 0 7140 0
vsize: 28816
[startup+270.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 188087 0 0 0 26303 696 0 0 25 0 1 0 765750339 30126080 6670 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7355 6670 1111 63 0 7292 0
vsize: 29420
[startup+280.012 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 193690 0 0 0 27282 718 0 0 25 0 1 0 765750339 30769152 6829 4294967295 134512640 134714508 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7512 6829 1111 63 0 7449 0
vsize: 30048
[startup+290.013 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 198633 0 0 0 28263 737 0 0 25 0 1 0 765750339 31363072 6974 4294967295 134512640 134714508 3221221792 3221220160 1074143077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7657 6974 1111 63 0 7594 0
vsize: 30628
[startup+300.013 s]
Raw data (loadavg): 0.99 0.95 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 204048 0 0 0 29242 758 0 0 25 0 1 0 765750339 32141312 7134 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7847 7134 1111 63 0 7784 0
vsize: 31388
[startup+310.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 209255 0 0 0 30221 779 0 0 25 0 1 0 765750339 32702464 7272 4294967295 134512640 134714508 3221221792 3221218832 1075971413 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7954 7270 1111 63 0 7891 0
vsize: 31936
[startup+320.013 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 214482 0 0 0 31200 800 0 0 25 0 1 0 765750339 33107968 7400 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8083 7400 1111 63 0 8020 0
vsize: 32332
[startup+330.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 219668 0 0 0 32181 819 0 0 25 0 1 0 765750339 33689600 7542 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8225 7542 1111 63 0 8162 0
vsize: 32900
[startup+340.014 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 224416 0 0 0 33163 838 0 0 25 0 1 0 765750339 34267136 7680 4294967295 134512640 134714508 3221221792 3221220484 134528706 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8366 7680 1111 63 0 8303 0
vsize: 33464
[startup+350.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 229324 0 0 0 34145 856 0 0 25 0 1 0 765750339 34881536 7830 4294967295 134512640 134714508 3221221792 3221220468 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8516 7830 1111 63 0 8453 0
vsize: 34064
[startup+360.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 234581 0 0 0 35126 875 0 0 25 0 1 0 765750339 35495936 7983 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8700 7985 1111 63 0 8637 0
vsize: 34664
[startup+370.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 240242 0 0 0 36106 895 0 0 25 0 1 0 765750339 36122624 8136 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8819 8136 1111 63 0 8756 0
vsize: 35276
[startup+380.015 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 243234 0 0 0 37094 908 0 0 25 0 1 0 765750339 37064704 8338 4294967295 134512640 134714508 3221221792 3221220112 1074206862 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9049 8338 1111 63 0 8986 0
vsize: 36196
[startup+390.016 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 248121 0 0 0 38078 923 0 0 25 0 1 0 765750339 37605376 8468 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9181 8468 1111 63 0 9118 0
vsize: 36724
[startup+400.016 s]
Raw data (loadavg): 0.99 0.96 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 252983 0 0 0 39059 943 0 0 25 0 1 0 765750339 38379520 8623 4294967295 134512640 134714508 3221221792 3221218684 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9370 8625 1111 63 0 9307 0
vsize: 37480
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 258053 0 0 0 40041 961 0 0 25 0 1 0 765750339 38809600 8764 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9509 8767 1111 63 0 9446 0
vsize: 37900
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 262802 0 0 0 41024 978 0 0 25 0 1 0 765750339 39501824 8925 4294967295 134512640 134714508 3221221792 3221220156 1074146096 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9644 8925 1111 63 0 9581 0
vsize: 38576
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 267618 0 0 0 42007 995 0 0 25 0 1 0 765750339 40185856 9070 4294967295 134512640 134714508 3221221792 3221218624 1075115274 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9811 9070 1111 63 0 9748 0
vsize: 39244
[startup+440.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 272580 0 0 0 42987 1015 0 0 25 0 1 0 765750339 40644608 9212 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9923 9212 1111 63 0 9860 0
vsize: 39692
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 277088 0 0 0 43971 1031 0 0 25 0 1 0 765750339 41181184 9343 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10054 9343 1111 63 0 9991 0
vsize: 40216
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 281539 0 0 0 44956 1046 0 0 25 0 1 0 765750339 41717760 9474 4294967295 134512640 134714508 3221221792 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10185 9474 1111 63 0 10122 0
vsize: 40740
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 285768 0 0 0 45941 1062 0 0 25 0 1 0 765750339 42237952 9601 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10312 9601 1111 63 0 10249 0
vsize: 41248
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 290021 0 0 0 46926 1077 0 0 25 0 1 0 765750339 42766336 9728 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10441 9728 1111 63 0 10378 0
vsize: 41764
[startup+490.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 294513 0 0 0 47912 1091 0 0 25 0 1 0 765750339 43401216 9856 4294967295 134512640 134714508 3221221792 3221217936 1074970218 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10565 9854 1111 63 0 10502 0
vsize: 42384
[startup+500.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 299235 0 0 0 48896 1107 0 0 25 0 1 0 765750339 43790336 9977 4294967295 134512640 134714508 3221221792 3221220176 1074153736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10691 9977 1111 63 0 10628 0
vsize: 42764
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 303644 0 0 0 49883 1120 0 0 25 0 1 0 765750339 44273664 10098 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10809 10098 1111 63 0 10746 0
vsize: 43236
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 307851 0 0 0 50868 1135 0 0 25 0 1 0 765750339 44773376 10216 4294967295 134512640 134714508 3221221792 3221219972 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10925 10214 1111 63 0 10862 0
vsize: 43724
[startup+530.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 312212 0 0 0 51854 1149 0 0 25 0 1 0 765750339 45248512 10336 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11047 10336 1111 63 0 10984 0
vsize: 44188
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 316097 0 0 0 52839 1165 0 0 25 0 1 0 765750339 45772800 10464 4294967295 134512640 134714508 3221221792 3221220444 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11175 10464 1111 63 0 11112 0
vsize: 44700
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 320599 0 0 0 53823 1181 0 0 25 0 1 0 765750339 46321664 10591 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11309 10591 1111 63 0 11246 0
vsize: 45236
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 325073 0 0 0 54807 1197 0 0 25 0 1 0 765750339 46800896 10715 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11426 10715 1111 63 0 11363 0
vsize: 45704
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 329498 0 0 0 55791 1213 0 0 25 0 1 0 765750339 47288320 10834 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11545 10834 1111 63 0 11482 0
vsize: 46180
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 333707 0 0 0 56775 1229 0 0 25 0 1 0 765750339 47837184 10964 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11679 10964 1111 63 0 11616 0
vsize: 46716
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 338391 0 0 0 57757 1247 0 0 25 0 1 0 765750339 48316416 11085 4294967295 134512640 134714508 3221221792 3221220404 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11796 11085 1111 63 0 11733 0
vsize: 47184
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 343019 0 0 0 58743 1262 0 0 25 0 1 0 765750339 48861184 11218 4294967295 134512640 134714508 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11929 11218 1111 63 0 11866 0
vsize: 47716
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 347676 0 0 0 59725 1279 0 0 25 0 1 0 765750339 49516544 11344 4294967295 134512640 134714508 3221221792 3221218864 1074867344 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12058 11342 1111 63 0 11995 0
vsize: 48356
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 352299 0 0 0 60709 1296 0 0 25 0 1 0 765750339 50241536 11488 4294967295 134512640 134714508 3221221792 3221218032 1075115752 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12266 11488 1111 63 0 12203 0
vsize: 49064
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 355804 0 0 0 61696 1309 0 0 25 0 1 0 765750339 50302976 11570 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12281 11570 1111 63 0 12218 0
vsize: 49124
[startup+640.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 359834 0 0 0 62680 1325 0 0 25 0 1 0 765750339 50851840 11704 4294967295 134512640 134714508 3221221792 3221220384 134549541 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12415 11704 1111 63 0 12352 0
vsize: 49660
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 363876 0 0 0 63667 1339 0 0 25 0 1 0 765750339 51314688 11816 4294967295 134512640 134714508 3221221792 3221220468 134535789 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12528 11816 1111 63 0 12465 0
vsize: 50112
[startup+660.025 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 367506 0 0 0 64653 1353 0 0 25 0 1 0 765750339 51789824 11933 4294967295 134512640 134714508 3221221792 3221219252 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12644 11933 1111 63 0 12581 0
vsize: 50576
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 371270 0 0 0 65638 1368 0 0 25 0 1 0 765750339 52244480 12040 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12755 12040 1111 63 0 12692 0
vsize: 51020
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 375327 0 0 0 66624 1382 0 0 25 0 1 0 765750339 52662272 12146 4294967295 134512640 134714508 3221221792 3221220112 1074206907 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12857 12146 1111 63 0 12794 0
vsize: 51428
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 379281 0 0 0 67611 1395 0 0 25 0 1 0 765750339 53100544 12253 4294967295 134512640 134714508 3221221792 3221220528 134529091 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12964 12253 1111 63 0 12901 0
vsize: 51856
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 383610 0 0 0 68595 1412 0 0 25 0 1 0 765750339 54173696 12456 4294967295 134512640 134714508 3221221792 3221218392 1075850790 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13167 12455 1111 63 0 13104 0
vsize: 52904
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 387111 0 0 0 69584 1423 0 0 25 0 1 0 765750339 54493184 12562 4294967295 134512640 134714508 3221221792 3221218032 1075088546 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13304 12562 1111 63 0 13241 0
vsize: 53216
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 390788 0 0 0 70570 1437 0 0 25 0 1 0 765750339 54767616 12660 4294967295 134512640 134714508 3221221792 3221218912 1074865100 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13409 12662 1111 63 0 13346 0
vsize: 53484
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 394772 0 0 0 71554 1453 0 0 25 0 1 0 765750339 55205888 12767 4294967295 134512640 134714508 3221221792 3221220020 1077374077 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13478 12767 1111 63 0 13415 0
vsize: 53912
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 399143 0 0 0 72542 1466 0 0 25 0 1 0 765750339 55676928 12882 4294967295 134512640 134714508 3221221792 3221220528 134529237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13593 12882 1111 63 0 13530 0
vsize: 54372
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 403352 0 0 0 73527 1480 0 0 25 0 1 0 765750339 56172544 13003 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13714 13003 1111 63 0 13651 0
vsize: 54856
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 406977 0 0 0 74514 1494 0 0 25 0 1 0 765750339 56561664 13094 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13809 13094 1111 63 0 13746 0
vsize: 55236
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 410553 0 0 0 75502 1506 0 0 25 0 1 0 765750339 56979456 13200 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13911 13200 1111 63 0 13848 0
vsize: 55644
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 414848 0 0 0 76487 1521 0 0 25 0 1 0 765750339 57446400 13314 4294967295 134512640 134714508 3221221792 3221220416 134536713 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14025 13314 1111 63 0 13962 0
vsize: 56100
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 418726 0 0 0 77474 1534 0 0 25 0 1 0 765750339 57856000 13414 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14125 13414 1111 63 0 14062 0
vsize: 56500
[startup+800.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 422353 0 0 0 78460 1549 0 0 25 0 1 0 765750339 58425344 13523 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14264 13523 1111 63 0 14201 0
vsize: 57056
[startup+810.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 426071 0 0 0 79447 1562 0 0 25 0 1 0 765750339 58834944 13623 4294967295 134512640 134714508 3221221792 3221218064 1074806950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14364 13624 1111 63 0 14301 0
vsize: 57456
[startup+820.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 429660 0 0 0 80434 1574 0 0 25 0 1 0 765750339 59080704 13713 4294967295 134512640 134714508 3221221792 3221220496 134528623 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14424 13713 1111 63 0 14361 0
vsize: 57696
[startup+830.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 433324 0 0 0 81421 1587 0 0 25 0 1 0 765750339 59482112 13807 4294967295 134512640 134714508 3221221792 3221220464 134650233 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14522 13807 1111 63 0 14459 0
vsize: 58088
[startup+840.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 437160 0 0 0 82407 1602 0 0 25 0 1 0 765750339 59891712 13906 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14622 13906 1111 63 0 14559 0
vsize: 58488
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 440795 0 0 0 83393 1616 0 0 25 0 1 0 765750339 60293120 14004 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14720 14004 1111 63 0 14657 0
vsize: 58880
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 444654 0 0 0 84380 1629 0 0 25 0 1 0 765750339 60727296 14114 4294967295 134512640 134714508 3221221792 3221220528 134529177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14826 14114 1111 63 0 14763 0
vsize: 59304
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 448704 0 0 0 85367 1642 0 0 25 0 1 0 765750339 61108224 14208 4294967295 134512640 134714508 3221221792 3221220384 134536700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14919 14208 1111 63 0 14856 0
vsize: 59676
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 452368 0 0 0 86354 1656 0 0 25 0 1 0 765750339 61493248 14302 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15013 14302 1111 63 0 14950 0
vsize: 60052
[startup+890.029 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 455733 0 0 0 87344 1666 0 0 25 0 1 0 765750339 61980672 14421 4294967295 134512640 134714508 3221221792 3221220064 1074056176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15132 14421 1111 63 0 15069 0
vsize: 60528
[startup+900.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 459349 0 0 0 88331 1678 0 0 25 0 1 0 765750339 62492672 14527 4294967295 134512640 134714508 3221221792 3221219972 1077782939 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15241 14527 1111 63 0 15178 0
vsize: 61028
[startup+910.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 462958 0 0 0 89316 1694 0 0 25 0 1 0 765750339 62885888 14639 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15353 14639 1111 63 0 15290 0
vsize: 61412
[startup+920.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 466804 0 0 0 90302 1709 0 0 25 0 1 0 765750339 63328256 14748 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15461 14748 1111 63 0 15398 0
vsize: 61844
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 470524 0 0 0 91289 1722 0 0 25 0 1 0 765750339 63950848 14873 4294967295 134512640 134714508 3221221792 3221218808 1074620949 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15583 14872 1111 63 0 15520 0
vsize: 62452
[startup+940.03 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 474372 0 0 0 92275 1736 0 0 25 0 1 0 765750339 64237568 14969 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15683 14969 1111 63 0 15620 0
vsize: 62732
[startup+950.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 478298 0 0 0 93261 1750 0 0 25 0 1 0 765750339 64831488 15087 4294967295 134512640 134714508 3221221792 3221217820 1074787200 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15828 15087 1111 63 0 15765 0
vsize: 63312
[startup+960.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 482255 0 0 0 94246 1765 0 0 25 0 1 0 765750339 65196032 15206 4294967295 134512640 134714508 3221221792 3221220192 1074119040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15917 15206 1111 63 0 15854 0
vsize: 63668
[startup+970.031 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 485712 0 0 0 95233 1778 0 0 25 0 1 0 765750339 65622016 15310 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16021 15310 1111 63 0 15958 0
vsize: 64084
[startup+980.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 489172 0 0 0 96225 1788 0 0 25 0 1 0 765750339 66203648 15422 4294967295 134512640 134714508 3221221792 3221217952 1075095166 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16163 15422 1111 63 0 16100 0
vsize: 64652
[startup+990.049 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 492792 0 0 0 97212 1802 0 0 25 0 1 0 765750339 66555904 15535 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16249 15535 1111 63 0 16186 0
vsize: 64996
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 496504 0 0 0 98201 1813 0 0 25 0 1 0 765750339 66969600 15639 4294967295 134512640 134714508 3221221792 3221220528 134529259 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16350 15639 1111 63 0 16287 0
vsize: 65400
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 500096 0 0 0 99188 1825 0 0 25 0 1 0 765750339 67375104 15738 4294967295 134512640 134714508 3221221792 3221220256 134535448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16449 15738 1111 63 0 16386 0
vsize: 65796
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 503729 0 0 0 100175 1839 0 0 25 0 1 0 765750339 67907584 15838 4294967295 134512640 134714508 3221221792 3221217952 1075091317 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16579 15838 1111 63 0 16516 0
vsize: 66316
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 507212 0 0 0 101161 1853 0 0 25 0 1 0 765750339 68448256 15974 4294967295 134512640 134714508 3221221792 3221219904 1074867237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16707 15970 1111 63 0 16644 0
vsize: 66844
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 510919 0 0 0 102148 1866 0 0 25 0 1 0 765750339 69324800 16188 4294967295 134512640 134714508 3221221792 3221220504 134552570 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16925 16188 1111 63 0 16862 0
vsize: 67700
[startup+1050.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 514037 0 0 0 103137 1878 0 0 25 0 1 0 765750339 69767168 16296 4294967295 134512640 134714508 3221221792 3221220420 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17033 16296 1111 63 0 16970 0
vsize: 68132
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 517353 0 0 0 104124 1891 0 0 25 0 1 0 765750339 70103040 16378 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17115 16378 1111 63 0 17052 0
vsize: 68460
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 520447 0 0 0 105112 1903 0 0 25 0 1 0 765750339 70488064 16472 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17209 16472 1111 63 0 17146 0
vsize: 68836
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 523616 0 0 0 106102 1913 0 0 25 0 1 0 765750339 70901760 16573 4294967295 134512640 134714508 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17310 16573 1111 63 0 17247 0
vsize: 69240
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 526573 0 0 0 107089 1926 0 0 25 0 1 0 765750339 71274496 16660 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17401 16660 1111 63 0 17338 0
vsize: 69604
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 529479 0 0 0 108079 1936 0 0 25 0 1 0 765750339 71729152 16773 4294967295 134512640 134714508 3221221792 3221220448 134649898 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17512 16773 1111 63 0 17449 0
vsize: 70048
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 533127 0 0 0 109067 1949 0 0 25 0 1 0 765750339 72114176 16869 4294967295 134512640 134714508 3221221792 3221220464 134650219 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17606 16869 1111 63 0 17543 0
vsize: 70424
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 536382 0 0 0 110054 1962 0 0 25 0 1 0 765750339 72552448 16974 4294967295 134512640 134714508 3221221792 3221220480 134535745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17713 16974 1111 63 0 17650 0
vsize: 70852
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 539170 0 0 0 111043 1973 0 0 25 0 1 0 765750339 73179136 17072 4294967295 134512640 134714508 3221221792 3221220448 134649903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17866 17072 1111 63 0 17803 0
vsize: 71464
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 542383 0 0 0 112030 1986 0 0 25 0 1 0 765750339 73281536 17154 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17891 17154 1111 63 0 17828 0
vsize: 71564
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 545578 0 0 0 113019 1998 0 0 25 0 1 0 765750339 73850880 17262 4294967295 134512640 134714508 3221221792 3221217952 1075090457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18030 17262 1111 63 0 17967 0
vsize: 72120
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 548823 0 0 0 114008 2009 0 0 25 0 1 0 765750339 74100736 17347 4294967295 134512640 134714508 3221221792 3221220160 1074208583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18091 17347 1111 63 0 18028 0
vsize: 72364
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.96 2/55 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 552437 0 0 0 114994 2022 0 0 25 0 1 0 765750339 74510336 17454 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18191 17454 1111 63 0 18128 0
vsize: 72764
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.96 1/54 20491
Raw data (stat): 20491 (bsolo_lpr) R 20490 7876 7672 0 -1 0 552437 0 0 0 114994 2022 0 0 25 0 1 0 765750339 74510336 17454 4294967295 134512640 134714508 3221221792 3221220452 134649897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18191 17454 1111 63 0 18128 0
vsize: 0

Child status: 10
Real time (s): 1174.95
CPU time (s): 1175.07
CPU user time (s): 1154.76
CPU system time (s): 20.3119
CPU usage (%): 100.01
Max. virtual memory (Kb): 72764
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####