PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/submitted/manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 23782

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-04 18:22:52 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1153 boxname=wulflinc31 idbench=129 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-f600.opb
IDLAUNCH: 1153
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        905796 kB
Buffers:         44608 kB
Cached:          61888 kB
SwapCached:        944 kB
Active:          86916 kB
Inactive:        22036 kB
HighTotal:      131008 kB
HighFree:        68152 kB
LowTotal:       903652 kB
LowFree:        837644 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:            1556 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14320 kB
Committed_AS:    63636 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 18:42:28 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 1153 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1200 variables and 3150 constraints.
c After prepocess the problem consists of 1200 variables and 3150 constraints.
c preprocess terminated 0.675 s
c Initial Lower Bound: 399
c Lower Bound Elapsed time: 63.779
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.93 0.98 0.97 2/54 5396
Raw data (stat): 5396 (runsolver) R 5395 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 659526866 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0012 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 1855 0 0 0 988 7 0 0 25 0 1 0 659526866 10117120 1648 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2470 1648 1111 63 0 2407 0
vsize: 9880
[startup+20.0022 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 1922 0 0 0 1987 7 0 0 25 0 1 0 659526866 10326016 1715 4294967295 134512640 134714508 3221221792 3221218304 1074885370 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2521 1715 1111 63 0 2458 0
vsize: 10084
[startup+30.0021 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 1977 0 0 0 2986 9 0 0 25 0 1 0 659526866 10510336 1770 4294967295 134512640 134714508 3221221792 3221217940 1075114975 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2566 1770 1111 63 0 2503 0
vsize: 10264
[startup+40.002 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 2014 0 0 0 3986 9 0 0 25 0 1 0 659526866 10575872 1807 4294967295 134512640 134714508 3221221792 3221217544 1074789289 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2582 1807 1111 63 0 2519 0
vsize: 10328
[startup+50.0023 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 2044 0 0 0 4985 10 0 0 25 0 1 0 659526866 10805248 1837 4294967295 134512640 134714508 3221221792 3221217644 1074788177 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2638 1837 1111 63 0 2575 0
vsize: 10552
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 2669 0 0 0 5983 12 0 0 25 0 1 0 659526866 9527296 1610 4294967295 134512640 134714508 3221221792 3221220128 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2326 1610 1111 63 0 2263 0
vsize: 9304
[startup+70.0027 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 2781 0 0 0 6982 14 0 0 25 0 1 0 659526866 9928704 1722 4294967295 134512640 134714508 3221221792 3221220384 134543686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2424 1722 1111 63 0 2361 0
vsize: 9696
[startup+80.0026 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 3348 0 0 0 7979 16 0 0 25 0 1 0 659526866 12226560 2289 4294967295 134512640 134714508 3221221792 3221220464 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 2985 2289 1111 63 0 2922 0
vsize: 11940
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 4081 0 0 0 8975 20 0 0 25 0 1 0 659526866 15200256 3022 4294967295 134512640 134714508 3221221792 3221220352 134696558 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3711 3022 1111 63 0 3648 0
vsize: 14844
[startup+100.002 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 4770 0 0 0 9973 23 0 0 25 0 1 0 659526866 18038784 3711 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3711 1111 63 0 4341 0
vsize: 17616
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 5469 0 0 0 10970 26 0 0 25 0 1 0 659526866 20877312 4410 4294967295 134512640 134714508 3221221792 3221220432 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5097 4410 1111 63 0 5034 0
vsize: 20388
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 6122 0 0 0 11967 29 0 0 25 0 1 0 659526866 23580672 5063 4294967295 134512640 134714508 3221221792 3221220440 134543647 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5757 5063 1111 63 0 5694 0
vsize: 23028
[startup+130.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 6746 0 0 0 12964 32 0 0 25 0 1 0 659526866 26148864 5687 4294967295 134512640 134714508 3221221792 3221220320 134535032 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6384 5687 1111 63 0 6321 0
vsize: 25536
[startup+140.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 7391 0 0 0 13961 35 0 0 25 0 1 0 659526866 28852224 6332 4294967295 134512640 134714508 3221221792 3221220220 1077386340 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7044 6332 1111 63 0 6981 0
vsize: 28176
[startup+150.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 8011 0 0 0 14957 39 0 0 25 0 1 0 659526866 31285248 6952 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7638 6952 1111 63 0 7575 0
vsize: 30552
[startup+160.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 8477 0 0 0 15956 41 0 0 25 0 1 0 659526866 33177600 7418 4294967295 134512640 134714508 3221221792 3221220560 134597639 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8100 7418 1111 63 0 8037 0
vsize: 32400
[startup+170.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 8926 0 0 0 16953 44 0 0 25 0 1 0 659526866 35069952 7867 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8562 7867 1111 63 0 8499 0
vsize: 34248
[startup+180.004 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 9425 0 0 0 17951 46 0 0 25 0 1 0 659526866 37101568 8366 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9058 8366 1111 63 0 8995 0
vsize: 36232
[startup+190.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 9868 0 0 0 18949 48 0 0 25 0 1 0 659526866 38993920 8809 4294967295 134512640 134714508 3221221792 3221220344 134696461 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9520 8809 1111 63 0 9457 0
vsize: 38080
[startup+200.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 10398 0 0 0 19947 50 0 0 25 0 1 0 659526866 41164800 9339 4294967295 134512640 134714508 3221221792 3221220432 134536700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10050 9339 1111 63 0 9987 0
vsize: 40200
[startup+210.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 10947 0 0 0 20945 52 0 0 25 0 1 0 659526866 43327488 9888 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10578 9888 1111 63 0 10515 0
vsize: 42312
[startup+220.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 11417 0 0 0 21944 54 0 0 25 0 1 0 659526866 45223936 10357 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11041 10357 1111 63 0 10978 0
vsize: 44164
[startup+230.005 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 11919 0 0 0 22942 55 0 0 25 0 1 0 659526866 47386624 10859 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11569 10859 1111 63 0 11506 0
vsize: 46276
[startup+240.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 12223 0 0 0 23941 57 0 0 25 0 1 0 659526866 48603136 11163 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11866 11163 1111 63 0 11803 0
vsize: 47464
[startup+250.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 12466 0 0 0 24940 58 0 0 25 0 1 0 659526866 49549312 11406 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12097 11406 1111 63 0 12034 0
vsize: 48388
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 12930 0 0 0 25938 61 0 0 25 0 1 0 659526866 51441664 11870 4294967295 134512640 134714508 3221221792 3221220512 134584818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12559 11870 1111 63 0 12496 0
vsize: 50236
[startup+270.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 13467 0 0 0 26935 63 0 0 25 0 1 0 659526866 53739520 12407 4294967295 134512640 134714508 3221221792 3221220556 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13120 12407 1111 63 0 13057 0
vsize: 52480
[startup+280.006 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 14014 0 0 0 27932 67 0 0 25 0 1 0 659526866 55902208 12953 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13648 12953 1111 63 0 13585 0
vsize: 54592
[startup+290.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 14565 0 0 0 28930 69 0 0 25 0 1 0 659526866 58200064 13504 4294967295 134512640 134714508 3221221792 3221220360 1077378037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14209 13504 1111 63 0 14146 0
vsize: 56836
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 15070 0 0 0 29928 71 0 0 25 0 1 0 659526866 60227584 14009 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14704 14009 1111 63 0 14641 0
vsize: 58816
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 15492 0 0 0 30926 73 0 0 25 0 1 0 659526866 61984768 14431 4294967295 134512640 134714508 3221221792 3221220380 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15133 14431 1111 63 0 15070 0
vsize: 60532
[startup+320.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 15939 0 0 0 31924 76 0 0 25 0 1 0 659526866 63877120 14878 4294967295 134512640 134714508 3221221792 3221220432 134696119 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15595 14878 1111 63 0 15532 0
vsize: 62380
[startup+330.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 16358 0 0 0 32922 78 0 0 25 0 1 0 659526866 65499136 15297 4294967295 134512640 134714508 3221221792 3221220540 134558476 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15991 15297 1111 63 0 15928 0
vsize: 63964
[startup+340.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 16717 0 0 0 33920 80 0 0 25 0 1 0 659526866 66985984 15654 4294967295 134512640 134714508 3221221792 3221220416 134536680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16354 15654 1111 63 0 16291 0
vsize: 65416
[startup+350.007 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 17151 0 0 0 34918 82 0 0 25 0 1 0 659526866 68739072 16088 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16782 16088 1111 63 0 16719 0
vsize: 67128
[startup+360.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 17607 0 0 0 35917 84 0 0 25 0 1 0 659526866 70631424 16544 4294967295 134512640 134714508 3221221792 3221220548 134652840 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17244 16544 1111 63 0 17181 0
vsize: 68976
[startup+370.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 18056 0 0 0 36915 85 0 0 25 0 1 0 659526866 72523776 16993 4294967295 134512640 134714508 3221221792 3221220456 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17706 16993 1111 63 0 17643 0
vsize: 70824
[startup+380.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 18555 0 0 0 37913 87 0 0 25 0 1 0 659526866 74551296 17492 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18201 17492 1111 63 0 18138 0
vsize: 72804
[startup+390.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 19012 0 0 0 38912 89 0 0 25 0 1 0 659526866 76443648 17949 4294967295 134512640 134714508 3221221792 3221220300 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18663 17949 1111 63 0 18600 0
vsize: 74652
[startup+400.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 19401 0 0 0 39910 91 0 0 25 0 1 0 659526866 78065664 18338 4294967295 134512640 134714508 3221221792 3221220480 134523184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19059 18338 1111 63 0 18996 0
vsize: 76236
[startup+410.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 19794 0 0 0 40909 92 0 0 25 0 1 0 659526866 79687680 18731 4294967295 134512640 134714508 3221221792 3221220496 134528538 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19455 18731 1111 63 0 19392 0
vsize: 77820
[startup+420.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 20085 0 0 0 41908 93 0 0 25 0 1 0 659526866 80764928 19022 4294967295 134512640 134714508 3221221792 3221220384 134549818 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19718 19022 1111 63 0 19655 0
vsize: 78872
[startup+430.008 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 20341 0 0 0 42907 94 0 0 25 0 1 0 659526866 81879040 19278 4294967295 134512640 134714508 3221221792 3221220380 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19990 19278 1111 63 0 19927 0
vsize: 79960
[startup+440.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 20717 0 0 0 43904 97 0 0 25 0 1 0 659526866 83513344 19654 4294967295 134512640 134714508 3221221792 3221220592 134597766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20389 19654 1111 63 0 20326 0
vsize: 81556
[startup+450.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 21105 0 0 0 44902 99 0 0 25 0 1 0 659526866 85000192 20042 4294967295 134512640 134714508 3221221792 3221220560 134529115 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20752 20042 1111 63 0 20689 0
vsize: 83008
[startup+460.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 21487 0 0 0 45900 102 0 0 25 0 1 0 659526866 86622208 20424 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21148 20424 1111 63 0 21085 0
vsize: 84592
[startup+470.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 21878 0 0 0 46899 103 0 0 25 0 1 0 659526866 88244224 20815 4294967295 134512640 134714508 3221221792 3221220496 134528671 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21544 20815 1111 63 0 21481 0
vsize: 86176
[startup+480.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 22159 0 0 0 47898 104 0 0 25 0 1 0 659526866 89333760 21096 4294967295 134512640 134714508 3221221792 3221220432 134696297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21810 21096 1111 63 0 21747 0
vsize: 87240
[startup+490.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 22506 0 0 0 48897 106 0 0 25 0 1 0 659526866 90824704 21443 4294967295 134512640 134714508 3221221792 3221220332 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22174 21443 1111 63 0 22111 0
vsize: 88696
[startup+500.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 22857 0 0 0 49896 107 0 0 25 0 1 0 659526866 92180480 21794 4294967295 134512640 134714508 3221221792 3221220384 134549544 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22505 21794 1111 63 0 22442 0
vsize: 90020
[startup+510.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 23181 0 0 0 50894 108 0 0 25 0 1 0 659526866 93532160 22118 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22835 22118 1111 63 0 22772 0
vsize: 91340
[startup+520.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 23444 0 0 0 51893 109 0 0 25 0 1 0 659526866 94609408 22381 4294967295 134512640 134714508 3221221792 3221220288 134535448 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23098 22381 1111 63 0 23035 0
vsize: 92392
[startup+530.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 23730 0 0 0 52892 110 0 0 25 0 1 0 659526866 95825920 22666 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23395 22666 1111 63 0 23332 0
vsize: 93580
[startup+540.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 24024 0 0 0 53891 112 0 0 25 0 1 0 659526866 97042432 22960 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23692 22960 1111 63 0 23629 0
vsize: 94768
[startup+550.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 24326 0 0 0 54890 114 0 0 25 0 1 0 659526866 98258944 23262 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23989 23262 1111 63 0 23926 0
vsize: 95956
[startup+560.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 24655 0 0 0 55888 115 0 0 25 0 1 0 659526866 99614720 23590 4294967295 134512640 134714508 3221221792 3221220576 134529240 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24320 23591 1111 63 0 24257 0
vsize: 97280
[startup+570.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 24996 0 0 0 56888 116 0 0 25 0 1 0 659526866 100982784 23930 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24654 23930 1111 63 0 24591 0
vsize: 98616
[startup+580.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 25303 0 0 0 57886 117 0 0 25 0 1 0 659526866 102334464 24237 4294967295 134512640 134714508 3221221792 3221220576 134529088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24984 24237 1111 63 0 24921 0
vsize: 99936
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 25620 0 0 0 58885 119 0 0 25 0 1 0 659526866 103550976 24554 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25281 24554 1111 63 0 25218 0
vsize: 101124
[startup+600.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 25970 0 0 0 59884 120 0 0 25 0 1 0 659526866 105037824 24903 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25644 24903 1111 63 0 25581 0
vsize: 102576
[startup+610.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 26318 0 0 0 60883 121 0 0 25 0 1 0 659526866 106524672 25251 4294967295 134512640 134714508 3221221792 3221220400 134543700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26007 25251 1111 63 0 25944 0
vsize: 104028
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 26646 0 0 0 61882 123 0 0 25 0 1 0 659526866 107876352 25579 4294967295 134512640 134714508 3221221792 3221220412 134613966 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26337 25579 1111 63 0 26274 0
vsize: 105348
[startup+630.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 26955 0 0 0 62881 124 0 0 25 0 1 0 659526866 109121536 25887 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26641 25887 1111 63 0 26578 0
vsize: 106564
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 27260 0 0 0 63879 125 0 0 25 0 1 0 659526866 110338048 26192 4294967295 134512640 134714508 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26938 26192 1111 63 0 26875 0
vsize: 107752
[startup+650.012 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 27568 0 0 0 64878 127 0 0 25 0 1 0 659526866 111689728 26500 4294967295 134512640 134714508 3221221792 3221220352 134696546 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27268 26500 1111 63 0 27205 0
vsize: 109072
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 27859 0 0 0 65878 127 0 0 25 0 1 0 659526866 112807936 26789 4294967295 134512640 134714508 3221221792 3221220436 134536686 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27541 26789 1111 63 0 27478 0
vsize: 110164
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 28147 0 0 0 66877 129 0 0 25 0 1 0 659526866 114024448 27077 4294967295 134512640 134714508 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27838 27077 1111 63 0 27775 0
vsize: 111352
[startup+680.013 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 28463 0 0 0 67875 131 0 0 25 0 1 0 659526866 115372032 27393 4294967295 134512640 134714508 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28167 27393 1111 63 0 28104 0
vsize: 112668
[startup+690.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 28772 0 0 0 68874 132 0 0 25 0 1 0 659526866 116588544 27702 4294967295 134512640 134714508 3221221792 3221220384 134549594 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28464 27702 1111 63 0 28401 0
vsize: 113856
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 29023 0 0 0 69873 133 0 0 25 0 1 0 659526866 117534720 27953 4294967295 134512640 134714508 3221221792 3221220384 134549809 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28695 27953 1111 63 0 28632 0
vsize: 114780
[startup+710.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 29290 0 0 0 70873 133 0 0 25 0 1 0 659526866 118751232 28220 4294967295 134512640 134714508 3221221792 3221220248 1077377291 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28992 28220 1111 63 0 28929 0
vsize: 115968
[startup+720.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 29579 0 0 0 71872 135 0 0 25 0 1 0 659526866 119832576 28508 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29256 28508 1111 63 0 29193 0
vsize: 117024
[startup+730.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 29937 0 0 0 72870 136 0 0 25 0 1 0 659526866 121319424 28866 4294967295 134512640 134714508 3221221792 3221220480 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29619 28866 1111 63 0 29556 0
vsize: 118476
[startup+740.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 30240 0 0 0 73869 138 0 0 25 0 1 0 659526866 122535936 29169 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29916 29169 1111 63 0 29853 0
vsize: 119664
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 30619 0 0 0 74868 139 0 0 25 0 1 0 659526866 124157952 29548 4294967295 134512640 134714508 3221221792 3221220384 134542680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30312 29548 1111 63 0 30249 0
vsize: 121248
[startup+760.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 30938 0 0 0 75867 140 0 0 25 0 1 0 659526866 125374464 29867 4294967295 134512640 134714508 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30609 29867 1111 63 0 30546 0
vsize: 122436
[startup+770.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 31245 0 0 0 76865 142 0 0 25 0 1 0 659526866 126726144 30174 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30939 30174 1111 63 0 30876 0
vsize: 123756
[startup+780.016 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 31537 0 0 0 77864 144 0 0 25 0 1 0 659526866 127942656 30466 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31236 30466 1111 63 0 31173 0
vsize: 124944
[startup+790.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 31861 0 0 0 78862 145 0 0 25 0 1 0 659526866 129159168 30790 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31533 30790 1111 63 0 31470 0
vsize: 126132
[startup+800.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 32147 0 0 0 79861 147 0 0 25 0 1 0 659526866 130375680 31076 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31830 31076 1111 63 0 31767 0
vsize: 127320
[startup+810.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 32410 0 0 0 80860 148 0 0 25 0 1 0 659526866 131457024 31339 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32094 31339 1111 63 0 32031 0
vsize: 128376
[startup+820.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 32648 0 0 0 81860 148 0 0 25 0 1 0 659526866 132407296 31576 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32326 31576 1111 63 0 32263 0
vsize: 129304
[startup+830.017 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 32889 0 0 0 82860 149 0 0 25 0 1 0 659526866 133488640 31817 4294967295 134512640 134714508 3221221792 3221220428 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32590 31817 1111 63 0 32527 0
vsize: 130360
[startup+840.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 33131 0 0 0 83859 150 0 0 25 0 1 0 659526866 134434816 32059 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32821 32059 1111 63 0 32758 0
vsize: 131284
[startup+850.018 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 33352 0 0 0 84858 151 0 0 25 0 1 0 659526866 135380992 32280 4294967295 134512640 134714508 3221221792 3221220444 134536828 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33052 32280 1111 63 0 32989 0
vsize: 132208
[startup+860.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 33557 0 0 0 85857 152 0 0 25 0 1 0 659526866 136192000 32485 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33250 32486 1111 63 0 33187 0
vsize: 133000
[startup+870.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 33768 0 0 0 86857 152 0 0 25 0 1 0 659526866 137003008 32696 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33448 32696 1111 63 0 33385 0
vsize: 133792
[startup+880.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 34026 0 0 0 87856 153 0 0 25 0 1 0 659526866 138084352 32954 4294967295 134512640 134714508 3221221792 3221220348 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33712 32954 1111 63 0 33649 0
vsize: 134848
[startup+890.019 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 34258 0 0 0 88855 154 0 0 25 0 1 0 659526866 139100160 33185 4294967295 134512640 134714508 3221221792 3221220496 134528653 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33960 33185 1111 63 0 33897 0
vsize: 135840
[startup+900.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 34497 0 0 0 89855 155 0 0 25 0 1 0 659526866 140046336 33424 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34191 33424 1111 63 0 34128 0
vsize: 136764
[startup+910.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 34706 0 0 0 90854 156 0 0 25 0 1 0 659526866 140992512 33633 4294967295 134512640 134714508 3221221792 3221220332 134539309 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34422 33633 1111 63 0 34359 0
vsize: 137688
[startup+920.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 35009 0 0 0 91853 157 0 0 25 0 1 0 659526866 142204928 33936 4294967295 134512640 134714508 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34718 33936 1111 63 0 34655 0
vsize: 138872
[startup+930.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 35295 0 0 0 92852 158 0 0 25 0 1 0 659526866 143421440 34222 4294967295 134512640 134714508 3221221792 3221220348 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35015 34222 1111 63 0 34952 0
vsize: 140060
[startup+940.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 35655 0 0 0 93850 160 0 0 25 0 1 0 659526866 144773120 34582 4294967295 134512640 134714508 3221221792 3221220432 134536657 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35345 34582 1111 63 0 35282 0
vsize: 141380
[startup+950.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 35963 0 0 0 94850 161 0 0 25 0 1 0 659526866 146124800 34890 4294967295 134512640 134714508 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35675 34890 1111 63 0 35612 0
vsize: 142700
[startup+960.021 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 36240 0 0 0 95849 162 0 0 25 0 1 0 659526866 147206144 35167 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35939 35167 1111 63 0 35876 0
vsize: 143756
[startup+970.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 36570 0 0 0 96847 164 0 0 25 0 1 0 659526866 148557824 35497 4294967295 134512640 134714508 3221221792 3221220400 134523184 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36269 35497 1111 63 0 36206 0
vsize: 145076
[startup+980.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 36816 0 0 0 97847 164 0 0 25 0 1 0 659526866 149639168 35743 4294967295 134512640 134714508 3221221792 3221220376 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36533 35743 1111 63 0 36470 0
vsize: 146132
[startup+990.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 37063 0 0 0 98845 166 0 0 25 0 1 0 659526866 150593536 35990 4294967295 134512640 134714508 3221221792 3221220384 134549668 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36766 35990 1111 63 0 36703 0
vsize: 147064
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 37396 0 0 0 99844 167 0 0 25 0 1 0 659526866 151945216 36323 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37096 36323 1111 63 0 37033 0
vsize: 148384
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 37707 0 0 0 100843 168 0 0 25 0 1 0 659526866 153296896 36634 4294967295 134512640 134714508 3221221792 3221220432 134613431 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37426 36634 1111 63 0 37363 0
vsize: 149704
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 38013 0 0 0 101842 170 0 0 25 0 1 0 659526866 154513408 36940 4294967295 134512640 134714508 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 37723 36940 1111 63 0 37660 0
vsize: 150892
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 38336 0 0 0 102841 171 0 0 25 0 1 0 659526866 155865088 37263 4294967295 134512640 134714508 3221221792 3221220384 134549773 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38053 37263 1111 63 0 37990 0
vsize: 152212
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 38666 0 0 0 103839 173 0 0 25 0 1 0 659526866 157216768 37593 4294967295 134512640 134714508 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38383 37593 1111 63 0 38320 0
vsize: 153532
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 38925 0 0 0 104838 174 0 0 25 0 1 0 659526866 158298112 37852 4294967295 134512640 134714508 3221221792 3221220528 134529243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38647 37852 1111 63 0 38584 0
vsize: 154588
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 39125 0 0 0 105837 175 0 0 25 0 1 0 659526866 159109120 38052 4294967295 134512640 134714508 3221221792 3221220448 134536713 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38845 38052 1111 63 0 38782 0
vsize: 155380
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 39359 0 0 0 106836 176 0 0 25 0 1 0 659526866 160055296 38286 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39076 38286 1111 63 0 39013 0
vsize: 156304
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 39577 0 0 0 107836 177 0 0 25 0 1 0 659526866 160866304 38504 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39274 38504 1111 63 0 39211 0
vsize: 157096
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 39842 0 0 0 108834 179 0 0 25 0 1 0 659526866 161959936 38769 4294967295 134512640 134714508 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39541 38769 1111 63 0 39478 0
vsize: 158164
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 39977 0 0 0 109834 179 0 0 25 0 1 0 659526866 162504704 38904 4294967295 134512640 134714508 3221221792 3221220580 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39674 38904 1111 63 0 39611 0
vsize: 158696
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 40095 0 0 0 110834 179 0 0 25 0 1 0 659526866 163065856 39022 4294967295 134512640 134714508 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39811 39022 1111 63 0 39748 0
vsize: 159244
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 40365 0 0 0 111832 181 0 0 25 0 1 0 659526866 164147200 39291 4294967295 134512640 134714508 3221221792 3221220496 134528699 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40075 39291 1111 63 0 40012 0
vsize: 160300
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 40669 0 0 0 112832 182 0 0 25 0 1 0 659526866 165363712 39595 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40372 39595 1111 63 0 40309 0
vsize: 161488
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 40933 0 0 0 113831 183 0 0 25 0 1 0 659526866 166445056 39859 4294967295 134512640 134714508 3221221792 3221220384 134549548 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40636 39859 1111 63 0 40573 0
vsize: 162544
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 41171 0 0 0 114830 184 0 0 25 0 1 0 659526866 167530496 40097 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40901 40097 1111 63 0 40838 0
vsize: 163604
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 41430 0 0 0 115830 185 0 0 25 0 1 0 659526866 168611840 40356 4294967295 134512640 134714508 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41165 40356 1111 63 0 41102 0
vsize: 164660
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 41680 0 0 0 116829 185 0 0 25 0 1 0 659526866 169558016 40606 4294967295 134512640 134714508 3221221792 3221220560 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41396 40606 1111 63 0 41333 0
vsize: 165584
[startup+1175.03 s]
Raw data (loadavg): 0.99 0.98 0.97 1/53 5396
Raw data (stat): 5396 (bsolo_lpr) R 5395 7876 7672 0 -1 0 41680 0 0 0 116829 185 0 0 25 0 1 0 659526866 169558016 40606 4294967295 134512640 134714508 3221221792 3221220560 134529376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 41396 40606 1111 63 0 41333 0
vsize: 0

Child status: 0
Real time (s): 1175.03
CPU time (s): 1175.15
CPU user time (s): 1173.22
CPU system time (s): 1.9367
CPU usage (%): 100.011
Max. virtual memory (Kb): 165584
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####