PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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	1244.18
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 27048

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc20 THE 2005-05-24 18:53:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=18721 boxname=wulflinc20 idbench=1441 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-p0548.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc20/normalized-mps-v2-13-7-p0548.opb
IDLAUNCH: 18721
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.215
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.215
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:        905120 kB
Buffers:          8292 kB
Cached:         100640 kB
SwapCached:        684 kB
Active:          20528 kB
Inactive:        90448 kB
HighTotal:      131008 kB
HighFree:        40852 kB
LowTotal:       903652 kB
LowFree:        864268 kB
SwapTotal:     2097892 kB
SwapFree:      2096336 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5052 kB
Slab:            12844 kB
Committed_AS:    63664 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 19:13:20 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 18721 7 1175.13 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.74 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.0275
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (runsolver) R 29266 25399 25398 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 832551159 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 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 9192 0 0 0 969 28 0 0 25 0 1 0 832551159 20807680 4384 4294967295 134512640 134714508 3221224592 3221222416 1075823363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5080 4384 1111 63 0 5017 0
vsize: 20320
[startup+20.001 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 15540 0 0 0 1946 52 0 0 25 0 1 0 832551159 25616384 5559 4294967295 134512640 134714508 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6254 5559 1111 63 0 6191 0
vsize: 25016
[startup+30.0017 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 22664 0 0 0 2923 75 0 0 25 0 1 0 832551159 31162368 6900 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7608 6900 1111 63 0 7545 0
vsize: 30432
[startup+40.0011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 29503 0 0 0 3901 98 0 0 25 0 1 0 832551159 35913728 8068 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8768 8068 1111 63 0 8705 0
vsize: 35072
[startup+50.0043 s]
Raw data (loadavg): 0.99 0.97 0.96 3/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 35673 0 0 0 4879 119 0 0 25 0 1 0 832551159 41508864 9345 4294967295 134512640 134714508 3221224592 3221222056 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 9345 1111 63 0 10071 0
vsize: 40536
[startup+60.0041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 43913 0 0 0 5853 146 0 0 25 0 1 0 832551159 46129152 10466 4294967295 134512640 134714508 3221224592 3221221632 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11262 10466 1111 63 0 11199 0
vsize: 45048
[startup+70.0044 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 52249 0 0 0 6827 172 0 0 25 0 1 0 832551159 50806784 11613 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12404 11613 1111 63 0 12341 0
vsize: 49616
[startup+80.0043 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 61297 0 0 0 7801 199 0 0 25 0 1 0 832551159 57307136 12985 4294967295 134512640 134714508 3221224592 3221222876 1074206265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13991 12985 1111 63 0 13928 0
vsize: 55964
[startup+90.0041 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 69478 0 0 0 8777 222 0 0 25 0 1 0 832551159 60489728 13779 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14768 13779 1111 63 0 14705 0
vsize: 59072
[startup+100.004 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 79505 0 0 0 9748 252 0 0 25 0 1 0 832551159 63627264 14570 4294967295 134512640 134714508 3221224592 3221222496 1075460179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15534 14570 1111 63 0 15471 0
vsize: 62136
[startup+110.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 91310 0 0 0 10711 289 0 0 25 0 1 0 832551159 67768320 15510 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16488 15508 1111 63 0 16425 0
vsize: 66180
[startup+120.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 102860 0 0 0 11679 322 0 0 25 0 1 0 832551159 71270400 16382 4294967295 134512640 134714508 3221224592 3221220752 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17314 16372 1111 63 0 17251 0
vsize: 69600
[startup+130.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 114374 0 0 0 12648 353 0 0 25 0 1 0 832551159 74551296 17323 4294967295 134512640 134714508 3221224592 3221222976 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18201 17323 1111 63 0 18138 0
vsize: 72804
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 125628 0 0 0 13615 385 0 0 25 0 1 0 832551159 78577664 18197 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18197 1111 63 0 19121 0
vsize: 76736
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 137434 0 0 0 14585 416 0 0 25 0 1 0 832551159 81985536 19131 4294967295 134512640 134714508 3221224592 3221221512 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20073 19134 1111 63 0 20010 0
vsize: 80064
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 148925 0 0 0 15552 449 0 0 25 0 1 0 832551159 85213184 19953 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20804 19953 1111 63 0 20741 0
vsize: 83216
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 159839 0 0 0 16523 478 0 0 25 0 1 0 832551159 93982720 21477 4294967295 134512640 134714508 3221224592 3221222560 1075809059 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22945 21477 1111 63 0 22882 0
vsize: 91780
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 172023 0 0 0 17490 511 0 0 25 0 1 0 832551159 97316864 22286 4294967295 134512640 134714508 3221224592 3221222592 1074056578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23759 22286 1111 63 0 23696 0
vsize: 95036
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 180159 0 0 0 18468 533 0 0 25 0 1 0 832551159 99504128 22808 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24293 22808 1111 63 0 24230 0
vsize: 97172
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 189232 0 0 0 19444 558 0 0 25 0 1 0 832551159 101908480 23450 4294967295 134512640 134714508 3221224592 3221223440 134623464 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24880 23450 1111 63 0 24817 0
vsize: 99520
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 200582 0 0 0 20409 592 0 0 25 0 1 0 832551159 104988672 24200 4294967295 134512640 134714508 3221224592 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25728 24203 1111 63 0 25665 0
vsize: 102528
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 212195 0 0 0 21377 625 0 0 25 0 1 0 832551159 108048384 24967 4294967295 134512640 134714508 3221224592 3221222804 1077374550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26379 24967 1111 63 0 26316 0
vsize: 105516
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 222972 0 0 0 22347 655 0 0 25 0 1 0 832551159 110579712 25591 4294967295 134512640 134714508 3221224592 3221222336 1075640213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26996 25591 1111 63 0 26933 0
vsize: 107988
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 229259 0 0 0 23327 675 0 0 25 0 1 0 832551159 112386048 25932 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27438 25933 1111 63 0 27375 0
vsize: 109752
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 240900 0 0 0 24298 705 0 0 25 0 1 0 832551159 114958336 26692 4294967295 134512640 134714508 3221224592 3221223136 134650080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28066 26692 1111 63 0 28003 0
vsize: 112264
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 251796 0 0 0 25268 734 0 0 25 0 1 0 832551159 117850112 27403 4294967295 134512640 134714508 3221224592 3221222512 1075799524 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28772 27403 1111 63 0 28709 0
vsize: 115088
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 263817 0 0 0 26236 767 0 0 25 0 1 0 832551159 121106432 28215 4294967295 134512640 134714508 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29567 28215 1111 63 0 29504 0
vsize: 118268
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 275480 0 0 0 27204 799 0 0 25 0 1 0 832551159 123703296 28843 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30201 28843 1111 63 0 30138 0
vsize: 120804
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 286593 0 0 0 28172 831 0 0 25 0 1 0 832551159 127062016 29675 4294967295 134512640 134714508 3221224592 3221222320 1075635580 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31021 29675 1111 63 0 30958 0
vsize: 124084
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 297951 0 0 0 29141 862 0 0 25 0 1 0 832551159 130252800 30469 4294967295 134512640 134714508 3221224592 3221222844 1077411564 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31800 30469 1111 63 0 31737 0
vsize: 127200
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 307010 0 0 0 30118 886 0 0 25 0 1 0 832551159 133218304 31239 4294967295 134512640 134714508 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32524 31239 1111 63 0 32461 0
vsize: 130096
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 314553 0 0 0 31097 906 0 0 25 0 1 0 832551159 135368704 31753 4294967295 134512640 134714508 3221224592 3221222704 1074867347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33049 31753 1111 63 0 32986 0
vsize: 132196
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 324646 0 0 0 32067 936 0 0 25 0 1 0 832551159 138604544 32582 4294967295 134512640 134714508 3221224592 3221222428 1077404704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33839 32582 1111 63 0 33776 0
vsize: 135356
[startup+340.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 335823 0 0 0 33036 967 0 0 25 0 1 0 832551159 142336000 33452 4294967295 134512640 134714508 3221224592 3221223340 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34750 33452 1111 63 0 34687 0
vsize: 139000
[startup+350.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 347566 0 0 0 34002 1002 0 0 25 0 1 0 832551159 145399808 34223 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35498 34223 1111 63 0 35435 0
vsize: 141992
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 358694 0 0 0 34967 1037 0 0 25 0 1 0 832551159 148238336 34922 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36191 34922 1111 63 0 36128 0
vsize: 144764
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29267
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 360557 0 0 0 35963 1042 0 0 25 0 1 0 832551159 151117824 35616 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36894 35616 1111 63 0 36831 0
vsize: 147576
[startup+380.009 s]
Raw data (loadavg): 0.99 0.97 0.96 2/56 29306
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 362466 0 0 0 36958 1046 0 0 25 0 1 0 832551159 149725184 35299 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 362466 0 0 0 37958 1046 0 0 25 0 1 0 832551159 149725184 35299 4294967295 134512640 134714508 3221224592 3221223384 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 362466 0 0 0 38958 1047 0 0 25 0 1 0 832551159 149725184 35299 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 362466 0 0 0 39958 1047 0 0 25 0 1 0 832551159 149725184 35299 4294967295 134512640 134714508 3221224592 3221223320 134622752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+420.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 362466 0 0 0 40957 1047 0 0 25 0 1 0 832551159 149725184 35299 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36554 35299 1111 63 0 36491 0
vsize: 146216
[startup+430.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 363149 0 0 0 41954 1051 0 0 25 0 1 0 832551159 151117824 35630 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36894 35630 1111 63 0 36831 0
vsize: 147576
[startup+440.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29320
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 374627 0 0 0 42925 1080 0 0 25 0 1 0 832551159 151248896 35661 4294967295 134512640 134714508 3221224592 3221223304 134543174 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36926 35661 1111 63 0 36863 0
vsize: 147704
[startup+450.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 388661 0 0 0 43889 1117 0 0 25 0 1 0 832551159 154275840 36385 4294967295 134512640 134714508 3221224592 3221223328 134591999 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37665 36385 1111 63 0 37602 0
vsize: 150660
[startup+460.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 398152 0 0 0 44866 1139 0 0 25 0 1 0 832551159 168202240 38501 4294967295 134512640 134714508 3221224592 3221223384 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41065 38501 1111 63 0 41002 0
vsize: 164260
[startup+470.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 413048 0 0 0 45829 1176 0 0 25 0 1 0 832551159 170487808 39033 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41623 39033 1111 63 0 41560 0
vsize: 166492
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 429081 0 0 0 46794 1212 0 0 25 0 1 0 832551159 173535232 39814 4294967295 134512640 134714508 3221224592 3221222592 1074916884 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42367 39814 1111 63 0 42304 0
vsize: 169468
[startup+490.011 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 436764 0 0 0 47773 1233 0 0 25 0 1 0 832551159 175411200 40277 4294967295 134512640 134714508 3221224592 3221223368 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42825 40277 1111 63 0 42762 0
vsize: 171300
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 445256 0 0 0 48751 1256 0 0 25 0 1 0 832551159 176435200 40516 4294967295 134512640 134714508 3221224592 3221223056 1074119512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43075 40516 1111 63 0 43012 0
vsize: 172300
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 453104 0 0 0 49731 1275 0 0 25 0 1 0 832551159 177893376 40875 4294967295 134512640 134714508 3221224592 3221222336 1075636605 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43431 40875 1111 63 0 43368 0
vsize: 173724
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 461163 0 0 0 50710 1297 0 0 25 0 1 0 832551159 179625984 41299 4294967295 134512640 134714508 3221224592 3221223408 134622468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43854 41299 1111 63 0 43791 0
vsize: 175416
[startup+530.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 469125 0 0 0 51690 1317 0 0 25 0 1 0 832551159 180510720 41547 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44070 41547 1111 63 0 44007 0
vsize: 176280
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 479402 0 0 0 52665 1342 0 0 25 0 1 0 832551159 182231040 41969 4294967295 134512640 134714508 3221224592 3221222512 1075799550 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44490 41969 1111 63 0 44427 0
vsize: 177960
[startup+550.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 495160 0 0 0 53625 1382 0 0 25 0 1 0 832551159 184700928 42575 4294967295 134512640 134714508 3221224592 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45093 42575 1111 63 0 45030 0
vsize: 180372
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 511275 0 0 0 54588 1420 0 0 25 0 1 0 832551159 187576320 43247 4294967295 134512640 134714508 3221224592 3221222992 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45795 43247 1111 63 0 45732 0
vsize: 183180
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 525639 0 0 0 55553 1455 0 0 25 0 1 0 832551159 190230528 43913 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46443 43913 1111 63 0 46380 0
vsize: 185772
[startup+580.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 536875 0 0 0 56526 1482 0 0 25 0 1 0 832551159 191488000 44209 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46750 44209 1111 63 0 46687 0
vsize: 187000
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 553318 0 0 0 57487 1521 0 0 25 0 1 0 832551159 193982464 44844 4294967295 134512640 134714508 3221224592 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47359 44844 1111 63 0 47296 0
vsize: 189436
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 567803 0 0 0 58450 1558 0 0 25 0 1 0 832551159 197349376 45680 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48181 45680 1111 63 0 48118 0
vsize: 192724
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 573851 0 0 0 59435 1573 0 0 25 0 1 0 832551159 197173248 45628 4294967295 134512640 134714508 3221224592 3221222928 1074153749 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48138 45628 1111 63 0 48075 0
vsize: 192552
[startup+620.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 584021 0 0 0 60410 1598 0 0 25 0 1 0 832551159 199196672 46088 4294967295 134512640 134714508 3221224592 3221222808 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48632 46088 1111 63 0 48569 0
vsize: 194528
[startup+630.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 599467 0 0 0 61371 1638 0 0 25 0 1 0 832551159 201670656 46697 4294967295 134512640 134714508 3221224592 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49236 46697 1111 63 0 49173 0
vsize: 196944
[startup+640.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 613854 0 0 0 62333 1675 0 0 25 0 1 0 832551159 203759616 47219 4294967295 134512640 134714508 3221224592 3221223132 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49746 47219 1111 63 0 49683 0
vsize: 198984
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 629039 0 0 0 63294 1715 0 0 25 0 1 0 832551159 207290368 48024 4294967295 134512640 134714508 3221224592 3221221484 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50899 48030 1111 63 0 50836 0
vsize: 202432
[startup+660.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 644833 0 0 0 64252 1757 0 0 25 0 1 0 832551159 210210816 48870 4294967295 134512640 134714508 3221224592 3221222992 1074118815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51321 48870 1111 63 0 51258 0
vsize: 205284
[startup+670.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 651248 0 0 0 65236 1773 0 0 25 0 1 0 832551159 212189184 49330 4294967295 134512640 134714508 3221224592 3221222592 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51804 49330 1111 63 0 51741 0
vsize: 207216
[startup+680.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 667591 0 0 0 66194 1815 0 0 25 0 1 0 832551159 216580096 49984 4294967295 134512640 134714508 3221224592 3221220752 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52876 49985 1111 63 0 52813 0
vsize: 211504
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 684097 0 0 0 67154 1856 0 0 25 0 1 0 832551159 218619904 50895 4294967295 134512640 134714508 3221224592 3221221704 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53374 50896 1111 63 0 53311 0
vsize: 213496
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29322
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 686031 0 0 0 68149 1861 0 0 25 0 1 0 832551159 219619328 51141 4294967295 134512640 134714508 3221224592 3221223392 134622271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53618 51141 1111 63 0 53555 0
vsize: 214472
[startup+710.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 699239 0 0 0 69114 1896 0 0 25 0 1 0 832551159 222482432 51785 4294967295 134512640 134714508 3221224592 3221222592 1074918559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54317 51785 1111 63 0 54254 0
vsize: 217268
[startup+720.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 709005 0 0 0 70089 1921 0 0 25 0 1 0 832551159 223391744 52061 4294967295 134512640 134714508 3221224592 3221223008 1074116396 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54539 52062 1111 63 0 54476 0
vsize: 218156
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 723678 0 0 0 71053 1957 0 0 25 0 1 0 832551159 226254848 52769 4294967295 134512640 134714508 3221224592 3221222816 1074146299 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55238 52769 1111 63 0 55175 0
vsize: 220952
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 725509 0 0 0 72047 1964 0 0 25 0 1 0 832551159 229015552 53436 4294967295 134512640 134714508 3221224592 3221222592 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55912 53436 1111 63 0 55849 0
vsize: 223648
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 727298 0 0 0 73042 1969 0 0 25 0 1 0 832551159 227573760 53094 4294967295 134512640 134714508 3221224592 3221223320 134622755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+760.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 727298 0 0 0 74042 1969 0 0 25 0 1 0 832551159 227573760 53094 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+770.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 727298 0 0 0 75042 1969 0 0 25 0 1 0 832551159 227573760 53094 4294967295 134512640 134714508 3221224592 3221223384 134542412 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 727298 0 0 0 76042 1970 0 0 25 0 1 0 832551159 227573760 53094 4294967295 134512640 134714508 3221224592 3221223304 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55560 53094 1111 63 0 55497 0
vsize: 222240
[startup+790.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 727540 0 0 0 77041 1971 0 0 25 0 1 0 832551159 227672064 53112 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55584 53112 1111 63 0 55521 0
vsize: 222336
[startup+800.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 734522 0 0 0 78023 1989 0 0 25 0 1 0 832551159 227717120 53083 4294967295 134512640 134714508 3221224592 3221222680 1077377200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55595 53083 1111 63 0 55532 0
vsize: 222380
[startup+810.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 750181 0 0 0 78983 2029 0 0 25 0 1 0 832551159 232665088 53871 4294967295 134512640 134714508 3221224592 3221221580 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56803 53875 1111 63 0 56740 0
vsize: 227212
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 765979 0 0 0 79945 2067 0 0 25 0 1 0 832551159 234209280 54588 4294967295 134512640 134714508 3221224592 3221223008 1074116578 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57180 54588 1111 63 0 57117 0
vsize: 228720
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 779131 0 0 0 80913 2099 0 0 25 0 1 0 832551159 236224512 55130 4294967295 134512640 134714508 3221224592 3221222592 1074918793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57672 55130 1111 63 0 57609 0
vsize: 230688
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 795182 0 0 0 81872 2140 0 0 25 0 1 0 832551159 239087616 55804 4294967295 134512640 134714508 3221224592 3221222592 1074917372 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58371 55804 1111 63 0 58308 0
vsize: 233484
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 807306 0 0 0 82843 2170 0 0 25 0 1 0 832551159 241008640 56298 4294967295 134512640 134714508 3221224592 3221221712 1074865668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59228 56304 1111 63 0 59165 0
vsize: 235360
[startup+860.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 821720 0 0 0 83808 2205 0 0 25 0 1 0 832551159 243523584 56936 4294967295 134512640 134714508 3221224592 3221222496 1075460104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59454 56936 1111 63 0 59391 0
vsize: 237816
[startup+870.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 837149 0 0 0 84770 2242 0 0 25 0 1 0 832551159 246484992 57645 4294967295 134512640 134714508 3221224592 3221222752 1074050818 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60177 57645 1111 63 0 60114 0
vsize: 240708
[startup+880.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 846116 0 0 0 85747 2266 0 0 25 0 1 0 832551159 249470976 58345 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60906 58345 1111 63 0 60843 0
vsize: 243624
[startup+890.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 846207 0 0 0 86746 2268 0 0 25 0 1 0 832551159 249827328 58436 4294967295 134512640 134714508 3221224592 3221222832 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60993 58436 1111 63 0 60930 0
vsize: 243972
[startup+900.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 847113 0 0 0 87743 2270 0 0 25 0 1 0 832551159 252391424 59065 4294967295 134512640 134714508 3221224592 3221222592 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61619 59065 1111 63 0 61556 0
vsize: 246476
[startup+910.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 88737 2277 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+920.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 89736 2278 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134543144 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+930.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 90736 2278 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+940.013 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 91735 2279 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+950.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 92735 2279 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+960.014 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 93735 2279 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+970.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 94735 2280 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223308 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+980.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 850229 0 0 0 95734 2281 0 0 25 0 1 0 832551159 250048512 58495 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61047 58495 1111 63 0 60984 0
vsize: 244188
[startup+990.015 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 861060 0 0 0 96707 2308 0 0 25 0 1 0 832551159 250793984 58615 4294967295 134512640 134714508 3221224592 3221222992 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61229 58615 1111 63 0 61166 0
vsize: 244916
[startup+1000.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 876250 0 0 0 97668 2347 0 0 25 0 1 0 832551159 253530112 59280 4294967295 134512640 134714508 3221224592 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61897 59280 1111 63 0 61834 0
vsize: 247588
[startup+1010.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 891372 0 0 0 98632 2384 0 0 25 0 1 0 832551159 256819200 60141 4294967295 134512640 134714508 3221224592 3221222636 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62700 60141 1111 63 0 62637 0
vsize: 250800
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 892280 0 0 0 99628 2387 0 0 25 0 1 0 832551159 259624960 60822 4294967295 134512640 134714508 3221224592 3221222592 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63385 60822 1111 63 0 63322 0
vsize: 253540
[startup+1030.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 894414 0 0 0 100623 2393 0 0 25 0 1 0 832551159 258043904 60447 4294967295 134512640 134714508 3221224592 3221223316 134622785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1040.01 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 894414 0 0 0 101622 2394 0 0 25 0 1 0 832551159 258043904 60447 4294967295 134512640 134714508 3221224592 3221223304 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 894414 0 0 0 102622 2394 0 0 25 0 1 0 832551159 258043904 60447 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 894414 0 0 0 103622 2394 0 0 25 0 1 0 832551159 258043904 60447 4294967295 134512640 134714508 3221224592 3221223376 134622318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62999 60447 1111 63 0 62936 0
vsize: 251996
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 896679 0 0 0 104616 2400 0 0 25 0 1 0 832551159 260128768 60331 4294967295 134512640 134714508 3221224592 3221221656 1075007308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62876 60325 1111 63 0 62813 0
vsize: 254032
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.96 3/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 912307 0 0 0 105576 2441 0 0 25 0 1 0 832551159 260907008 61148 4294967295 134512640 134714508 3221224592 3221222992 1074118797 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63698 61148 1111 63 0 63635 0
vsize: 254792
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 917730 0 0 0 106562 2455 0 0 25 0 1 0 832551159 263397376 61797 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64306 61797 1111 63 0 64243 0
vsize: 257224
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 918472 0 0 0 107559 2457 0 0 25 0 1 0 832551159 265166848 62228 4294967295 134512640 134714508 3221224592 3221222592 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64738 62228 1111 63 0 64675 0
vsize: 258952
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 920974 0 0 0 108554 2463 0 0 25 0 1 0 832551159 263372800 61796 4294967295 134512640 134714508 3221224592 3221223328 134622896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 920974 0 0 0 109554 2463 0 0 25 0 1 0 832551159 263372800 61796 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 920974 0 0 0 110554 2464 0 0 25 0 1 0 832551159 263372800 61796 4294967295 134512640 134714508 3221224592 3221223328 134622743 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 920974 0 0 0 111554 2464 0 0 25 0 1 0 832551159 263372800 61796 4294967295 134512640 134714508 3221224592 3221223396 134622483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64300 61796 1111 63 0 64237 0
vsize: 257200
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 921709 0 0 0 112552 2466 0 0 25 0 1 0 832551159 262664192 61623 4294967295 134512640 134714508 3221224592 3221223408 134622252 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64127 61623 1111 63 0 64064 0
vsize: 256508
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 937295 0 0 0 113510 2508 0 0 25 0 1 0 832551159 265240576 62212 4294967295 134512640 134714508 3221224592 3221223040 1073990361 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64756 62212 1111 63 0 64693 0
vsize: 259024
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.96 2/54 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 947395 0 0 0 114485 2533 0 0 25 0 1 0 832551159 267636736 62818 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65341 62818 1111 63 0 65278 0
vsize: 261364
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.96 1/53 29324
Raw data (stat): 29267 (bsolo_lpr) R 29266 25399 25398 0 -1 0 947395 0 0 0 114485 2533 0 0 25 0 1 0 832551159 267636736 62818 4294967295 134512640 134714508 3221224592 3221223396 134622267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65341 62818 1111 63 0 65278 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.13
CPU user time (s): 1149.55
CPU system time (s): 25.5801
CPU usage (%): 100.015
Max. virtual memory (Kb): 261364
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####