PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
Bench Category	optimization, big integers (OPTBIGINT)
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29652813254765
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29652813254765
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45178
Number of variables	155000
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	31
Maximum length of a constraint	3000
Trace number 28131

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.072
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:        681060 kB
Buffers:         20896 kB
Cached:         294648 kB
SwapCached:        452 kB
Active:          29724 kB
Inactive:       302648 kB
HighTotal:      131008 kB
HighFree:         8260 kB
LowTotal:       903652 kB
LowFree:        672800 kB
SwapTotal:     2097892 kB
SwapFree:      2096860 kB
Dirty:              36 kB
Writeback:           0 kB
Mapped:           5752 kB
Slab:            15592 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-25 01:01:11 (client local time) WITH STATUS 0 IN 1200.38 SECONDS
stats: 14159 7 1200.38 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.93 0.98 0.97 2/54 14585
Raw data (stat): 14585 (runsolver) R 14584 7475 7474 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 834648274 1052672 99 4294967295 134512640 135381576 3221224480 3221219692 135158418 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 257 99 215 215 0 42 0
vsize: 1028
[startup+10.0004 s]
Raw data (loadavg): 0.94 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1296 0 0 0 987 4 0 0 25 0 1 0 834648274 15511552 1220 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1220 1111 63 0 3724 0
vsize: 15148
[startup+20.0003 s]
Raw data (loadavg): 0.95 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1406 0 0 0 1986 5 0 0 25 0 1 0 834648274 15941632 1330 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1330 1111 63 0 3829 0
vsize: 15568
[startup+29.9998 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1515 0 0 0 2987 5 0 0 25 0 1 0 834648274 16379904 1439 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1439 1111 63 0 3936 0
vsize: 15996
[startup+40.003 s]
Raw data (loadavg): 0.96 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1625 0 0 0 3987 5 0 0 25 0 1 0 834648274 16834560 1549 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1549 1111 63 0 4047 0
vsize: 16440
[startup+50.004 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1737 0 0 0 4987 5 0 0 25 0 1 0 834648274 17412096 1661 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1661 1111 63 0 4188 0
vsize: 17004
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1847 0 0 0 5987 5 0 0 25 0 1 0 834648274 17862656 1771 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1771 1111 63 0 4298 0
vsize: 17444
[startup+70.0064 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 1950 0 0 0 6987 5 0 0 25 0 1 0 834648274 18161664 1874 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1874 1111 63 0 4371 0
vsize: 17736
[startup+80.0109 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2067 0 0 0 7987 6 0 0 25 0 1 0 834648274 18763776 1991 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1991 1111 63 0 4518 0
vsize: 18324
[startup+90.0104 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2176 0 0 0 8987 6 0 0 25 0 1 0 834648274 19197952 2100 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2100 1111 63 0 4624 0
vsize: 18748
[startup+100.01 s]
Raw data (loadavg): 0.98 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2291 0 0 0 9987 6 0 0 25 0 1 0 834648274 19656704 2215 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2215 1111 63 0 4736 0
vsize: 19196
[startup+110.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2395 0 0 0 10987 7 0 0 25 0 1 0 834648274 20103168 2319 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2319 1111 63 0 4845 0
vsize: 19632
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2506 0 0 0 11987 7 0 0 25 0 1 0 834648274 20557824 2430 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2430 1111 63 0 4956 0
vsize: 20076
[startup+130.01 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2615 0 0 0 12987 7 0 0 25 0 1 0 834648274 21004288 2539 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2539 1111 63 0 5065 0
vsize: 20512
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2725 0 0 0 13987 7 0 0 25 0 1 0 834648274 21434368 2649 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5233 2649 1111 63 0 5170 0
vsize: 20932
[startup+150.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2834 0 0 0 14987 8 0 0 25 0 1 0 834648274 21872640 2758 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5340 2758 1111 63 0 5277 0
vsize: 21360
[startup+160.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 2951 0 0 0 15986 8 0 0 25 0 1 0 834648274 22323200 2875 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5450 2875 1111 63 0 5387 0
vsize: 21800
[startup+170.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3054 0 0 0 16986 9 0 0 25 0 1 0 834648274 22773760 2978 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5560 2978 1111 63 0 5497 0
vsize: 22240
[startup+180.011 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3178 0 0 0 17986 9 0 0 25 0 1 0 834648274 23232512 3102 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5672 3102 1111 63 0 5609 0
vsize: 22688
[startup+190.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3281 0 0 0 18986 9 0 0 25 0 1 0 834648274 23662592 3205 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3205 1111 63 0 5714 0
vsize: 23108
[startup+200.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3397 0 0 0 19986 10 0 0 25 0 1 0 834648274 24113152 3321 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3321 1111 63 0 5824 0
vsize: 23548
[startup+210.014 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3507 0 0 0 20986 10 0 0 25 0 1 0 834648274 24559616 3431 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3431 1111 63 0 5933 0
vsize: 23984
[startup+220.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3618 0 0 0 21987 10 0 0 25 0 1 0 834648274 25010176 3542 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3542 1111 63 0 6043 0
vsize: 24424
[startup+230.023 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3728 0 0 0 22987 10 0 0 25 0 1 0 834648274 25460736 3652 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3652 1111 63 0 6153 0
vsize: 24864
[startup+240.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3839 0 0 0 23987 11 0 0 25 0 1 0 834648274 25911296 3763 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3763 1111 63 0 6263 0
vsize: 25304
[startup+250.022 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 3948 0 0 0 24986 11 0 0 25 0 1 0 834648274 26357760 3872 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3872 1111 63 0 6372 0
vsize: 25740
[startup+260.026 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4060 0 0 0 25987 11 0 0 25 0 1 0 834648274 26804224 3984 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3984 1111 63 0 6481 0
vsize: 26176
[startup+270.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4176 0 0 0 26986 12 0 0 25 0 1 0 834648274 27406336 4100 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6691 4100 1111 63 0 6628 0
vsize: 26764
[startup+280.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4287 0 0 0 27986 12 0 0 25 0 1 0 834648274 27860992 4211 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 4211 1111 63 0 6739 0
vsize: 27208
[startup+290.025 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4396 0 0 0 28986 12 0 0 25 0 1 0 834648274 28307456 4320 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6911 4320 1111 63 0 6848 0
vsize: 27644
[startup+300.127 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4508 0 0 0 29996 12 0 0 25 0 1 0 834648274 28737536 4432 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7016 4432 1111 63 0 6953 0
vsize: 28064
[startup+310.127 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4618 0 0 0 30996 13 0 0 25 0 1 0 834648274 29175808 4542 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4542 1111 63 0 7060 0
vsize: 28492
[startup+320.13 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4734 0 0 0 31996 13 0 0 25 0 1 0 834648274 29626368 4658 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4658 1111 63 0 7170 0
vsize: 28932
[startup+330.145 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4844 0 0 0 32998 13 0 0 25 0 1 0 834648274 30076928 4768 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4768 1111 63 0 7280 0
vsize: 29372
[startup+340.144 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 4955 0 0 0 33998 14 0 0 25 0 1 0 834648274 30527488 4879 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 4879 1111 63 0 7390 0
vsize: 29812
[startup+350.157 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5070 0 0 0 34999 14 0 0 25 0 1 0 834648274 30973952 4994 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7562 4994 1111 63 0 7499 0
vsize: 30248
[startup+360.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5192 0 0 0 36000 14 0 0 25 0 1 0 834648274 31612928 5116 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7718 5116 1111 63 0 7655 0
vsize: 30872
[startup+370.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5302 0 0 0 36999 14 0 0 25 0 1 0 834648274 32059392 5226 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5226 1111 63 0 7764 0
vsize: 31308
[startup+380.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5420 0 0 0 37999 15 0 0 25 0 1 0 834648274 32514048 5344 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5344 1111 63 0 7875 0
vsize: 31752
[startup+390.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5523 0 0 0 38999 15 0 0 25 0 1 0 834648274 32956416 5447 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5447 1111 63 0 7983 0
vsize: 32184
[startup+400.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5641 0 0 0 40000 15 0 0 25 0 1 0 834648274 33411072 5565 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8157 5565 1111 63 0 8094 0
vsize: 32628
[startup+410.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5751 0 0 0 40999 15 0 0 25 0 1 0 834648274 33857536 5675 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8266 5675 1111 63 0 8203 0
vsize: 33064
[startup+420.161 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5863 0 0 0 41999 15 0 0 25 0 1 0 834648274 34312192 5787 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8377 5787 1111 63 0 8314 0
vsize: 33508
[startup+430.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 5978 0 0 0 42999 15 0 0 25 0 1 0 834648274 34758656 5902 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 5902 1111 63 0 8423 0
vsize: 33944
[startup+440.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6095 0 0 0 43999 16 0 0 25 0 1 0 834648274 35213312 6019 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6019 1111 63 0 8534 0
vsize: 34388
[startup+450.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6206 0 0 0 44999 16 0 0 25 0 1 0 834648274 35655680 6130 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6130 1111 63 0 8642 0
vsize: 34820
[startup+460.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6317 0 0 0 45999 16 0 0 25 0 1 0 834648274 36110336 6241 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6241 1111 63 0 8753 0
vsize: 35264
[startup+470.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6433 0 0 0 46999 16 0 0 25 0 1 0 834648274 36556800 6357 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6357 1111 63 0 8862 0
vsize: 35700
[startup+480.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6544 0 0 0 47999 17 0 0 25 0 1 0 834648274 37011456 6468 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6468 1111 63 0 8973 0
vsize: 36144
[startup+490.161 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6655 0 0 0 48999 17 0 0 25 0 1 0 834648274 37453824 6579 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9144 6579 1111 63 0 9081 0
vsize: 36576
[startup+500.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6772 0 0 0 49999 17 0 0 25 0 1 0 834648274 38055936 6696 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6696 1111 63 0 9228 0
vsize: 37164
[startup+510.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 6889 0 0 0 50999 17 0 0 25 0 1 0 834648274 38506496 6813 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6813 1111 63 0 9338 0
vsize: 37604
[startup+520.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7000 0 0 0 51999 17 0 0 25 0 1 0 834648274 38957056 6924 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9511 6924 1111 63 0 9448 0
vsize: 38044
[startup+530.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7111 0 0 0 52999 18 0 0 25 0 1 0 834648274 39403520 7035 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9620 7035 1111 63 0 9557 0
vsize: 38480
[startup+540.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7228 0 0 0 53999 18 0 0 25 0 1 0 834648274 39854080 7152 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9730 7152 1111 63 0 9667 0
vsize: 38920
[startup+550.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7343 0 0 0 54999 18 0 0 25 0 1 0 834648274 40304640 7267 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9840 7267 1111 63 0 9777 0
vsize: 39360
[startup+560.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7456 0 0 0 55999 18 0 0 25 0 1 0 834648274 40755200 7380 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9950 7380 1111 63 0 9887 0
vsize: 39800
[startup+570.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7565 0 0 0 56999 19 0 0 25 0 1 0 834648274 41205760 7489 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7489 1111 63 0 9997 0
vsize: 40240
[startup+580.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7684 0 0 0 57999 19 0 0 25 0 1 0 834648274 41656320 7608 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7608 1111 63 0 10107 0
vsize: 40680
[startup+590.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7801 0 0 0 58999 19 0 0 25 0 1 0 834648274 42250240 7725 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7725 1111 63 0 10252 0
vsize: 41260
[startup+600.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 7912 0 0 0 59999 19 0 0 25 0 1 0 834648274 42704896 7836 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10426 7836 1111 63 0 10363 0
vsize: 41704
[startup+610.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8029 0 0 0 60999 20 0 0 25 0 1 0 834648274 43151360 7953 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10535 7953 1111 63 0 10472 0
vsize: 42140
[startup+620.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8139 0 0 0 61998 20 0 0 25 0 1 0 834648274 43606016 8063 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10646 8063 1111 63 0 10583 0
vsize: 42584
[startup+630.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8256 0 0 0 62998 20 0 0 25 0 1 0 834648274 44048384 8180 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8180 1111 63 0 10691 0
vsize: 43016
[startup+640.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8373 0 0 0 63998 21 0 0 25 0 1 0 834648274 44470272 8297 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8297 1111 63 0 10794 0
vsize: 43428
[startup+650.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8490 0 0 0 64998 21 0 0 25 0 1 0 834648274 45072384 8414 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8414 1111 63 0 10941 0
vsize: 44016
[startup+660.163 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8600 0 0 0 65998 21 0 0 25 0 1 0 834648274 45522944 8524 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8524 1111 63 0 11051 0
vsize: 44456
[startup+670.162 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8718 0 0 0 66998 21 0 0 25 0 1 0 834648274 45973504 8642 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8642 1111 63 0 11161 0
vsize: 44896
[startup+680.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8828 0 0 0 67999 21 0 0 25 0 1 0 834648274 46419968 8752 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11333 8752 1111 63 0 11270 0
vsize: 45332
[startup+690.164 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 8945 0 0 0 68998 22 0 0 25 0 1 0 834648274 46874624 8869 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8869 1111 63 0 11381 0
vsize: 45776
[startup+700.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9080 0 0 0 69998 22 0 0 25 0 1 0 834648274 47579136 9004 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9004 1111 63 0 11553 0
vsize: 46464
[startup+710.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9198 0 0 0 70998 22 0 0 25 0 1 0 834648274 47996928 9122 4294967295 134512640 134714508 3221224576 3221222804 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11718 9122 1111 63 0 11655 0
vsize: 46872
[startup+720.164 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9314 0 0 0 71998 22 0 0 25 0 1 0 834648274 48439296 9238 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11826 9238 1111 63 0 11763 0
vsize: 47304
[startup+730.164 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9426 0 0 0 72998 22 0 0 25 0 1 0 834648274 48893952 9350 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11937 9350 1111 63 0 11874 0
vsize: 47748
[startup+740.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9542 0 0 0 73998 22 0 0 25 0 1 0 834648274 49491968 9466 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9466 1111 63 0 12020 0
vsize: 48332
[startup+750.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9655 0 0 0 74998 23 0 0 25 0 1 0 834648274 49942528 9579 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9579 1111 63 0 12130 0
vsize: 48772
[startup+760.165 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9772 0 0 0 75998 23 0 0 25 0 1 0 834648274 50388992 9696 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9696 1111 63 0 12239 0
vsize: 49208
[startup+770.177 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 9889 0 0 0 76999 23 0 0 25 0 1 0 834648274 50814976 9813 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9813 1111 63 0 12343 0
vsize: 49624
[startup+780.177 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10005 0 0 0 77999 24 0 0 25 0 1 0 834648274 51257344 9929 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12514 9929 1111 63 0 12451 0
vsize: 50056
[startup+790.195 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10125 0 0 0 79001 24 0 0 25 0 1 0 834648274 51859456 10049 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10049 1111 63 0 12598 0
vsize: 50644
[startup+800.195 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10241 0 0 0 80001 24 0 0 25 0 1 0 834648274 52310016 10165 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10165 1111 63 0 12708 0
vsize: 51084
[startup+810.203 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10359 0 0 0 81001 25 0 0 25 0 1 0 834648274 52760576 10283 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10283 1111 63 0 12818 0
vsize: 51524
[startup+820.203 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10476 0 0 0 82002 25 0 0 25 0 1 0 834648274 53207040 10400 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+830.203 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10594 0 0 0 83002 25 0 0 25 0 1 0 834648274 53657600 10518 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10518 1111 63 0 13037 0
vsize: 52400
[startup+840.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10712 0 0 0 84002 25 0 0 25 0 1 0 834648274 54259712 10636 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10636 1111 63 0 13184 0
vsize: 52988
[startup+850.205 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10829 0 0 0 85002 25 0 0 25 0 1 0 834648274 54710272 10753 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10753 1111 63 0 13294 0
vsize: 53428
[startup+860.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 10946 0 0 0 86002 26 0 0 25 0 1 0 834648274 55160832 10870 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10870 1111 63 0 13404 0
vsize: 53868
[startup+870.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11058 0 0 0 87001 26 0 0 25 0 1 0 834648274 55607296 10982 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10982 1111 63 0 13513 0
vsize: 54304
[startup+880.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11176 0 0 0 88001 26 0 0 25 0 1 0 834648274 56057856 11100 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11100 1111 63 0 13623 0
vsize: 54744
[startup+890.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11293 0 0 0 89001 26 0 0 25 0 1 0 834648274 56508416 11217 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11217 1111 63 0 13733 0
vsize: 55184
[startup+900.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11410 0 0 0 90001 26 0 0 25 0 1 0 834648274 57110528 11334 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11334 1111 63 0 13880 0
vsize: 55772
[startup+910.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11528 0 0 0 91001 27 0 0 25 0 1 0 834648274 57552896 11452 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11452 1111 63 0 13988 0
vsize: 56204
[startup+920.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11647 0 0 0 92001 27 0 0 25 0 1 0 834648274 58007552 11571 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11571 1111 63 0 14099 0
vsize: 56648
[startup+930.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11769 0 0 0 93001 27 0 0 25 0 1 0 834648274 58454016 11693 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11693 1111 63 0 14208 0
vsize: 57084
[startup+940.204 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 11887 0 0 0 94001 28 0 0 25 0 1 0 834648274 59056128 11811 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14418 11811 1111 63 0 14355 0
vsize: 57672
[startup+950.21 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12004 0 0 0 95002 28 0 0 25 0 1 0 834648274 59502592 11928 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14527 11928 1111 63 0 14464 0
vsize: 58108
[startup+960.209 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12123 0 0 0 96001 28 0 0 25 0 1 0 834648274 59953152 12047 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12047 1111 63 0 14574 0
vsize: 58548
[startup+970.209 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12240 0 0 0 97001 28 0 0 25 0 1 0 834648274 60403712 12164 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12164 1111 63 0 14684 0
vsize: 58988
[startup+980.21 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12358 0 0 0 98001 28 0 0 25 0 1 0 834648274 60854272 12282 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12282 1111 63 0 14794 0
vsize: 59428
[startup+990.209 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12476 0 0 0 99001 29 0 0 25 0 1 0 834648274 61456384 12400 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12400 1111 63 0 14941 0
vsize: 60016
[startup+1000.21 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12592 0 0 0 100001 29 0 0 25 0 1 0 834648274 61902848 12516 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12516 1111 63 0 15050 0
vsize: 60452
[startup+1010.21 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12711 0 0 0 101001 29 0 0 25 0 1 0 834648274 62353408 12635 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12635 1111 63 0 15160 0
vsize: 60892
[startup+1020.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12828 0 0 0 102002 29 0 0 25 0 1 0 834648274 62803968 12752 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12752 1111 63 0 15270 0
vsize: 61332
[startup+1030.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 12946 0 0 0 103002 30 0 0 25 0 1 0 834648274 63254528 12870 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12870 1111 63 0 15380 0
vsize: 61772
[startup+1040.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13069 0 0 0 104002 30 0 0 25 0 1 0 834648274 63848448 12993 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15588 12993 1111 63 0 15525 0
vsize: 62352
[startup+1050.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13188 0 0 0 105002 30 0 0 25 0 1 0 834648274 64303104 13112 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15699 13112 1111 63 0 15636 0
vsize: 62796
[startup+1060.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13311 0 0 0 106002 30 0 0 25 0 1 0 834648274 64749568 13235 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13235 1111 63 0 15745 0
vsize: 63232
[startup+1070.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13429 0 0 0 107002 31 0 0 25 0 1 0 834648274 65351680 13353 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15955 13353 1111 63 0 15892 0
vsize: 63820
[startup+1080.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13547 0 0 0 108001 31 0 0 25 0 1 0 834648274 65798144 13471 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16064 13471 1111 63 0 16001 0
vsize: 64256
[startup+1090.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13666 0 0 0 109001 31 0 0 25 0 1 0 834648274 66248704 13590 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16174 13590 1111 63 0 16111 0
vsize: 64696
[startup+1100.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13783 0 0 0 110001 32 0 0 25 0 1 0 834648274 66699264 13707 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16284 13707 1111 63 0 16221 0
vsize: 65136
[startup+1110.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 13907 0 0 0 111001 32 0 0 25 0 1 0 834648274 67301376 13831 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16431 13831 1111 63 0 16368 0
vsize: 65724
[startup+1120.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14026 0 0 0 112001 32 0 0 25 0 1 0 834648274 67751936 13950 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16541 13950 1111 63 0 16478 0
vsize: 66164
[startup+1130.22 s]
Raw data (loadavg): 0.99 0.98 0.97 2/54 14585
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14150 0 0 0 113001 32 0 0 25 0 1 0 834648274 68198400 14074 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16650 14074 1111 63 0 16587 0
vsize: 66600
[startup+1140.22 s]
Raw data (loadavg): 1.07 1.00 0.97 2/58 14637
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14268 0 0 0 114001 33 0 0 25 0 1 0 834648274 68653056 14192 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16761 14192 1111 63 0 16698 0
vsize: 67044
[startup+1150.22 s]
Raw data (loadavg): 1.06 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14385 0 0 0 115001 33 0 0 25 0 1 0 834648274 69246976 14309 4294967295 134512640 134714508 3221224576 3221222804 1077414422 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16906 14309 1111 63 0 16843 0
vsize: 67624
[startup+1160.22 s]
Raw data (loadavg): 1.05 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14504 0 0 0 116001 33 0 0 25 0 1 0 834648274 69701632 14428 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17017 14428 1111 63 0 16954 0
vsize: 68068
[startup+1170.22 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14628 0 0 0 117001 33 0 0 25 0 1 0 834648274 70148096 14552 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17126 14552 1111 63 0 17063 0
vsize: 68504
[startup+1180.22 s]
Raw data (loadavg): 1.04 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14753 0 0 0 118000 34 0 0 25 0 1 0 834648274 70746112 14677 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17272 14677 1111 63 0 17209 0
vsize: 69088
[startup+1190.22 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14869 0 0 0 119001 34 0 0 25 0 1 0 834648274 71196672 14793 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17382 14793 1111 63 0 17319 0
vsize: 69528
[startup+1200.22 s]
Raw data (loadavg): 1.03 1.00 0.97 2/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) R 14584 7475 7474 0 -1 0 14989 0 0 0 120001 34 0 0 25 0 1 0 834648274 71647232 14913 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17492 14913 1111 63 0 17429 0
vsize: 69968
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.25 s]
Raw data (loadavg): 1.03 1.00 0.97 1/54 14638
Raw data (stat): 14585 (bsolo_lpr_cuts) Z 14584 7475 7474 0 -1 1036 14989 0 0 0 120001 37 0 0 25 0 1 0 834648274 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.25
CPU time (s): 1200.38
CPU user time (s): 1200.01
CPU system time (s): 0.372943
CPU usage (%): 100.011
Max. virtual memory (Kb): 69968
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####