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-13-7/plato.asu.edu/pub/fctp/normalized-mps-v2-13-7-n3705.opb
MD5SUM	0c133df60e56cfadff3d5b0562856855
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	105000
Biggest coefficient in the objective function	4194304
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	39009164451
Number of bits of the sum of numbers in the objective function	36
Biggest number in a constraint	4194304
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	39009164451
Number of bits of the biggest sum of numbers	36
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.97685
Number of variables	105000
Total number of constraints	5150
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	5150
Minimum length of a constraint	21
Maximum length of a constraint	2000
Trace number 26944

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc7 THE 2005-05-24 18:17:11 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19060 boxname=wulflinc7 idbench=1467 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  0c133df60e56cfadff3d5b0562856855  /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-n3705.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc7/normalized-mps-v2-13-7-n3705.opb
IDLAUNCH: 19060
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.050
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:        689868 kB
Buffers:         35204 kB
Cached:         288036 kB
SwapCached:        100 kB
Active:          82800 kB
Inactive:       243192 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        689616 kB
SwapTotal:     2097136 kB
SwapFree:      2096820 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           6744 kB
Slab:            13260 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 18:37:13 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 19060 7 1200.27 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.92 0.97 0.91 2/54 29316
Raw data (stat): 29316 (runsolver) R 29315 24300 24299 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 774118810 1052672 99 4294967295 134512640 135381576 3221224496 3221219708 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0007 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 1158 0 0 0 991 3 0 0 25 0 1 0 774118810 16052224 1082 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3919 1082 1111 63 0 3856 0
vsize: 15676
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 1398 0 0 0 1991 4 0 0 25 0 1 0 774118810 17039360 1322 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4160 1322 1111 63 0 4097 0
vsize: 16640
[startup+30.0005 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 1648 0 0 0 2990 4 0 0 25 0 1 0 774118810 18178048 1572 4294967295 134512640 134714508 3221224592 3221222820 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4438 1572 1111 63 0 4375 0
vsize: 17752
[startup+40.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 1890 0 0 0 3991 4 0 0 25 0 1 0 774118810 19165184 1814 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4679 1814 1111 63 0 4616 0
vsize: 18716
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 2137 0 0 0 4990 5 0 0 25 0 1 0 774118810 20152320 2061 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4920 2061 1111 63 0 4857 0
vsize: 19680
[startup+60.0003 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 2390 0 0 0 5990 5 0 0 25 0 1 0 774118810 21135360 2314 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5160 2314 1111 63 0 5097 0
vsize: 20640
[startup+70.0004 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 2637 0 0 0 6990 6 0 0 25 0 1 0 774118810 22114304 2561 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5399 2561 1111 63 0 5336 0
vsize: 21596
[startup+80.0007 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 2885 0 0 0 7989 7 0 0 25 0 1 0 774118810 23240704 2809 4294967295 134512640 134714508 3221224592 3221222820 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5674 2809 1111 63 0 5611 0
vsize: 22696
[startup+90.0002 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 3132 0 0 0 8989 7 0 0 25 0 1 0 774118810 24227840 3056 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5915 3056 1111 63 0 5852 0
vsize: 23660
[startup+100.001 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 3380 0 0 0 9989 7 0 0 25 0 1 0 774118810 25214976 3304 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6156 3304 1111 63 0 6093 0
vsize: 24624
[startup+110 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 3628 0 0 0 10989 8 0 0 25 0 1 0 774118810 26202112 3552 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6397 3552 1111 63 0 6334 0
vsize: 25588
[startup+120.001 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 3884 0 0 0 11989 8 0 0 25 0 1 0 774118810 27348992 3808 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6677 3808 1111 63 0 6614 0
vsize: 26708
[startup+130.001 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 4138 0 0 0 12988 9 0 0 25 0 1 0 774118810 28336128 4062 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6918 4062 1111 63 0 6855 0
vsize: 27672
[startup+140 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 4387 0 0 0 13988 9 0 0 25 0 1 0 774118810 29315072 4311 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7157 4311 1111 63 0 7094 0
vsize: 28628
[startup+150.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 4640 0 0 0 14987 10 0 0 25 0 1 0 774118810 30441472 4564 4294967295 134512640 134714508 3221224592 3221222820 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7432 4564 1111 63 0 7369 0
vsize: 29728
[startup+160.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 4888 0 0 0 15987 10 0 0 25 0 1 0 774118810 31428608 4812 4294967295 134512640 134714508 3221224592 3221222820 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7673 4812 1111 63 0 7610 0
vsize: 30692
[startup+170.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 5138 0 0 0 16987 10 0 0 25 0 1 0 774118810 32415744 5062 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7914 5062 1111 63 0 7851 0
vsize: 31656
[startup+180.001 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 5393 0 0 0 17987 11 0 0 25 0 1 0 774118810 33402880 5317 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8155 5317 1111 63 0 8092 0
vsize: 32620
[startup+190.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 5647 0 0 0 18986 11 0 0 25 0 1 0 774118810 34529280 5571 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8430 5571 1111 63 0 8367 0
vsize: 33720
[startup+200.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 5895 0 0 0 19986 12 0 0 25 0 1 0 774118810 35516416 5819 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8671 5819 1111 63 0 8608 0
vsize: 34684
[startup+210.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 6150 0 0 0 20986 12 0 0 25 0 1 0 774118810 36495360 6074 4294967295 134512640 134714508 3221224592 3221222820 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8910 6074 1111 63 0 8847 0
vsize: 35640
[startup+220.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 6403 0 0 0 21985 13 0 0 25 0 1 0 774118810 37625856 6327 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9186 6327 1111 63 0 9123 0
vsize: 36744
[startup+230.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 6669 0 0 0 22985 14 0 0 25 0 1 0 774118810 38760448 6593 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9463 6593 1111 63 0 9400 0
vsize: 37852
[startup+240.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 6923 0 0 0 23984 15 0 0 25 0 1 0 774118810 39747584 6847 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9704 6847 1111 63 0 9641 0
vsize: 38816
[startup+250.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 7179 0 0 0 24984 15 0 0 25 0 1 0 774118810 40878080 7103 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9980 7103 1111 63 0 9917 0
vsize: 39920
[startup+260.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 7435 0 0 0 25984 15 0 0 25 0 1 0 774118810 41861120 7359 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10220 7359 1111 63 0 10157 0
vsize: 40880
[startup+270.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 7695 0 0 0 26983 16 0 0 25 0 1 0 774118810 42987520 7619 4294967295 134512640 134714508 3221224592 3221222820 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10495 7619 1111 63 0 10432 0
vsize: 41980
[startup+280.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 7951 0 0 0 27983 16 0 0 25 0 1 0 774118810 43974656 7875 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10736 7875 1111 63 0 10673 0
vsize: 42944
[startup+290.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 8206 0 0 0 28983 17 0 0 25 0 1 0 774118810 44957696 8130 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10976 8130 1111 63 0 10913 0
vsize: 43904
[startup+300.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 8466 0 0 0 29983 17 0 0 25 0 1 0 774118810 46084096 8390 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11251 8390 1111 63 0 11188 0
vsize: 45004
[startup+310.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 8723 0 0 0 30982 18 0 0 25 0 1 0 774118810 47071232 8647 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11492 8647 1111 63 0 11429 0
vsize: 45968
[startup+320.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 8979 0 0 0 31982 18 0 0 25 0 1 0 774118810 48197632 8903 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11767 8903 1111 63 0 11704 0
vsize: 47068
[startup+330.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 9241 0 0 0 32982 19 0 0 25 0 1 0 774118810 49184768 9165 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12008 9165 1111 63 0 11945 0
vsize: 48032
[startup+340.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 9503 0 0 0 33982 19 0 0 25 0 1 0 774118810 50311168 9427 4294967295 134512640 134714508 3221224592 3221223248 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12283 9427 1111 63 0 12220 0
vsize: 49132
[startup+350.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 9764 0 0 0 34982 19 0 0 25 0 1 0 774118810 51437568 9688 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12558 9688 1111 63 0 12495 0
vsize: 50232
[startup+360.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 10020 0 0 0 35982 20 0 0 25 0 1 0 774118810 52424704 9944 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12799 9944 1111 63 0 12736 0
vsize: 51196
[startup+370.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 10282 0 0 0 36981 20 0 0 25 0 1 0 774118810 53551104 10206 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13074 10206 1111 63 0 13011 0
vsize: 52296
[startup+380 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 10542 0 0 0 37981 20 0 0 25 0 1 0 774118810 54530048 10466 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13313 10466 1111 63 0 13250 0
vsize: 53252
[startup+390 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 10806 0 0 0 38981 21 0 0 25 0 1 0 774118810 55656448 10730 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13588 10730 1111 63 0 13525 0
vsize: 54352
[startup+400 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 11073 0 0 0 39981 21 0 0 25 0 1 0 774118810 56782848 10997 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13863 10997 1111 63 0 13800 0
vsize: 55452
[startup+410 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 11335 0 0 0 40980 21 0 0 25 0 1 0 774118810 57774080 11259 4294967295 134512640 134714508 3221224592 3221222820 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14105 11259 1111 63 0 14042 0
vsize: 56420
[startup+420 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 11597 0 0 0 41980 22 0 0 25 0 1 0 774118810 58900480 11521 4294967295 134512640 134714508 3221224592 3221222820 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14380 11521 1111 63 0 14317 0
vsize: 57520
[startup+430 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 11858 0 0 0 42980 22 0 0 25 0 1 0 774118810 59883520 11782 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14620 11782 1111 63 0 14557 0
vsize: 58480
[startup+439.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 12138 0 0 0 43980 22 0 0 25 0 1 0 774118810 61231104 12062 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14949 12062 1111 63 0 14886 0
vsize: 59796
[startup+449.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 12407 0 0 0 44980 23 0 0 25 0 1 0 774118810 62357504 12331 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15224 12331 1111 63 0 15161 0
vsize: 60896
[startup+460 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 12676 0 0 0 45979 24 0 0 25 0 1 0 774118810 63340544 12600 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15464 12600 1111 63 0 15401 0
vsize: 61856
[startup+470 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 12936 0 0 0 46979 24 0 0 25 0 1 0 774118810 64466944 12860 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15739 12860 1111 63 0 15676 0
vsize: 62956
[startup+480 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 13205 0 0 0 47979 24 0 0 25 0 1 0 774118810 65593344 13129 4294967295 134512640 134714508 3221224592 3221222820 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16014 13129 1111 63 0 15951 0
vsize: 64056
[startup+490 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 13474 0 0 0 48978 25 0 0 25 0 1 0 774118810 66719744 13398 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16289 13398 1111 63 0 16226 0
vsize: 65156
[startup+500 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 13744 0 0 0 49978 25 0 0 25 0 1 0 774118810 67706880 13668 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16530 13668 1111 63 0 16467 0
vsize: 66120
[startup+510 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 14012 0 0 0 50978 26 0 0 25 0 1 0 774118810 68833280 13936 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16805 13936 1111 63 0 16742 0
vsize: 67220
[startup+520 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 14281 0 0 0 51977 26 0 0 25 0 1 0 774118810 69959680 14205 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17080 14205 1111 63 0 17017 0
vsize: 68320
[startup+530 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 14550 0 0 0 52978 27 0 0 25 0 1 0 774118810 71086080 14474 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17355 14474 1111 63 0 17292 0
vsize: 69420
[startup+540 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 14826 0 0 0 53977 27 0 0 25 0 1 0 774118810 72212480 14750 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17630 14750 1111 63 0 17567 0
vsize: 70520
[startup+550 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 15095 0 0 0 54977 28 0 0 25 0 1 0 774118810 73338880 15019 4294967295 134512640 134714508 3221224592 3221222820 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 15019 1111 63 0 17842 0
vsize: 71620
[startup+560 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 15364 0 0 0 55977 28 0 0 25 0 1 0 774118810 74326016 15288 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18146 15288 1111 63 0 18083 0
vsize: 72584
[startup+569.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 15640 0 0 0 56976 29 0 0 25 0 1 0 774118810 75452416 15564 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18421 15564 1111 63 0 18358 0
vsize: 73684
[startup+580 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 15910 0 0 0 57976 29 0 0 25 0 1 0 774118810 76578816 15834 4294967295 134512640 134714508 3221224592 3221222820 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18696 15834 1111 63 0 18633 0
vsize: 74784
[startup+589.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 16185 0 0 0 58976 29 0 0 25 0 1 0 774118810 77701120 16109 4294967295 134512640 134714508 3221224592 3221222820 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18970 16109 1111 63 0 18907 0
vsize: 75880
[startup+599.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 16453 0 0 0 59975 30 0 0 25 0 1 0 774118810 78827520 16377 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19245 16377 1111 63 0 19182 0
vsize: 76980
[startup+609.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 16729 0 0 0 60975 31 0 0 25 0 1 0 774118810 79953920 16653 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19520 16653 1111 63 0 19457 0
vsize: 78080
[startup+619.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 17005 0 0 0 61974 31 0 0 25 0 1 0 774118810 81080320 16929 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19795 16929 1111 63 0 19732 0
vsize: 79180
[startup+629.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 17281 0 0 0 62974 32 0 0 25 0 1 0 774118810 82206720 17205 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20070 17205 1111 63 0 20007 0
vsize: 80280
[startup+639.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 17557 0 0 0 63974 32 0 0 25 0 1 0 774118810 83333120 17481 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20345 17481 1111 63 0 20282 0
vsize: 81380
[startup+649.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 17832 0 0 0 64974 33 0 0 25 0 1 0 774118810 84459520 17756 4294967295 134512640 134714508 3221224592 3221222820 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20620 17756 1111 63 0 20557 0
vsize: 82480
[startup+659.999 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 18114 0 0 0 65973 33 0 0 25 0 1 0 774118810 85590016 18038 4294967295 134512640 134714508 3221224592 3221222820 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20896 18038 1111 63 0 20833 0
vsize: 83584
[startup+669.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 18391 0 0 0 66972 34 0 0 25 0 1 0 774118810 86716416 18315 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21171 18315 1111 63 0 21108 0
vsize: 84684
[startup+679.998 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 18673 0 0 0 67972 35 0 0 25 0 1 0 774118810 87842816 18597 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21446 18597 1111 63 0 21383 0
vsize: 85784
[startup+689.998 s]
Raw data (loadavg): 1.00 0.99 0.91 3/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 18950 0 0 0 68972 35 0 0 25 0 1 0 774118810 88969216 18874 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21721 18874 1111 63 0 21658 0
vsize: 86884
[startup+699.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 19232 0 0 0 69971 36 0 0 25 0 1 0 774118810 90234880 19156 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22030 19156 1111 63 0 21967 0
vsize: 88120
[startup+709.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 19514 0 0 0 70971 36 0 0 25 0 1 0 774118810 91361280 19438 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22305 19438 1111 63 0 22242 0
vsize: 89220
[startup+719.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 19791 0 0 0 71971 37 0 0 25 0 1 0 774118810 92491776 19715 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22581 19715 1111 63 0 22518 0
vsize: 90324
[startup+729.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 20073 0 0 0 72970 37 0 0 25 0 1 0 774118810 93618176 19997 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22856 19997 1111 63 0 22793 0
vsize: 91424
[startup+739.998 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 20357 0 0 0 73970 38 0 0 25 0 1 0 774118810 94744576 20281 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23131 20281 1111 63 0 23068 0
vsize: 92524
[startup+749.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 20645 0 0 0 74970 38 0 0 25 0 1 0 774118810 96010240 20569 4294967295 134512640 134714508 3221224592 3221222820 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23440 20569 1111 63 0 23377 0
vsize: 93760
[startup+759.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 20928 0 0 0 75970 38 0 0 25 0 1 0 774118810 97136640 20852 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23715 20852 1111 63 0 23652 0
vsize: 94860
[startup+769.999 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 21211 0 0 0 76969 39 0 0 25 0 1 0 774118810 98263040 21135 4294967295 134512640 134714508 3221224592 3221222820 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23990 21135 1111 63 0 23927 0
vsize: 95960
[startup+780 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 21501 0 0 0 77969 40 0 0 25 0 1 0 774118810 99385344 21425 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24264 21425 1111 63 0 24201 0
vsize: 97056
[startup+790 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 21784 0 0 0 78968 40 0 0 25 0 1 0 774118810 100659200 21708 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24575 21708 1111 63 0 24512 0
vsize: 98300
[startup+800 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 22073 0 0 0 79968 41 0 0 25 0 1 0 774118810 101777408 21997 4294967295 134512640 134714508 3221224592 3221222820 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24848 21997 1111 63 0 24785 0
vsize: 99392
[startup+810.001 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 22356 0 0 0 80968 42 0 0 25 0 1 0 774118810 102903808 22280 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25123 22280 1111 63 0 25060 0
vsize: 100492
[startup+820.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 22643 0 0 0 81967 42 0 0 25 0 1 0 774118810 104169472 22567 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25432 22567 1111 63 0 25369 0
vsize: 101728
[startup+830.002 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 22932 0 0 0 82967 42 0 0 25 0 1 0 774118810 105295872 22856 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25707 22856 1111 63 0 25644 0
vsize: 102828
[startup+840.003 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 23254 0 0 0 83968 43 0 0 25 0 1 0 774118810 106926080 23178 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26105 23178 1111 63 0 26042 0
vsize: 104420
[startup+850.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 23543 0 0 0 84968 43 0 0 25 0 1 0 774118810 108052480 23467 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26380 23467 1111 63 0 26317 0
vsize: 105520
[startup+860.006 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 23834 0 0 0 85967 43 0 0 25 0 1 0 774118810 109178880 23758 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 23758 1111 63 0 26592 0
vsize: 106620
[startup+870.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 24123 0 0 0 86967 44 0 0 25 0 1 0 774118810 110444544 24047 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26964 24047 1111 63 0 26901 0
vsize: 107856
[startup+880.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 24420 0 0 0 87967 45 0 0 25 0 1 0 774118810 111575040 24344 4294967295 134512640 134714508 3221224592 3221222820 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27240 24344 1111 63 0 27177 0
vsize: 108960
[startup+890.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 24715 0 0 0 88966 45 0 0 25 0 1 0 774118810 112840704 24639 4294967295 134512640 134714508 3221224592 3221222820 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27549 24639 1111 63 0 27486 0
vsize: 110196
[startup+900.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 25005 0 0 0 89966 46 0 0 25 0 1 0 774118810 113967104 24929 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27824 24929 1111 63 0 27761 0
vsize: 111296
[startup+910.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 25296 0 0 0 90965 46 0 0 25 0 1 0 774118810 115232768 25220 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28133 25220 1111 63 0 28070 0
vsize: 112532
[startup+920.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 25591 0 0 0 91965 47 0 0 25 0 1 0 774118810 116359168 25515 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28408 25515 1111 63 0 28345 0
vsize: 113632
[startup+930.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 25889 0 0 0 92965 48 0 0 25 0 1 0 774118810 117624832 25813 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28717 25813 1111 63 0 28654 0
vsize: 114868
[startup+940.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 26184 0 0 0 93964 48 0 0 25 0 1 0 774118810 118894592 26108 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29027 26108 1111 63 0 28964 0
vsize: 116108
[startup+950.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 26481 0 0 0 94963 49 0 0 25 0 1 0 774118810 120020992 26405 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29302 26405 1111 63 0 29239 0
vsize: 117208
[startup+960.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 26784 0 0 0 95963 50 0 0 25 0 1 0 774118810 121286656 26708 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29611 26708 1111 63 0 29548 0
vsize: 118444
[startup+970.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 27074 0 0 0 96963 50 0 0 25 0 1 0 774118810 122413056 26998 4294967295 134512640 134714508 3221224592 3221222820 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29886 26998 1111 63 0 29823 0
vsize: 119544
[startup+980.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 27378 0 0 0 97962 51 0 0 25 0 1 0 774118810 123682816 27302 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30196 27302 1111 63 0 30133 0
vsize: 120784
[startup+990.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 27680 0 0 0 98962 52 0 0 25 0 1 0 774118810 124948480 27604 4294967295 134512640 134714508 3221224592 3221222820 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30505 27604 1111 63 0 30442 0
vsize: 122020
[startup+1000.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 27979 0 0 0 99961 52 0 0 25 0 1 0 774118810 126222336 27903 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30816 27903 1111 63 0 30753 0
vsize: 123264
[startup+1010.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 28281 0 0 0 100961 53 0 0 25 0 1 0 774118810 127340544 28205 4294967295 134512640 134714508 3221224592 3221223248 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31089 28205 1111 63 0 31026 0
vsize: 124356
[startup+1020.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 28579 0 0 0 101960 54 0 0 25 0 1 0 774118810 128606208 28503 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31398 28503 1111 63 0 31335 0
vsize: 125592
[startup+1030.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 28882 0 0 0 102960 54 0 0 25 0 1 0 774118810 129880064 28806 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31709 28806 1111 63 0 31646 0
vsize: 126836
[startup+1040.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 29184 0 0 0 103960 54 0 0 25 0 1 0 774118810 131145728 29108 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32018 29108 1111 63 0 31955 0
vsize: 128072
[startup+1050.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 29489 0 0 0 104960 55 0 0 25 0 1 0 774118810 132276224 29413 4294967295 134512640 134714508 3221224592 3221222820 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32294 29413 1111 63 0 32231 0
vsize: 129176
[startup+1060.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 29791 0 0 0 105959 55 0 0 25 0 1 0 774118810 133541888 29715 4294967295 134512640 134714508 3221224592 3221223248 134527972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32603 29715 1111 63 0 32540 0
vsize: 130412
[startup+1070.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 30094 0 0 0 106959 56 0 0 25 0 1 0 774118810 134807552 30018 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32912 30018 1111 63 0 32849 0
vsize: 131648
[startup+1080.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 30397 0 0 0 107959 57 0 0 25 0 1 0 774118810 136077312 30321 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33222 30321 1111 63 0 33159 0
vsize: 132888
[startup+1090.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 30702 0 0 0 108958 58 0 0 25 0 1 0 774118810 137342976 30626 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33531 30626 1111 63 0 33468 0
vsize: 134124
[startup+1100.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 31011 0 0 0 109957 58 0 0 25 0 1 0 774118810 138608640 30935 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33840 30935 1111 63 0 33777 0
vsize: 135360
[startup+1110.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 31320 0 0 0 110957 59 0 0 25 0 1 0 774118810 139874304 31244 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34149 31244 1111 63 0 34086 0
vsize: 136596
[startup+1120.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 31624 0 0 0 111956 60 0 0 25 0 1 0 774118810 141000704 31548 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34424 31548 1111 63 0 34361 0
vsize: 137696
[startup+1130.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 31927 0 0 0 112956 60 0 0 25 0 1 0 774118810 142270464 31851 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34734 31851 1111 63 0 34671 0
vsize: 138936
[startup+1140.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 32238 0 0 0 113956 61 0 0 25 0 1 0 774118810 143536128 32162 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35043 32162 1111 63 0 34980 0
vsize: 140172
[startup+1150.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 32547 0 0 0 114955 62 0 0 25 0 1 0 774118810 144805888 32471 4294967295 134512640 134714508 3221224592 3221222820 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35353 32471 1111 63 0 35290 0
vsize: 141412
[startup+1160.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 32865 0 0 0 115955 62 0 0 25 0 1 0 774118810 146071552 32789 4294967295 134512640 134714508 3221224592 3221222820 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35662 32789 1111 63 0 35599 0
vsize: 142648
[startup+1170.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 33168 0 0 0 116955 63 0 0 25 0 1 0 774118810 147337216 33092 4294967295 134512640 134714508 3221224592 3221223248 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35971 33092 1111 63 0 35908 0
vsize: 143884
[startup+1180.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 33486 0 0 0 117955 63 0 0 25 0 1 0 774118810 148602880 33410 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36280 33410 1111 63 0 36217 0
vsize: 145120
[startup+1190.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 33795 0 0 0 118955 63 0 0 25 0 1 0 774118810 149872640 33719 4294967295 134512640 134714508 3221224592 3221222820 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36590 33719 1111 63 0 36527 0
vsize: 146360
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) R 29315 24300 24299 0 -1 0 34106 0 0 0 119956 63 0 0 25 0 1 0 774118810 151138304 34030 4294967295 134512640 134714508 3221224592 3221222820 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36899 34030 1111 63 0 36836 0
vsize: 147596
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.14 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 29316
Raw data (stat): 29316 (bsolo_lpr_cuts) Z 29315 24300 24299 0 -1 1036 34106 0 0 0 119956 70 0 0 22 0 1 0 774118810 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 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.14
CPU time (s): 1200.27
CPU user time (s): 1199.57
CPU system time (s): 0.702893
CPU usage (%): 100.011
Max. virtual memory (Kb): 147596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####