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/miplib/normalized-mps-v2-20-10-l152lav.opb
MD5SUM	00855a9538cee8df79108d56ee6867b4
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	5046
Optimality of the best value was proved	NO
Number of terms in the objective function	1989
Biggest coefficient in the objective function	268
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	382524
Number of bits of the sum of numbers in the objective function	19
Biggest number in a constraint	268
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	382524
Number of bits of the biggest sum of numbers	19
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.28
Number of variables	1989
Total number of constraints	2086
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	2085
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1989
Trace number 41078

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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:        908752 kB
Buffers:          5840 kB
Cached:          99004 kB
SwapCached:        692 kB
Active:          22340 kB
Inactive:        84564 kB
HighTotal:      131008 kB
HighFree:        54152 kB
LowTotal:       903652 kB
LowFree:        854600 kB
SwapTotal:     2097136 kB
SwapFree:      2095464 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13364 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:28:25 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 29132 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1989 variables and 193 constraints.
c After prepocess the problem consists of 1988 variables and 394 constraints.
c preprocess terminated 74.775 s
c Initial Lower Bound: 4657
c Lower Bound Elapsed time: 2.09
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.03 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.87 0.92 0.90 1/54 29213
Raw data (stat): 29213 (runsolver) R 29212 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907638559 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0002 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 16237 0 0 0 960 37 0 0 25 0 1 0 907638559 69668864 16146 4294967295 134512640 134716908 3221224560 3221223024 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17009 16146 1111 63 0 16946 0
vsize: 68036
[startup+20.0009 s]
Raw data (loadavg): 0.91 0.92 0.90 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17639 0 0 0 1957 40 0 0 25 0 1 0 907638559 75350016 17548 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18396 17548 1111 63 0 18333 0
vsize: 73584
[startup+30.0009 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17693 0 0 0 2957 41 0 0 25 0 1 0 907638559 75620352 17602 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18462 17602 1111 63 0 18399 0
vsize: 73848
[startup+40.0014 s]
Raw data (loadavg): 0.93 0.92 0.90 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17744 0 0 0 3956 41 0 0 25 0 1 0 907638559 75755520 17653 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18495 17653 1111 63 0 18432 0
vsize: 73980
[startup+50.0021 s]
Raw data (loadavg): 0.94 0.93 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17789 0 0 0 4957 41 0 0 25 0 1 0 907638559 76025856 17698 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18561 17698 1111 63 0 18498 0
vsize: 74244
[startup+60.0022 s]
Raw data (loadavg): 0.95 0.93 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17837 0 0 0 5957 41 0 0 25 0 1 0 907638559 76161024 17746 4294967295 134512640 134716908 3221224560 3221223232 134627200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18594 17746 1111 63 0 18531 0
vsize: 74376
[startup+70.0026 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 17882 0 0 0 6957 41 0 0 25 0 1 0 907638559 76431360 17791 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 17791 1111 63 0 18597 0
vsize: 74640
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.93 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 19087 0 0 0 7953 45 0 0 25 0 1 0 907638559 77787136 18265 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18991 18265 1111 63 0 18928 0
vsize: 75964
[startup+90.0027 s]
Raw data (loadavg): 0.97 0.93 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 19687 0 0 0 8951 48 0 0 25 0 1 0 907638559 80199680 18865 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19580 18865 1111 63 0 19517 0
vsize: 78320
[startup+100.003 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 19902 0 0 0 9950 48 0 0 25 0 1 0 907638559 81047552 19071 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19787 19071 1111 63 0 19724 0
vsize: 79148
[startup+110.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 20322 0 0 0 10947 51 0 0 25 0 1 0 907638559 82759680 19491 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20205 19491 1111 63 0 20142 0
vsize: 80820
[startup+120.004 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 20612 0 0 0 11946 53 0 0 25 0 1 0 907638559 83886080 19781 4294967295 134512640 134716908 3221224560 3221223124 134542700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20480 19781 1111 63 0 20417 0
vsize: 81920
[startup+130.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 20733 0 0 0 12945 54 0 0 25 0 1 0 907638559 84426752 19902 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20612 19902 1111 63 0 20549 0
vsize: 82448
[startup+140.003 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 20972 0 0 0 13944 55 0 0 25 0 1 0 907638559 85348352 20141 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20837 20141 1111 63 0 20774 0
vsize: 83348
[startup+150.004 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21032 0 0 0 14944 56 0 0 25 0 1 0 907638559 85618688 20201 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20903 20201 1111 63 0 20840 0
vsize: 83612
[startup+160.003 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21198 0 0 0 15943 56 0 0 25 0 1 0 907638559 86294528 20367 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21068 20367 1111 63 0 21005 0
vsize: 84272
[startup+170.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21253 0 0 0 16943 57 0 0 25 0 1 0 907638559 86614016 20422 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21146 20422 1111 63 0 21083 0
vsize: 84584
[startup+180.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21432 0 0 0 17941 58 0 0 25 0 1 0 907638559 87076864 20564 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21259 20564 1111 63 0 21196 0
vsize: 85036
[startup+190.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21521 0 0 0 18941 59 0 0 25 0 1 0 907638559 87482368 20653 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21358 20653 1111 63 0 21295 0
vsize: 85432
[startup+200.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21531 0 0 0 19941 59 0 0 25 0 1 0 907638559 87482368 20663 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21358 20663 1111 63 0 21295 0
vsize: 85432
[startup+210.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21578 0 0 0 20941 60 0 0 25 0 1 0 907638559 87752704 20710 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21424 20710 1111 63 0 21361 0
vsize: 85696
[startup+220.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21740 0 0 0 21940 60 0 0 25 0 1 0 907638559 88428544 20872 4294967295 134512640 134716908 3221224560 3221223116 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21589 20872 1111 63 0 21526 0
vsize: 86356
[startup+230.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21792 0 0 0 22940 61 0 0 25 0 1 0 907638559 88563712 20924 4294967295 134512640 134716908 3221224560 3221223132 134543615 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21622 20924 1111 63 0 21559 0
vsize: 86488
[startup+240.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21793 0 0 0 23940 61 0 0 25 0 1 0 907638559 88563712 20925 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21622 20925 1111 63 0 21559 0
vsize: 86488
[startup+250.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 21939 0 0 0 24939 62 0 0 25 0 1 0 907638559 89169920 21071 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21770 21071 1111 63 0 21707 0
vsize: 87080
[startup+260.003 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 22312 0 0 0 25938 64 0 0 25 0 1 0 907638559 90767360 21444 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22160 21444 1111 63 0 22097 0
vsize: 88640
[startup+270.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 22556 0 0 0 26937 64 0 0 25 0 1 0 907638559 91713536 21688 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22391 21688 1111 63 0 22328 0
vsize: 89564
[startup+280.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 22614 0 0 0 27936 65 0 0 25 0 1 0 907638559 91971584 21746 4294967295 134512640 134716908 3221224560 3221223228 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22454 21746 1111 63 0 22391 0
vsize: 89816
[startup+290.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 22893 0 0 0 28936 66 0 0 25 0 1 0 907638559 93188096 22025 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22751 22025 1111 63 0 22688 0
vsize: 91004
[startup+300.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 22936 0 0 0 29935 67 0 0 25 0 1 0 907638559 93306880 22068 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22780 22068 1111 63 0 22717 0
vsize: 91120
[startup+310.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23117 0 0 0 30934 68 0 0 25 0 1 0 907638559 94109696 22249 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22976 22249 1111 63 0 22913 0
vsize: 91904
[startup+320.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23282 0 0 0 31933 69 0 0 25 0 1 0 907638559 94785536 22414 4294967295 134512640 134716908 3221224560 3221223208 134543652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23141 22414 1111 63 0 23078 0
vsize: 92564
[startup+330.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23343 0 0 0 32933 69 0 0 25 0 1 0 907638559 94957568 22475 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23183 22475 1111 63 0 23120 0
vsize: 92732
[startup+340.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23550 0 0 0 33932 71 0 0 25 0 1 0 907638559 95850496 22682 4294967295 134512640 134716908 3221224560 3221223232 134542865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23401 22682 1111 63 0 23338 0
vsize: 93604
[startup+350.002 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23655 0 0 0 34931 71 0 0 25 0 1 0 907638559 96251904 22787 4294967295 134512640 134716908 3221224560 3221223312 134592373 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23499 22787 1111 63 0 23436 0
vsize: 93996
[startup+360.003 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23748 0 0 0 35931 72 0 0 25 0 1 0 907638559 96583680 22880 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23580 22880 1111 63 0 23517 0
vsize: 94320
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23798 0 0 0 36931 72 0 0 25 0 1 0 907638559 96854016 22930 4294967295 134512640 134716908 3221224560 3221223228 134543616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23646 22930 1111 63 0 23583 0
vsize: 94584
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 23988 0 0 0 37930 74 0 0 25 0 1 0 907638559 97665024 23120 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23844 23120 1111 63 0 23781 0
vsize: 95376
[startup+390.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24040 0 0 0 38929 74 0 0 25 0 1 0 907638559 97783808 23172 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23873 23172 1111 63 0 23810 0
vsize: 95492
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24121 0 0 0 39929 75 0 0 25 0 1 0 907638559 98189312 23253 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23972 23253 1111 63 0 23909 0
vsize: 95888
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24142 0 0 0 40928 76 0 0 25 0 1 0 907638559 98131968 23263 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23958 23263 1111 63 0 23895 0
vsize: 95832
[startup+420.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24231 0 0 0 41927 77 0 0 25 0 1 0 907638559 98508800 23345 4294967295 134512640 134716908 3221224560 3221223280 1076647545 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24050 23345 1111 63 0 23987 0
vsize: 96200
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24257 0 0 0 42927 77 0 0 25 0 1 0 907638559 98643968 23371 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24083 23371 1111 63 0 24020 0
vsize: 96332
[startup+440.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24258 0 0 0 43927 77 0 0 25 0 1 0 907638559 98643968 23372 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24083 23372 1111 63 0 24020 0
vsize: 96332
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24375 0 0 0 44927 78 0 0 25 0 1 0 907638559 98824192 23432 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24127 23432 1111 63 0 24064 0
vsize: 96508
[startup+460.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24375 0 0 0 45927 78 0 0 25 0 1 0 907638559 98824192 23432 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24127 23432 1111 63 0 24064 0
vsize: 96508
[startup+470.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24401 0 0 0 46926 78 0 0 25 0 1 0 907638559 98959360 23458 4294967295 134512640 134716908 3221224560 3221223320 134592433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24160 23458 1111 63 0 24097 0
vsize: 96640
[startup+480.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24440 0 0 0 47926 79 0 0 25 0 1 0 907638559 99094528 23497 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24193 23497 1111 63 0 24130 0
vsize: 96772
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24561 0 0 0 48925 80 0 0 25 0 1 0 907638559 99635200 23618 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24325 23618 1111 63 0 24262 0
vsize: 97300
[startup+500.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24695 0 0 0 49925 81 0 0 25 0 1 0 907638559 100175872 23752 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24457 23752 1111 63 0 24394 0
vsize: 97828
[startup+510.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24722 0 0 0 50925 81 0 0 25 0 1 0 907638559 100311040 23779 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24490 23779 1111 63 0 24427 0
vsize: 97960
[startup+520.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24807 0 0 0 51924 82 0 0 25 0 1 0 907638559 100716544 23864 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24589 23864 1111 63 0 24526 0
vsize: 98356
[startup+530.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 24930 0 0 0 52923 83 0 0 25 0 1 0 907638559 101122048 23987 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24688 23987 1111 63 0 24625 0
vsize: 98752
[startup+540.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25042 0 0 0 53923 84 0 0 25 0 1 0 907638559 101662720 24099 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24820 24099 1111 63 0 24757 0
vsize: 99280
[startup+550.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25077 0 0 0 54922 84 0 0 25 0 1 0 907638559 101797888 24134 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+560.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25077 0 0 0 55922 85 0 0 25 0 1 0 907638559 101797888 24134 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24853 24134 1111 63 0 24790 0
vsize: 99412
[startup+570.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25116 0 0 0 56922 85 0 0 25 0 1 0 907638559 101933056 24173 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24886 24173 1111 63 0 24823 0
vsize: 99544
[startup+580.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25218 0 0 0 57921 86 0 0 25 0 1 0 907638559 102338560 24275 4294967295 134512640 134716908 3221224560 3221223304 134675309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24985 24275 1111 63 0 24922 0
vsize: 99940
[startup+590.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25218 0 0 0 58921 86 0 0 25 0 1 0 907638559 102117376 24236 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24931 24236 1111 63 0 24868 0
vsize: 99724
[startup+600.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25271 0 0 0 59920 87 0 0 25 0 1 0 907638559 102387712 24283 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+610.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25271 0 0 0 60920 88 0 0 25 0 1 0 907638559 102387712 24283 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+620.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25271 0 0 0 61920 88 0 0 25 0 1 0 907638559 102387712 24283 4294967295 134512640 134716908 3221224560 3221223100 134539287 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24997 24283 1111 63 0 24934 0
vsize: 99988
[startup+630.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25306 0 0 0 62919 89 0 0 25 0 1 0 907638559 102408192 24307 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25002 24307 1111 63 0 24939 0
vsize: 100008
[startup+640.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25306 0 0 0 63919 90 0 0 25 0 1 0 907638559 102408192 24307 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25002 24307 1111 63 0 24939 0
vsize: 100008
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25375 0 0 0 64918 91 0 0 25 0 1 0 907638559 102813696 24376 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25101 24376 1111 63 0 25038 0
vsize: 100404
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25385 0 0 0 65918 91 0 0 25 0 1 0 907638559 102813696 24386 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25101 24386 1111 63 0 25038 0
vsize: 100404
[startup+670.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25497 0 0 0 66917 92 0 0 25 0 1 0 907638559 103219200 24498 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25497 0 0 0 67916 93 0 0 25 0 1 0 907638559 103219200 24498 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25200 24498 1111 63 0 25137 0
vsize: 100800
[startup+690.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25505 0 0 0 68916 94 0 0 25 0 1 0 907638559 103354368 24506 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+700.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25505 0 0 0 69916 94 0 0 25 0 1 0 907638559 103354368 24506 4294967295 134512640 134716908 3221224560 3221223200 134539362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25233 24506 1111 63 0 25170 0
vsize: 100932
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25581 0 0 0 70916 95 0 0 25 0 1 0 907638559 103624704 24582 4294967295 134512640 134716908 3221224560 3221223168 134549467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25581 0 0 0 71915 95 0 0 25 0 1 0 907638559 103624704 24582 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25581 0 0 0 72915 96 0 0 25 0 1 0 907638559 103624704 24582 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25299 24582 1111 63 0 25236 0
vsize: 101196
[startup+740.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25647 0 0 0 73914 96 0 0 25 0 1 0 907638559 103866368 24648 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25358 24648 1111 63 0 25295 0
vsize: 101432
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25770 0 0 0 74914 97 0 0 25 0 1 0 907638559 104415232 24771 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25492 24771 1111 63 0 25429 0
vsize: 101968
[startup+760.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25785 0 0 0 75913 98 0 0 25 0 1 0 907638559 104415232 24786 4294967295 134512640 134716908 3221224560 3221223320 134592427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25492 24786 1111 63 0 25429 0
vsize: 101968
[startup+770.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25906 0 0 0 76913 98 0 0 25 0 1 0 907638559 104955904 24907 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24907 1111 63 0 25561 0
vsize: 102496
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25907 0 0 0 77913 99 0 0 25 0 1 0 907638559 104955904 24908 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24908 1111 63 0 25561 0
vsize: 102496
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25908 0 0 0 78913 99 0 0 25 0 1 0 907638559 104955904 24909 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24909 1111 63 0 25561 0
vsize: 102496
[startup+800.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 25925 0 0 0 79913 99 0 0 25 0 1 0 907638559 104955904 24926 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25624 24926 1111 63 0 25561 0
vsize: 102496
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26167 0 0 0 80911 101 0 0 25 0 1 0 907638559 105955328 25168 4294967295 134512640 134716908 3221224560 3221223168 134548843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25868 25168 1111 63 0 25805 0
vsize: 103472
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26213 0 0 0 81911 102 0 0 25 0 1 0 907638559 106225664 25214 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25934 25214 1111 63 0 25871 0
vsize: 103736
[startup+830.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26262 0 0 0 82910 102 0 0 25 0 1 0 907638559 106442752 25260 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25987 25260 1111 63 0 25924 0
vsize: 103948
[startup+840.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26404 0 0 0 83910 103 0 0 25 0 1 0 907638559 106905600 25402 4294967295 134512640 134716908 3221224560 3221223312 134594947 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26100 25402 1111 63 0 26037 0
vsize: 104400
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26442 0 0 0 84909 104 0 0 25 0 1 0 907638559 107175936 25440 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26166 25440 1111 63 0 26103 0
vsize: 104664
[startup+860.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26554 0 0 0 85908 104 0 0 25 0 1 0 907638559 107536384 25552 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26254 25552 1111 63 0 26191 0
vsize: 105016
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26605 0 0 0 86908 105 0 0 25 0 1 0 907638559 107810816 25603 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26321 25603 1111 63 0 26258 0
vsize: 105284
[startup+880.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26622 0 0 0 87907 106 0 0 25 0 1 0 907638559 107810816 25620 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26321 25620 1111 63 0 26258 0
vsize: 105284
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26749 0 0 0 88906 107 0 0 25 0 1 0 907638559 108351488 25747 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26453 25747 1111 63 0 26390 0
vsize: 105812
[startup+900.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26826 0 0 0 89906 107 0 0 25 0 1 0 907638559 108752896 25824 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26551 25824 1111 63 0 26488 0
vsize: 106204
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26877 0 0 0 90905 108 0 0 25 0 1 0 907638559 108863488 25868 4294967295 134512640 134716908 3221224560 3221223232 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26578 25868 1111 63 0 26515 0
vsize: 106312
[startup+920.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26908 0 0 0 91905 109 0 0 25 0 1 0 907638559 108998656 25899 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26611 25899 1111 63 0 26548 0
vsize: 106444
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 26997 0 0 0 92904 110 0 0 25 0 1 0 907638559 109391872 25982 4294967295 134512640 134716908 3221224560 3221223308 134675317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26707 25982 1111 63 0 26644 0
vsize: 106828
[startup+940.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27080 0 0 0 93903 111 0 0 25 0 1 0 907638559 109662208 26065 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26773 26065 1111 63 0 26710 0
vsize: 107092
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27160 0 0 0 94903 111 0 0 25 0 1 0 907638559 109817856 26085 4294967295 134512640 134716908 3221224560 3221223212 134536814 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26811 26085 1111 63 0 26748 0
vsize: 107244
[startup+960.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27160 0 0 0 95903 112 0 0 25 0 1 0 907638559 109756416 26085 4294967295 134512640 134716908 3221224560 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26796 26085 1111 63 0 26733 0
vsize: 107184
[startup+970.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27358 0 0 0 96902 113 0 0 25 0 1 0 907638559 110518272 26283 4294967295 134512640 134716908 3221224560 3221223312 134592438 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26982 26283 1111 63 0 26919 0
vsize: 107928
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27576 0 0 0 97901 114 0 0 25 0 1 0 907638559 111525888 26501 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27228 26501 1111 63 0 27165 0
vsize: 108912
[startup+990.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27584 0 0 0 98901 114 0 0 25 0 1 0 907638559 111439872 26509 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27207 26509 1111 63 0 27144 0
vsize: 108828
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27718 0 0 0 99900 115 0 0 25 0 1 0 907638559 112029696 26643 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27351 26643 1111 63 0 27288 0
vsize: 109404
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27814 0 0 0 100900 115 0 0 25 0 1 0 907638559 112410624 26739 4294967295 134512640 134716908 3221224560 3221223120 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27444 26739 1111 63 0 27381 0
vsize: 109776
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 27940 0 0 0 101900 116 0 0 25 0 1 0 907638559 112926720 26865 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27570 26865 1111 63 0 27507 0
vsize: 110280
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28015 0 0 0 102899 116 0 0 25 0 1 0 907638559 113197056 26940 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27636 26940 1111 63 0 27573 0
vsize: 110544
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28152 0 0 0 103900 116 0 0 25 0 1 0 907638559 113872896 27077 4294967295 134512640 134716908 3221224560 3221223312 134592443 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27801 27077 1111 63 0 27738 0
vsize: 111204
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28381 0 0 0 104898 118 0 0 25 0 1 0 907638559 114819072 27306 4294967295 134512640 134716908 3221224560 3221223140 1077378583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28032 27306 1111 63 0 27969 0
vsize: 112128
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28652 0 0 0 105897 119 0 0 25 0 1 0 907638559 115818496 27577 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28276 27577 1111 63 0 28213 0
vsize: 113104
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28828 0 0 0 106897 120 0 0 25 0 1 0 907638559 116555776 27729 4294967295 134512640 134716908 3221224560 3221223152 134549550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28456 27729 1111 63 0 28393 0
vsize: 113824
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28960 0 0 0 107896 120 0 0 25 0 1 0 907638559 117096448 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28588 27861 1111 63 0 28525 0
vsize: 114352
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28960 0 0 0 108896 121 0 0 25 0 1 0 907638559 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 28960 0 0 0 109896 122 0 0 25 0 1 0 907638559 117067776 27861 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28581 27861 1111 63 0 28518 0
vsize: 114324
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29010 0 0 0 110895 122 0 0 25 0 1 0 907638559 117207040 27905 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28615 27905 1111 63 0 28552 0
vsize: 114460
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29042 0 0 0 111895 122 0 0 25 0 1 0 907638559 117342208 27937 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28648 27937 1111 63 0 28585 0
vsize: 114592
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29178 0 0 0 112895 123 0 0 25 0 1 0 907638559 117841920 28073 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29178 0 0 0 113894 124 0 0 25 0 1 0 907638559 117841920 28073 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29178 0 0 0 114893 125 0 0 25 0 1 0 907638559 117841920 28073 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28770 28073 1111 63 0 28707 0
vsize: 115080
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29207 0 0 0 115893 125 0 0 25 0 1 0 907638559 117977088 28102 4294967295 134512640 134716908 3221224560 3221223188 1077374207 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 115212
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29207 0 0 0 116893 126 0 0 25 0 1 0 907638559 117977088 28102 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 115212
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 29213
Raw data (stat): 29213 (bsolo_lpr_cuts-) R 29212 7266 7265 0 -1 0 29207 0 0 0 116893 126 0 0 25 0 1 0 907638559 117977088 28102 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28803 28102 1111 63 0 28740 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1173.78
CPU system time (s): 1.3138
CPU usage (%): 100.014
Max. virtual memory (Kb): 115212
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####