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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-fit1d.opb
MD5SUM	de6e9dcd85d0fedc70e76c82543d6a33
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
Number of terms in the objective function	11514
Biggest coefficient in the objective function	2949120
Number of bits for the biggest coefficient in the objective function	22
Sum of the numbers in the objective function	462466666
Number of bits of the sum of numbers in the objective function	29
Biggest number in a constraint	3870720
Number of bits of the biggest number in a constraint	22
Biggest sum of numbers in a constraint	580921206
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.18
Number of variables	11514
Total number of constraints	1050
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	1050
Minimum length of a constraint	11
Maximum length of a constraint	11514
Trace number 26843

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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:        384964 kB
Buffers:         38476 kB
Cached:         580460 kB
SwapCached:          0 kB
Active:          87132 kB
Inactive:       534896 kB
HighTotal:      131008 kB
HighFree:        20720 kB
LowTotal:       903652 kB
LowFree:        364244 kB
SwapTotal:     2097136 kB
SwapFree:      2096968 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           7148 kB
Slab:            22012 kB
Committed_AS:    92716 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:29:55 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 10779 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 11514 variables and 1051 constraints.
c After prepocess the problem consists of 11512 variables and 1050 constraints.
c preprocess terminated 178.059 s
c Initial Lower Bound: -30315768
c Lower Bound Elapsed time: 38.145
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Raw data (loadavg): 0.86 0.97 0.97 2/55 10020
Raw data (stat): 10020 (runsolver) R 10019 8378 8377 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 716853122 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 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+9.9997 s]
Raw data (loadavg): 0.88 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 7540 0 0 0 973 19 0 0 25 0 1 0 716853122 43909120 7464 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10720 7464 1111 63 0 10657 0
vsize: 42880
[startup+19.9994 s]
Raw data (loadavg): 0.90 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 14248 0 0 0 1960 31 0 0 25 0 1 0 716853122 71294976 14172 4294967295 134512640 134714508 3221224592 3221222868 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17406 14172 1111 63 0 17343 0
vsize: 69624
[startup+29.9991 s]
Raw data (loadavg): 0.91 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 14798 0 0 0 2959 32 0 0 25 0 1 0 716853122 73670656 14714 4294967295 134512640 134714508 3221224592 3221223088 134539129 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17986 14714 1111 63 0 17923 0
vsize: 71944
[startup+39.999 s]
Raw data (loadavg): 0.93 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 14970 0 0 0 3958 32 0 0 25 0 1 0 716853122 74407936 14878 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18166 14878 1111 63 0 18103 0
vsize: 72664
[startup+49.9998 s]
Raw data (loadavg): 0.94 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15135 0 0 0 4958 32 0 0 25 0 1 0 716853122 75145216 15035 4294967295 134512640 134714508 3221224592 3221222868 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18346 15035 1111 63 0 18283 0
vsize: 73384
[startup+59.9998 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15328 0 0 0 5957 33 0 0 25 0 1 0 716853122 76079104 15221 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18574 15221 1111 63 0 18511 0
vsize: 74296
[startup+69.9992 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15569 0 0 0 6957 34 0 0 25 0 1 0 716853122 77066240 15455 4294967295 134512640 134714508 3221224592 3221222868 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18815 15455 1111 63 0 18752 0
vsize: 75260
[startup+80.003 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15608 0 0 0 7957 34 0 0 25 0 1 0 716853122 77336576 15494 4294967295 134512640 134714508 3221224592 3221222868 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18881 15495 1111 63 0 18818 0
vsize: 75524
[startup+90.0029 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15812 0 0 0 8956 35 0 0 25 0 1 0 716853122 78200832 15692 4294967295 134512640 134714508 3221224592 3221222868 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19092 15692 1111 63 0 19029 0
vsize: 76368
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 15967 0 0 0 9955 35 0 0 25 0 1 0 716853122 78897152 15840 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19262 15840 1111 63 0 19199 0
vsize: 77048
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 16059 0 0 0 10954 36 0 0 25 0 1 0 716853122 79384576 15930 4294967295 134512640 134714508 3221224592 3221222868 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19381 15930 1111 63 0 19318 0
vsize: 77524
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 16320 0 0 0 11953 37 0 0 25 0 1 0 716853122 80510976 16184 4294967295 134512640 134714508 3221224592 3221222868 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19656 16184 1111 63 0 19593 0
vsize: 78624
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 16534 0 0 0 12952 38 0 0 25 0 1 0 716853122 81440768 16392 4294967295 134512640 134714508 3221224592 3221222868 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19883 16392 1111 63 0 19820 0
vsize: 79532
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 16879 0 0 0 13951 38 0 0 25 0 1 0 716853122 82972672 16727 4294967295 134512640 134714508 3221224592 3221223088 134539146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20257 16727 1111 63 0 20194 0
vsize: 81028
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 20243 0 0 0 14943 45 0 0 25 0 1 0 716853122 78045184 17863 4294967295 134512640 134714508 3221224592 3221223232 134606488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19054 17863 1111 63 0 18991 0
vsize: 76216
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 94482 0 0 0 15777 211 0 0 25 0 1 0 716853122 78184448 17868 4294967295 134512640 134714508 3221224592 3221223232 134606498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19088 17868 1111 63 0 19025 0
vsize: 76352
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 208604 0 0 0 16557 431 0 0 25 0 1 0 716853122 78434304 17964 4294967295 134512640 134714508 3221224592 3221223144 1077377495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19149 17964 1111 63 0 19086 0
vsize: 76596
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 216883 0 0 0 17540 448 0 0 25 0 1 0 716853122 95207424 21980 4294967295 134512640 134714508 3221224592 3221222624 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23244 21980 1111 63 0 23181 0
vsize: 92976
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 218757 0 0 0 18535 452 0 0 25 0 1 0 716853122 95002624 22151 4294967295 134512640 134714508 3221224592 3221220476 1074860566 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+200.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 218757 0 0 0 19535 453 0 0 25 0 1 0 716853122 95002624 22151 4294967295 134512640 134714508 3221224592 3221221168 1075967425 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+210.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 218757 0 0 0 20535 453 0 0 25 0 1 0 716853122 95002624 22151 4294967295 134512640 134714508 3221224592 3221220476 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23194 22151 1111 63 0 23131 0
vsize: 92776
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221086 0 0 0 21531 457 0 0 25 0 1 0 716853122 90415104 21050 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21050 1111 63 0 22011 0
vsize: 88296
[startup+230.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221086 0 0 0 22531 457 0 0 25 0 1 0 716853122 90415104 21050 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21050 1111 63 0 22011 0
vsize: 88296
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221088 0 0 0 23531 458 0 0 25 0 1 0 716853122 90415104 21052 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21052 1111 63 0 22011 0
vsize: 88296
[startup+250.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221090 0 0 0 24531 458 0 0 25 0 1 0 716853122 90415104 21054 4294967295 134512640 134714508 3221224592 3221223372 134600348 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21054 1111 63 0 22011 0
vsize: 88296
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221092 0 0 0 25530 459 0 0 25 0 1 0 716853122 90415104 21056 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21056 1111 63 0 22011 0
vsize: 88296
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221094 0 0 0 26530 459 0 0 25 0 1 0 716853122 90415104 21058 4294967295 134512640 134714508 3221224592 3221223384 134597668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21058 1111 63 0 22011 0
vsize: 88296
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221096 0 0 0 27529 460 0 0 25 0 1 0 716853122 90415104 21060 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21060 1111 63 0 22011 0
vsize: 88296
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 28529 460 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 29529 460 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 30529 461 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+320.108 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 31539 461 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+330.108 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 32539 461 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+340.107 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 33538 462 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+350.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 34539 462 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613539 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+360.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 35539 463 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+370.114 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 36538 463 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223328 134594959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+380.113 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 37538 464 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+390.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 38538 464 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+400.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 39538 465 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+410.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 40538 465 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+420.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 41537 465 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223380 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+430.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221099 0 0 0 42537 466 0 0 25 0 1 0 716853122 90415104 21063 4294967295 134512640 134714508 3221224592 3221223352 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21063 1111 63 0 22011 0
vsize: 88296
[startup+440.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221101 0 0 0 43537 466 0 0 25 0 1 0 716853122 90415104 21065 4294967295 134512640 134714508 3221224592 3221223392 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21065 1111 63 0 22011 0
vsize: 88296
[startup+450.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221103 0 0 0 44536 467 0 0 25 0 1 0 716853122 90415104 21067 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22074 21067 1111 63 0 22011 0
vsize: 88296
[startup+460.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221133 0 0 0 45536 467 0 0 25 0 1 0 716853122 90550272 21097 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22107 21097 1111 63 0 22044 0
vsize: 88428
[startup+470.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221476 0 0 0 46535 469 0 0 25 0 1 0 716853122 92041216 21440 4294967295 134512640 134714508 3221224592 3221223368 134613542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22471 21440 1111 63 0 22408 0
vsize: 89884
[startup+480.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 47534 469 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+490.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 48534 470 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+500.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 49534 470 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+510.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 50534 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223292 134534084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+520.119 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 51534 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+530.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 52534 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+540.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 53534 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223328 134591997 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+550.121 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 54534 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+560.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 55535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+570.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 56535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+580.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 57535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+590.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 58535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+600.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 59535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+610.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 60535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+620.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 61535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+630.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 62535 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+640.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 63536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+650.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 64536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+660.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 65536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+670.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 66536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+680.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 67536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+690.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 68536 471 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+700.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 69536 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+710.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 70536 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+720.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 71537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+730.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 72537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+740.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 73537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+750.125 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 74537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+760.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 75537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+770.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 76537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+780.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 77537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+790.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 78537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+800.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 79537 472 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+810.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221567 0 0 0 80537 473 0 0 25 0 1 0 716853122 92205056 21506 4294967295 134512640 134714508 3221224592 3221223160 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22511 21506 1111 63 0 22448 0
vsize: 90044
[startup+820.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221620 0 0 0 81537 473 0 0 25 0 1 0 716853122 92475392 21559 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21559 1111 63 0 22514 0
vsize: 90308
[startup+830.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221621 0 0 0 82537 473 0 0 25 0 1 0 716853122 92475392 21560 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+840.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221621 0 0 0 83537 473 0 0 25 0 1 0 716853122 92475392 21560 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+850.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221621 0 0 0 84537 473 0 0 25 0 1 0 716853122 92475392 21560 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21560 1111 63 0 22514 0
vsize: 90308
[startup+860.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221622 0 0 0 85537 473 0 0 25 0 1 0 716853122 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+870.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221622 0 0 0 86538 473 0 0 25 0 1 0 716853122 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+880.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221622 0 0 0 87538 473 0 0 25 0 1 0 716853122 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+890.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221622 0 0 0 88538 473 0 0 25 0 1 0 716853122 92475392 21561 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21561 1111 63 0 22514 0
vsize: 90308
[startup+900.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 89538 473 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+910.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 90538 473 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+920.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 91538 474 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+930.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 92538 474 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+940.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 93538 474 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+950.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221625 0 0 0 94538 474 0 0 25 0 1 0 716853122 92475392 21564 4294967295 134512640 134714508 3221224592 3221223200 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22577 21564 1111 63 0 22514 0
vsize: 90308
[startup+960.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221686 0 0 0 95538 474 0 0 25 0 1 0 716853122 92573696 21596 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21596 1111 63 0 22538 0
vsize: 90404
[startup+970.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221715 0 0 0 96538 474 0 0 25 0 1 0 716853122 92708864 21625 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 21625 1111 63 0 22571 0
vsize: 90536
[startup+980.124 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221715 0 0 0 97538 474 0 0 25 0 1 0 716853122 92573696 21596 4294967295 134512640 134714508 3221224592 3221223280 134524469 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22601 21596 1111 63 0 22538 0
vsize: 90404
[startup+990.123 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221744 0 0 0 98538 474 0 0 25 0 1 0 716853122 92708864 21625 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22634 21625 1111 63 0 22571 0
vsize: 90536
[startup+1000.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221773 0 0 0 99538 475 0 0 25 0 1 0 716853122 92680192 21622 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22627 21622 1111 63 0 22564 0
vsize: 90508
[startup+1010.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221773 0 0 0 100539 475 0 0 25 0 1 0 716853122 92680192 21622 4294967295 134512640 134714508 3221224592 3221223296 134524573 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22627 21622 1111 63 0 22564 0
vsize: 90508
[startup+1020.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 101538 475 0 0 25 0 1 0 716853122 92815360 21625 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22660 21625 1111 63 0 22597 0
vsize: 90640
[startup+1030.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 102539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1040.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 103539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1050.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 104539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1060.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 105539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1070.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 106539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1080.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 107539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1090.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 108539 475 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1100.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 109539 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1110.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 110539 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1120.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 111539 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1130.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 112539 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1140.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 113540 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1150.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 114540 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1160.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 115540 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1170.12 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 116540 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 90392
[startup+1175.01 s]
Raw data (loadavg): 0.99 0.97 0.97 1/54 10020
Raw data (stat): 10020 (bsolo_lpr_cuts) R 10019 8378 8377 0 -1 0 221776 0 0 0 116540 476 0 0 25 0 1 0 716853122 92561408 21593 4294967295 134512640 134714508 3221224592 3221223200 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22598 21593 1111 63 0 22535 0
vsize: 0

Child status: 0
Real time (s): 1175.01
CPU time (s): 1175.05
CPU user time (s): 1170.25
CPU system time (s): 4.80427
CPU usage (%): 100.004
Max. virtual memory (Kb): 92976
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####