PB'05 competition: run trace

Some explanations

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

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

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        907252 kB
Buffers:         44420 kB
Cached:          60716 kB
SwapCached:        944 kB
Active:          86584 kB
Inactive:        21036 kB
HighTotal:      131008 kB
HighFree:        69328 kB
LowTotal:       903652 kB
LowFree:        837924 kB
SwapTotal:     2097892 kB
SwapFree:      2096432 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5540 kB
Slab:            14288 kB
Committed_AS:    63656 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-04 15:40:36 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 1136 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2000 variables and 5250 constraints.
c After prepocess the problem consists of 2000 variables and 5250 constraints.
c preprocess terminated 1.181 s
c Initial Lower Bound: 666
c Lower Bound Elapsed time: 248.268
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.85 0.97 0.93 2/54 4374
Raw data (stat): 4374 (runsolver) R 4373 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 658435564 1056768 100 4294967295 134512640 135381576 3221221696 3221216912 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.87 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2644 0 0 0 986 10 0 0 25 0 1 0 658435564 13430784 2327 4294967295 134512640 134714508 3221221792 3221217984 1074961375 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2327 1111 63 0 3216 0
vsize: 13116
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2660 0 0 0 1986 10 0 0 25 0 1 0 658435564 13430784 2343 4294967295 134512640 134714508 3221221792 3221217596 1074788937 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2343 1111 63 0 3216 0
vsize: 13116
[startup+30.0019 s]
Raw data (loadavg): 0.91 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2667 0 0 0 2985 11 0 0 25 0 1 0 658435564 13430784 2350 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3279 2350 1111 63 0 3216 0
vsize: 13116
[startup+40.0016 s]
Raw data (loadavg): 0.92 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2673 0 0 0 3985 11 0 0 25 0 1 0 658435564 13430784 2356 4294967295 134512640 134714508 3221221792 3221218152 1077410163 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3279 2356 1111 63 0 3216 0
vsize: 13116
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2725 0 0 0 4985 11 0 0 25 0 1 0 658435564 13578240 2408 4294967295 134512640 134714508 3221221792 3221218044 1076111479 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3315 2408 1111 63 0 3252 0
vsize: 13260
[startup+60.0025 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2771 0 0 0 5985 11 0 0 25 0 1 0 658435564 13737984 2454 4294967295 134512640 134714508 3221221792 3221217940 1075115039 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3354 2454 1111 63 0 3291 0
vsize: 13416
[startup+70.0025 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2836 0 0 0 6985 12 0 0 25 0 1 0 658435564 13918208 2519 4294967295 134512640 134714508 3221221792 3221217984 1074960795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2519 1111 63 0 3335 0
vsize: 13592
[startup+80.0037 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2851 0 0 0 7985 12 0 0 25 0 1 0 658435564 13918208 2534 4294967295 134512640 134714508 3221221792 3221217984 1074960865 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3398 2534 1111 63 0 3335 0
vsize: 13592
[startup+90.0033 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2907 0 0 0 8985 12 0 0 25 0 1 0 658435564 14114816 2590 4294967295 134512640 134714508 3221221792 3221217940 1075114950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2590 1111 63 0 3383 0
vsize: 13784
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2915 0 0 0 9985 12 0 0 25 0 1 0 658435564 14114816 2598 4294967295 134512640 134714508 3221221792 3221217940 1075115003 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3446 2598 1111 63 0 3383 0
vsize: 13784
[startup+110.005 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 2940 0 0 0 10985 12 0 0 25 0 1 0 658435564 14213120 2623 4294967295 134512640 134714508 3221221792 3221218048 1075114265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3470 2623 1111 63 0 3407 0
vsize: 13880
[startup+120.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3009 0 0 0 11985 12 0 0 25 0 1 0 658435564 14327808 2692 4294967295 134512640 134714508 3221221792 3221218088 1075112592 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3498 2692 1111 63 0 3435 0
vsize: 13992
[startup+130.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3083 0 0 0 12985 12 0 0 25 0 1 0 658435564 14561280 2766 4294967295 134512640 134714508 3221221792 3221218256 1075088573 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2766 1111 63 0 3492 0
vsize: 14220
[startup+140.004 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3088 0 0 0 13985 12 0 0 25 0 1 0 658435564 14561280 2771 4294967295 134512640 134714508 3221221792 3221217596 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2771 1111 63 0 3492 0
vsize: 14220
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3089 0 0 0 14986 12 0 0 25 0 1 0 658435564 14561280 2772 4294967295 134512640 134714508 3221221792 3221217776 1074881411 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2772 1111 63 0 3492 0
vsize: 14220
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3091 0 0 0 15986 12 0 0 25 0 1 0 658435564 14561280 2774 4294967295 134512640 134714508 3221221792 3221217680 1075965246 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3555 2774 1111 63 0 3492 0
vsize: 14220
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3106 0 0 0 16986 12 0 0 25 0 1 0 658435564 14696448 2789 4294967295 134512640 134714508 3221221792 3221217672 1074789206 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3588 2789 1111 63 0 3525 0
vsize: 14352
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3138 0 0 0 17986 13 0 0 25 0 1 0 658435564 14823424 2821 4294967295 134512640 134714508 3221221792 3221218088 1075112595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2821 1111 63 0 3556 0
vsize: 14476
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3139 0 0 0 18986 13 0 0 25 0 1 0 658435564 14823424 2822 4294967295 134512640 134714508 3221221792 3221217924 1075117553 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3139 0 0 0 19986 13 0 0 25 0 1 0 658435564 14823424 2822 4294967295 134512640 134714508 3221221792 3221217924 1075117414 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 3139 0 0 0 20986 13 0 0 25 0 1 0 658435564 14823424 2822 4294967295 134512640 134714508 3221221792 3221217596 1074788950 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3619 2822 1111 63 0 3556 0
vsize: 14476
[startup+220.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4691 0 0 0 21983 17 0 0 25 0 1 0 658435564 12746752 2371 4294967295 134512640 134714508 3221221792 3221219864 1074950114 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+230.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4691 0 0 0 22982 18 0 0 25 0 1 0 658435564 12746752 2371 4294967295 134512640 134714508 3221221792 3221220160 134605905 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+240.006 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4691 0 0 0 23981 19 0 0 25 0 1 0 658435564 12746752 2371 4294967295 134512640 134714508 3221221792 3221220128 1073989433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2371 1111 63 0 3049 0
vsize: 12448
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4694 0 0 0 24981 19 0 0 25 0 1 0 658435564 12746752 2374 4294967295 134512640 134714508 3221221792 3221220556 134543615 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3112 2374 1111 63 0 3049 0
vsize: 12448
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4709 0 0 0 25980 20 0 0 25 0 1 0 658435564 12746752 2389 4294967295 134512640 134714508 3221221792 3221220408 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3112 2389 1111 63 0 3049 0
vsize: 12448
[startup+270.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 4924 0 0 0 26979 21 0 0 25 0 1 0 658435564 13557760 2604 4294967295 134512640 134714508 3221221792 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3310 2604 1111 63 0 3247 0
vsize: 13240
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 5098 0 0 0 27978 22 0 0 25 0 1 0 658435564 14233600 2778 4294967295 134512640 134714508 3221221792 3221220048 134697390 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3475 2778 1111 63 0 3412 0
vsize: 13900
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 5250 0 0 0 28977 23 0 0 25 0 1 0 658435564 14909440 2930 4294967295 134512640 134714508 3221221792 3221220568 134600364 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3640 2930 1111 63 0 3577 0
vsize: 14560
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 5414 0 0 0 29976 24 0 0 25 0 1 0 658435564 15585280 3094 4294967295 134512640 134714508 3221221792 3221220332 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3805 3094 1111 63 0 3742 0
vsize: 15220
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 5663 0 0 0 30975 25 0 0 25 0 1 0 658435564 16531456 3343 4294967295 134512640 134714508 3221221792 3221220512 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4036 3343 1111 63 0 3973 0
vsize: 16144
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 5884 0 0 0 31974 26 0 0 25 0 1 0 658435564 17477632 3564 4294967295 134512640 134714508 3221221792 3221220516 134613700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4267 3564 1111 63 0 4204 0
vsize: 17068
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6059 0 0 0 32973 27 0 0 25 0 1 0 658435564 18153472 3739 4294967295 134512640 134714508 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4432 3739 1111 63 0 4369 0
vsize: 17728
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6247 0 0 0 33972 29 0 0 25 0 1 0 658435564 18960384 3927 4294967295 134512640 134714508 3221221792 3221220428 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4629 3927 1111 63 0 4566 0
vsize: 18516
[startup+350.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6444 0 0 0 34971 30 0 0 25 0 1 0 658435564 19771392 4124 4294967295 134512640 134714508 3221221792 3221220516 134523868 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4827 4124 1111 63 0 4764 0
vsize: 19308
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6584 0 0 0 35971 30 0 0 25 0 1 0 658435564 20312064 4264 4294967295 134512640 134714508 3221221792 3221220552 134592430 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4959 4264 1111 63 0 4896 0
vsize: 19836
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6703 0 0 0 36970 31 0 0 25 0 1 0 658435564 20852736 4383 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5091 4383 1111 63 0 5028 0
vsize: 20364
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6785 0 0 0 37970 32 0 0 25 0 1 0 658435564 21123072 4465 4294967295 134512640 134714508 3221221792 3221220728 134588433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5157 4465 1111 63 0 5094 0
vsize: 20628
[startup+390.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6855 0 0 0 38969 33 0 0 25 0 1 0 658435564 21528576 4535 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5256 4535 1111 63 0 5193 0
vsize: 21024
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 6926 0 0 0 39969 34 0 0 25 0 1 0 658435564 21794816 4606 4294967295 134512640 134714508 3221221792 3221220352 134696530 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5321 4606 1111 63 0 5258 0
vsize: 21284
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7015 0 0 0 40967 35 0 0 25 0 1 0 658435564 22065152 4695 4294967295 134512640 134714508 3221221792 3221220368 134549635 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5387 4695 1111 63 0 5324 0
vsize: 21548
[startup+420.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7178 0 0 0 41967 36 0 0 25 0 1 0 658435564 22740992 4858 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5552 4858 1111 63 0 5489 0
vsize: 22208
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7350 0 0 0 42966 37 0 0 25 0 1 0 658435564 23547904 5030 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5749 5030 1111 63 0 5686 0
vsize: 22996
[startup+440.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7509 0 0 0 43965 38 0 0 25 0 1 0 658435564 24088576 5189 4294967295 134512640 134714508 3221221792 3221220432 134696064 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5881 5189 1111 63 0 5818 0
vsize: 23524
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7691 0 0 0 44964 39 0 0 25 0 1 0 658435564 24899584 5371 4294967295 134512640 134714508 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6079 5371 1111 63 0 6016 0
vsize: 24316
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7846 0 0 0 45964 40 0 0 25 0 1 0 658435564 25575424 5526 4294967295 134512640 134714508 3221221792 3221220332 134539251 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6244 5526 1111 63 0 6181 0
vsize: 24976
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 7992 0 0 0 46963 41 0 0 25 0 1 0 658435564 26116096 5672 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6376 5672 1111 63 0 6313 0
vsize: 25504
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8110 0 0 0 47963 41 0 0 25 0 1 0 658435564 26648576 5790 4294967295 134512640 134714508 3221221792 3221220432 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6506 5790 1111 63 0 6443 0
vsize: 26024
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8179 0 0 0 48962 42 0 0 25 0 1 0 658435564 26918912 5859 4294967295 134512640 134714508 3221221792 3221220364 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6572 5859 1111 63 0 6509 0
vsize: 26288
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8239 0 0 0 49962 43 0 0 25 0 1 0 658435564 27185152 5919 4294967295 134512640 134714508 3221221792 3221220504 134551881 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6637 5919 1111 63 0 6574 0
vsize: 26548
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8323 0 0 0 50961 44 0 0 25 0 1 0 658435564 27455488 6003 4294967295 134512640 134714508 3221221792 3221220380 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6703 6003 1111 63 0 6640 0
vsize: 26812
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8384 0 0 0 51960 45 0 0 25 0 1 0 658435564 27725824 6064 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6769 6064 1111 63 0 6706 0
vsize: 27076
[startup+530.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8442 0 0 0 52960 45 0 0 25 0 1 0 658435564 27979776 6122 4294967295 134512640 134714508 3221221792 3221220424 134552681 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6831 6122 1111 63 0 6768 0
vsize: 27324
[startup+540.021 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8491 0 0 0 53960 45 0 0 25 0 1 0 658435564 28114944 6171 4294967295 134512640 134714508 3221221792 3221220432 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6864 6171 1111 63 0 6801 0
vsize: 27456
[startup+550.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8594 0 0 0 54960 46 0 0 25 0 1 0 658435564 28655616 6274 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6996 6274 1111 63 0 6933 0
vsize: 27984
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8747 0 0 0 55959 47 0 0 25 0 1 0 658435564 29196288 6427 4294967295 134512640 134714508 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7128 6427 1111 63 0 7065 0
vsize: 28512
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 8904 0 0 0 56958 48 0 0 25 0 1 0 658435564 29872128 6584 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7293 6584 1111 63 0 7230 0
vsize: 29172
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9024 0 0 0 57957 49 0 0 25 0 1 0 658435564 30412800 6704 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7425 6704 1111 63 0 7362 0
vsize: 29700
[startup+590.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9147 0 0 0 58957 50 0 0 25 0 1 0 658435564 30818304 6827 4294967295 134512640 134714508 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7524 6827 1111 63 0 7461 0
vsize: 30096
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9262 0 0 0 59956 50 0 0 25 0 1 0 658435564 31350784 6942 4294967295 134512640 134714508 3221221792 3221220496 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7654 6942 1111 63 0 7591 0
vsize: 30616
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9351 0 0 0 60956 51 0 0 25 0 1 0 658435564 31756288 7031 4294967295 134512640 134714508 3221221792 3221220300 134535942 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7753 7031 1111 63 0 7690 0
vsize: 31012
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9437 0 0 0 61956 51 0 0 25 0 1 0 658435564 32026624 7117 4294967295 134512640 134714508 3221221792 3221220344 134696445 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7819 7117 1111 63 0 7756 0
vsize: 31276
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9593 0 0 0 62955 52 0 0 25 0 1 0 658435564 32702464 7273 4294967295 134512640 134714508 3221221792 3221220348 134539235 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7984 7273 1111 63 0 7921 0
vsize: 31936
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9732 0 0 0 63954 53 0 0 25 0 1 0 658435564 33243136 7412 4294967295 134512640 134714508 3221221792 3221220340 134539212 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8116 7412 1111 63 0 8053 0
vsize: 32464
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9848 0 0 0 64953 54 0 0 25 0 1 0 658435564 33783808 7528 4294967295 134512640 134714508 3221221792 3221220412 134523613 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8248 7528 1111 63 0 8185 0
vsize: 32992
[startup+660.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 9971 0 0 0 65952 56 0 0 25 0 1 0 658435564 34189312 7651 4294967295 134512640 134714508 3221221792 3221220432 134543070 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8347 7651 1111 63 0 8284 0
vsize: 33388
[startup+670.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10048 0 0 0 66951 56 0 0 25 0 1 0 658435564 34594816 7728 4294967295 134512640 134714508 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8446 7728 1111 63 0 8383 0
vsize: 33784
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10123 0 0 0 67951 57 0 0 25 0 1 0 658435564 34865152 7803 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8512 7803 1111 63 0 8449 0
vsize: 34048
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10164 0 0 0 68951 57 0 0 25 0 1 0 658435564 35000320 7844 4294967295 134512640 134714508 3221221792 3221220300 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8545 7844 1111 63 0 8482 0
vsize: 34180
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10233 0 0 0 69950 58 0 0 25 0 1 0 658435564 35270656 7913 4294967295 134512640 134714508 3221221792 3221220512 134535757 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8611 7913 1111 63 0 8548 0
vsize: 34444
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10336 0 0 0 70950 59 0 0 25 0 1 0 658435564 35680256 8016 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8711 8016 1111 63 0 8648 0
vsize: 34844
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10440 0 0 0 71949 60 0 0 25 0 1 0 658435564 36220928 8120 4294967295 134512640 134714508 3221221792 3221220424 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8843 8120 1111 63 0 8780 0
vsize: 35372
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10539 0 0 0 72949 60 0 0 25 0 1 0 658435564 36626432 8219 4294967295 134512640 134714508 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8942 8219 1111 63 0 8879 0
vsize: 35768
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10635 0 0 0 73948 61 0 0 25 0 1 0 658435564 37023744 8315 4294967295 134512640 134714508 3221221792 3221220428 134552682 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9039 8315 1111 63 0 8976 0
vsize: 36156
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10709 0 0 0 74948 61 0 0 25 0 1 0 658435564 37289984 8389 4294967295 134512640 134714508 3221221792 3221220372 134542685 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9104 8389 1111 63 0 9041 0
vsize: 36416
[startup+760.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10772 0 0 0 75947 62 0 0 25 0 1 0 658435564 37560320 8452 4294967295 134512640 134714508 3221221792 3221220536 134672913 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9170 8452 1111 63 0 9107 0
vsize: 36680
[startup+770.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10833 0 0 0 76947 63 0 0 25 0 1 0 658435564 37814272 8513 4294967295 134512640 134714508 3221221792 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8513 1111 63 0 9169 0
vsize: 36928
[startup+780.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 10902 0 0 0 77946 63 0 0 25 0 1 0 658435564 38084608 8582 4294967295 134512640 134714508 3221221792 3221220560 134592205 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9298 8582 1111 63 0 9235 0
vsize: 37192
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11010 0 0 0 78945 64 0 0 25 0 1 0 658435564 38490112 8690 4294967295 134512640 134714508 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9397 8690 1111 63 0 9334 0
vsize: 37588
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11095 0 0 0 79945 65 0 0 25 0 1 0 658435564 38895616 8775 4294967295 134512640 134714508 3221221792 3221220512 134584777 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9496 8775 1111 63 0 9433 0
vsize: 37984
[startup+810.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11205 0 0 0 80945 66 0 0 25 0 1 0 658435564 39301120 8885 4294967295 134512640 134714508 3221221792 3221220352 134696724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9595 8885 1111 63 0 9532 0
vsize: 38380
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11289 0 0 0 81944 66 0 0 25 0 1 0 658435564 39702528 8969 4294967295 134512640 134714508 3221221792 3221220300 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9693 8969 1111 63 0 9630 0
vsize: 38772
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11353 0 0 0 82944 67 0 0 25 0 1 0 658435564 39837696 9033 4294967295 134512640 134714508 3221221792 3221220448 134524067 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9726 9033 1111 63 0 9663 0
vsize: 38904
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11409 0 0 0 83944 67 0 0 25 0 1 0 658435564 40108032 9089 4294967295 134512640 134714508 3221221792 3221220340 134696704 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9792 9089 1111 63 0 9729 0
vsize: 39168
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11452 0 0 0 84944 67 0 0 25 0 1 0 658435564 40374272 9132 4294967295 134512640 134714508 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9857 9132 1111 63 0 9794 0
vsize: 39428
[startup+860.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11496 0 0 0 85944 68 0 0 25 0 1 0 658435564 40509440 9176 4294967295 134512640 134714508 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9890 9176 1111 63 0 9827 0
vsize: 39560
[startup+870.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11530 0 0 0 86944 68 0 0 25 0 1 0 658435564 40644608 9210 4294967295 134512640 134714508 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9923 9210 1111 63 0 9860 0
vsize: 39692
[startup+880.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11567 0 0 0 87944 68 0 0 25 0 1 0 658435564 40779776 9247 4294967295 134512640 134714508 3221221792 3221220432 134539516 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9956 9247 1111 63 0 9893 0
vsize: 39824
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11643 0 0 0 88943 68 0 0 25 0 1 0 658435564 41050112 9323 4294967295 134512640 134714508 3221221792 3221220360 1077377249 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10022 9323 1111 63 0 9959 0
vsize: 40088
[startup+900.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11748 0 0 0 89942 70 0 0 25 0 1 0 658435564 41455616 9427 4294967295 134512640 134714508 3221221792 3221220396 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10121 9427 1111 63 0 10058 0
vsize: 40484
[startup+910.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11825 0 0 0 90942 70 0 0 25 0 1 0 658435564 41857024 9504 4294967295 134512640 134714508 3221221792 3221220328 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10219 9504 1111 63 0 10156 0
vsize: 40876
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11902 0 0 0 91942 71 0 0 25 0 1 0 658435564 42127360 9581 4294967295 134512640 134714508 3221221792 3221220464 134542863 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10285 9581 1111 63 0 10222 0
vsize: 41140
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 11964 0 0 0 92941 71 0 0 25 0 1 0 658435564 42397696 9643 4294967295 134512640 134714508 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10351 9643 1111 63 0 10288 0
vsize: 41404
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12051 0 0 0 93941 72 0 0 25 0 1 0 658435564 42803200 9730 4294967295 134512640 134714508 3221221792 3221220568 134600349 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10450 9730 1111 63 0 10387 0
vsize: 41800
[startup+950.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12157 0 0 0 94941 72 0 0 25 0 1 0 658435564 43208704 9836 4294967295 134512640 134714508 3221221792 3221220336 134696457 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10549 9836 1111 63 0 10486 0
vsize: 42196
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12260 0 0 0 95940 73 0 0 25 0 1 0 658435564 43614208 9939 4294967295 134512640 134714508 3221221792 3221220416 134542362 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10648 9939 1111 63 0 10585 0
vsize: 42592
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12349 0 0 0 96940 73 0 0 25 0 1 0 658435564 44019712 10028 4294967295 134512640 134714508 3221221792 3221220452 134524380 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10747 10028 1111 63 0 10684 0
vsize: 42988
[startup+980.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12430 0 0 0 97940 73 0 0 25 0 1 0 658435564 44290048 10109 4294967295 134512640 134714508 3221221792 3221220300 134535911 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10813 10109 1111 63 0 10750 0
vsize: 43252
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12513 0 0 0 98940 74 0 0 25 0 1 0 658435564 44695552 10192 4294967295 134512640 134714508 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10912 10192 1111 63 0 10849 0
vsize: 43648
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12563 0 0 0 99940 74 0 0 25 0 1 0 658435564 44830720 10242 4294967295 134512640 134714508 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10945 10242 1111 63 0 10882 0
vsize: 43780
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12620 0 0 0 100939 75 0 0 25 0 1 0 658435564 45101056 10299 4294967295 134512640 134714508 3221221792 3221220512 134584746 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11011 10299 1111 63 0 10948 0
vsize: 44044
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12698 0 0 0 101939 75 0 0 25 0 1 0 658435564 45371392 10377 4294967295 134512640 134714508 3221221792 3221220416 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11077 10377 1111 63 0 11014 0
vsize: 44308
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12785 0 0 0 102939 75 0 0 25 0 1 0 658435564 45776896 10464 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11176 10464 1111 63 0 11113 0
vsize: 44704
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 12859 0 0 0 103939 76 0 0 25 0 1 0 658435564 46047232 10538 4294967295 134512640 134714508 3221221792 3221220496 134535812 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11242 10538 1111 63 0 11179 0
vsize: 44968
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13016 0 0 0 104939 76 0 0 25 0 1 0 658435564 46723072 10695 4294967295 134512640 134714508 3221221792 3221220576 134529088 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11407 10695 1111 63 0 11344 0
vsize: 45628
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13179 0 0 0 105938 77 0 0 25 0 1 0 658435564 47398912 10858 4294967295 134512640 134714508 3221221792 3221220276 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11572 10858 1111 63 0 11509 0
vsize: 46288
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13333 0 0 0 106937 78 0 0 25 0 1 0 658435564 48074752 11012 4294967295 134512640 134714508 3221221792 3221220432 134539518 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11737 11012 1111 63 0 11674 0
vsize: 46948
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13447 0 0 0 107936 79 0 0 25 0 1 0 658435564 48480256 11126 4294967295 134512640 134714508 3221221792 3221220352 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11836 11126 1111 63 0 11773 0
vsize: 47344
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13586 0 0 0 108936 80 0 0 25 0 1 0 658435564 49020928 11265 4294967295 134512640 134714508 3221221792 3221220472 134543609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11968 11265 1111 63 0 11905 0
vsize: 47872
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13712 0 0 0 109935 81 0 0 25 0 1 0 658435564 49561600 11391 4294967295 134512640 134714508 3221221792 3221220308 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12100 11391 1111 63 0 12037 0
vsize: 48400
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13818 0 0 0 110935 81 0 0 25 0 1 0 658435564 49967104 11497 4294967295 134512640 134714508 3221221792 3221220368 134542814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12199 11497 1111 63 0 12136 0
vsize: 48796
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 13928 0 0 0 111934 82 0 0 25 0 1 0 658435564 50507776 11607 4294967295 134512640 134714508 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12331 11607 1111 63 0 12268 0
vsize: 49324
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14064 0 0 0 112933 83 0 0 25 0 1 0 658435564 51048448 11743 4294967295 134512640 134714508 3221221792 3221220584 134597569 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12463 11743 1111 63 0 12400 0
vsize: 49852
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14122 0 0 0 113933 83 0 0 25 0 1 0 658435564 51318784 11801 4294967295 134512640 134714508 3221221792 3221220508 134552672 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12529 11801 1111 63 0 12466 0
vsize: 50116
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14172 0 0 0 114933 84 0 0 25 0 1 0 658435564 51453952 11851 4294967295 134512640 134714508 3221221792 3221220280 134552642 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12562 11851 1111 63 0 12499 0
vsize: 50248
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14250 0 0 0 115932 84 0 0 25 0 1 0 658435564 51724288 11929 4294967295 134512640 134714508 3221221792 3221220568 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12628 11929 1111 63 0 12565 0
vsize: 50512
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14306 0 0 0 116932 85 0 0 25 0 1 0 658435564 51994624 11985 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12694 11985 1111 63 0 12631 0
vsize: 50776
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 4374
Raw data (stat): 4374 (bsolo_lpr_cuts) R 4373 7876 7672 0 -1 0 14306 0 0 0 116932 85 0 0 25 0 1 0 658435564 51994624 11985 4294967295 134512640 134714508 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12694 11985 1111 63 0 12631 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.05
CPU user time (s): 1174.17
CPU system time (s): 0.879866
CPU usage (%): 100.011
Max. virtual memory (Kb): 50776
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####