PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-dc1c.opb
MD5SUM	bd6d0785955b31f4cbdede5ce3d2b1e9
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	58150
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	6807821537690881359872
Number of bits of the sum of numbers in the objective function	73
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	6808845537690881359872
Number of bits of the biggest sum of numbers	73
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1305.36
Number of variables	58150
Total number of constraints	10029
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	8381
Number of constraints which are nor clauses,nor cardinality constraints	1648
Minimum length of a constraint	1
Maximum length of a constraint	58150
Trace number 26147

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 13:44:04 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15069 boxname=wulflinc31 idbench=1160 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  bd6d0785955b31f4cbdede5ce3d2b1e9  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dc1c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-20-10-dc1c.opb
IDLAUNCH: 15069
/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:        625600 kB
Buffers:         32920 kB
Cached:         355300 kB
SwapCached:        944 kB
Active:         167568 kB
Inactive:       222804 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        625348 kB
SwapTotal:     2097892 kB
SwapFree:      2095920 kB
Dirty:              40 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            13056 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 14:04:07 (client local time) WITH STATUS 0 IN 1200.32 SECONDS
stats: 15069 7 1200.32 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### 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.96 0.97 2/55 29086
Raw data (stat): 29086 (runsolver) R 29085 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 830673719 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0008 s]
Raw data (loadavg): 0.87 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 1889 0 0 0 991 5 0 0 25 0 1 0 830673719 19419136 1812 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4741 1812 1111 63 0 4678 0
vsize: 18964
[startup+20.0019 s]
Raw data (loadavg): 0.89 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 2958 0 0 0 1990 6 0 0 25 0 1 0 830673719 23896064 2881 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5834 2881 1111 63 0 5771 0
vsize: 23336
[startup+30.0028 s]
Raw data (loadavg): 0.91 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 4034 0 0 0 2989 8 0 0 25 0 1 0 830673719 28225536 3957 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6891 3957 1111 63 0 6828 0
vsize: 27564
[startup+40.0024 s]
Raw data (loadavg): 0.92 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 5188 0 0 0 3987 10 0 0 25 0 1 0 830673719 33005568 5111 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8058 5111 1111 63 0 7995 0
vsize: 32232
[startup+50.0029 s]
Raw data (loadavg): 0.93 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 6524 0 0 0 4985 12 0 0 25 0 1 0 830673719 38379520 6447 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9370 6447 1111 63 0 9307 0
vsize: 37480
[startup+60.0036 s]
Raw data (loadavg): 0.94 0.96 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 7639 0 0 0 5982 14 0 0 25 0 1 0 830673719 42991616 7562 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10496 7562 1111 63 0 10433 0
vsize: 41984
[startup+70.0042 s]
Raw data (loadavg): 0.95 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 8865 0 0 0 6980 17 0 0 25 0 1 0 830673719 48066560 8788 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11735 8788 1111 63 0 11672 0
vsize: 46940
[startup+80.0054 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 10027 0 0 0 7978 19 0 0 25 0 1 0 830673719 52850688 9950 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12903 9950 1111 63 0 12840 0
vsize: 51612
[startup+90.0054 s]
Raw data (loadavg): 0.96 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 11327 0 0 0 8976 22 0 0 25 0 1 0 830673719 58077184 11250 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14179 11253 1111 63 0 14116 0
vsize: 56716
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 12748 0 0 0 9974 24 0 0 25 0 1 0 830673719 63897600 12671 4294967295 134512640 134714508 3221221776 3221220004 1077414408 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12671 1111 63 0 15537 0
vsize: 62400
[startup+110.007 s]
Raw data (loadavg): 0.97 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 13944 0 0 0 10972 26 0 0 25 0 1 0 830673719 68796416 13867 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16796 13867 1111 63 0 16733 0
vsize: 67184
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 15130 0 0 0 11969 29 0 0 25 0 1 0 830673719 73723904 15053 4294967295 134512640 134714508 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17999 15053 1111 63 0 17936 0
vsize: 71996
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 16539 0 0 0 12967 32 0 0 25 0 1 0 830673719 79400960 16462 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19385 16462 1111 63 0 19322 0
vsize: 77540
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 17687 0 0 0 13965 34 0 0 25 0 1 0 830673719 84176896 17610 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20551 17610 1111 63 0 20488 0
vsize: 82204
[startup+150.008 s]
Raw data (loadavg): 0.98 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 18835 0 0 0 14963 36 0 0 25 0 1 0 830673719 88805376 18758 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21681 18758 1111 63 0 21618 0
vsize: 86724
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 19959 0 0 0 15962 37 0 0 25 0 1 0 830673719 93433856 19882 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22811 19882 1111 63 0 22748 0
vsize: 91244
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 21283 0 0 0 16960 39 0 0 25 0 1 0 830673719 98955264 21206 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24159 21206 1111 63 0 24096 0
vsize: 96636
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 22578 0 0 0 17958 42 0 0 25 0 1 0 830673719 104185856 22501 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 25436 22501 1111 63 0 25373 0
vsize: 101744
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 23805 0 0 0 18955 45 0 0 25 0 1 0 830673719 109260800 23728 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26675 23728 1111 63 0 26612 0
vsize: 106700
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 25032 0 0 0 19954 46 0 0 25 0 1 0 830673719 114188288 24955 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27878 24955 1111 63 0 27815 0
vsize: 111512
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 26393 0 0 0 20952 48 0 0 25 0 1 0 830673719 119832576 26316 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29256 26316 1111 63 0 29193 0
vsize: 117024
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 27712 0 0 0 21950 50 0 0 25 0 1 0 830673719 125210624 27635 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30569 27635 1111 63 0 30506 0
vsize: 122276
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 29001 0 0 0 22948 52 0 0 25 0 1 0 830673719 130584576 28924 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31881 28924 1111 63 0 31818 0
vsize: 127524
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 30264 0 0 0 23946 55 0 0 25 0 1 0 830673719 135659520 30187 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33120 30187 1111 63 0 33057 0
vsize: 132480
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 31529 0 0 0 24944 57 0 0 25 0 1 0 830673719 140881920 31452 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34395 31452 1111 63 0 34332 0
vsize: 137580
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 32763 0 0 0 25942 59 0 0 25 0 1 0 830673719 145960960 32686 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 35635 32686 1111 63 0 35572 0
vsize: 142540
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 34051 0 0 0 26940 61 0 0 25 0 1 0 830673719 151187456 33974 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 36911 33974 1111 63 0 36848 0
vsize: 147644
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 35624 0 0 0 27937 65 0 0 25 0 1 0 830673719 157605888 35547 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 38478 35547 1111 63 0 38415 0
vsize: 153912
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 36809 0 0 0 28936 66 0 0 25 0 1 0 830673719 162533376 36732 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 39681 36732 1111 63 0 39618 0
vsize: 158724
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 38002 0 0 0 29933 69 0 0 25 0 1 0 830673719 167317504 37925 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 40849 37925 1111 63 0 40786 0
vsize: 163396
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 39192 0 0 0 30931 71 0 0 25 0 1 0 830673719 172240896 39115 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 42051 39115 1111 63 0 41988 0
vsize: 168204
[startup+320.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 40407 0 0 0 31929 73 0 0 25 0 1 0 830673719 177168384 40330 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 43254 40330 1111 63 0 43191 0
vsize: 173016
[startup+330.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 41678 0 0 0 32928 75 0 0 25 0 1 0 830673719 182390784 41601 4294967295 134512640 134714508 3221221776 3221220004 1077414433 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 44529 41601 1111 63 0 44466 0
vsize: 178116
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 42953 0 0 0 33926 77 0 0 25 0 1 0 830673719 187617280 42876 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 45805 42876 1111 63 0 45742 0
vsize: 183220
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 44194 0 0 0 34924 79 0 0 25 0 1 0 830673719 192696320 44117 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 47045 44117 1111 63 0 46982 0
vsize: 188180
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 45439 0 0 0 35922 82 0 0 25 0 1 0 830673719 197771264 45362 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 48284 45362 1111 63 0 48221 0
vsize: 193136
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 46714 0 0 0 36920 84 0 0 25 0 1 0 830673719 202997760 46637 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 49560 46637 1111 63 0 49497 0
vsize: 198240
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 48250 0 0 0 37918 86 0 0 25 0 1 0 830673719 209412096 48173 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 51126 48173 1111 63 0 51063 0
vsize: 204504
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 49520 0 0 0 38916 88 0 0 25 0 1 0 830673719 214642688 49443 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 52403 49443 1111 63 0 52340 0
vsize: 209612
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 50760 0 0 0 39914 90 0 0 25 0 1 0 830673719 219717632 50683 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 53642 50683 1111 63 0 53579 0
vsize: 214568
[startup+410.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 51796 0 0 0 40913 92 0 0 25 0 1 0 830673719 223895552 51719 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54662 51719 1111 63 0 54599 0
vsize: 218648
[startup+420.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 51913 0 0 0 41913 92 0 0 25 0 1 0 830673719 224342016 51836 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54771 51836 1111 63 0 54708 0
vsize: 219084
[startup+430.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52030 0 0 0 42913 92 0 0 25 0 1 0 830673719 224944128 51953 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 54918 51953 1111 63 0 54855 0
vsize: 219672
[startup+440.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52149 0 0 0 43912 92 0 0 25 0 1 0 830673719 225390592 52072 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55027 52072 1111 63 0 54964 0
vsize: 220108
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52266 0 0 0 44912 93 0 0 25 0 1 0 830673719 225841152 52189 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55137 52189 1111 63 0 55074 0
vsize: 220548
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52384 0 0 0 45912 93 0 0 25 0 1 0 830673719 226291712 52307 4294967295 134512640 134714508 3221221776 3221220004 1077414370 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55247 52307 1111 63 0 55184 0
vsize: 220988
[startup+470.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52501 0 0 0 46912 93 0 0 25 0 1 0 830673719 226742272 52424 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55357 52424 1111 63 0 55294 0
vsize: 221428
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52620 0 0 0 47912 93 0 0 25 0 1 0 830673719 227344384 52543 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55504 52543 1111 63 0 55441 0
vsize: 222016
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52737 0 0 0 48912 94 0 0 25 0 1 0 830673719 227790848 52660 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55613 52660 1111 63 0 55550 0
vsize: 222452
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52855 0 0 0 49912 94 0 0 25 0 1 0 830673719 228241408 52778 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55723 52778 1111 63 0 55660 0
vsize: 222892
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 52978 0 0 0 50911 95 0 0 25 0 1 0 830673719 228691968 52901 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55833 52901 1111 63 0 55770 0
vsize: 223332
[startup+520.025 s]
Raw data (loadavg): 1.07 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53104 0 0 0 51911 95 0 0 25 0 1 0 830673719 229294080 53027 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 55980 53027 1111 63 0 55917 0
vsize: 223920
[startup+530.026 s]
Raw data (loadavg): 1.06 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53222 0 0 0 52911 96 0 0 25 0 1 0 830673719 229736448 53145 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56088 53145 1111 63 0 56025 0
vsize: 224352
[startup+540.026 s]
Raw data (loadavg): 1.05 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53347 0 0 0 53911 96 0 0 25 0 1 0 830673719 230191104 53270 4294967295 134512640 134714508 3221221776 3221220004 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56199 53270 1111 63 0 56136 0
vsize: 224796
[startup+550.026 s]
Raw data (loadavg): 1.04 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53470 0 0 0 54910 96 0 0 25 0 1 0 830673719 230789120 53393 4294967295 134512640 134714508 3221221776 3221220004 1077414376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56345 53393 1111 63 0 56282 0
vsize: 225380
[startup+560.027 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53589 0 0 0 55911 97 0 0 25 0 1 0 830673719 231239680 53512 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56455 53512 1111 63 0 56392 0
vsize: 225820
[startup+570.028 s]
Raw data (loadavg): 1.03 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53708 0 0 0 56910 97 0 0 25 0 1 0 830673719 231686144 53631 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56564 53631 1111 63 0 56501 0
vsize: 226256
[startup+580.028 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53838 0 0 0 57910 97 0 0 25 0 1 0 830673719 232288256 53761 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56711 53761 1111 63 0 56648 0
vsize: 226844
[startup+590.029 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 53957 0 0 0 58910 97 0 0 25 0 1 0 830673719 232738816 53880 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56821 53880 1111 63 0 56758 0
vsize: 227284
[startup+600.03 s]
Raw data (loadavg): 1.02 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54088 0 0 0 59910 97 0 0 25 0 1 0 830673719 233336832 54011 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 56967 54011 1111 63 0 56904 0
vsize: 227868
[startup+610.031 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54215 0 0 0 60910 98 0 0 25 0 1 0 830673719 233791488 54138 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57078 54138 1111 63 0 57015 0
vsize: 228312
[startup+620.031 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54339 0 0 0 61910 98 0 0 25 0 1 0 830673719 234233856 54262 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57186 54262 1111 63 0 57123 0
vsize: 228744
[startup+630.031 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54471 0 0 0 62910 98 0 0 25 0 1 0 830673719 234835968 54394 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57333 54394 1111 63 0 57270 0
vsize: 229332
[startup+640.032 s]
Raw data (loadavg): 1.01 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54596 0 0 0 63910 98 0 0 25 0 1 0 830673719 235286528 54519 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57443 54519 1111 63 0 57380 0
vsize: 229772
[startup+650.032 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54722 0 0 0 64910 99 0 0 25 0 1 0 830673719 235888640 54645 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57590 54645 1111 63 0 57527 0
vsize: 230360
[startup+660.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54854 0 0 0 65910 99 0 0 25 0 1 0 830673719 236339200 54777 4294967295 134512640 134714508 3221221776 3221220004 1077414397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57700 54777 1111 63 0 57637 0
vsize: 230800
[startup+670.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 54985 0 0 0 66910 99 0 0 25 0 1 0 830673719 236933120 54908 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57845 54908 1111 63 0 57782 0
vsize: 231380
[startup+680.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55117 0 0 0 67910 99 0 0 25 0 1 0 830673719 237535232 55040 4294967295 134512640 134714508 3221221776 3221220004 1077414424 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 57992 55040 1111 63 0 57929 0
vsize: 231968
[startup+690.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55249 0 0 0 68910 99 0 0 25 0 1 0 830673719 237981696 55172 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58101 55172 1111 63 0 58038 0
vsize: 232404
[startup+700.033 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55380 0 0 0 69910 100 0 0 25 0 1 0 830673719 238583808 55303 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58248 55303 1111 63 0 58185 0
vsize: 232992
[startup+710.034 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55532 0 0 0 70910 100 0 0 25 0 1 0 830673719 239230976 55455 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58406 55455 1111 63 0 58343 0
vsize: 233624
[startup+720.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55662 0 0 0 71910 100 0 0 25 0 1 0 830673719 239824896 55585 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58551 55585 1111 63 0 58488 0
vsize: 234204
[startup+730.035 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55795 0 0 0 72910 100 0 0 25 0 1 0 830673719 240427008 55718 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58698 55718 1111 63 0 58635 0
vsize: 234792
[startup+740.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 55928 0 0 0 73910 101 0 0 25 0 1 0 830673719 240873472 55851 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58807 55851 1111 63 0 58744 0
vsize: 235228
[startup+750.036 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56073 0 0 0 74910 101 0 0 25 0 1 0 830673719 241475584 55996 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 58954 55996 1111 63 0 58891 0
vsize: 235816
[startup+760.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56207 0 0 0 75910 101 0 0 25 0 1 0 830673719 242077696 56130 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59101 56130 1111 63 0 59038 0
vsize: 236404
[startup+770.037 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56352 0 0 0 76910 102 0 0 25 0 1 0 830673719 242671616 56275 4294967295 134512640 134714508 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59246 56275 1111 63 0 59183 0
vsize: 236984
[startup+780.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56498 0 0 0 77910 102 0 0 25 0 1 0 830673719 243273728 56421 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59393 56421 1111 63 0 59330 0
vsize: 237572
[startup+790.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56646 0 0 0 78909 103 0 0 25 0 1 0 830673719 243875840 56569 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59540 56569 1111 63 0 59477 0
vsize: 238160
[startup+800.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56793 0 0 0 79909 103 0 0 25 0 1 0 830673719 244469760 56716 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59685 56716 1111 63 0 59622 0
vsize: 238740
[startup+810.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 56940 0 0 0 80908 104 0 0 25 0 1 0 830673719 245071872 56863 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59832 56863 1111 63 0 59769 0
vsize: 239328
[startup+820.038 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57095 0 0 0 81908 104 0 0 25 0 1 0 830673719 245673984 57018 4294967295 134512640 134714508 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 59979 57018 1111 63 0 59916 0
vsize: 239916
[startup+830.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57250 0 0 0 82908 104 0 0 25 0 1 0 830673719 246272000 57173 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60125 57173 1111 63 0 60062 0
vsize: 240500
[startup+840.039 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57403 0 0 0 83908 104 0 0 25 0 1 0 830673719 246870016 57326 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60271 57326 1111 63 0 60208 0
vsize: 241084
[startup+850.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57558 0 0 0 84908 105 0 0 25 0 1 0 830673719 247619584 57481 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60454 57481 1111 63 0 60391 0
vsize: 241816
[startup+860.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57720 0 0 0 85908 105 0 0 25 0 1 0 830673719 248221696 57643 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60601 57643 1111 63 0 60538 0
vsize: 242404
[startup+870.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 57867 0 0 0 86908 105 0 0 25 0 1 0 830673719 248819712 57790 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60747 57790 1111 63 0 60684 0
vsize: 242988
[startup+880.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58029 0 0 0 87907 106 0 0 25 0 1 0 830673719 249417728 57952 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 60893 57952 1111 63 0 60830 0
vsize: 243572
[startup+890.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58191 0 0 0 88907 106 0 0 25 0 1 0 830673719 250171392 58114 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61077 58114 1111 63 0 61014 0
vsize: 244308
[startup+900.04 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58351 0 0 0 89907 106 0 0 25 0 1 0 830673719 250769408 58274 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61223 58274 1111 63 0 61160 0
vsize: 244892
[startup+910.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58514 0 0 0 90907 107 0 0 25 0 1 0 830673719 251514880 58437 4294967295 134512640 134714508 3221221776 3221220004 1077414358 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61405 58437 1111 63 0 61342 0
vsize: 245620
[startup+920.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58676 0 0 0 91906 108 0 0 25 0 1 0 830673719 252116992 58599 4294967295 134512640 134714508 3221221776 3221220004 1077414357 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61552 58599 1111 63 0 61489 0
vsize: 246208
[startup+930.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58837 0 0 0 92906 108 0 0 25 0 1 0 830673719 252719104 58760 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61699 58760 1111 63 0 61636 0
vsize: 246796
[startup+940.041 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 58998 0 0 0 93906 108 0 0 25 0 1 0 830673719 253464576 58921 4294967295 134512640 134714508 3221221776 3221220004 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 61881 58921 1111 63 0 61818 0
vsize: 247524
[startup+950.042 s]
Raw data (loadavg): 1.00 0.99 0.98 2/55 29086
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 59160 0 0 0 94906 108 0 0 25 0 1 0 830673719 254066688 59083 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62028 59083 1111 63 0 61965 0
vsize: 248112
[startup+960.043 s]
Raw data (loadavg): 1.00 0.99 0.98 3/56 29087
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 59336 0 0 0 95906 109 0 0 25 0 1 0 830673719 254816256 59259 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62211 59259 1111 63 0 62148 0
vsize: 248844
[startup+970.044 s]
Raw data (loadavg): 1.07 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 59499 0 0 0 96905 110 0 0 25 0 1 0 830673719 255418368 59422 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62358 59422 1111 63 0 62295 0
vsize: 249432
[startup+980.043 s]
Raw data (loadavg): 1.06 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 59675 0 0 0 97905 110 0 0 25 0 1 0 830673719 256163840 59598 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62540 59598 1111 63 0 62477 0
vsize: 250160
[startup+990.044 s]
Raw data (loadavg): 1.05 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 59850 0 0 0 98905 111 0 0 25 0 1 0 830673719 256913408 59773 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62723 59773 1111 63 0 62660 0
vsize: 250892
[startup+1000.04 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60027 0 0 0 99905 111 0 0 25 0 1 0 830673719 257667072 59950 4294967295 134512640 134714508 3221221776 3221220004 1077414397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 62907 59950 1111 63 0 62844 0
vsize: 251628
[startup+1010.05 s]
Raw data (loadavg): 1.04 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60205 0 0 0 100905 111 0 0 25 0 1 0 830673719 258412544 60128 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63089 60128 1111 63 0 63026 0
vsize: 252356
[startup+1020.05 s]
Raw data (loadavg): 1.03 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60381 0 0 0 101905 111 0 0 25 0 1 0 830673719 259010560 60304 4294967295 134512640 134714508 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63235 60304 1111 63 0 63172 0
vsize: 252940
[startup+1030.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 29139
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60571 0 0 0 102905 112 0 0 25 0 1 0 830673719 259907584 60494 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63454 60494 1111 63 0 63391 0
vsize: 253816
[startup+1040.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 29141
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60748 0 0 0 103905 112 0 0 25 0 1 0 830673719 260628480 60671 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63630 60671 1111 63 0 63567 0
vsize: 254520
[startup+1050.05 s]
Raw data (loadavg): 1.02 1.00 0.98 2/55 29141
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 60939 0 0 0 104905 112 0 0 25 0 1 0 830673719 261382144 60862 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63814 60862 1111 63 0 63751 0
vsize: 255256
[startup+1060.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/55 29141
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 61129 0 0 0 105905 112 0 0 25 0 1 0 830673719 262131712 61052 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 63997 61052 1111 63 0 63934 0
vsize: 255988
[startup+1070.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/58 29227
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 61314 0 0 0 106904 113 0 0 25 0 1 0 830673719 262881280 61237 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64180 61237 1111 63 0 64117 0
vsize: 256720
[startup+1080.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 29228
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 61511 0 0 0 107904 113 0 0 25 0 1 0 830673719 263630848 61434 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64363 61434 1111 63 0 64300 0
vsize: 257452
[startup+1090.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 29229
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 61703 0 0 0 108904 114 0 0 25 0 1 0 830673719 264531968 61626 4294967295 134512640 134714508 3221221776 3221220004 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64583 61626 1111 63 0 64520 0
vsize: 258332
[startup+1100.05 s]
Raw data (loadavg): 1.01 1.00 0.98 2/57 29229
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 61896 0 0 0 109903 114 0 0 25 0 1 0 830673719 265277440 61819 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64765 61819 1111 63 0 64702 0
vsize: 259060
[startup+1110.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 62092 0 0 0 110903 115 0 0 25 0 1 0 830673719 266027008 62015 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 64948 62015 1111 63 0 64885 0
vsize: 259792
[startup+1120.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 62291 0 0 0 111902 115 0 0 25 0 1 0 830673719 266924032 62214 4294967295 134512640 134714508 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65167 62214 1111 63 0 65104 0
vsize: 260668
[startup+1130.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 62496 0 0 0 112902 116 0 0 25 0 1 0 830673719 267677696 62419 4294967295 134512640 134714508 3221221776 3221220004 1077414435 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65351 62419 1111 63 0 65288 0
vsize: 261404
[startup+1140.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 62703 0 0 0 113901 117 0 0 25 0 1 0 830673719 268578816 62626 4294967295 134512640 134714508 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65571 62626 1111 63 0 65508 0
vsize: 262284
[startup+1150.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 62923 0 0 0 114901 117 0 0 25 0 1 0 830673719 269475840 62846 4294967295 134512640 134714508 3221221776 3221220004 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 65790 62846 1111 63 0 65727 0
vsize: 263160
[startup+1160.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 63156 0 0 0 115900 118 0 0 25 0 1 0 830673719 270376960 63079 4294967295 134512640 134714508 3221221776 3221220004 1077414395 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66010 63079 1111 63 0 65947 0
vsize: 264040
[startup+1170.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 63419 0 0 0 116900 119 0 0 25 0 1 0 830673719 271790080 63342 4294967295 134512640 134714508 3221221776 3221220004 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66355 63342 1111 63 0 66292 0
vsize: 265420
[startup+1180.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 63658 0 0 0 117900 119 0 0 25 0 1 0 830673719 272650240 63581 4294967295 134512640 134714508 3221221776 3221220004 1077414374 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66565 63581 1111 63 0 66502 0
vsize: 266260
[startup+1190.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 63895 0 0 0 118899 120 0 0 25 0 1 0 830673719 273702912 63818 4294967295 134512640 134714508 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 66822 63818 1111 63 0 66759 0
vsize: 267288
[startup+1200.05 s]
Raw data (loadavg): 1.00 1.00 0.98 2/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) R 29085 7876 7672 0 -1 0 64145 0 0 0 119899 120 0 0 25 0 1 0 830673719 274747392 64068 4294967295 134512640 134714508 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67077 64068 1111 63 0 67014 0
vsize: 268308
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.17 s]
Raw data (loadavg): 1.00 1.00 0.98 1/57 29230
Raw data (stat): 29086 (bsolo_lpr_cuts) Z 29085 7876 7672 0 -1 1036 64145 0 0 0 119899 132 0 0 25 0 1 0 830673719 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.17
CPU time (s): 1200.32
CPU user time (s): 1198.99
CPU system time (s): 1.3278
CPU usage (%): 100.012
Max. virtual memory (Kb): 268308
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####