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/MIPLIB/miplib2003/normalized-mps-v2-20-10-10teams.opb
MD5SUM	1ff3cc3253012886aa21be4feac6111e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	924
Optimality of the best value was proved	NO
Number of terms in the objective function	1800
Biggest coefficient in the objective function	86
Number of bits for the biggest coefficient in the objective function	7
Sum of the numbers in the objective function	41700
Number of bits of the sum of numbers in the objective function	16
Biggest number in a constraint	86
Number of bits of the biggest number in a constraint	7
Biggest sum of numbers in a constraint	41700
Number of bits of the biggest sum of numbers	16
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.71
Number of variables	1800
Total number of constraints	2015
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2015
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	72
Trace number 26617

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc27 THE 2005-05-24 16:24:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=12378 boxname=wulflinc27 idbench=953 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  1ff3cc3253012886aa21be4feac6111e  /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-10teams.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc27/normalized-mps-v2-20-10-10teams.opb
IDLAUNCH: 12378
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.169
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.169
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:        903688 kB
Buffers:         34080 kB
Cached:          75452 kB
SwapCached:        628 kB
Active:          64724 kB
Inactive:        47276 kB
HighTotal:      131008 kB
HighFree:        52220 kB
LowTotal:       903652 kB
LowFree:        851468 kB
SwapTotal:     2097892 kB
SwapFree:      2096768 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5648 kB
Slab:            13412 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 16:44:04 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 12378 7 1175.05 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1800 variables and 335 constraints.
c After prepocess the problem consists of 1600 variables and 767 constraints.
c preprocess terminated 67.952 s
c Initial Lower Bound: 897
c Lower Bound Elapsed time: 4.082
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.99 2/54 4945
Raw data (stat): 4945 (runsolver) R 4944 3394 3393 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 831650393 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 s]
Raw data (loadavg): 0.87 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14034 0 0 0 959 38 0 0 25 0 1 0 831650393 60600320 13950 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14795 13950 1111 63 0 14732 0
vsize: 59180
[startup+20.0009 s]
Raw data (loadavg): 0.89 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14065 0 0 0 1959 38 0 0 25 0 1 0 831650393 60735488 13981 4294967295 134512640 134714508 3221224576 3221223236 134627197 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14828 13981 1111 63 0 14765 0
vsize: 59312
[startup+30.0013 s]
Raw data (loadavg): 0.91 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14093 0 0 0 2960 38 0 0 25 0 1 0 831650393 60870656 14009 4294967295 134512640 134714508 3221224576 3221223248 134627187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14861 14009 1111 63 0 14798 0
vsize: 59444
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14124 0 0 0 3960 38 0 0 25 0 1 0 831650393 61005824 14040 4294967295 134512640 134714508 3221224576 3221223240 134627195 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14894 14040 1111 63 0 14831 0
vsize: 59576
[startup+50.0023 s]
Raw data (loadavg): 0.93 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14150 0 0 0 4960 38 0 0 25 0 1 0 831650393 61140992 14066 4294967295 134512640 134714508 3221224576 3221223248 134627252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14927 14066 1111 63 0 14864 0
vsize: 59708
[startup+60.0018 s]
Raw data (loadavg): 0.94 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14180 0 0 0 5960 38 0 0 25 0 1 0 831650393 61276160 14096 4294967295 134512640 134714508 3221224576 3221223248 134627250 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14960 14096 1111 63 0 14897 0
vsize: 59840
[startup+70.003 s]
Raw data (loadavg): 0.95 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 14918 0 0 0 6959 39 0 0 25 0 1 0 831650393 63483904 14708 4294967295 134512640 134714508 3221224576 3221220656 1074794655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15499 14708 1111 63 0 15436 0
vsize: 61996
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 15300 0 0 0 7956 42 0 0 25 0 1 0 831650393 63254528 14744 4294967295 134512640 134714508 3221224576 3221223336 134552638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 14744 1111 63 0 15380 0
vsize: 61772
[startup+90.0032 s]
Raw data (loadavg): 0.96 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 15584 0 0 0 8956 43 0 0 25 0 1 0 831650393 64466944 15028 4294967295 134512640 134714508 3221224576 3221223160 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15739 15028 1111 63 0 15676 0
vsize: 62956
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 15855 0 0 0 9955 44 0 0 25 0 1 0 831650393 65544192 15299 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16002 15299 1111 63 0 15939 0
vsize: 64008
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16051 0 0 0 10954 44 0 0 25 0 1 0 831650393 66318336 15495 4294967295 134512640 134714508 3221224576 3221223360 134529192 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16191 15495 1111 63 0 16128 0
vsize: 64764
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16172 0 0 0 11953 46 0 0 25 0 1 0 831650393 66854912 15616 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16322 15616 1111 63 0 16259 0
vsize: 65288
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16236 0 0 0 12952 47 0 0 25 0 1 0 831650393 67104768 15680 4294967295 134512640 134714508 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16383 15680 1111 63 0 16320 0
vsize: 65532
[startup+140.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16396 0 0 0 13952 47 0 0 25 0 1 0 831650393 67780608 15840 4294967295 134512640 134714508 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16548 15840 1111 63 0 16485 0
vsize: 66192
[startup+150.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16507 0 0 0 14951 48 0 0 25 0 1 0 831650393 68186112 15951 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16647 15951 1111 63 0 16584 0
vsize: 66588
[startup+160.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16561 0 0 0 15951 49 0 0 25 0 1 0 831650393 68452352 16005 4294967295 134512640 134714508 3221224576 3221223216 134539390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16712 16005 1111 63 0 16649 0
vsize: 66848
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16650 0 0 0 16951 49 0 0 25 0 1 0 831650393 68804608 16094 4294967295 134512640 134714508 3221224576 3221223240 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16798 16094 1111 63 0 16735 0
vsize: 67192
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16672 0 0 0 17950 50 0 0 25 0 1 0 831650393 68952064 16113 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16834 16113 1111 63 0 16771 0
vsize: 67336
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16750 0 0 0 18950 50 0 0 25 0 1 0 831650393 69222400 16191 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16900 16191 1111 63 0 16837 0
vsize: 67600
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16923 0 0 0 19949 51 0 0 25 0 1 0 831650393 69902336 16364 4294967295 134512640 134714508 3221224576 3221223216 134696359 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17066 16364 1111 63 0 17003 0
vsize: 68264
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16945 0 0 0 20949 52 0 0 25 0 1 0 831650393 70037504 16386 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17099 16386 1111 63 0 17036 0
vsize: 68396
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16945 0 0 0 21949 52 0 0 25 0 1 0 831650393 70037504 16386 4294967295 134512640 134714508 3221224576 3221223228 1077374048 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17099 16386 1111 63 0 17036 0
vsize: 68396
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 16958 0 0 0 22948 53 0 0 25 0 1 0 831650393 70037504 16399 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17099 16399 1111 63 0 17036 0
vsize: 68396
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17005 0 0 0 23948 53 0 0 25 0 1 0 831650393 70307840 16446 4294967295 134512640 134714508 3221224576 3221223140 134542700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17165 16446 1111 63 0 17102 0
vsize: 68660
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17094 0 0 0 24948 54 0 0 25 0 1 0 831650393 70578176 16535 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17231 16535 1111 63 0 17168 0
vsize: 68924
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17107 0 0 0 25947 54 0 0 25 0 1 0 831650393 70717440 16548 4294967295 134512640 134714508 3221224576 3221223148 134552071 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17265 16548 1111 63 0 17202 0
vsize: 69060
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17164 0 0 0 26947 55 0 0 25 0 1 0 831650393 70987776 16605 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16605 1111 63 0 17268 0
vsize: 69324
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17164 0 0 0 27947 55 0 0 25 0 1 0 831650393 70987776 16605 4294967295 134512640 134714508 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17331 16605 1111 63 0 17268 0
vsize: 69324
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17203 0 0 0 28947 55 0 0 25 0 1 0 831650393 71122944 16644 4294967295 134512640 134714508 3221224576 3221223332 134652855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17364 16644 1111 63 0 17301 0
vsize: 69456
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17252 0 0 0 29946 56 0 0 25 0 1 0 831650393 71225344 16693 4294967295 134512640 134714508 3221224576 3221223160 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17389 16693 1111 63 0 17326 0
vsize: 69556
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17322 0 0 0 30946 57 0 0 25 0 1 0 831650393 71581696 16760 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17476 16760 1111 63 0 17413 0
vsize: 69904
[startup+320.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17359 0 0 0 31946 57 0 0 25 0 1 0 831650393 71716864 16797 4294967295 134512640 134714508 3221224576 3221223136 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17509 16797 1111 63 0 17446 0
vsize: 70036
[startup+330.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17396 0 0 0 32945 58 0 0 25 0 1 0 831650393 71806976 16834 4294967295 134512640 134714508 3221224576 3221223116 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17531 16834 1111 63 0 17468 0
vsize: 70124
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17443 0 0 0 33945 58 0 0 25 0 1 0 831650393 72077312 16881 4294967295 134512640 134714508 3221224576 3221223184 134549460 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17597 16881 1111 63 0 17534 0
vsize: 70388
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17541 0 0 0 34945 58 0 0 25 0 1 0 831650393 72482816 16979 4294967295 134512640 134714508 3221224576 3221223184 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17696 16979 1111 63 0 17633 0
vsize: 70784
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17570 0 0 0 35945 59 0 0 25 0 1 0 831650393 72499200 17006 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17700 17006 1111 63 0 17637 0
vsize: 70800
[startup+370.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17570 0 0 0 36945 59 0 0 25 0 1 0 831650393 72499200 17006 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17700 17006 1111 63 0 17637 0
vsize: 70800
[startup+380.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17573 0 0 0 37945 60 0 0 25 0 1 0 831650393 72634368 17009 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17733 17009 1111 63 0 17670 0
vsize: 70932
[startup+390.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17606 0 0 0 38944 60 0 0 25 0 1 0 831650393 72769536 17042 4294967295 134512640 134714508 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17766 17042 1111 63 0 17703 0
vsize: 71064
[startup+400.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17715 0 0 0 39944 60 0 0 25 0 1 0 831650393 73175040 17151 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17865 17151 1111 63 0 17802 0
vsize: 71460
[startup+410.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17715 0 0 0 40944 60 0 0 25 0 1 0 831650393 73175040 17151 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17865 17151 1111 63 0 17802 0
vsize: 71460
[startup+420.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17723 0 0 0 41944 60 0 0 25 0 1 0 831650393 73175040 17159 4294967295 134512640 134714508 3221224576 3221223216 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17865 17159 1111 63 0 17802 0
vsize: 71460
[startup+430.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17759 0 0 0 42944 61 0 0 25 0 1 0 831650393 73310208 17195 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17898 17195 1111 63 0 17835 0
vsize: 71592
[startup+440.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17792 0 0 0 43944 62 0 0 25 0 1 0 831650393 73445376 17228 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17931 17228 1111 63 0 17868 0
vsize: 71724
[startup+450.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17858 0 0 0 44943 62 0 0 25 0 1 0 831650393 73797632 17294 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18017 17294 1111 63 0 17954 0
vsize: 72068
[startup+460.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17994 0 0 0 45943 63 0 0 25 0 1 0 831650393 74338304 17430 4294967295 134512640 134714508 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18149 17430 1111 63 0 18086 0
vsize: 72596
[startup+470.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 17994 0 0 0 46943 63 0 0 25 0 1 0 831650393 74321920 17430 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18145 17430 1111 63 0 18082 0
vsize: 72580
[startup+480.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18043 0 0 0 47942 64 0 0 25 0 1 0 831650393 74457088 17479 4294967295 134512640 134714508 3221224576 3221223168 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+490.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18043 0 0 0 48942 64 0 0 25 0 1 0 831650393 74457088 17479 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+500.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18043 0 0 0 49942 64 0 0 25 0 1 0 831650393 74457088 17479 4294967295 134512640 134714508 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18043 0 0 0 50942 64 0 0 25 0 1 0 831650393 74457088 17479 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18178 17479 1111 63 0 18115 0
vsize: 72712
[startup+520.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18106 0 0 0 51942 65 0 0 25 0 1 0 831650393 74727424 17542 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18244 17542 1111 63 0 18181 0
vsize: 72976
[startup+530.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18232 0 0 0 52942 65 0 0 25 0 1 0 831650393 75268096 17668 4294967295 134512640 134714508 3221224576 3221223196 134613956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18376 17668 1111 63 0 18313 0
vsize: 73504
[startup+540.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18254 0 0 0 53942 65 0 0 25 0 1 0 831650393 75403264 17690 4294967295 134512640 134714508 3221224576 3221223296 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18409 17690 1111 63 0 18346 0
vsize: 73636
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18326 0 0 0 54942 66 0 0 25 0 1 0 831650393 75620352 17762 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17762 1111 63 0 18399 0
vsize: 73848
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18422 0 0 0 55942 67 0 0 25 0 1 0 831650393 76025856 17858 4294967295 134512640 134714508 3221224576 3221223212 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17858 1111 63 0 18498 0
vsize: 74244
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18447 0 0 0 56942 67 0 0 25 0 1 0 831650393 76161024 17883 4294967295 134512640 134714508 3221224576 3221223164 134542288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17883 1111 63 0 18531 0
vsize: 74376
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18469 0 0 0 57941 67 0 0 25 0 1 0 831650393 76222464 17905 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18609 17905 1111 63 0 18546 0
vsize: 74436
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18562 0 0 0 58941 67 0 0 25 0 1 0 831650393 76627968 17998 4294967295 134512640 134714508 3221224576 3221223116 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18708 17998 1111 63 0 18645 0
vsize: 74832
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18632 0 0 0 59941 68 0 0 25 0 1 0 831650393 76898304 18068 4294967295 134512640 134714508 3221224576 3221223160 134542787 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18774 18068 1111 63 0 18711 0
vsize: 75096
[startup+610.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18636 0 0 0 60941 68 0 0 25 0 1 0 831650393 76898304 18072 4294967295 134512640 134714508 3221224576 3221223048 1077377281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18774 18072 1111 63 0 18711 0
vsize: 75096
[startup+620.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18670 0 0 0 61941 69 0 0 25 0 1 0 831650393 77033472 18106 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18807 18106 1111 63 0 18744 0
vsize: 75228
[startup+630.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18729 0 0 0 62940 69 0 0 25 0 1 0 831650393 77373440 18165 4294967295 134512640 134714508 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18890 18165 1111 63 0 18827 0
vsize: 75560
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18861 0 0 0 63940 70 0 0 25 0 1 0 831650393 77914112 18297 4294967295 134512640 134714508 3221224576 3221223184 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19022 18297 1111 63 0 18959 0
vsize: 76088
[startup+650.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18911 0 0 0 64942 70 0 0 25 0 1 0 831650393 78049280 18347 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19055 18347 1111 63 0 18992 0
vsize: 76220
[startup+660.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18959 0 0 0 65945 70 0 0 25 0 1 0 831650393 78319616 18395 4294967295 134512640 134714508 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19121 18395 1111 63 0 19058 0
vsize: 76484
[startup+670.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 18990 0 0 0 66945 71 0 0 25 0 1 0 831650393 78319616 18426 4294967295 134512640 134714508 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19121 18426 1111 63 0 19058 0
vsize: 76484
[startup+680.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19083 0 0 0 67945 71 0 0 25 0 1 0 831650393 78725120 18519 4294967295 134512640 134714508 3221224576 3221223260 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19220 18519 1111 63 0 19157 0
vsize: 76880
[startup+690.081 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19128 0 0 0 68945 71 0 0 25 0 1 0 831650393 78995456 18564 4294967295 134512640 134714508 3221224576 3221223232 134536643 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19286 18564 1111 63 0 19223 0
vsize: 77144
[startup+700.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19206 0 0 0 69945 72 0 0 25 0 1 0 831650393 79265792 18642 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19352 18642 1111 63 0 19289 0
vsize: 77408
[startup+710.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 70944 72 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+720.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 71945 72 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+730.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 72944 73 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223264 134524466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+740.082 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 73944 73 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+750.083 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 74944 73 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223216 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+760.084 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19310 0 0 0 75944 74 0 0 25 0 1 0 831650393 79671296 18746 4294967295 134512640 134714508 3221224576 3221223216 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19451 18746 1111 63 0 19388 0
vsize: 77804
[startup+770.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19376 0 0 0 76944 74 0 0 25 0 1 0 831650393 79941632 18812 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19517 18812 1111 63 0 19454 0
vsize: 78068
[startup+780.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19466 0 0 0 77943 74 0 0 25 0 1 0 831650393 80347136 18902 4294967295 134512640 134714508 3221224576 3221223184 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+790.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19466 0 0 0 78943 75 0 0 25 0 1 0 831650393 80347136 18902 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+800.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19466 0 0 0 79943 75 0 0 25 0 1 0 831650393 80347136 18902 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+810.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19466 0 0 0 80943 76 0 0 25 0 1 0 831650393 80347136 18902 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19616 18902 1111 63 0 19553 0
vsize: 78464
[startup+820.085 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19661 0 0 0 81942 76 0 0 25 0 1 0 831650393 81129472 19097 4294967295 134512640 134714508 3221224576 3221223184 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19807 19097 1111 63 0 19744 0
vsize: 79228
[startup+830.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19661 0 0 0 82942 76 0 0 25 0 1 0 831650393 81129472 19097 4294967295 134512640 134714508 3221224576 3221223168 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19807 19097 1111 63 0 19744 0
vsize: 79228
[startup+840.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19741 0 0 0 83942 77 0 0 25 0 1 0 831650393 81391616 19177 4294967295 134512640 134714508 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19871 19177 1111 63 0 19808 0
vsize: 79484
[startup+850.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19792 0 0 0 84942 77 0 0 25 0 1 0 831650393 81657856 19228 4294967295 134512640 134714508 3221224576 3221223212 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19936 19228 1111 63 0 19873 0
vsize: 79744
[startup+860.086 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19814 0 0 0 85942 78 0 0 25 0 1 0 831650393 81793024 19250 4294967295 134512640 134714508 3221224576 3221223132 134535634 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19969 19250 1111 63 0 19906 0
vsize: 79876
[startup+870.087 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19867 0 0 0 86942 78 0 0 25 0 1 0 831650393 81928192 19303 4294967295 134512640 134714508 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20002 19303 1111 63 0 19939 0
vsize: 80008
[startup+880.087 s]
Raw data (loadavg): 0.99 0.97 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 87942 78 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+890.087 s]
Raw data (loadavg): 1.07 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 88942 78 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223280 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+900.087 s]
Raw data (loadavg): 1.06 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 89941 79 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+910.088 s]
Raw data (loadavg): 1.05 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 90941 79 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+920.088 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 91941 79 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+930.089 s]
Raw data (loadavg): 1.04 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 19991 0 0 0 92941 80 0 0 25 0 1 0 831650393 82436096 19427 4294967295 134512640 134714508 3221224576 3221223376 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20126 19427 1111 63 0 20063 0
vsize: 80504
[startup+940.089 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20045 0 0 0 93941 80 0 0 25 0 1 0 831650393 82706432 19481 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+950.09 s]
Raw data (loadavg): 1.03 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20045 0 0 0 94941 80 0 0 25 0 1 0 831650393 82706432 19481 4294967295 134512640 134714508 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+960.09 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20045 0 0 0 95941 81 0 0 25 0 1 0 831650393 82706432 19481 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+970.091 s]
Raw data (loadavg): 1.02 0.99 0.99 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20045 0 0 0 96941 81 0 0 25 0 1 0 831650393 82706432 19481 4294967295 134512640 134714508 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20192 19481 1111 63 0 20129 0
vsize: 80768
[startup+980.091 s]
Raw data (loadavg): 1.09 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20078 0 0 0 97941 81 0 0 25 0 1 0 831650393 82841600 19514 4294967295 134512640 134714508 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20225 19514 1111 63 0 20162 0
vsize: 80900
[startup+990.091 s]
Raw data (loadavg): 1.08 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20127 0 0 0 98940 82 0 0 25 0 1 0 831650393 82976768 19563 4294967295 134512640 134714508 3221224576 3221223116 134539217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20258 19563 1111 63 0 20195 0
vsize: 81032
[startup+1000.09 s]
Raw data (loadavg): 1.07 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20305 0 0 0 99940 83 0 0 25 0 1 0 831650393 83787776 19741 4294967295 134512640 134714508 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20456 19741 1111 63 0 20393 0
vsize: 81824
[startup+1010.09 s]
Raw data (loadavg): 1.06 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 100940 83 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223136 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1020.09 s]
Raw data (loadavg): 1.05 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 101940 83 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223228 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1030.09 s]
Raw data (loadavg): 1.04 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 102940 83 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1040.09 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 103939 84 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223184 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1050.09 s]
Raw data (loadavg): 1.03 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 104939 84 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223216 134613454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1060.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 105939 84 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223184 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1070.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20316 0 0 0 106939 85 0 0 25 0 1 0 831650393 83701760 19741 4294967295 134512640 134714508 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20435 19741 1111 63 0 20372 0
vsize: 81740
[startup+1080.1 s]
Raw data (loadavg): 1.02 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20357 0 0 0 107939 85 0 0 25 0 1 0 831650393 83972096 19782 4294967295 134512640 134714508 3221224576 3221223216 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20501 19782 1111 63 0 20438 0
vsize: 82004
[startup+1090.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20359 0 0 0 108939 85 0 0 25 0 1 0 831650393 83972096 19784 4294967295 134512640 134714508 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20501 19784 1111 63 0 20438 0
vsize: 82004
[startup+1100.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20408 0 0 0 109939 86 0 0 25 0 1 0 831650393 83972096 19807 4294967295 134512640 134714508 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20501 19807 1111 63 0 20438 0
vsize: 82004
[startup+1110.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20408 0 0 0 110939 86 0 0 25 0 1 0 831650393 83972096 19807 4294967295 134512640 134714508 3221224576 3221223244 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20501 19807 1111 63 0 20438 0
vsize: 82004
[startup+1120.1 s]
Raw data (loadavg): 1.01 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20408 0 0 0 111939 86 0 0 25 0 1 0 831650393 83972096 19807 4294967295 134512640 134714508 3221224576 3221223168 134543738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20501 19807 1111 63 0 20438 0
vsize: 82004
[startup+1130.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20546 0 0 0 112938 87 0 0 25 0 1 0 831650393 84611072 19945 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20657 19945 1111 63 0 20594 0
vsize: 82628
[startup+1140.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20546 0 0 0 113938 87 0 0 25 0 1 0 831650393 84611072 19945 4294967295 134512640 134714508 3221224576 3221223312 134523927 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20657 19945 1111 63 0 20594 0
vsize: 82628
[startup+1150.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20581 0 0 0 114938 87 0 0 25 0 1 0 831650393 84733952 19980 4294967295 134512640 134714508 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20687 19980 1111 63 0 20624 0
vsize: 82748
[startup+1160.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20591 0 0 0 115938 87 0 0 25 0 1 0 831650393 84733952 19990 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20687 19990 1111 63 0 20624 0
vsize: 82748
[startup+1170.1 s]
Raw data (loadavg): 1.00 1.00 1.00 2/54 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20641 0 0 0 116938 88 0 0 25 0 1 0 831650393 85004288 20040 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20753 20040 1111 63 0 20690 0
vsize: 83012
[startup+1174.88 s]
Raw data (loadavg): 1.00 1.00 1.00 1/53 4945
Raw data (stat): 4945 (bsolo_lpr_cuts) R 4944 3394 3393 0 -1 0 20641 0 0 0 116938 88 0 0 25 0 1 0 831650393 85004288 20040 4294967295 134512640 134714508 3221224576 3221223184 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20753 20040 1111 63 0 20690 0
vsize: 0

Child status: 0
Real time (s): 1174.88
CPU time (s): 1175.05
CPU user time (s): 1174.13
CPU system time (s): 0.922859
CPU usage (%): 100.014
Max. virtual memory (Kb): 83012
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####