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 27992

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc22 THE 2005-05-25 00:04:44 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=14809 boxname=wulflinc22 idbench=1140 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  31b217e2e29235a8785a3af88a4b2ba1  /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-seymour1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc22/normalized-mps-v2-20-10-seymour1.opb
IDLAUNCH: 14809
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.031
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:        753944 kB
Buffers:         37132 kB
Cached:         209272 kB
SwapCached:      12200 kB
Active:          71332 kB
Inactive:       189424 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        753692 kB
SwapTotal:     2097892 kB
SwapFree:      2085472 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5784 kB
Slab:            14352 kB
Committed_AS:    63588 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 00:24:47 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 14809 7 1200.42 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.787 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.99 0.94 2/54 28715
Raw data (stat): 28715 (runsolver) R 28714 23310 23309 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834416756 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 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.0001 s]
Raw data (loadavg): 0.94 0.99 0.94 2/54 28715
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 13249 0 0 0 958 26 0 0 25 0 1 0 834416756 67354624 13173 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16444 13173 1111 63 0 16381 0
vsize: 65776
[startup+19.9997 s]
Raw data (loadavg): 0.95 0.99 0.94 2/54 28715
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 18524 0 0 0 1943 41 0 0 25 0 1 0 834416756 88977408 18448 4294967295 134512640 134714508 3221224576 3221223224 134558482 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21723 18448 1111 63 0 21660 0
vsize: 86892
[startup+30.0088 s]
Raw data (loadavg): 0.95 0.99 0.94 2/54 28715
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 24594 0 0 0 2928 56 0 0 25 0 1 0 834416756 103931904 24476 4294967295 134512640 134714508 3221224576 3221223072 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25374 24476 1111 63 0 25311 0
vsize: 101496
[startup+40.0131 s]
Raw data (loadavg): 0.96 0.99 0.94 2/54 28715
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 24594 0 0 0 3928 56 0 0 25 0 1 0 834416756 103931904 24476 4294967295 134512640 134714508 3221224576 3221223328 134630795 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.0139 s]
Raw data (loadavg): 0.97 0.99 0.94 2/54 28715
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 24856 0 0 0 4927 57 0 0 25 0 1 0 834416756 104902656 24738 4294967295 134512640 134714508 3221224576 3221222128 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25611 24738 1111 63 0 25548 0
vsize: 102444
[startup+60.0192 s]
Raw data (loadavg): 0.97 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25054 0 0 0 5925 59 0 0 25 0 1 0 834416756 105713664 24936 4294967295 134512640 134714508 3221224576 3221222784 1074153675 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25809 24936 1111 63 0 25746 0
vsize: 103236
[startup+70.0237 s]
Raw data (loadavg): 0.97 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25183 0 0 0 6924 61 0 0 25 0 1 0 834416756 106242048 25065 4294967295 134512640 134714508 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25938 25065 1111 63 0 25875 0
vsize: 103752
[startup+80.0294 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25430 0 0 0 7924 62 0 0 25 0 1 0 834416756 107253760 25312 4294967295 134512640 134714508 3221224576 3221222784 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26185 25312 1111 63 0 26122 0
vsize: 104740
[startup+90.0297 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25580 0 0 0 8923 63 0 0 25 0 1 0 834416756 107757568 25435 4294967295 134512640 134714508 3221224576 3221222400 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26308 25435 1111 63 0 26245 0
vsize: 105232
[startup+100.03 s]
Raw data (loadavg): 0.98 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25726 0 0 0 9923 64 0 0 25 0 1 0 834416756 108355584 25581 4294967295 134512640 134714508 3221224576 3221222400 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26454 25581 1111 63 0 26391 0
vsize: 105816
[startup+110.031 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25795 0 0 0 10922 64 0 0 25 0 1 0 834416756 108638208 25650 4294967295 134512640 134714508 3221224576 3221222160 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26523 25650 1111 63 0 26460 0
vsize: 106092
[startup+120.032 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25837 0 0 0 11922 64 0 0 25 0 1 0 834416756 108810240 25692 4294967295 134512640 134714508 3221224576 3221222224 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26565 25692 1111 63 0 26502 0
vsize: 106260
[startup+130.033 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25873 0 0 0 12922 65 0 0 25 0 1 0 834416756 108957696 25728 4294967295 134512640 134714508 3221224576 3221222824 1077410279 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.034 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 25878 0 0 0 13922 65 0 0 25 0 1 0 834416756 108978176 25733 4294967295 134512640 134714508 3221224576 3221222880 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26606 25733 1111 63 0 26543 0
vsize: 106424
[startup+150.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32043 0 0 0 14909 79 0 0 25 0 1 0 834416756 120037376 28344 4294967295 134512640 134714508 3221224576 3221220724 1075115060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29306 28344 1111 63 0 29243 0
vsize: 117224
[startup+160.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32137 0 0 0 15909 79 0 0 25 0 1 0 834416756 120295424 28438 4294967295 134512640 134714508 3221224576 3221220656 1074794536 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29369 28438 1111 63 0 29306 0
vsize: 117476
[startup+170.038 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32211 0 0 0 16909 79 0 0 25 0 1 0 834416756 120479744 28512 4294967295 134512640 134714508 3221224576 3221220656 1075094841 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.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32211 0 0 0 17909 80 0 0 25 0 1 0 834416756 120479744 28512 4294967295 134512640 134714508 3221224576 3221220768 1074961149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29414 28512 1111 63 0 29351 0
vsize: 117656
[startup+190.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32262 0 0 0 18909 80 0 0 25 0 1 0 834416756 120692736 28563 4294967295 134512640 134714508 3221224576 3221220540 1074873527 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.039 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32262 0 0 0 19909 80 0 0 25 0 1 0 834416756 120692736 28563 4294967295 134512640 134714508 3221224576 3221220380 1074788950 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.043 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32262 0 0 0 20910 80 0 0 25 0 1 0 834416756 120692736 28563 4294967295 134512640 134714508 3221224576 3221220540 1074873465 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.047 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32262 0 0 0 21910 80 0 0 25 0 1 0 834416756 120692736 28563 4294967295 134512640 134714508 3221224576 3221221088 1074886238 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.047 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32284 0 0 0 22910 80 0 0 25 0 1 0 834416756 120803328 28585 4294967295 134512640 134714508 3221224576 3221220704 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29493 28585 1111 63 0 29430 0
vsize: 117972
[startup+240.046 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32286 0 0 0 23910 80 0 0 25 0 1 0 834416756 120803328 28587 4294967295 134512640 134714508 3221224576 3221220724 1075115003 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.047 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32286 0 0 0 24910 80 0 0 25 0 1 0 834416756 120803328 28587 4294967295 134512640 134714508 3221224576 3221220656 1074794542 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.052 s]
Raw data (loadavg): 0.99 0.99 0.94 3/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32288 0 0 0 25911 80 0 0 25 0 1 0 834416756 120803328 28589 4294967295 134512640 134714508 3221224576 3221220716 1074878548 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.053 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32312 0 0 0 26911 81 0 0 25 0 1 0 834416756 120922112 28613 4294967295 134512640 134714508 3221224576 3221220656 1074794536 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.053 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32314 0 0 0 27911 81 0 0 25 0 1 0 834416756 120922112 28615 4294967295 134512640 134714508 3221224576 3221220656 1074794542 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.055 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32314 0 0 0 28911 81 0 0 25 0 1 0 834416756 120922112 28615 4294967295 134512640 134714508 3221224576 3221220436 1074786479 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.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32314 0 0 0 29911 81 0 0 25 0 1 0 834416756 120922112 28615 4294967295 134512640 134714508 3221224576 3221220496 1075965234 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29522 28615 1111 63 0 29459 0
vsize: 118088
[startup+310.055 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32342 0 0 0 30911 82 0 0 25 0 1 0 834416756 121049088 28643 4294967295 134512640 134714508 3221224576 3221220496 1075965232 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.055 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32342 0 0 0 31911 82 0 0 25 0 1 0 834416756 121049088 28643 4294967295 134512640 134714508 3221224576 3221220864 1075894487 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.056 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32342 0 0 0 32911 82 0 0 25 0 1 0 834416756 121049088 28643 4294967295 134512640 134714508 3221224576 3221221440 1074620104 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.055 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32342 0 0 0 33911 82 0 0 25 0 1 0 834416756 121049088 28643 4294967295 134512640 134714508 3221224576 3221220724 1075114984 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.085 s]
Raw data (loadavg): 0.99 0.99 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32342 0 0 0 34914 82 0 0 25 0 1 0 834416756 121049088 28643 4294967295 134512640 134714508 3221224576 3221220736 1075115747 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.105 s]
Raw data (loadavg): 1.07 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 32386 0 0 0 35916 82 0 0 25 0 1 0 834416756 121049088 28667 4294967295 134512640 134714508 3221224576 3221220736 1075115762 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.104 s]
Raw data (loadavg): 1.06 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 37574 0 0 0 36904 94 0 0 25 0 1 0 834416756 109826048 26078 4294967295 134512640 134714508 3221224576 3221222648 1074950114 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.111 s]
Raw data (loadavg): 1.05 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 37702 0 0 0 37904 95 0 0 25 0 1 0 834416756 109826048 26078 4294967295 134512640 134714508 3221224576 3221223008 134648667 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.111 s]
Raw data (loadavg): 1.04 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 38022 0 0 0 38902 98 0 0 25 0 1 0 834416756 109969408 26112 4294967295 134512640 134714508 3221224576 3221222816 1074039443 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.111 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44882 0 0 0 39887 112 0 0 25 0 1 0 834416756 122724352 28853 4294967295 134512640 134714508 3221224576 3221220444 1074788959 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.112 s]
Raw data (loadavg): 1.03 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44942 0 0 0 40887 112 0 0 25 0 1 0 834416756 122724352 28913 4294967295 134512640 134714508 3221224576 3221220540 1074873600 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.111 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44949 0 0 0 41887 113 0 0 25 0 1 0 834416756 122724352 28920 4294967295 134512640 134714508 3221224576 3221220508 1074788950 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.112 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44952 0 0 0 42888 113 0 0 25 0 1 0 834416756 122724352 28923 4294967295 134512640 134714508 3221224576 3221220372 1074786543 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.112 s]
Raw data (loadavg): 1.02 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44954 0 0 0 43888 113 0 0 25 0 1 0 834416756 122724352 28925 4294967295 134512640 134714508 3221224576 3221220540 1074873509 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.112 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 44888 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873486 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.112 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 45888 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873439 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.118 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 46889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873512 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.118 s]
Raw data (loadavg): 1.01 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 47889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873512 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.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 48889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220456 1075964771 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.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 49889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 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+510.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 50889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873504 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.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 51889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 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+530.118 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 52889 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221221440 1074620104 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.119 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 53890 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 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+550.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 54890 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220724 1075115046 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.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 55891 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220724 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+570.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 56891 113 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220508 1074788953 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.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 57891 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220540 1074873606 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.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 58891 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220736 1075115747 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.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 59891 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220724 1075115003 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.134 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 60892 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220568 1074950215 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.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 61893 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220736 1075115715 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.141 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 62893 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220640 1074969463 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.145 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 63893 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220624 1075561083 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.152 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 64894 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220656 1074794542 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.155 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 65894 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220724 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+670.165 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 66896 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220768 1074960795 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.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 67896 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220656 1075095091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29962 28927 1111 63 0 29899 0
vsize: 119848
[startup+690.166 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 68896 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220828 1076111473 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.17 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44956 0 0 0 69897 114 0 0 25 0 1 0 834416756 122724352 28927 4294967295 134512640 134714508 3221224576 3221220724 1075115043 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.185 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 44996 0 0 0 70898 114 0 0 25 0 1 0 834416756 122724352 28947 4294967295 134512640 134714508 3221224576 3221220936 1077410205 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.185 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 50614 0 0 0 71884 129 0 0 25 0 1 0 834416756 111304704 26428 4294967295 134512640 134714508 3221224576 3221222900 134557822 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.185 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 50898 0 0 0 72883 130 0 0 25 0 1 0 834416756 111542272 26490 4294967295 134512640 134714508 3221224576 3221222800 1074039235 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.188 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 51170 0 0 0 73881 133 0 0 25 0 1 0 834416756 111542272 26490 4294967295 134512640 134714508 3221224576 3221222816 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.189 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 51543 0 0 0 74879 135 0 0 25 0 1 0 834416756 111923200 26583 4294967295 134512640 134714508 3221224576 3221222816 1074039443 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.195 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 54201 0 0 0 75872 143 0 0 25 0 1 0 834416756 121917440 28766 4294967295 134512640 134714508 3221224576 3221222416 1075799528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29765 28766 1111 63 0 29702 0
vsize: 119060
[startup+770.194 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 58835 0 0 0 76862 153 0 0 25 0 1 0 834416756 124477440 29300 4294967295 134512640 134714508 3221224576 3221220492 1074860977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30390 29300 1111 63 0 30327 0
vsize: 121560
[startup+780.203 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 58839 0 0 0 77863 153 0 0 25 0 1 0 834416756 124477440 29304 4294967295 134512640 134714508 3221224576 3221220736 1075115709 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.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 58839 0 0 0 78863 153 0 0 25 0 1 0 834416756 124477440 29304 4294967295 134512640 134714508 3221224576 3221220768 1074960868 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.204 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 58839 0 0 0 79863 153 0 0 25 0 1 0 834416756 124477440 29304 4294967295 134512640 134714508 3221224576 3221220460 1074860617 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.213 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 58839 0 0 0 80864 153 0 0 25 0 1 0 834416756 124477440 29304 4294967295 134512640 134714508 3221224576 3221220460 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.222 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 64894 0 0 0 81851 167 0 0 25 0 1 0 834416756 112644096 26754 4294967295 134512640 134714508 3221224576 3221222648 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.23 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 65187 0 0 0 82850 169 0 0 25 0 1 0 834416756 113004544 26847 4294967295 134512640 134714508 3221224576 3221222648 1074950114 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.235 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 65449 0 0 0 83848 172 0 0 25 0 1 0 834416756 113004544 26847 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26847 1111 63 0 27526 0
vsize: 110356
[startup+850.236 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 65783 0 0 0 84845 175 0 0 25 0 1 0 834416756 113258496 26909 4294967295 134512640 134714508 3221224576 3221222800 1074039235 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.235 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 66045 0 0 0 85843 177 0 0 25 0 1 0 834416756 113258496 26909 4294967295 134512640 134714508 3221224576 3221222800 1074039235 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.235 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73111 0 0 0 86827 193 0 0 25 0 1 0 834416756 126017536 29707 4294967295 134512640 134714508 3221224576 3221220444 1074788953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30766 29707 1111 63 0 30703 0
vsize: 123064
[startup+880.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73177 0 0 0 87827 194 0 0 25 0 1 0 834416756 124841984 29454 4294967295 134512640 134714508 3221224576 3221220540 1074873527 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.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73181 0 0 0 88827 194 0 0 25 0 1 0 834416756 124841984 29458 4294967295 134512640 134714508 3221224576 3221220724 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29458 1111 63 0 30416 0
vsize: 121916
[startup+900.24 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73185 0 0 0 89827 194 0 0 25 0 1 0 834416756 124841984 29462 4294967295 134512640 134714508 3221224576 3221220736 1075115709 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.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73185 0 0 0 90828 194 0 0 25 0 1 0 834416756 124841984 29462 4294967295 134512640 134714508 3221224576 3221220540 1074873336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30479 29462 1111 63 0 30416 0
vsize: 121916
[startup+920.244 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 91828 194 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873490 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.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 92828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220640 1074969440 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.245 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 93828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873509 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.246 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 94828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220724 1075115060 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.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 95828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220724 1075115060 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.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 96828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873347 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.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 97828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873527 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.247 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 98828 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873490 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.25 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 99829 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220656 1074794649 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.26 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 100830 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873490 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.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 101830 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221221416 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30479 29463 1111 63 0 30416 0
vsize: 121916
[startup+1030.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 102830 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220540 1074873501 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.27 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 103831 195 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220736 1075115709 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.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 104832 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220656 1074794542 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.28 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 105832 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220724 1075115049 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.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 106834 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220508 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.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 107834 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221221416 1074950114 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.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 108835 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220656 1074794528 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.3 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 109835 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220864 1075894487 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.31 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 73186 0 0 0 110836 196 0 0 25 0 1 0 834416756 124841984 29463 4294967295 134512640 134714508 3221224576 3221220724 1075115065 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.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 78904 0 0 0 111823 209 0 0 25 0 1 0 834416756 113004544 26814 4294967295 134512640 134714508 3221224576 3221222800 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+1130.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 78904 0 0 0 112823 210 0 0 25 0 1 0 834416756 113004544 26814 4294967295 134512640 134714508 3221224576 3221222800 1074039232 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.32 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 78990 0 0 0 113822 210 0 0 25 0 1 0 834416756 113004544 26814 4294967295 134512640 134714508 3221224576 3221222960 134606848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27589 26814 1111 63 0 27526 0
vsize: 110356
[startup+1150.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 79316 0 0 0 114821 213 0 0 25 0 1 0 834416756 113131520 26876 4294967295 134512640 134714508 3221224576 3221222816 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27620 26876 1111 63 0 27557 0
vsize: 110480
[startup+1160.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 79646 0 0 0 115820 214 0 0 25 0 1 0 834416756 113385472 26938 4294967295 134512640 134714508 3221224576 3221222960 134606848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27682 26938 1111 63 0 27619 0
vsize: 110728
[startup+1170.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 79972 0 0 0 116817 217 0 0 25 0 1 0 834416756 113639424 27000 4294967295 134512640 134714508 3221224576 3221222992 134558518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27744 27000 1111 63 0 27681 0
vsize: 110976
[startup+1180.33 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 87206 0 0 0 117802 233 0 0 25 0 1 0 834416756 125857792 29705 4294967295 134512640 134714508 3221224576 3221220540 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30727 29705 1111 63 0 30664 0
vsize: 122908
[startup+1190.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 87219 0 0 0 118802 233 0 0 25 0 1 0 834416756 125857792 29718 4294967295 134512640 134714508 3221224576 3221220724 1075115039 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.34 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) R 28714 23310 23309 0 -1 0 87221 0 0 0 119803 233 0 0 25 0 1 0 834416756 125857792 29720 4294967295 134512640 134714508 3221224576 3221220724 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30727 29720 1111 63 0 30664 0
vsize: 122908
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.42 s]
Raw data (loadavg): 1.00 1.00 0.94 1/54 28717
Raw data (stat): 28715 (bsolo_lpr_cuts) Z 28714 23310 23309 0 -1 1036 87221 0 0 0 119803 239 0 0 23 0 1 0 834416756 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.42
CPU time (s): 1200.42
CPU user time (s): 1198.03
CPU system time (s): 2.39064
CPU usage (%): 100.001
Max. virtual memory (Kb): 123064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####