PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM	60a85eb68562d07c063b16fa35f27512
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	27456
Biggest coefficient in the objective function	1310720000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	254165973806800
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1310720000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	254165973806800
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71616
Total number of constraints	3312
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	33
Maximum length of a constraint	545
Trace number 27367

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc28 THE 2005-05-24 21:15:32 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17383 boxname=wulflinc28 idbench=1338 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc28/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 17383
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.077
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:        892984 kB
Buffers:          5644 kB
Cached:         114752 kB
SwapCached:       1052 kB
Active:          23040 kB
Inactive:        99864 kB
HighTotal:      131008 kB
HighFree:        14280 kB
LowTotal:       903652 kB
LowFree:        878704 kB
SwapTotal:     2097640 kB
SwapFree:      2096168 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5444 kB
Slab:            13040 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 21:35:07 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 17383 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71616 variables and 4560 constraints.
c After prepocess the problem consists of 59596 variables and 5084 constraints.
c preprocess terminated 328.79 s
c Initial Lower Bound: 716256487
c Lower Bound Elapsed time: 78.6242
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.92 0.97 0.92 2/54 28953
Raw data (stat): 28953 (runsolver) R 28952 24821 24820 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833408618 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0003 s]
Raw data (loadavg): 0.93 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1743 0 0 0 993 4 0 0 25 0 1 0 833408618 19726336 1667 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4816 1667 1111 63 0 4753 0
vsize: 19264
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2910 0 0 0 1991 7 0 0 25 0 1 0 833408618 24510464 2834 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5984 2834 1111 63 0 5921 0
vsize: 23936
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 4081 0 0 0 2989 9 0 0 25 0 1 0 833408618 29315072 4005 4294967295 134512640 134714508 3221224576 3221223232 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7157 4005 1111 63 0 7094 0
vsize: 28628
[startup+40.0003 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 5300 0 0 0 3987 11 0 0 25 0 1 0 833408618 34390016 5224 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5224 1111 63 0 8333 0
vsize: 33584
[startup+50.0009 s]
Raw data (loadavg): 0.96 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 6555 0 0 0 4985 13 0 0 25 0 1 0 833408618 39608320 6479 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9670 6479 1111 63 0 9607 0
vsize: 38680
[startup+60.0012 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 7824 0 0 0 5983 15 0 0 25 0 1 0 833408618 44675072 7748 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10907 7748 1111 63 0 10844 0
vsize: 43628
[startup+70.0013 s]
Raw data (loadavg): 0.97 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 9149 0 0 0 6982 16 0 0 25 0 1 0 833408618 50171904 9073 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12249 9073 1111 63 0 12186 0
vsize: 48996
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 10658 0 0 0 7979 20 0 0 25 0 1 0 833408618 56365056 10582 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13761 10582 1111 63 0 13698 0
vsize: 55044
[startup+90.0019 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 12258 0 0 0 8977 22 0 0 25 0 1 0 833408618 62918656 12182 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15361 12182 1111 63 0 15298 0
vsize: 61444
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 13886 0 0 0 9974 25 0 0 25 0 1 0 833408618 69681152 13810 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17012 13810 1111 63 0 16949 0
vsize: 68048
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 15589 0 0 0 10971 28 0 0 25 0 1 0 833408618 76578816 15513 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18696 15513 1111 63 0 18633 0
vsize: 74784
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 17382 0 0 0 11968 31 0 0 25 0 1 0 833408618 83902464 17306 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20484 17306 1111 63 0 20421 0
vsize: 81936
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 19126 0 0 0 12966 34 0 0 25 0 1 0 833408618 90988544 19050 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22214 19050 1111 63 0 22151 0
vsize: 88856
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 51088 0 0 0 13897 102 0 0 25 0 1 0 833408618 221171712 50670 4294967295 134512640 134714508 3221224576 3221221340 1077191806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53997 50670 1111 63 0 53934 0
vsize: 215988
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 55613 0 0 0 14886 113 0 0 25 0 1 0 833408618 239632384 55195 4294967295 134512640 134714508 3221224576 3221221052 1077191271 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58504 55195 1111 63 0 58441 0
vsize: 234016
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 68308 0 0 0 15856 142 0 0 25 0 1 0 833408618 262742016 62714 4294967295 134512640 134714508 3221224576 3221223304 134672929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64146 62714 1111 63 0 64083 0
vsize: 256584
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 72089 0 0 0 16849 149 0 0 25 0 1 0 833408618 265314304 63345 4294967295 134512640 134714508 3221224576 3221223376 134617624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64774 63345 1111 63 0 64711 0
vsize: 259096
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 220870 0 0 0 17529 469 0 0 25 0 1 0 833408618 266715136 63656 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65116 63662 1111 63 0 65053 0
vsize: 260464
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 366256 0 0 0 18220 778 0 0 25 0 1 0 833408618 266809344 63722 4294967295 134512640 134714508 3221224576 3221223328 134630795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65139 63722 1111 63 0 65076 0
vsize: 260556
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 513883 0 0 0 18899 1100 0 0 25 0 1 0 833408618 268345344 63929 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65514 63936 1111 63 0 65451 0
vsize: 262056
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 681769 0 0 0 19534 1465 0 0 25 0 1 0 833408618 268750848 64025 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65613 64032 1111 63 0 65550 0
vsize: 262452
[startup+220.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 842674 0 0 0 20184 1815 0 0 25 0 1 0 833408618 268300288 64070 4294967295 134512640 134714508 3221224576 3221223160 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65503 64070 1111 63 0 65440 0
vsize: 262012
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1014165 0 0 0 20812 2187 0 0 25 0 1 0 833408618 269422592 64201 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65777 64207 1111 63 0 65714 0
vsize: 263108
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1186416 0 0 0 21434 2565 0 0 25 0 1 0 833408618 269557760 64252 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65810 64260 1111 63 0 65747 0
vsize: 263240
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1367495 0 0 0 22038 2961 0 0 25 0 1 0 833408618 269692928 64311 4294967295 134512640 134714508 3221224576 3221223216 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65843 64317 1111 63 0 65780 0
vsize: 263372
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1573668 0 0 0 22587 3413 0 0 25 0 1 0 833408618 269828096 64264 4294967295 134512640 134714508 3221224576 3221223216 134606479 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65876 64271 1111 63 0 65813 0
vsize: 263504
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693684 0 0 0 23333 3667 0 0 25 0 1 0 833408618 269529088 64370 4294967295 134512640 134714508 3221224576 3221223224 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64370 1111 63 0 65740 0
vsize: 263212
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693704 0 0 0 24333 3668 0 0 25 0 1 0 833408618 269529088 64390 4294967295 134512640 134714508 3221224576 3221223248 134627231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64390 1111 63 0 65740 0
vsize: 263212
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693704 0 0 0 25333 3668 0 0 25 0 1 0 833408618 269529088 64390 4294967295 134512640 134714508 3221224576 3221223248 134627241 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64390 1111 63 0 65740 0
vsize: 263212
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693704 0 0 0 26333 3668 0 0 25 0 1 0 833408618 269529088 64390 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64390 1111 63 0 65740 0
vsize: 263212
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693704 0 0 0 27333 3668 0 0 25 0 1 0 833408618 269529088 64390 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64390 1111 63 0 65740 0
vsize: 263212
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1693704 0 0 0 28333 3668 0 0 25 0 1 0 833408618 269529088 64390 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65803 64390 1111 63 0 65740 0
vsize: 263212
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1713513 0 0 0 29288 3713 0 0 25 0 1 0 833408618 283844608 67679 4294967295 134512640 134714508 3221224576 3221222744 1074138150 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69298 67679 1111 63 0 69235 0
vsize: 277192
[startup+340.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1842239 0 0 0 29999 4001 0 0 25 0 1 0 833408618 284168192 67745 4294967295 134512640 134714508 3221224576 3221222520 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69377 67749 1111 63 0 69314 0
vsize: 277508
[startup+350.006 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 1951075 0 0 0 30744 4256 0 0 25 0 1 0 833408618 284409856 67764 4294967295 134512640 134714508 3221224576 3221222680 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69436 67774 1111 63 0 69373 0
vsize: 277744
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2045146 0 0 0 31519 4481 0 0 25 0 1 0 833408618 284868608 67854 4294967295 134512640 134714508 3221224576 3221222088 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69548 67864 1111 63 0 69485 0
vsize: 278192
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2123648 0 0 0 32332 4668 0 0 25 0 1 0 833408618 285073408 68026 4294967295 134512640 134714508 3221224576 3221222064 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69598 68026 1111 63 0 69535 0
vsize: 278392
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2191479 0 0 0 33167 4834 0 0 25 0 1 0 833408618 285777920 68167 4294967295 134512640 134714508 3221224576 3221221992 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69770 68171 1111 63 0 69707 0
vsize: 279080
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2250970 0 0 0 34022 4979 0 0 25 0 1 0 833408618 285896704 68228 4294967295 134512640 134714508 3221224576 3221222512 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69799 68228 1111 63 0 69736 0
vsize: 279196
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2306469 0 0 0 34886 5115 0 0 25 0 1 0 833408618 286138368 68287 4294967295 134512640 134714508 3221224576 3221222704 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69858 68287 1111 63 0 69795 0
vsize: 279432
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2359415 0 0 0 35757 5244 0 0 25 0 1 0 833408618 286658560 68383 4294967295 134512640 134714508 3221224576 3221222312 1074138158 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69985 68387 1111 63 0 69922 0
vsize: 279940
[startup+420.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2409083 0 0 0 36637 5365 0 0 25 0 1 0 833408618 286683136 68421 4294967295 134512640 134714508 3221224576 3221222160 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69991 68421 1111 63 0 69928 0
vsize: 279964
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2418995 0 0 0 37617 5385 0 0 25 0 1 0 833408618 302456832 71708 4294967295 134512640 134714508 3221224576 3221220716 1075116510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71708 1111 63 0 73779 0
vsize: 295368
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419012 0 0 0 38617 5385 0 0 25 0 1 0 833408618 302456832 71725 4294967295 134512640 134714508 3221224576 3221220716 1075116787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71725 1111 63 0 73779 0
vsize: 295368
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419017 0 0 0 39617 5385 0 0 25 0 1 0 833408618 302456832 71730 4294967295 134512640 134714508 3221224576 3221221440 1074620304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71730 1111 63 0 73779 0
vsize: 295368
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419022 0 0 0 40617 5385 0 0 25 0 1 0 833408618 302456832 71735 4294967295 134512640 134714508 3221224576 3221221152 1075967440 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71735 1111 63 0 73779 0
vsize: 295368
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419022 0 0 0 41617 5385 0 0 25 0 1 0 833408618 302456832 71735 4294967295 134512640 134714508 3221224576 3221220768 1074961304 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71735 1111 63 0 73779 0
vsize: 295368
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419023 0 0 0 42618 5385 0 0 25 0 1 0 833408618 302456832 71736 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71736 1111 63 0 73779 0
vsize: 295368
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419026 0 0 0 43618 5385 0 0 25 0 1 0 833408618 302456832 71739 4294967295 134512640 134714508 3221224576 3221220460 1074860811 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71739 1111 63 0 73779 0
vsize: 295368
[startup+500.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419046 0 0 0 44618 5385 0 0 25 0 1 0 833408618 302456832 71759 4294967295 134512640 134714508 3221224576 3221220764 1075116624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71759 1111 63 0 73779 0
vsize: 295368
[startup+510.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419052 0 0 0 45618 5385 0 0 25 0 1 0 833408618 302456832 71765 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73842 71765 1111 63 0 73779 0
vsize: 295368
[startup+520.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419065 0 0 0 46618 5385 0 0 25 0 1 0 833408618 303194112 71778 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71778 1111 63 0 73959 0
vsize: 296088
[startup+530.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419065 0 0 0 47618 5385 0 0 25 0 1 0 833408618 303194112 71778 4294967295 134512640 134714508 3221224576 3221220700 1075563861 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71778 1111 63 0 73959 0
vsize: 296088
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2419065 0 0 0 48619 5385 0 0 25 0 1 0 833408618 303194112 71778 4294967295 134512640 134714508 3221224576 3221220460 1074860595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74022 71778 1111 63 0 73959 0
vsize: 296088
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2423977 0 0 0 49608 5396 0 0 25 0 1 0 833408618 296804352 70438 4294967295 134512640 134714508 3221224576 3221220720 1074792427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70438 1111 63 0 72399 0
vsize: 289848
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2424030 0 0 0 50608 5397 0 0 25 0 1 0 833408618 296804352 70491 4294967295 134512640 134714508 3221224576 3221220700 1075563888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70491 1111 63 0 72399 0
vsize: 289848
[startup+570.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2424030 0 0 0 51608 5397 0 0 25 0 1 0 833408618 296804352 70491 4294967295 134512640 134714508 3221224576 3221220492 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72462 70491 1111 63 0 72399 0
vsize: 289848
[startup+580.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2427455 0 0 0 52599 5406 0 0 25 0 1 0 833408618 290226176 69218 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70856 69218 1111 63 0 70793 0
vsize: 283424
[startup+590.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2484215 0 0 0 53466 5539 0 0 25 0 1 0 833408618 291946496 69638 4294967295 134512640 134714508 3221224576 3221222800 1074039267 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71276 69638 1111 63 0 71213 0
vsize: 285104
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2541899 0 0 0 54332 5673 0 0 25 0 1 0 833408618 298827776 71318 4294967295 134512640 134714508 3221224576 3221222816 1074039475 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72956 71318 1111 63 0 72893 0
vsize: 291824
[startup+610.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2573462 0 0 0 55262 5743 0 0 25 0 1 0 833408618 307924992 73118 4294967295 134512640 134714508 3221224576 3221220364 1074787561 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75177 73118 1111 63 0 75114 0
vsize: 300708
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2573470 0 0 0 56262 5743 0 0 25 0 1 0 833408618 307924992 73126 4294967295 134512640 134714508 3221224576 3221221536 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75177 73126 1111 63 0 75114 0
vsize: 300708
[startup+630.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2573471 0 0 0 57262 5744 0 0 25 0 1 0 833408618 307924992 73127 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75177 73127 1111 63 0 75114 0
vsize: 300708
[startup+640.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2576731 0 0 0 58255 5751 0 0 25 0 1 0 833408618 301359104 71485 4294967295 134512640 134714508 3221224576 3221221248 1074247419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73574 71485 1111 63 0 73511 0
vsize: 294296
[startup+650.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2578069 0 0 0 59253 5753 0 0 25 0 1 0 833408618 302059520 71742 4294967295 134512640 134714508 3221224576 3221220460 1074860630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73745 71742 1111 63 0 73682 0
vsize: 294980
[startup+660.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2578072 0 0 0 60253 5753 0 0 25 0 1 0 833408618 302059520 71745 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73745 71745 1111 63 0 73682 0
vsize: 294980
[startup+670.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2612548 0 0 0 61170 5837 0 0 25 0 1 0 833408618 294887424 70541 4294967295 134512640 134714508 3221224576 3221222976 1074031958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71994 70541 1111 63 0 71931 0
vsize: 287976
[startup+680.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2669132 0 0 0 62034 5972 0 0 25 0 1 0 833408618 301481984 71857 4294967295 134512640 134714508 3221224576 3221222944 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73604 71864 1111 63 0 73541 0
vsize: 294416
[startup+690.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2697733 0 0 0 62967 6040 0 0 25 0 1 0 833408618 308199424 73148 4294967295 134512640 134714508 3221224576 3221221568 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75244 73148 1111 63 0 75181 0
vsize: 300976
[startup+700.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2702391 0 0 0 63957 6049 0 0 25 0 1 0 833408618 302198784 71787 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73779 71787 1111 63 0 73716 0
vsize: 295116
[startup+710.01 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2702393 0 0 0 64958 6050 0 0 25 0 1 0 833408618 302198784 71789 4294967295 134512640 134714508 3221224576 3221220568 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73779 71789 1111 63 0 73716 0
vsize: 295116
[startup+720.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2725831 0 0 0 65902 6105 0 0 25 0 1 0 833408618 294830080 70466 4294967295 134512640 134714508 3221224576 3221222648 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71980 70466 1111 63 0 71917 0
vsize: 287920
[startup+730.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2762202 0 0 0 66817 6191 0 0 25 0 1 0 833408618 299991040 71726 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73240 71726 1111 63 0 73177 0
vsize: 292960
[startup+740.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2786262 0 0 0 67761 6247 0 0 25 0 1 0 833408618 302690304 71873 4294967295 134512640 134714508 3221224576 3221220460 1074860637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73899 71873 1111 63 0 73836 0
vsize: 295596
[startup+750.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2786274 0 0 0 68761 6247 0 0 25 0 1 0 833408618 302690304 71885 4294967295 134512640 134714508 3221224576 3221220632 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73899 71885 1111 63 0 73836 0
vsize: 295596
[startup+760.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2786274 0 0 0 69761 6247 0 0 25 0 1 0 833408618 302690304 71885 4294967295 134512640 134714508 3221224576 3221221152 1075968404 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73899 71885 1111 63 0 73836 0
vsize: 295596
[startup+770.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2794746 0 0 0 70741 6268 0 0 25 0 1 0 833408618 295034880 70614 4294967295 134512640 134714508 3221224576 3221222648 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72030 70614 1111 63 0 71967 0
vsize: 288120
[startup+780.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2830436 0 0 0 71660 6349 0 0 25 0 1 0 833408618 299335680 71664 4294967295 134512640 134714508 3221224576 3221222816 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73080 71664 1111 63 0 73017 0
vsize: 292320
[startup+790.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2864434 0 0 0 72579 6430 0 0 25 0 1 0 833408618 308953088 73303 4294967295 134512640 134714508 3221224576 3221221520 1074810483 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75428 73303 1111 63 0 75365 0
vsize: 301712
[startup+800.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2869143 0 0 0 73570 6439 0 0 25 0 1 0 833408618 302899200 71974 4294967295 134512640 134714508 3221224576 3221220716 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73950 71974 1111 63 0 73887 0
vsize: 295800
[startup+810.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2869143 0 0 0 74570 6439 0 0 25 0 1 0 833408618 302899200 71974 4294967295 134512640 134714508 3221224576 3221221616 1074837098 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73950 71974 1111 63 0 73887 0
vsize: 295800
[startup+820.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2869161 0 0 0 75570 6439 0 0 25 0 1 0 833408618 303636480 71992 4294967295 134512640 134714508 3221224576 3221220568 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74130 71992 1111 63 0 74067 0
vsize: 296520
[startup+830.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2896220 0 0 0 76506 6504 0 0 25 0 1 0 833408618 295497728 70627 4294967295 134512640 134714508 3221224576 3221222708 1075964296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72143 70627 1111 63 0 72080 0
vsize: 288572
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2931809 0 0 0 77422 6588 0 0 25 0 1 0 833408618 303095808 72514 4294967295 134512640 134714508 3221224576 3221222648 1074950074 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73998 72514 1111 63 0 73935 0
vsize: 295992
[startup+850.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2939891 0 0 0 78405 6605 0 0 25 0 1 0 833408618 309276672 73448 4294967295 134512640 134714508 3221224576 3221221536 1075859942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75507 73448 1111 63 0 75444 0
vsize: 302028
[startup+860.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2939891 0 0 0 79414 6605 0 0 25 0 1 0 833408618 309276672 73448 4294967295 134512640 134714508 3221224576 3221220492 1074860948 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75507 73448 1111 63 0 75444 0
vsize: 302028
[startup+870.102 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2944462 0 0 0 80404 6615 0 0 25 0 1 0 833408618 303210496 72029 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74026 72029 1111 63 0 73963 0
vsize: 296104
[startup+880.102 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 2962794 0 0 0 81361 6659 0 0 25 0 1 0 833408618 296329216 70756 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72346 70756 1111 63 0 72283 0
vsize: 289384
[startup+890.101 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3013887 0 0 0 82241 6779 0 0 25 0 1 0 833408618 302923776 72504 4294967295 134512640 134714508 3221224576 3221222976 1074031992 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73956 72504 1111 63 0 73893 0
vsize: 295824
[startup+900.103 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3047324 0 0 0 83164 6856 0 0 25 0 1 0 833408618 311369728 73937 4294967295 134512640 134714508 3221224576 3221220568 1074950192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76018 73937 1111 63 0 75955 0
vsize: 304072
[startup+910.103 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3051952 0 0 0 84154 6866 0 0 25 0 1 0 833408618 305401856 72540 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74561 72540 1111 63 0 74498 0
vsize: 298244
[startup+920.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3051952 0 0 0 85155 6866 0 0 25 0 1 0 833408618 305401856 72540 4294967295 134512640 134714508 3221224576 3221221528 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74561 72540 1111 63 0 74498 0
vsize: 298244
[startup+930.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3071208 0 0 0 86110 6911 0 0 25 0 1 0 833408618 297938944 71186 4294967295 134512640 134714508 3221224576 3221222816 1074039443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72739 71186 1111 63 0 72676 0
vsize: 290956
[startup+940.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3126429 0 0 0 86980 7041 0 0 25 0 1 0 833408618 303099904 72554 4294967295 134512640 134714508 3221224576 3221222816 1075006831 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73999 72562 1111 63 0 73936 0
vsize: 295996
[startup+950.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3168572 0 0 0 87886 7135 0 0 25 0 1 0 833408618 301383680 71071 4294967295 134512640 134714508 3221224576 3221222108 1074831203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73580 71071 1111 63 0 73517 0
vsize: 294320
[startup+960.104 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3222881 0 0 0 88757 7264 0 0 25 0 1 0 833408618 300154880 71692 4294967295 134512640 134714508 3221224576 3221222708 1075964214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73280 71692 1111 63 0 73217 0
vsize: 293120
[startup+970.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3277719 0 0 0 89632 7389 0 0 25 0 1 0 833408618 303595520 72670 4294967295 134512640 134714508 3221224576 3221222648 1074950108 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74120 72670 1111 63 0 74057 0
vsize: 296480
[startup+980.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322614 0 0 0 90525 7496 0 0 25 0 1 0 833408618 312057856 74113 4294967295 134512640 134714508 3221224576 3221221152 1075967744 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76186 74113 1111 63 0 76123 0
vsize: 304744
[startup+990.105 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322640 0 0 0 91526 7496 0 0 25 0 1 0 833408618 312057856 74139 4294967295 134512640 134714508 3221224576 3221220460 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76186 74139 1111 63 0 76123 0
vsize: 304744
[startup+1000.11 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322640 0 0 0 92526 7496 0 0 25 0 1 0 833408618 312057856 74139 4294967295 134512640 134714508 3221224576 3221220828 1075113118 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76186 74139 1111 63 0 76123 0
vsize: 304744
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322641 0 0 0 93526 7496 0 0 25 0 1 0 833408618 312057856 74140 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76186 74140 1111 63 0 76123 0
vsize: 304744
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322651 0 0 0 94527 7496 0 0 25 0 1 0 833408618 312795136 74150 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76366 74150 1111 63 0 76303 0
vsize: 305464
[startup+1030.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3322651 0 0 0 95542 7496 0 0 25 0 1 0 833408618 312795136 74150 4294967295 134512640 134714508 3221224576 3221220492 1074860987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76366 74150 1111 63 0 76303 0
vsize: 305464
[startup+1040.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3327719 0 0 0 96531 7507 0 0 25 0 1 0 833408618 305926144 72695 4294967295 134512640 134714508 3221224576 3221220460 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74689 72695 1111 63 0 74626 0
vsize: 298756
[startup+1050.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3327726 0 0 0 97531 7507 0 0 25 0 1 0 833408618 305926144 72702 4294967295 134512640 134714508 3221224576 3221220492 1074860987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74689 72702 1111 63 0 74626 0
vsize: 298756
[startup+1060.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3337723 0 0 0 98505 7533 0 0 25 0 1 0 833408618 300089344 71587 4294967295 134512640 134714508 3221224576 3221222944 134606488 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73264 71593 1111 63 0 73201 0
vsize: 293056
[startup+1070.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3392048 0 0 0 99376 7663 0 0 25 0 1 0 833408618 300376064 71741 4294967295 134512640 134714508 3221224576 3221222800 1074039235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73334 71741 1111 63 0 73271 0
vsize: 293336
[startup+1080.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3446902 0 0 0 100246 7793 0 0 25 0 1 0 833408618 303816704 72719 4294967295 134512640 134714508 3221224576 3221222648 1074950131 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74174 72719 1111 63 0 74111 0
vsize: 296696
[startup+1090.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482631 0 0 0 101165 7874 0 0 25 0 1 0 833408618 306290688 72760 4294967295 134512640 134714508 3221224576 3221220460 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74778 72760 1111 63 0 74715 0
vsize: 299112
[startup+1100.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482637 0 0 0 102165 7874 0 0 25 0 1 0 833408618 306290688 72766 4294967295 134512640 134714508 3221224576 3221220716 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74778 72766 1111 63 0 74715 0
vsize: 299112
[startup+1110.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482637 0 0 0 103165 7874 0 0 25 0 1 0 833408618 306290688 72766 4294967295 134512640 134714508 3221224576 3221220364 1074787659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74778 72766 1111 63 0 74715 0
vsize: 299112
[startup+1120.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482647 0 0 0 104164 7875 0 0 25 0 1 0 833408618 296194048 70899 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72313 70899 1111 63 0 72250 0
vsize: 289252
[startup+1130.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482647 0 0 0 105164 7875 0 0 25 0 1 0 833408618 296194048 70899 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70899 1111 63 0 72250 0
vsize: 289252
[startup+1140.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482647 0 0 0 106164 7875 0 0 25 0 1 0 833408618 296194048 70899 4294967295 134512640 134714508 3221224576 3221223352 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70899 1111 63 0 72250 0
vsize: 289252
[startup+1150.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482648 0 0 0 107164 7875 0 0 25 0 1 0 833408618 296194048 70900 4294967295 134512640 134714508 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70900 1111 63 0 72250 0
vsize: 289252
[startup+1160.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482648 0 0 0 108164 7875 0 0 25 0 1 0 833408618 296194048 70900 4294967295 134512640 134714508 3221224576 3221223364 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70900 1111 63 0 72250 0
vsize: 289252
[startup+1170.26 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482648 0 0 0 109165 7875 0 0 25 0 1 0 833408618 296194048 70900 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70900 1111 63 0 72250 0
vsize: 289252
[startup+1175.05 s]
Raw data (loadavg): 0.99 0.97 0.92 1/53 28953
Raw data (stat): 28953 (bsolo_lpr_cuts) R 28952 24821 24820 0 -1 0 3482648 0 0 0 109165 7875 0 0 25 0 1 0 833408618 296194048 70900 4294967295 134512640 134714508 3221224576 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72313 70900 1111 63 0 72250 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.19
CPU user time (s): 1096.3
CPU system time (s): 78.888
CPU usage (%): 100.012
Max. virtual memory (Kb): 305464
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####