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-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 28246

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        754560 kB
Buffers:          8800 kB
Cached:         248912 kB
SwapCached:        620 kB
Active:          32032 kB
Inactive:       228096 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        754308 kB
SwapTotal:     2097892 kB
SwapFree:      2096776 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5652 kB
Slab:            14248 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:37:18 (client local time) WITH STATUS 0 IN 1176.11 SECONDS
stats: 13729 7 1176.11 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.717 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.028
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.98 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.93 0.98 0.93 2/54 11582
Raw data (stat): 11582 (runsolver) R 11581 4613 4612 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834853196 1052672 99 4294967295 134512640 135381576 3221224496 3221219712 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+9.99964 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 9116 0 0 0 971 26 0 0 25 0 1 0 834853196 20795392 4376 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5117 4377 1111 63 0 5054 0
vsize: 20308
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 15280 0 0 0 1950 48 0 0 25 0 1 0 834853196 25493504 5528 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6224 5528 1111 63 0 6161 0
vsize: 24896
[startup+30.0007 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 22231 0 0 0 2926 72 0 0 25 0 1 0 834853196 30830592 6828 4294967295 134512640 134714508 3221224592 3221222896 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7527 6828 1111 63 0 7464 0
vsize: 30108
[startup+40.0017 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 28943 0 0 0 3900 98 0 0 25 0 1 0 834853196 35639296 7964 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8701 7967 1111 63 0 8638 0
vsize: 34804
[startup+50.0024 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 35651 0 0 0 4877 121 0 0 25 0 1 0 834853196 41594880 9366 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10155 9366 1111 63 0 10092 0
vsize: 40620
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 42923 0 0 0 5853 145 0 0 25 0 1 0 834853196 45428736 10317 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11091 10317 1111 63 0 11028 0
vsize: 44364
[startup+70.0028 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 51228 0 0 0 6826 173 0 0 25 0 1 0 834853196 50085888 11470 4294967295 134512640 134714508 3221224592 3221222320 1075828845 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12228 11470 1111 63 0 12165 0
vsize: 48912
[startup+80.0035 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 59836 0 0 0 7803 196 0 0 25 0 1 0 834853196 56725504 12831 4294967295 134512640 134714508 3221224592 3221222896 1074153783 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13849 12831 1111 63 0 13786 0
vsize: 55396
[startup+90.0039 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 69180 0 0 0 8774 225 0 0 25 0 1 0 834853196 60801024 13816 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14844 13816 1111 63 0 14781 0
vsize: 59376
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 77156 0 0 0 9751 248 0 0 25 0 1 0 834853196 62808064 14376 4294967295 134512640 134714508 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15334 14376 1111 63 0 15271 0
vsize: 61336
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 88752 0 0 0 10722 278 0 0 25 0 1 0 834853196 66584576 15290 4294967295 134512640 134714508 3221224592 3221222976 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16256 15290 1111 63 0 16193 0
vsize: 65024
[startup+120.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 100020 0 0 0 11690 310 0 0 25 0 1 0 834853196 69951488 16147 4294967295 134512640 134714508 3221224592 3221223056 1074121102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17078 16147 1111 63 0 17015 0
vsize: 68312
[startup+130.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 111274 0 0 0 12657 343 0 0 25 0 1 0 834853196 73584640 17051 4294967295 134512640 134714508 3221224592 3221222928 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17965 17051 1111 63 0 17902 0
vsize: 71860
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 122338 0 0 0 13624 377 0 0 25 0 1 0 834853196 76955648 17895 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18788 17895 1111 63 0 18725 0
vsize: 75152
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 133870 0 0 0 14587 413 0 0 25 0 1 0 834853196 80846848 18875 4294967295 134512640 134714508 3221224592 3221222772 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19737 18875 1111 63 0 19674 0
vsize: 78952
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 145052 0 0 0 15556 445 0 0 25 0 1 0 834853196 84160512 19689 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20547 19689 1111 63 0 20484 0
vsize: 82188
[startup+170.007 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 157629 0 0 0 16521 480 0 0 25 0 1 0 834853196 93843456 21402 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22911 21402 1111 63 0 22848 0
vsize: 91644
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 167477 0 0 0 17491 510 0 0 25 0 1 0 834853196 96071680 21996 4294967295 134512640 134714508 3221224592 3221222512 1075799550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23455 21996 1111 63 0 23392 0
vsize: 93820
[startup+190.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 177837 0 0 0 18460 541 0 0 25 0 1 0 834853196 99147776 22746 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24206 22746 1111 63 0 24143 0
vsize: 96824
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 185566 0 0 0 19440 562 0 0 25 0 1 0 834853196 100986880 23224 4294967295 134512640 134714508 3221224592 3221221936 1074839115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24752 23228 1111 63 0 24689 0
vsize: 98620
[startup+210.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 195830 0 0 0 20411 591 0 0 25 0 1 0 834853196 103739392 23891 4294967295 134512640 134714508 3221224592 3221222896 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25327 23891 1111 63 0 25264 0
vsize: 101308
[startup+220.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 206591 0 0 0 21379 623 0 0 25 0 1 0 834853196 106774528 24644 4294967295 134512640 134714508 3221224592 3221222788 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26068 24644 1111 63 0 26005 0
vsize: 104272
[startup+230.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 217500 0 0 0 22350 652 0 0 25 0 1 0 834853196 109711360 25279 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26785 25287 1111 63 0 26722 0
vsize: 107140
[startup+240.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 227339 0 0 0 23325 678 0 0 25 0 1 0 834853196 111943680 25934 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27330 25934 1111 63 0 27267 0
vsize: 109320
[startup+250.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 234930 0 0 0 24305 698 0 0 25 0 1 0 834853196 113508352 26338 4294967295 134512640 134714508 3221224592 3221222772 1077378596 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27712 26338 1111 63 0 27649 0
vsize: 110848
[startup+260.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 245735 0 0 0 25276 727 0 0 25 0 1 0 834853196 116281344 27019 4294967295 134512640 134714508 3221224592 3221222280 1077378482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28389 27019 1111 63 0 28326 0
vsize: 113556
[startup+270.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 257142 0 0 0 26243 760 0 0 25 0 1 0 834853196 119160832 27759 4294967295 134512640 134714508 3221224592 3221222320 1075828246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29092 27759 1111 63 0 29029 0
vsize: 116368
[startup+280.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 268989 0 0 0 27210 793 0 0 25 0 1 0 834853196 122556416 28482 4294967295 134512640 134714508 3221224592 3221220604 1074860372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29835 28473 1111 63 0 29772 0
vsize: 119684
[startup+290.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 280206 0 0 0 28178 826 0 0 25 0 1 0 834853196 125222912 29120 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30486 29117 1111 63 0 30423 0
vsize: 122288
[startup+300.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 290605 0 0 0 29149 855 0 0 25 0 1 0 834853196 128151552 29954 4294967295 134512640 134714508 3221224592 3221222704 1074867296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31287 29954 1111 63 0 31224 0
vsize: 125148
[startup+310.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 300983 0 0 0 30118 887 0 0 25 0 1 0 834853196 131252224 30728 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32044 30728 1111 63 0 31981 0
vsize: 128176
[startup+320.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 307010 0 0 0 31100 905 0 0 25 0 1 0 834853196 133218304 31239 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32524 31239 1111 63 0 32461 0
vsize: 130096
[startup+330.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 317769 0 0 0 32069 936 0 0 25 0 1 0 834853196 136318976 31995 4294967295 134512640 134714508 3221224592 3221222704 1074867274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33281 31995 1111 63 0 33218 0
vsize: 133124
[startup+340.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 327741 0 0 0 33040 965 0 0 25 0 1 0 834853196 139534336 32813 4294967295 134512640 134714508 3221224592 3221222592 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34066 32813 1111 63 0 34003 0
vsize: 136264
[startup+350.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 339233 0 0 0 34008 998 0 0 25 0 1 0 834853196 143376384 33708 4294967295 134512640 134714508 3221224592 3221223008 1074116517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35004 33708 1111 63 0 34941 0
vsize: 140016
[startup+360.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 350369 0 0 0 34979 1026 0 0 25 0 1 0 834853196 146235392 34440 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35702 34440 1111 63 0 35639 0
vsize: 142808
[startup+370.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 359903 0 0 0 35951 1055 0 0 25 0 1 0 834853196 149155840 35134 4294967295 134512640 134714508 3221224592 3221222496 1077814665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36415 35134 1111 63 0 36352 0
vsize: 145660
[startup+380.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 360557 0 0 0 36949 1057 0 0 25 0 1 0 834853196 151117824 35616 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36894 35616 1111 63 0 36831 0
vsize: 147576
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 362466 0 0 0 37944 1062 0 0 25 0 1 0 834853196 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 362466 0 0 0 38944 1062 0 0 25 0 1 0 834853196 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 362466 0 0 0 39944 1062 0 0 25 0 1 0 834853196 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 362466 0 0 0 40944 1062 0 0 25 0 1 0 834853196 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 362466 0 0 0 41945 1062 0 0 25 0 1 0 834853196 149725184 35299 4294967295 134512640 134714508 3221224592 3221223372 134543556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+440.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 363149 0 0 0 42942 1065 0 0 25 0 1 0 834853196 151117824 35630 4294967295 134512640 134714508 3221224592 3221222592 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36894 35630 1111 63 0 36831 0
vsize: 147576
[startup+450.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 375035 0 0 0 43914 1093 0 0 25 0 1 0 834853196 151199744 35649 4294967295 134512640 134714508 3221224592 3221223232 134649103 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36914 35649 1111 63 0 36851 0
vsize: 147656
[startup+460.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 389178 0 0 0 44880 1127 0 0 25 0 1 0 834853196 154406912 36423 4294967295 134512640 134714508 3221224592 3221222880 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37697 36423 1111 63 0 37634 0
vsize: 150788
[startup+470.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 398152 0 0 0 45860 1148 0 0 25 0 1 0 834853196 168062976 38467 4294967295 134512640 134714508 3221224592 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41031 38467 1111 63 0 40968 0
vsize: 164124
[startup+480.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 413006 0 0 0 46830 1188 0 0 25 0 1 0 834853196 170487808 39033 4294967295 134512640 134714508 3221224592 3221222168 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41623 39033 1111 63 0 41560 0
vsize: 166492
[startup+490.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 428697 0 0 0 47793 1225 0 0 25 0 1 0 834853196 173436928 39794 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42343 39794 1111 63 0 42280 0
vsize: 169372
[startup+500.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 436764 0 0 0 48770 1248 0 0 25 0 1 0 834853196 175411200 40277 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+510.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 444411 0 0 0 49750 1268 0 0 25 0 1 0 834853196 176271360 40481 4294967295 134512640 134714508 3221224592 3221222592 1074918474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43035 40481 1111 63 0 42972 0
vsize: 172140
[startup+520.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 451935 0 0 0 50731 1288 0 0 25 0 1 0 834853196 179482624 40886 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43819 40887 1111 63 0 43756 0
vsize: 175276
[startup+530.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 461163 0 0 0 51706 1312 0 0 25 0 1 0 834853196 179625984 41299 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43854 41299 1111 63 0 43791 0
vsize: 175416
[startup+540.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 467700 0 0 0 52689 1329 0 0 25 0 1 0 834853196 180772864 41611 4294967295 134512640 134714508 3221224592 3221223304 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44134 41611 1111 63 0 44071 0
vsize: 176536
[startup+550.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 477205 0 0 0 53665 1354 0 0 25 0 1 0 834853196 184442880 41949 4294967295 134512640 134714508 3221224592 3221221192 1075850724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45030 41949 1111 63 0 44967 0
vsize: 180120
[startup+560.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 492297 0 0 0 54626 1393 0 0 25 0 1 0 834853196 184266752 42469 4294967295 134512640 134714508 3221224592 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44987 42469 1111 63 0 44924 0
vsize: 179948
[startup+570.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 508081 0 0 0 55590 1430 0 0 25 0 1 0 834853196 188641280 43135 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46055 43136 1111 63 0 45992 0
vsize: 184220
[startup+580.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 524225 0 0 0 56549 1470 0 0 25 0 1 0 834853196 189755392 43797 4294967295 134512640 134714508 3221224592 3221221712 1074866193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46715 43803 1111 63 0 46652 0
vsize: 185308
[startup+590.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 532994 0 0 0 57529 1491 0 0 25 0 1 0 834853196 190828544 44055 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46589 44055 1111 63 0 46526 0
vsize: 186356
[startup+600.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 549140 0 0 0 58490 1530 0 0 25 0 1 0 834853196 194985984 44684 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47604 44684 1111 63 0 47541 0
vsize: 190416
[startup+610.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 565226 0 0 0 59446 1574 0 0 25 0 1 0 834853196 195895296 45319 4294967295 134512640 134714508 3221224592 3221222928 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47826 45319 1111 63 0 47763 0
vsize: 191304
[startup+620.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 569124 0 0 0 60435 1586 0 0 25 0 1 0 834853196 198201344 45514 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48389 45514 1111 63 0 48326 0
vsize: 193556
[startup+630.122 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 582768 0 0 0 61400 1620 0 0 25 0 1 0 834853196 199491584 46170 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48704 46170 1111 63 0 48641 0
vsize: 194816
[startup+640.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 594516 0 0 0 62369 1652 0 0 25 0 1 0 834853196 200962048 46519 4294967295 134512640 134714508 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49063 46519 1111 63 0 49000 0
vsize: 196252
[startup+650.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 609349 0 0 0 63329 1692 0 0 25 0 1 0 834853196 203223040 47070 4294967295 134512640 134714508 3221224592 3221222852 1074208589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49615 47070 1111 63 0 49552 0
vsize: 198460
[startup+660.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 623274 0 0 0 64293 1728 0 0 25 0 1 0 834853196 205795328 47737 4294967295 134512640 134714508 3221224592 3221222592 1074916528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50243 47737 1111 63 0 50180 0
vsize: 200972
[startup+670.122 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 638451 0 0 0 65249 1772 0 0 25 0 1 0 834853196 210317312 48487 4294967295 134512640 134714508 3221224592 3221220720 1075112116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50959 48474 1111 63 0 50896 0
vsize: 205388
[startup+680.122 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 650462 0 0 0 66217 1804 0 0 25 0 1 0 834853196 211673088 49229 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51678 49229 1111 63 0 51615 0
vsize: 206712
[startup+690.121 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 660346 0 0 0 67192 1830 0 0 25 0 1 0 834853196 213151744 49578 4294967295 134512640 134714508 3221224592 3221222808 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52039 49578 1111 63 0 51976 0
vsize: 208156
[startup+700.122 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 676368 0 0 0 68149 1873 0 0 25 0 1 0 834853196 216907776 50479 4294967295 134512640 134714508 3221224592 3221223264 134650224 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52956 50479 1111 63 0 52893 0
vsize: 211824
[startup+710.122 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 686031 0 0 0 69123 1899 0 0 25 0 1 0 834853196 219619328 51141 4294967295 134512640 134714508 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+720.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 692045 0 0 0 70108 1915 0 0 25 0 1 0 834853196 219951104 51214 4294967295 134512640 134714508 3221224592 3221222840 1074138155 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53699 51214 1111 63 0 53636 0
vsize: 214796
[startup+730.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 700466 0 0 0 71086 1936 0 0 25 0 1 0 834853196 221745152 51631 4294967295 134512640 134714508 3221224592 3221222920 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54137 51631 1111 63 0 54074 0
vsize: 216548
[startup+740.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 715405 0 0 0 72048 1974 0 0 25 0 1 0 834853196 224686080 52381 4294967295 134512640 134714508 3221224592 3221223164 1074209347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54855 52381 1111 63 0 54792 0
vsize: 219420
[startup+750.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 724935 0 0 0 73025 1997 0 0 25 0 1 0 834853196 227430400 53044 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55525 53044 1111 63 0 55462 0
vsize: 222100
[startup+760.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 727298 0 0 0 74020 2003 0 0 25 0 1 0 834853196 227573760 53094 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 727298 0 0 0 75020 2003 0 0 25 0 1 0 834853196 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 727298 0 0 0 76020 2003 0 0 25 0 1 0 834853196 227573760 53094 4294967295 134512640 134714508 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 727298 0 0 0 77020 2003 0 0 25 0 1 0 834853196 227573760 53094 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+800.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 727298 0 0 0 78021 2003 0 0 25 0 1 0 834853196 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+810.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 728068 0 0 0 79018 2006 0 0 25 0 1 0 834853196 229232640 53468 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55965 53468 1111 63 0 55902 0
vsize: 223860
[startup+820.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 738054 0 0 0 79993 2031 0 0 25 0 1 0 834853196 228646912 53274 4294967295 134512640 134714508 3221224592 3221222840 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55822 53274 1111 63 0 55759 0
vsize: 223288
[startup+830.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 753375 0 0 0 80954 2070 0 0 25 0 1 0 834853196 231796736 54026 4294967295 134512640 134714508 3221224592 3221222512 1075799512 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56591 54026 1111 63 0 56528 0
vsize: 226364
[startup+840.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 767641 0 0 0 81921 2104 0 0 25 0 1 0 834853196 235171840 54845 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57415 54845 1111 63 0 57352 0
vsize: 229660
[startup+850.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 781744 0 0 0 82888 2137 0 0 25 0 1 0 834853196 236597248 55232 4294967295 134512640 134714508 3221224592 3221223132 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57763 55232 1111 63 0 57700 0
vsize: 231052
[startup+860.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 797559 0 0 0 83851 2174 0 0 25 0 1 0 834853196 239411200 55895 4294967295 134512640 134714508 3221224592 3221222992 1074118797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58450 55895 1111 63 0 58387 0
vsize: 233800
[startup+870.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 809197 0 0 0 84823 2202 0 0 25 0 1 0 834853196 241315840 56371 4294967295 134512640 134714508 3221224592 3221222656 1075961744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58915 56371 1111 63 0 58852 0
vsize: 235660
[startup+880.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 823316 0 0 0 85787 2238 0 0 25 0 1 0 834853196 245428224 57023 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59919 57023 1111 63 0 59856 0
vsize: 239676
[startup+890.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 838390 0 0 0 86750 2275 0 0 25 0 1 0 834853196 248623104 57732 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60699 57732 1111 63 0 60636 0
vsize: 242796
[startup+900.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 846125 0 0 0 87729 2297 0 0 25 0 1 0 834853196 249507840 58354 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60915 58354 1111 63 0 60852 0
vsize: 243660
[startup+910.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 846206 0 0 0 88728 2298 0 0 25 0 1 0 834853196 249823232 58435 4294967295 134512640 134714508 3221224592 3221222832 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60992 58435 1111 63 0 60929 0
vsize: 243968
[startup+920.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 847113 0 0 0 89726 2300 0 0 25 0 1 0 834853196 252391424 59065 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+930.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 90719 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.123 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 91719 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 92719 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 93719 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.125 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 94719 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.125 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 95720 2307 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223312 134622865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.124 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 96720 2308 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 850229 0 0 0 97720 2308 0 0 25 0 1 0 834853196 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 854534 0 0 0 98709 2318 0 0 25 0 1 0 834853196 249167872 58273 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60832 58273 1111 63 0 60769 0
vsize: 243328
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 869274 0 0 0 99670 2358 0 0 25 0 1 0 834853196 252219392 58974 4294967295 134512640 134714508 3221224592 3221222856 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61577 58974 1111 63 0 61514 0
vsize: 246308
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 884385 0 0 0 100631 2397 0 0 25 0 1 0 834853196 255008768 59684 4294967295 134512640 134714508 3221224592 3221222992 1074118885 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62258 59684 1111 63 0 62195 0
vsize: 249032
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 891688 0 0 0 101611 2417 0 0 25 0 1 0 834853196 257961984 60427 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62979 60427 1111 63 0 62916 0
vsize: 251916
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 894414 0 0 0 102605 2424 0 0 25 0 1 0 834853196 258043904 60447 4294967295 134512640 134714508 3221224592 3221223388 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 894414 0 0 0 103605 2424 0 0 25 0 1 0 834853196 258043904 60447 4294967295 134512640 134714508 3221224592 3221223304 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 894414 0 0 0 104605 2424 0 0 25 0 1 0 834853196 258043904 60447 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 894414 0 0 0 105605 2424 0 0 25 0 1 0 834853196 258043904 60447 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 894414 0 0 0 106605 2424 0 0 25 0 1 0 834853196 258043904 60447 4294967295 134512640 134714508 3221224592 3221223388 134542400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 901818 0 0 0 107586 2443 0 0 25 0 1 0 834853196 258494464 60560 4294967295 134512640 134714508 3221224592 3221222592 1074056570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63109 60560 1111 63 0 63046 0
vsize: 252436
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 917062 0 0 0 108547 2482 0 0 25 0 1 0 834853196 262012928 61451 4294967295 134512640 134714508 3221224592 3221221712 1074866626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64600 61457 1111 63 0 64537 0
vsize: 255872
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 917813 0 0 0 109544 2485 0 0 25 0 1 0 834853196 263352320 61791 4294967295 134512640 134714508 3221224592 3221222848 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64295 61791 1111 63 0 64232 0
vsize: 257180
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 918472 0 0 0 110542 2487 0 0 25 0 1 0 834853196 265166848 62228 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 920974 0 0 0 111537 2492 0 0 25 0 1 0 834853196 263372800 61796 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 920974 0 0 0 112537 2492 0 0 25 0 1 0 834853196 263372800 61796 4294967295 134512640 134714508 3221224592 3221223320 134622806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 920974 0 0 0 113538 2492 0 0 25 0 1 0 834853196 263372800 61796 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 920974 0 0 0 114538 2492 0 0 25 0 1 0 834853196 263372800 61796 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1175.92 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 11582
Raw data (stat): 11582 (bsolo_lpr) R 11581 4613 4612 0 -1 0 920974 0 0 0 114538 2492 0 0 25 0 1 0 834853196 263372800 61796 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 0

Child status: 0
Real time (s): 1175.92
CPU time (s): 1176.11
CPU user time (s): 1151.06
CPU system time (s): 25.0452
CPU usage (%): 100.016
Max. virtual memory (Kb): 258952
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####