PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-bell3a.opb
MD5SUM	d95da3ca5417070201766bede2d4ef9c
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	1256
Biggest coefficient in the objective function	393216000000000
Number of bits for the biggest coefficient in the objective function	49
Sum of the numbers in the objective function	14511389815457650
Number of bits of the sum of numbers in the objective function	54
Biggest number in a constraint	393216000000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	14511389815457650
Number of bits of the biggest sum of numbers	54
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	7.69383
Number of variables	1599
Total number of constraints	194
Number of constraints which are clauses	22
Number of constraints which are cardinality constraints (but not clauses)	39
Number of constraints which are nor clauses,nor cardinality constraints	133
Minimum length of a constraint	1
Maximum length of a constraint	131
Trace number 27546

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 22:25:19 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=16680 boxname=wulflinc27 idbench=1284 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  d95da3ca5417070201766bede2d4ef9c  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-bell3a.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-13-7-bell3a.opb
IDLAUNCH: 16680
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        856476 kB
Buffers:         13992 kB
Cached:         143264 kB
SwapCached:        640 kB
Active:          37552 kB
Inactive:       122172 kB
HighTotal:      131008 kB
HighFree:         1092 kB
LowTotal:       903652 kB
LowFree:        855384 kB
SwapTotal:     2097892 kB
SwapFree:      2096760 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5644 kB
Slab:            12956 kB
Committed_AS:    63584 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 22:44:54 (client local time) WITH STATUS 0 IN 1175.07 SECONDS
stats: 16680 7 1175.07 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1599 variables and 147 constraints.
c After prepocess the problem consists of 1468 variables and 267 constraints.
c preprocess terminated 7.01 s
c Initial Lower Bound: 30207396
c Lower Bound Elapsed time: 0.135333
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.89 0.95 0.90 2/54 9044
Raw data (stat): 9044 (runsolver) R 9043 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833815620 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0006 s]
Raw data (loadavg): 0.91 0.95 0.90 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 6007 0 0 0 985 13 0 0 25 0 1 0 833815620 13701120 2649 4294967295 134512640 134714508 3221224592 3221222992 1074118790 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3345 2649 1111 63 0 3282 0
vsize: 13380
[startup+20.001 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 13966 0 0 0 1962 36 0 0 25 0 1 0 833815620 13799424 2677 4294967295 134512640 134714508 3221224592 3221223336 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3369 2677 1111 63 0 3306 0
vsize: 13476
[startup+30.0012 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 19332 0 0 0 2947 51 0 0 25 0 1 0 833815620 14286848 2794 4294967295 134512640 134714508 3221224592 3221222336 1075639900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3488 2794 1111 63 0 3425 0
vsize: 13952
[startup+40.0021 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 26095 0 0 0 3928 70 0 0 25 0 1 0 833815620 14499840 2850 4294967295 134512640 134714508 3221224592 3221222512 1075802501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3540 2850 1111 63 0 3477 0
vsize: 14160
[startup+50.0029 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 33492 0 0 0 4906 92 0 0 25 0 1 0 833815620 14630912 2861 4294967295 134512640 134714508 3221224592 3221222496 1075460179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3572 2861 1111 63 0 3509 0
vsize: 14288
[startup+60.0037 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 44273 0 0 0 5878 120 0 0 25 0 1 0 833815620 14983168 2924 4294967295 134512640 134714508 3221224592 3221222656 1075961606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2924 1111 63 0 3595 0
vsize: 14632
[startup+70.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 47346 0 0 0 6865 133 0 0 25 0 1 0 833815620 15245312 2976 4294967295 134512640 134714508 3221224592 3221220796 1075563120 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3722 2976 1111 63 0 3659 0
vsize: 14888
[startup+80.0086 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 49798 0 0 0 7857 142 0 0 25 0 1 0 833815620 15110144 3002 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3689 3002 1111 63 0 3626 0
vsize: 14756
[startup+90.009 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 52773 0 0 0 8846 153 0 0 25 0 1 0 833815620 15233024 3028 4294967295 134512640 134714508 3221224592 3221223376 134624498 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3719 3028 1111 63 0 3656 0
vsize: 14876
[startup+100.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 56128 0 0 0 9834 165 0 0 25 0 1 0 833815620 15355904 3062 4294967295 134512640 134714508 3221224592 3221222940 1074143344 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3749 3062 1111 63 0 3686 0
vsize: 14996
[startup+110.009 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 58519 0 0 0 10824 176 0 0 25 0 1 0 833815620 15462400 3087 4294967295 134512640 134714508 3221224592 3221222016 1076057112 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3775 3087 1111 63 0 3712 0
vsize: 15100
[startup+120.01 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 64106 0 0 0 11809 191 0 0 25 0 1 0 833815620 15564800 3113 4294967295 134512640 134714508 3221224592 3221222236 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3800 3113 1111 63 0 3737 0
vsize: 15200
[startup+130.009 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 68287 0 0 0 12798 202 0 0 25 0 1 0 833815620 15581184 3117 4294967295 134512640 134714508 3221224592 3221222992 1074118820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3804 3117 1111 63 0 3741 0
vsize: 15216
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 72354 0 0 0 13786 214 0 0 25 0 1 0 833815620 15831040 3180 4294967295 134512640 134714508 3221224592 3221222136 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3865 3180 1111 63 0 3802 0
vsize: 15460
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 76154 0 0 0 14774 226 0 0 25 0 1 0 833815620 15831040 3180 4294967295 134512640 134714508 3221224592 3221223040 1074039463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3865 3180 1111 63 0 3802 0
vsize: 15460
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 78904 0 0 0 15768 232 0 0 25 0 1 0 833815620 16060416 3236 4294967295 134512640 134714508 3221224592 3221222504 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3921 3236 1111 63 0 3858 0
vsize: 15684
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 81331 0 0 0 16762 239 0 0 25 0 1 0 833815620 16302080 3238 4294967295 134512640 134714508 3221224592 3221221472 1075960512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3980 3238 1111 63 0 3917 0
vsize: 15920
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 85550 0 0 0 17751 250 0 0 25 0 1 0 833815620 16498688 3309 4294967295 134512640 134714508 3221224592 3221222704 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4028 3309 1111 63 0 3965 0
vsize: 16112
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 89174 0 0 0 18740 261 0 0 25 0 1 0 833815620 16470016 3336 4294967295 134512640 134714508 3221224592 3221222676 1077378716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4021 3336 1111 63 0 3958 0
vsize: 16084
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 93326 0 0 0 19729 272 0 0 25 0 1 0 833815620 17117184 3454 4294967295 134512640 134714508 3221224592 3221221628 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4179 3462 1111 63 0 4116 0
vsize: 16716
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 96586 0 0 0 20721 281 0 0 25 0 1 0 833815620 16998400 3465 4294967295 134512640 134714508 3221224592 3221222704 1074867352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4150 3465 1111 63 0 4087 0
vsize: 16600
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 101286 0 0 0 21707 295 0 0 25 0 1 0 833815620 17141760 3482 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4185 3482 1111 63 0 4122 0
vsize: 16740
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 106969 0 0 0 22688 313 0 0 25 0 1 0 833815620 17190912 3512 4294967295 134512640 134714508 3221224592 3221221784 1074138309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4289 3515 1111 63 0 4226 0
vsize: 16788
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 112158 0 0 0 23671 331 0 0 25 0 1 0 833815620 17276928 3533 4294967295 134512640 134714508 3221224592 3221222240 1075818331 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4218 3533 1111 63 0 4155 0
vsize: 16872
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 117450 0 0 0 24657 345 0 0 25 0 1 0 833815620 17444864 3556 4294967295 134512640 134714508 3221224592 3221222872 1074138312 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4259 3556 1111 63 0 4196 0
vsize: 17036
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 122911 0 0 0 25641 361 0 0 25 0 1 0 833815620 17883136 3607 4294967295 134512640 134714508 3221224592 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4366 3607 1111 63 0 4303 0
vsize: 17464
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 128098 0 0 0 26627 376 0 0 25 0 1 0 833815620 17543168 3598 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4283 3598 1111 63 0 4220 0
vsize: 17132
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 133281 0 0 0 27609 394 0 0 25 0 1 0 833815620 17960960 3626 4294967295 134512640 134714508 3221224592 3221221572 1075964073 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4385 3626 1111 63 0 4322 0
vsize: 17540
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 138540 0 0 0 28595 407 0 0 25 0 1 0 833815620 18149376 3671 4294967295 134512640 134714508 3221224592 3221220604 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4431 3671 1111 63 0 4368 0
vsize: 17724
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 143548 0 0 0 29580 423 0 0 25 0 1 0 833815620 17817600 3665 4294967295 134512640 134714508 3221224592 3221223216 134650068 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4350 3665 1111 63 0 4287 0
vsize: 17400
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 148805 0 0 0 30565 438 0 0 25 0 1 0 833815620 18264064 3682 4294967295 134512640 134714508 3221224592 3221221124 1075863666 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4459 3682 1111 63 0 4396 0
vsize: 17836
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 152065 0 0 0 31558 445 0 0 25 0 1 0 833815620 18198528 3758 4294967295 134512640 134714508 3221224592 3221222368 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3758 1111 63 0 4380 0
vsize: 17772
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 154932 0 0 0 32550 454 0 0 25 0 1 0 833815620 18198528 3758 4294967295 134512640 134714508 3221224592 3221222800 134650092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4443 3758 1111 63 0 4380 0
vsize: 17772
[startup+340.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 159119 0 0 0 33537 467 0 0 25 0 1 0 833815620 18587648 3778 4294967295 134512640 134714508 3221224592 3221220976 1074972952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4538 3778 1111 63 0 4475 0
vsize: 18152
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 165839 0 0 0 34518 486 0 0 25 0 1 0 833815620 18923520 3865 4294967295 134512640 134714508 3221224592 3221220816 1075895677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4620 3865 1111 63 0 4557 0
vsize: 18480
[startup+360.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 170950 0 0 0 35503 502 0 0 25 0 1 0 833815620 19300352 3928 4294967295 134512640 134714508 3221224592 3221221632 1075860104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4712 3928 1111 63 0 4649 0
vsize: 18848
[startup+370.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 175262 0 0 0 36489 515 0 0 25 0 1 0 833815620 19116032 3982 4294967295 134512640 134714508 3221224592 3221222992 1074119071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4667 3982 1111 63 0 4604 0
vsize: 18668
[startup+380.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 179426 0 0 0 37476 529 0 0 25 0 1 0 833815620 19222528 4008 4294967295 134512640 134714508 3221224592 3221221712 1074865100 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4693 4008 1111 63 0 4630 0
vsize: 18772
[startup+390.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 183738 0 0 0 38462 543 0 0 25 0 1 0 833815620 19419136 4056 4294967295 134512640 134714508 3221224592 3221222524 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4741 4056 1111 63 0 4678 0
vsize: 18964
[startup+400.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 187541 0 0 0 39450 555 0 0 25 0 1 0 833815620 19980288 4113 4294967295 134512640 134714508 3221224592 3221220540 1074788964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4878 4113 1111 63 0 4815 0
vsize: 19512
[startup+410.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 191834 0 0 0 40436 568 0 0 25 0 1 0 833815620 19775488 4140 4294967295 134512640 134714508 3221224592 3221222872 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4828 4140 1111 63 0 4765 0
vsize: 19312
[startup+420.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 195960 0 0 0 41424 581 0 0 25 0 1 0 833815620 19959808 4184 4294967295 134512640 134714508 3221224592 3221222848 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4873 4184 1111 63 0 4810 0
vsize: 19492
[startup+430.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 199513 0 0 0 42411 594 0 0 25 0 1 0 833815620 19980288 4193 4294967295 134512640 134714508 3221224592 3221222416 1075823501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4878 4193 1111 63 0 4815 0
vsize: 19512
[startup+440.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 203657 0 0 0 43400 606 0 0 25 0 1 0 833815620 20107264 4224 4294967295 134512640 134714508 3221224592 3221222560 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4909 4224 1111 63 0 4846 0
vsize: 19636
[startup+450.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 207439 0 0 0 44387 619 0 0 25 0 1 0 833815620 20250624 4259 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4944 4259 1111 63 0 4881 0
vsize: 19776
[startup+460.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 211173 0 0 0 45377 629 0 0 25 0 1 0 833815620 20758528 4311 4294967295 134512640 134714508 3221224592 3221221656 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5068 4311 1111 63 0 5005 0
vsize: 20272
[startup+470.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 213927 0 0 0 46369 637 0 0 25 0 1 0 833815620 20467712 4312 4294967295 134512640 134714508 3221224592 3221222896 1073986759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4997 4312 1111 63 0 4934 0
vsize: 19988
[startup+480.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 217481 0 0 0 47358 648 0 0 25 0 1 0 833815620 20557824 4331 4294967295 134512640 134714508 3221224592 3221222504 1074138240 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 4331 1111 63 0 4956 0
vsize: 20076
[startup+490.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 220078 0 0 0 48351 655 0 0 25 0 1 0 833815620 20738048 4378 4294967295 134512640 134714508 3221224592 3221223008 1074116197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4378 1111 63 0 5000 0
vsize: 20252
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 221009 0 0 0 49345 661 0 0 25 0 1 0 833815620 20738048 4378 4294967295 134512640 134714508 3221224592 3221222184 1077380195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4378 1111 63 0 5000 0
vsize: 20252
[startup+510.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 222021 0 0 0 50339 667 0 0 25 0 1 0 833815620 20738048 4378 4294967295 134512640 134714508 3221224592 3221222864 1074056269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4378 1111 63 0 5000 0
vsize: 20252
[startup+520.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 222820 0 0 0 51335 671 0 0 25 0 1 0 833815620 20918272 4380 4294967295 134512640 134714508 3221224592 3221220556 1074860667 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5107 4380 1111 63 0 5044 0
vsize: 20428
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 223754 0 0 0 52330 677 0 0 25 0 1 0 833815620 20758528 4383 4294967295 134512640 134714508 3221224592 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5068 4383 1111 63 0 5005 0
vsize: 20272
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 227277 0 0 0 53318 688 0 0 25 0 1 0 833815620 20738048 4378 4294967295 134512640 134714508 3221224592 3221223008 1074116460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5063 4378 1111 63 0 5000 0
vsize: 20252
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 232848 0 0 0 54303 703 0 0 25 0 1 0 833815620 20754432 4382 4294967295 134512640 134714508 3221224592 3221223336 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5067 4382 1111 63 0 5004 0
vsize: 20268
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 240200 0 0 0 55283 724 0 0 25 0 1 0 833815620 21114880 4452 4294967295 134512640 134714508 3221224592 3221222592 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5155 4452 1111 63 0 5092 0
vsize: 20620
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 249867 0 0 0 56254 754 0 0 25 0 1 0 833815620 20992000 4396 4294967295 134512640 134714508 3221224592 3221222320 1075829568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4396 1111 63 0 5062 0
vsize: 20500
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 259655 0 0 0 57230 778 0 0 25 0 1 0 833815620 20967424 4434 4294967295 134512640 134714508 3221224592 3221222888 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 4434 1111 63 0 5056 0
vsize: 20476
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 268020 0 0 0 58207 800 0 0 25 0 1 0 833815620 20971520 4435 4294967295 134512640 134714508 3221224592 3221223248 134649921 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5120 4435 1111 63 0 5057 0
vsize: 20480
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 274149 0 0 0 59191 817 0 0 25 0 1 0 833815620 21590016 4534 4294967295 134512640 134714508 3221224592 3221221056 1074786179 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5271 4534 1111 63 0 5208 0
vsize: 21084
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 278345 0 0 0 60177 831 0 0 25 0 1 0 833815620 21270528 4508 4294967295 134512640 134714508 3221224592 3221222592 1074918476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5193 4508 1111 63 0 5130 0
vsize: 20772
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 283593 0 0 0 61163 845 0 0 25 0 1 0 833815620 21913600 4580 4294967295 134512640 134714508 3221224592 3221221520 1075960349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5350 4580 1111 63 0 5287 0
vsize: 21400
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 287520 0 0 0 62150 858 0 0 25 0 1 0 833815620 21536768 4573 4294967295 134512640 134714508 3221224592 3221221936 1074839039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5258 4573 1111 63 0 5195 0
vsize: 21032
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 291526 0 0 0 63138 871 0 0 25 0 1 0 833815620 21737472 4622 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5307 4622 1111 63 0 5244 0
vsize: 21228
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 295495 0 0 0 64125 883 0 0 25 0 1 0 833815620 21929984 4669 4294967295 134512640 134714508 3221224592 3221222608 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5354 4669 1111 63 0 5291 0
vsize: 21416
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 299505 0 0 0 65113 896 0 0 25 0 1 0 833815620 21962752 4677 4294967295 134512640 134714508 3221224592 3221222888 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5362 4677 1111 63 0 5299 0
vsize: 21448
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 304366 0 0 0 66100 909 0 0 25 0 1 0 833815620 22478848 4733 4294967295 134512640 134714508 3221224592 3221220468 1074786600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4733 1111 63 0 5425 0
vsize: 21952
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 308424 0 0 0 67089 920 0 0 25 0 1 0 833815620 22142976 4721 4294967295 134512640 134714508 3221224592 3221222880 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5406 4721 1111 63 0 5343 0
vsize: 21624
[startup+690.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 312196 0 0 0 68088 932 0 0 25 0 1 0 833815620 22163456 4726 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5411 4726 1111 63 0 5348 0
vsize: 21644
[startup+700.129 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 316216 0 0 0 69074 945 0 0 25 0 1 0 833815620 22376448 4778 4294967295 134512640 134714508 3221224592 3221222992 1074118827 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5463 4778 1111 63 0 5400 0
vsize: 21852
[startup+710.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 320072 0 0 0 70062 957 0 0 25 0 1 0 833815620 22360064 4774 4294967295 134512640 134714508 3221224592 3221222264 1077380269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5459 4774 1111 63 0 5396 0
vsize: 21836
[startup+720.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 324141 0 0 0 71050 970 0 0 25 0 1 0 833815620 22736896 4781 4294967295 134512640 134714508 3221224592 3221221576 1074831413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5551 4781 1111 63 0 5488 0
vsize: 22204
[startup+730.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 329295 0 0 0 72037 983 0 0 25 0 1 0 833815620 22446080 4791 4294967295 134512640 134714508 3221224592 3221222584 134613761 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5480 4791 1111 63 0 5417 0
vsize: 21920
[startup+740.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 336028 0 0 0 73019 1002 0 0 25 0 1 0 833815620 22482944 4804 4294967295 134512640 134714508 3221224592 3221222440 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5489 4804 1111 63 0 5426 0
vsize: 21956
[startup+750.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 344779 0 0 0 73990 1030 0 0 25 0 1 0 833815620 22761472 4829 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5557 4829 1111 63 0 5494 0
vsize: 22228
[startup+760.13 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 352097 0 0 0 74969 1052 0 0 25 0 1 0 833815620 22867968 4898 4294967295 134512640 134714508 3221224592 3221222856 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5583 4898 1111 63 0 5520 0
vsize: 22332
[startup+770.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 356258 0 0 0 75957 1064 0 0 25 0 1 0 833815620 23089152 4952 4294967295 134512640 134714508 3221224592 3221222560 1073987045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5637 4952 1111 63 0 5574 0
vsize: 22548
[startup+780.131 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 359970 0 0 0 76947 1074 0 0 25 0 1 0 833815620 23506944 4984 4294967295 134512640 134714508 3221224592 3221220976 1074971965 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5739 4984 1111 63 0 5676 0
vsize: 22956
[startup+790.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 363739 0 0 0 77933 1088 0 0 25 0 1 0 833815620 23158784 4969 4294967295 134512640 134714508 3221224592 3221222896 1075006706 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5654 4969 1111 63 0 5591 0
vsize: 22616
[startup+800.132 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 368483 0 0 0 78919 1103 0 0 25 0 1 0 833815620 23769088 5045 4294967295 134512640 134714508 3221224592 3221220664 1074950195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5803 5045 1111 63 0 5740 0
vsize: 23212
[startup+810.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 372857 0 0 0 79906 1115 0 0 25 0 1 0 833815620 23392256 5026 4294967295 134512640 134714508 3221224592 3221221696 1074138729 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5711 5026 1111 63 0 5648 0
vsize: 22844
[startup+820.133 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 377512 0 0 0 80893 1129 0 0 25 0 1 0 833815620 23724032 5085 4294967295 134512640 134714508 3221224592 3221222704 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5792 5085 1111 63 0 5729 0
vsize: 23168
[startup+830.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 381071 0 0 0 81881 1141 0 0 25 0 1 0 833815620 24113152 5136 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 5136 1111 63 0 5824 0
vsize: 23548
[startup+840.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 385202 0 0 0 82865 1157 0 0 25 0 1 0 833815620 24203264 5143 4294967295 134512640 134714508 3221224592 3221220556 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5909 5143 1111 63 0 5846 0
vsize: 23636
[startup+850.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 389072 0 0 0 83854 1168 0 0 25 0 1 0 833815620 24018944 5179 4294967295 134512640 134714508 3221224592 3221222416 1075823559 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 5179 1111 63 0 5801 0
vsize: 23456
[startup+860.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 392386 0 0 0 84845 1178 0 0 25 0 1 0 833815620 24018944 5179 4294967295 134512640 134714508 3221224592 3221222592 1074056621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5864 5179 1111 63 0 5801 0
vsize: 23456
[startup+870.135 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 395944 0 0 0 85832 1191 0 0 25 0 1 0 833815620 24518656 5242 4294967295 134512640 134714508 3221224592 3221220864 1074961191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5986 5242 1111 63 0 5923 0
vsize: 23944
[startup+880.134 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 398964 0 0 0 86824 1199 0 0 25 0 1 0 833815620 24342528 5226 4294967295 134512640 134714508 3221224592 3221222320 1075828397 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5943 5226 1111 63 0 5880 0
vsize: 23772
[startup+890.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 402746 0 0 0 87813 1210 0 0 25 0 1 0 833815620 24313856 5251 4294967295 134512640 134714508 3221224592 3221221712 1074865619 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5936 5251 1111 63 0 5873 0
vsize: 23744
[startup+900.139 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 406726 0 0 0 88799 1225 0 0 25 0 1 0 833815620 24834048 5294 4294967295 134512640 134714508 3221224592 3221221596 1074621048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6063 5294 1111 63 0 6000 0
vsize: 24252
[startup+910.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 410808 0 0 0 89786 1238 0 0 25 0 1 0 833815620 24875008 5315 4294967295 134512640 134714508 3221224592 3221221512 1075964778 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6073 5315 1111 63 0 6010 0
vsize: 24292
[startup+920.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 415680 0 0 0 90773 1251 0 0 25 0 1 0 833815620 24506368 5298 4294967295 134512640 134714508 3221224592 3221222888 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5983 5298 1111 63 0 5920 0
vsize: 23932
[startup+930.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 420124 0 0 0 91759 1265 0 0 25 0 1 0 833815620 25153536 5367 4294967295 134512640 134714508 3221224592 3221221184 1074886009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6141 5367 1111 63 0 6078 0
vsize: 24564
[startup+940.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 424690 0 0 0 92746 1278 0 0 25 0 1 0 833815620 24739840 5353 4294967295 134512640 134714508 3221224592 3221223312 134556503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6040 5353 1111 63 0 5977 0
vsize: 24160
[startup+950.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 428989 0 0 0 93733 1291 0 0 25 0 1 0 833815620 24739840 5355 4294967295 134512640 134714508 3221224592 3221223308 134543192 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6040 5355 1111 63 0 5977 0
vsize: 24160
[startup+960.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 432543 0 0 0 94721 1303 0 0 25 0 1 0 833815620 25276416 5402 4294967295 134512640 134714508 3221224592 3221221576 1074831910 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6171 5402 1111 63 0 6108 0
vsize: 24684
[startup+970.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 435838 0 0 0 95712 1312 0 0 25 0 1 0 833815620 25350144 5431 4294967295 134512640 134714508 3221224592 3221221632 1075860004 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6189 5431 1111 63 0 6126 0
vsize: 24756
[startup+980.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 439536 0 0 0 96701 1324 0 0 25 0 1 0 833815620 25026560 5425 4294967295 134512640 134714508 3221224592 3221223216 134650104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6110 5425 1111 63 0 6047 0
vsize: 24440
[startup+990.141 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 443377 0 0 0 97691 1334 0 0 25 0 1 0 833815620 25497600 5474 4294967295 134512640 134714508 3221224592 3221221560 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6225 5474 1111 63 0 6162 0
vsize: 24900
[startup+1000.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 447709 0 0 0 98679 1346 0 0 25 0 1 0 833815620 25063424 5434 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6119 5434 1111 63 0 6056 0
vsize: 24476
[startup+1010.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 451328 0 0 0 99668 1358 0 0 25 0 1 0 833815620 25153536 5456 4294967295 134512640 134714508 3221224592 3221222376 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6141 5456 1111 63 0 6078 0
vsize: 24564
[startup+1020.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 455229 0 0 0 100657 1369 0 0 25 0 1 0 833815620 25583616 5488 4294967295 134512640 134714508 3221224592 3221220820 1075115109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6246 5488 1111 63 0 6183 0
vsize: 24984
[startup+1030.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 459129 0 0 0 101643 1383 0 0 25 0 1 0 833815620 25260032 5482 4294967295 134512640 134714508 3221224592 3221222336 1075640399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6167 5482 1111 63 0 6104 0
vsize: 24668
[startup+1040.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 463576 0 0 0 102630 1396 0 0 25 0 1 0 833815620 25296896 5491 4294967295 134512640 134714508 3221224592 3221222944 1074115317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6176 5491 1111 63 0 6113 0
vsize: 24704
[startup+1050.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 467267 0 0 0 103619 1407 0 0 25 0 1 0 833815620 25382912 5512 4294967295 134512640 134714508 3221224592 3221223440 134623453 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6197 5512 1111 63 0 6134 0
vsize: 24788
[startup+1060.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 471568 0 0 0 104608 1419 0 0 25 0 1 0 833815620 25452544 5529 4294967295 134512640 134714508 3221224592 3221222448 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6214 5529 1111 63 0 6151 0
vsize: 24856
[startup+1070.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 475052 0 0 0 105598 1429 0 0 25 0 1 0 833815620 25960448 5597 4294967295 134512640 134714508 3221224592 3221220796 1075563980 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6338 5597 1111 63 0 6275 0
vsize: 25352
[startup+1080.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 478622 0 0 0 106586 1441 0 0 25 0 1 0 833815620 25772032 5566 4294967295 134512640 134714508 3221224592 3221222352 1075823433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6292 5566 1111 63 0 6229 0
vsize: 25168
[startup+1090.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 482388 0 0 0 107574 1452 0 0 25 0 1 0 833815620 25690112 5587 4294967295 134512640 134714508 3221224592 3221223152 134650198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6272 5587 1111 63 0 6209 0
vsize: 25088
[startup+1100.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 486285 0 0 0 108564 1463 0 0 25 0 1 0 833815620 26083328 5607 4294967295 134512640 134714508 3221224592 3221220604 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6368 5607 1111 63 0 6305 0
vsize: 25472
[startup+1110.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 490677 0 0 0 109551 1476 0 0 25 0 1 0 833815620 26263552 5644 4294967295 134512640 134714508 3221224592 3221221120 1075119993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6412 5644 1111 63 0 6349 0
vsize: 25648
[startup+1120.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 493887 0 0 0 110540 1487 0 0 25 0 1 0 833815620 26259456 5654 4294967295 134512640 134714508 3221224592 3221221536 1074620363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6411 5654 1111 63 0 6348 0
vsize: 25644
[startup+1130.14 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 497275 0 0 0 111529 1499 0 0 25 0 1 0 833815620 26427392 5687 4294967295 134512640 134714508 3221224592 3221220820 1075115106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6452 5687 1111 63 0 6389 0
vsize: 25808
[startup+1140.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 501052 0 0 0 112514 1513 0 0 25 0 1 0 833815620 26062848 5662 4294967295 134512640 134714508 3221224592 3221222592 1074918106 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 5662 1111 63 0 6300 0
vsize: 25452
[startup+1150.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 504932 0 0 0 113502 1526 0 0 25 0 1 0 833815620 26177536 5706 4294967295 134512640 134714508 3221224592 3221221736 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6391 5706 1111 63 0 6328 0
vsize: 25564
[startup+1160.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 507337 0 0 0 114495 1533 0 0 25 0 1 0 833815620 26234880 5722 4294967295 134512640 134714508 3221224592 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 5722 1111 63 0 6342 0
vsize: 25620
[startup+1170.15 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 510488 0 0 0 115486 1543 0 0 25 0 1 0 833815620 26423296 5768 4294967295 134512640 134714508 3221224592 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6451 5768 1111 63 0 6388 0
vsize: 25804
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 9044
Raw data (stat): 9044 (bsolo_lpr) R 9043 3394 3393 0 -1 0 510488 0 0 0 115486 1543 0 0 25 0 1 0 833815620 26423296 5768 4294967295 134512640 134714508 3221224592 3221222768 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6451 5768 1111 63 0 6388 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.07
CPU user time (s): 1159.6
CPU system time (s): 15.4676
CPU usage (%): 100.012
Max. virtual memory (Kb): 25808
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####