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/plato.asu.edu/pub/milp/normalized-mps-v2-20-10-seymour1.opb
MD5SUM	31b217e2e29235a8785a3af88a4b2ba1
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	513536
Optimality of the best value was proved	NO
Number of terms in the objective function	10582
Biggest coefficient in the objective function	1024
Number of bits for the biggest coefficient in the objective function	11
Sum of the numbers in the objective function	2347111
Number of bits of the sum of numbers in the objective function	22
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	2347111
Number of bits of the biggest sum of numbers	22
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.14
Number of variables	10582
Total number of constraints	6316
Number of constraints which are clauses	651
Number of constraints which are cardinality constraints (but not clauses)	451
Number of constraints which are nor clauses,nor cardinality constraints	5214
Minimum length of a constraint	1
Maximum length of a constraint	198
Trace number 28012

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc8 THE 2005-05-25 00:09:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14808 boxname=wulflinc8 idbench=1140 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  31b217e2e29235a8785a3af88a4b2ba1  /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-seymour1.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc8/normalized-mps-v2-20-10-seymour1.opb
IDLAUNCH: 14808
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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	: 2
cpu MHz		: 451.007
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:        429376 kB
Buffers:         35524 kB
Cached:         547916 kB
SwapCached:          0 kB
Active:          74920 kB
Inactive:       511528 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        429124 kB
SwapTotal:     2097136 kB
SwapFree:      2097136 kB
Dirty:              52 kB
Writeback:           0 kB
Mapped:           7064 kB
Slab:            13020 kB
Committed_AS:    63732 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-25 00:29:10 (client local time) WITH STATUS 0 IN 1200.86 SECONDS
stats: 14808 7 1200.86 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10582 variables and 5865 constraints.
c After prepocess the problem consists of 10085 variables and 5691 constraints.
c preprocess terminated 45.492 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.87 0.95 0.90 2/54 10205
Raw data (stat): 10205 (runsolver) R 10204 3132 3131 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 762656720 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.0005 s]
Raw data (loadavg): 0.89 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 13555 0 0 0 968 30 0 0 25 0 1 0 762656720 68657152 13479 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16762 13479 1111 63 0 16699 0
vsize: 67048
[startup+20.0017 s]
Raw data (loadavg): 0.91 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 18654 0 0 0 1955 42 0 0 25 0 1 0 762656720 89518080 18578 4294967295 134512640 134714508 3221224592 3221222868 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21855 18578 1111 63 0 21792 0
vsize: 87420
[startup+30.002 s]
Raw data (loadavg): 0.92 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 24594 0 0 0 2940 57 0 0 25 0 1 0 762656720 103931904 24476 4294967295 134512640 134714508 3221224592 3221223120 134543728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25374 24476 1111 63 0 25311 0
vsize: 101496
[startup+40.0027 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 24594 0 0 0 3940 57 0 0 25 0 1 0 762656720 103931904 24476 4294967295 134512640 134714508 3221224592 3221223320 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25374 24476 1111 63 0 25311 0
vsize: 101496
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 24867 0 0 0 4938 59 0 0 25 0 1 0 762656720 104947712 24749 4294967295 134512640 134714508 3221224592 3221221384 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25622 24749 1111 63 0 25559 0
vsize: 102488
[startup+60.0036 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25062 0 0 0 5937 60 0 0 25 0 1 0 762656720 105746432 24944 4294967295 134512640 134714508 3221224592 3221221832 1077410279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25817 24944 1111 63 0 25754 0
vsize: 103268
[startup+70.0028 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25311 0 0 0 6935 62 0 0 25 0 1 0 762656720 106766336 25193 4294967295 134512640 134714508 3221224592 3221222800 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26066 25193 1111 63 0 26003 0
vsize: 104264
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25434 0 0 0 7934 63 0 0 25 0 1 0 762656720 107270144 25316 4294967295 134512640 134714508 3221224592 3221222416 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26189 25316 1111 63 0 26126 0
vsize: 104756
[startup+90.0136 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25586 0 0 0 8935 63 0 0 25 0 1 0 762656720 107782144 25441 4294967295 134512640 134714508 3221224592 3221222272 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26314 25441 1111 63 0 26251 0
vsize: 105256
[startup+100.013 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25732 0 0 0 9934 64 0 0 25 0 1 0 762656720 108380160 25587 4294967295 134512640 134714508 3221224592 3221222000 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26460 25587 1111 63 0 26397 0
vsize: 105840
[startup+110.017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25801 0 0 0 10934 65 0 0 25 0 1 0 762656720 108662784 25656 4294967295 134512640 134714508 3221224592 3221222528 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26529 25656 1111 63 0 26466 0
vsize: 106116
[startup+120.026 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25841 0 0 0 11934 65 0 0 25 0 1 0 762656720 108826624 25696 4294967295 134512640 134714508 3221224592 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26569 25696 1111 63 0 26506 0
vsize: 106276
[startup+130.027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25873 0 0 0 12934 66 0 0 25 0 1 0 762656720 108957696 25728 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26601 25728 1111 63 0 26538 0
vsize: 106404
[startup+140.027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 25882 0 0 0 13934 66 0 0 25 0 1 0 762656720 108994560 25737 4294967295 134512640 134714508 3221224592 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26610 25737 1111 63 0 26547 0
vsize: 106440
[startup+150.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32078 0 0 0 14921 80 0 0 25 0 1 0 762656720 120119296 28379 4294967295 134512640 134714508 3221224592 3221220476 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29326 28379 1111 63 0 29263 0
vsize: 117304
[startup+160.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32145 0 0 0 15921 80 0 0 25 0 1 0 762656720 120295424 28446 4294967295 134512640 134714508 3221224592 3221220460 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29369 28446 1111 63 0 29306 0
vsize: 117476
[startup+170.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32211 0 0 0 16921 80 0 0 25 0 1 0 762656720 120479744 28512 4294967295 134512640 134714508 3221224592 3221220556 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29414 28512 1111 63 0 29351 0
vsize: 117656
[startup+180.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32231 0 0 0 17921 80 0 0 25 0 1 0 762656720 120590336 28532 4294967295 134512640 134714508 3221224592 3221220556 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29441 28532 1111 63 0 29378 0
vsize: 117764
[startup+190.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32262 0 0 0 18921 80 0 0 25 0 1 0 762656720 120692736 28563 4294967295 134512640 134714508 3221224592 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29466 28563 1111 63 0 29403 0
vsize: 117864
[startup+200.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32262 0 0 0 19921 80 0 0 25 0 1 0 762656720 120692736 28563 4294967295 134512640 134714508 3221224592 3221220888 1075112546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29466 28563 1111 63 0 29403 0
vsize: 117864
[startup+210.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32262 0 0 0 20922 80 0 0 25 0 1 0 762656720 120692736 28563 4294967295 134512640 134714508 3221224592 3221220512 1075965246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29466 28563 1111 63 0 29403 0
vsize: 117864
[startup+220.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32262 0 0 0 21922 80 0 0 25 0 1 0 762656720 120692736 28563 4294967295 134512640 134714508 3221224592 3221220640 1075561218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29466 28563 1111 63 0 29403 0
vsize: 117864
[startup+230.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32285 0 0 0 22922 80 0 0 25 0 1 0 762656720 120803328 28586 4294967295 134512640 134714508 3221224592 3221220740 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29493 28586 1111 63 0 29430 0
vsize: 117972
[startup+240.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32286 0 0 0 23923 80 0 0 25 0 1 0 762656720 120803328 28587 4294967295 134512640 134714508 3221224592 3221220848 1075114277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29493 28587 1111 63 0 29430 0
vsize: 117972
[startup+250.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32286 0 0 0 24923 80 0 0 25 0 1 0 762656720 120803328 28587 4294967295 134512640 134714508 3221224592 3221220784 1074960854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29493 28587 1111 63 0 29430 0
vsize: 117972
[startup+260.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32288 0 0 0 25924 80 0 0 25 0 1 0 762656720 120803328 28589 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29493 28589 1111 63 0 29430 0
vsize: 117972
[startup+270.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32312 0 0 0 26924 80 0 0 25 0 1 0 762656720 120922112 28613 4294967295 134512640 134714508 3221224592 3221220740 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28613 1111 63 0 29459 0
vsize: 118088
[startup+280.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32314 0 0 0 27925 80 0 0 25 0 1 0 762656720 120922112 28615 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28615 1111 63 0 29459 0
vsize: 118088
[startup+290.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32314 0 0 0 28927 80 0 0 25 0 1 0 762656720 120922112 28615 4294967295 134512640 134714508 3221224592 3221220732 1074878529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28615 1111 63 0 29459 0
vsize: 118088
[startup+300.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32314 0 0 0 29927 80 0 0 25 0 1 0 762656720 120922112 28615 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29522 28615 1111 63 0 29459 0
vsize: 118088
[startup+310.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32342 0 0 0 30927 80 0 0 25 0 1 0 762656720 121049088 28643 4294967295 134512640 134714508 3221224592 3221221576 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28643 1111 63 0 29490 0
vsize: 118212
[startup+320.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32342 0 0 0 31928 80 0 0 25 0 1 0 762656720 121049088 28643 4294967295 134512640 134714508 3221224592 3221221584 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28643 1111 63 0 29490 0
vsize: 118212
[startup+330.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32342 0 0 0 32928 80 0 0 25 0 1 0 762656720 121049088 28643 4294967295 134512640 134714508 3221224592 3221220732 1074878548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28643 1111 63 0 29490 0
vsize: 118212
[startup+340.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32342 0 0 0 33928 80 0 0 25 0 1 0 762656720 121049088 28643 4294967295 134512640 134714508 3221224592 3221220656 1074969440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28643 1111 63 0 29490 0
vsize: 118212
[startup+350.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32342 0 0 0 34928 80 0 0 25 0 1 0 762656720 121049088 28643 4294967295 134512640 134714508 3221224592 3221220672 1075095094 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28643 1111 63 0 29490 0
vsize: 118212
[startup+360.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 32386 0 0 0 35929 80 0 0 25 0 1 0 762656720 121049088 28667 4294967295 134512640 134714508 3221224592 3221221056 1075088563 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29553 28667 1111 63 0 29490 0
vsize: 118212
[startup+370.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 37574 0 0 0 36917 92 0 0 25 0 1 0 762656720 109826048 26078 4294967295 134512640 134714508 3221224592 3221222664 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 26078 1111 63 0 26750 0
vsize: 107252
[startup+380.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 37698 0 0 0 37917 93 0 0 25 0 1 0 762656720 109826048 26078 4294967295 134512640 134714508 3221224592 3221222664 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26813 26078 1111 63 0 26750 0
vsize: 107252
[startup+390.094 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 38018 0 0 0 38915 95 0 0 25 0 1 0 762656720 109969408 26112 4294967295 134512640 134714508 3221224592 3221223020 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26848 26112 1111 63 0 26785 0
vsize: 107392
[startup+400.1 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44882 0 0 0 39901 111 0 0 25 0 1 0 762656720 122724352 28853 4294967295 134512640 134714508 3221224592 3221220740 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28853 1111 63 0 29899 0
vsize: 119848
[startup+410.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44942 0 0 0 40901 111 0 0 25 0 1 0 762656720 122724352 28913 4294967295 134512640 134714508 3221224592 3221220556 1074873379 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28913 1111 63 0 29899 0
vsize: 119848
[startup+420.105 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44949 0 0 0 41902 111 0 0 25 0 1 0 762656720 122724352 28920 4294967295 134512640 134714508 3221224592 3221220656 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28920 1111 63 0 29899 0
vsize: 119848
[startup+430.116 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44952 0 0 0 42903 111 0 0 25 0 1 0 762656720 122724352 28923 4294967295 134512640 134714508 3221224592 3221220556 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28923 1111 63 0 29899 0
vsize: 119848
[startup+440.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44954 0 0 0 43913 111 0 0 25 0 1 0 762656720 122724352 28925 4294967295 134512640 134714508 3221224592 3221220736 1075895652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28925 1111 63 0 29899 0
vsize: 119848
[startup+450.219 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 44913 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+460.22 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 45914 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+470.223 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 46914 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220396 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+480.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 47914 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+490.224 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 48915 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+500.232 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 49916 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+510.233 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 50916 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+520.233 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 51916 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220672 1074883665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+530.265 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 52919 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+540.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 53922 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220784 1074961304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+550.287 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 54922 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+560.293 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 55923 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220784 1074961183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+570.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 56924 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+580.306 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 57924 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221221056 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+590.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 58926 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220504 1074787201 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+600.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 59926 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220556 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+610.32 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 60926 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+620.341 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 61929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+630.342 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 62929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220844 1076111491 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+640.343 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 63929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+650.343 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 64929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+660.343 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 65929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115065 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+670.345 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 66930 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220752 1075115712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+680.354 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 67931 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+690.354 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 68929 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220740 1075115049 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+700.363 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44956 0 0 0 69930 111 0 0 25 0 1 0 762656720 122724352 28927 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+710.383 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 44996 0 0 0 70932 112 0 0 25 0 1 0 762656720 122724352 28947 4294967295 134512640 134714508 3221224592 3221220396 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28947 1111 63 0 29899 0
vsize: 119848
[startup+720.383 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 50614 0 0 0 71918 126 0 0 25 0 1 0 762656720 111304704 26428 4294967295 134512640 134714508 3221224592 3221222664 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27174 26428 1111 63 0 27111 0
vsize: 108696
[startup+730.389 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 50928 0 0 0 72917 128 0 0 25 0 1 0 762656720 111542272 26490 4294967295 134512640 134714508 3221224592 3221222664 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27232 26490 1111 63 0 27169 0
vsize: 108928
[startup+740.39 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 51202 0 0 0 73914 131 0 0 25 0 1 0 762656720 111542272 26490 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27232 26490 1111 63 0 27169 0
vsize: 108928
[startup+750.389 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 51575 0 0 0 74912 133 0 0 25 0 1 0 762656720 111923200 26583 4294967295 134512640 134714508 3221224592 3221223036 134648250 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27325 26583 1111 63 0 27262 0
vsize: 109300
[startup+760.397 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 56873 0 0 0 75902 145 0 0 25 0 1 0 762656720 123125760 29135 4294967295 134512640 134714508 3221224592 3221221264 1074247419 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30060 29135 1111 63 0 29997 0
vsize: 120240
[startup+770.397 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 58838 0 0 0 76897 149 0 0 25 0 1 0 762656720 124477440 29303 4294967295 134512640 134714508 3221224592 3221220784 1074961380 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29303 1111 63 0 30327 0
vsize: 121560
[startup+780.406 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 58839 0 0 0 77898 149 0 0 25 0 1 0 762656720 124477440 29304 4294967295 134512640 134714508 3221224592 3221220844 1076111494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29304 1111 63 0 30327 0
vsize: 121560
[startup+790.411 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 58839 0 0 0 78899 149 0 0 25 0 1 0 762656720 124477440 29304 4294967295 134512640 134714508 3221224592 3221220740 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29304 1111 63 0 30327 0
vsize: 121560
[startup+800.411 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 58839 0 0 0 79899 149 0 0 25 0 1 0 762656720 124477440 29304 4294967295 134512640 134714508 3221224592 3221220672 1075095124 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29304 1111 63 0 30327 0
vsize: 121560
[startup+810.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 58839 0 0 0 80901 149 0 0 25 0 1 0 762656720 124477440 29304 4294967295 134512640 134714508 3221224592 3221220476 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29304 1111 63 0 30327 0
vsize: 121560
[startup+820.422 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 64894 0 0 0 81887 162 0 0 25 0 1 0 762656720 112644096 26754 4294967295 134512640 134714508 3221224592 3221222664 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27501 26754 1111 63 0 27438 0
vsize: 110004
[startup+830.431 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 65243 0 0 0 82886 165 0 0 25 0 1 0 762656720 113004544 26847 4294967295 134512640 134714508 3221224592 3221222960 134606494 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26847 1111 63 0 27526 0
vsize: 110356
[startup+840.431 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 65540 0 0 0 83884 166 0 0 25 0 1 0 762656720 113131520 26878 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27620 26878 1111 63 0 27557 0
vsize: 110480
[startup+850.437 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 65843 0 0 0 84883 168 0 0 25 0 1 0 762656720 113258496 26909 4294967295 134512640 134714508 3221224592 3221222664 1074950102 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27651 26909 1111 63 0 27588 0
vsize: 110604
[startup+860.437 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 66107 0 0 0 85880 171 0 0 25 0 1 0 762656720 113258496 26909 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27651 26909 1111 63 0 27588 0
vsize: 110604
[startup+870.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73166 0 0 0 86866 186 0 0 25 0 1 0 762656720 124841984 29443 4294967295 134512640 134714508 3221224592 3221220736 1075895861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29443 1111 63 0 30416 0
vsize: 121916
[startup+880.436 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73177 0 0 0 87866 186 0 0 25 0 1 0 762656720 124841984 29454 4294967295 134512640 134714508 3221224592 3221220728 1074950077 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29454 1111 63 0 30416 0
vsize: 121916
[startup+890.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73182 0 0 0 88867 186 0 0 25 0 1 0 762656720 124841984 29459 4294967295 134512640 134714508 3221224592 3221220784 1074961146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29459 1111 63 0 30416 0
vsize: 121916
[startup+900.446 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73185 0 0 0 89867 186 0 0 25 0 1 0 762656720 124841984 29462 4294967295 134512640 134714508 3221224592 3221220672 1074794542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29462 1111 63 0 30416 0
vsize: 121916
[startup+910.445 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 90867 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873543 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+920.45 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 91868 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+930.458 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 92869 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+940.561 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 93879 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221221088 1076043568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+950.561 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 94879 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+960.561 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 95880 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+970.561 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 96880 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220784 1074961267 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+980.562 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 97880 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221221168 1075968391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+990.567 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 98881 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220396 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1000.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 99881 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220720 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1010.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 100882 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220556 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1020.57 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 101882 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220508 1074788183 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1030.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 102883 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220740 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1040.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 103883 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220784 1074960964 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1050.58 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 104883 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220656 1074969461 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1060.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 105884 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1070.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 106885 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220524 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1080.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 107885 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220672 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1090.59 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 108885 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220752 1075115734 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1100.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 109889 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220512 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1110.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 73186 0 0 0 110889 186 0 0 25 0 1 0 762656720 124841984 29463 4294967295 134512640 134714508 3221224592 3221220524 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1120.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 78904 0 0 0 111876 199 0 0 25 0 1 0 762656720 113004544 26814 4294967295 134512640 134714508 3221224592 3221222664 1074950096 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26814 1111 63 0 27526 0
vsize: 110356
[startup+1130.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 78904 0 0 0 112877 199 0 0 25 0 1 0 762656720 113004544 26814 4294967295 134512640 134714508 3221224592 3221222816 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26814 1111 63 0 27526 0
vsize: 110356
[startup+1140.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 79087 0 0 0 113876 200 0 0 25 0 1 0 762656720 113004544 26845 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27589 26845 1111 63 0 27526 0
vsize: 110356
[startup+1150.63 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 79417 0 0 0 114873 203 0 0 25 0 1 0 762656720 113258496 26907 4294967295 134512640 134714508 3221224592 3221222832 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27651 26907 1111 63 0 27588 0
vsize: 110604
[startup+1160.64 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 79745 0 0 0 115872 205 0 0 25 0 1 0 762656720 113512448 26969 4294967295 134512640 134714508 3221224592 3221223016 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27713 26969 1111 63 0 27650 0
vsize: 110852
[startup+1170.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 83534 0 0 0 116864 214 0 0 25 0 1 0 762656720 121987072 29031 4294967295 134512640 134714508 3221224592 3221222512 1074916549 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29782 29031 1111 63 0 29719 0
vsize: 119128
[startup+1180.65 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 87209 0 0 0 117856 222 0 0 25 0 1 0 762656720 125857792 29708 4294967295 134512640 134714508 3221224592 3221220556 1074873478 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30727 29708 1111 63 0 30664 0
vsize: 122908
[startup+1190.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 87219 0 0 0 118857 222 0 0 25 0 1 0 762656720 125857792 29718 4294967295 134512640 134714508 3221224592 3221220556 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30727 29718 1111 63 0 30664 0
vsize: 122908
[startup+1200.66 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10205
Raw data (stat): 10205 (bsolo_lpr) R 10204 3132 3131 0 -1 0 87221 0 0 0 119857 222 0 0 25 0 1 0 762656720 125857792 29720 4294967295 134512640 134714508 3221224592 3221220556 1074873527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30727 29720 1111 63 0 30664 0
vsize: 122908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.74 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10205
Raw data (stat): 10205 (bsolo_lpr) Z 10204 3132 3131 0 -1 1036 87221 0 0 0 119857 228 0 0 23 0 1 0 762656720 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.74
CPU time (s): 1200.86
CPU user time (s): 1198.57
CPU system time (s): 2.28465
CPU usage (%): 100.009
Max. virtual memory (Kb): 122908
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####