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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-80bau3b.opb
MD5SUM	16a606cf9ab6b9dba681e237f3d29f84
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	126788
Biggest coefficient in the objective function	175552593920000
Number of bits for the biggest coefficient in the objective function	48
Sum of the numbers in the objective function	8868947507751438
Number of bits of the sum of numbers in the objective function	53
Biggest number in a constraint	175552593920000
Number of bits of the biggest number in a constraint	48
Biggest sum of numbers in a constraint	8868947507751438
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.45378
Number of variables	157082
Total number of constraints	5220
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	5220
Minimum length of a constraint	7
Maximum length of a constraint	2220
Trace number 41353

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

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        802704 kB
Buffers:           444 kB
Cached:         210160 kB
SwapCached:        876 kB
Active:          34688 kB
Inactive:       177892 kB
HighTotal:      131008 kB
HighFree:        13692 kB
LowTotal:       903652 kB
LowFree:        789012 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13544 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 11:04:30 (client local time) WITH STATUS 0 IN 1200.26 SECONDS
stats: 29403 7 1200.26 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
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.75 0.85 0.87 2/54 14738
Raw data (stat): 14738 (runsolver) R 14737 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909643045 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.79 0.86 0.87 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1415 0 0 0 992 5 0 0 25 0 1 0 909643045 15491072 1335 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3782 1335 1111 63 0 3719 0
vsize: 15128
[startup+20.0025 s]
Raw data (loadavg): 0.82 0.86 0.87 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1518 0 0 0 1992 6 0 0 25 0 1 0 909643045 15917056 1438 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3886 1438 1111 63 0 3823 0
vsize: 15544
[startup+30.0021 s]
Raw data (loadavg): 0.85 0.86 0.87 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1623 0 0 0 2992 6 0 0 25 0 1 0 909643045 16343040 1543 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3990 1543 1111 63 0 3927 0
vsize: 15960
[startup+40.0026 s]
Raw data (loadavg): 0.87 0.87 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1733 0 0 0 3992 6 0 0 25 0 1 0 909643045 16904192 1653 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4127 1653 1111 63 0 4064 0
vsize: 16508
[startup+50.0028 s]
Raw data (loadavg): 0.89 0.87 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1858 0 0 0 4992 6 0 0 25 0 1 0 909643045 17334272 1778 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4232 1778 1111 63 0 4169 0
vsize: 16928
[startup+60.0036 s]
Raw data (loadavg): 0.91 0.88 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 1981 0 0 0 5992 7 0 0 25 0 1 0 909643045 17895424 1901 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4369 1901 1111 63 0 4306 0
vsize: 17476
[startup+70.0032 s]
Raw data (loadavg): 0.92 0.88 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2114 0 0 0 6992 7 0 0 25 0 1 0 909643045 18468864 2034 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 2034 1111 63 0 4446 0
vsize: 18036
[startup+80.0037 s]
Raw data (loadavg): 0.93 0.88 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2246 0 0 0 7992 7 0 0 25 0 1 0 909643045 18894848 2166 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 2166 1111 63 0 4550 0
vsize: 18452
[startup+90.0042 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2387 0 0 0 8992 7 0 0 25 0 1 0 909643045 19587072 2307 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4782 2307 1111 63 0 4719 0
vsize: 19128
[startup+100.004 s]
Raw data (loadavg): 0.95 0.89 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2506 0 0 0 9991 8 0 0 25 0 1 0 909643045 20013056 2426 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 2426 1111 63 0 4823 0
vsize: 19544
[startup+110.005 s]
Raw data (loadavg): 0.96 0.89 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2647 0 0 0 10992 8 0 0 25 0 1 0 909643045 20561920 2567 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5020 2567 1111 63 0 4957 0
vsize: 20080
[startup+120.006 s]
Raw data (loadavg): 0.96 0.90 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2800 0 0 0 11991 8 0 0 25 0 1 0 909643045 21258240 2720 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5190 2720 1111 63 0 5127 0
vsize: 20760
[startup+130.005 s]
Raw data (loadavg): 0.97 0.90 0.88 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 2910 0 0 0 12991 8 0 0 25 0 1 0 909643045 21676032 2830 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5292 2830 1111 63 0 5229 0
vsize: 21168
[startup+140.006 s]
Raw data (loadavg): 0.97 0.90 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3040 0 0 0 13991 9 0 0 25 0 1 0 909643045 22233088 2960 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5428 2960 1111 63 0 5365 0
vsize: 21712
[startup+150.006 s]
Raw data (loadavg): 0.98 0.90 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3194 0 0 0 14991 9 0 0 25 0 1 0 909643045 22794240 3114 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5565 3114 1111 63 0 5502 0
vsize: 22260
[startup+160.007 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3330 0 0 0 15991 9 0 0 25 0 1 0 909643045 23363584 3250 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5704 3250 1111 63 0 5641 0
vsize: 22816
[startup+170.007 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3479 0 0 0 16991 9 0 0 25 0 1 0 909643045 24055808 3399 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5873 3399 1111 63 0 5810 0
vsize: 23492
[startup+180.007 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3620 0 0 0 17991 10 0 0 25 0 1 0 909643045 24608768 3540 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6008 3540 1111 63 0 5945 0
vsize: 24032
[startup+190.008 s]
Raw data (loadavg): 0.99 0.91 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3768 0 0 0 18991 10 0 0 25 0 1 0 909643045 25157632 3688 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6142 3688 1111 63 0 6079 0
vsize: 24568
[startup+200.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 3886 0 0 0 19991 10 0 0 25 0 1 0 909643045 25722880 3806 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6280 3806 1111 63 0 6217 0
vsize: 25120
[startup+210.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4039 0 0 0 20991 11 0 0 25 0 1 0 909643045 26267648 3959 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6413 3959 1111 63 0 6350 0
vsize: 25652
[startup+220.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4176 0 0 0 21991 11 0 0 25 0 1 0 909643045 26828800 4096 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6550 4096 1111 63 0 6487 0
vsize: 26200
[startup+230.008 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4311 0 0 0 22991 11 0 0 25 0 1 0 909643045 27385856 4231 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6686 4231 1111 63 0 6623 0
vsize: 26744
[startup+240.009 s]
Raw data (loadavg): 0.99 0.92 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4449 0 0 0 23991 11 0 0 25 0 1 0 909643045 27963392 4369 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6827 4369 1111 63 0 6764 0
vsize: 27308
[startup+250.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4603 0 0 0 24991 11 0 0 25 0 1 0 909643045 28651520 4523 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6995 4523 1111 63 0 6932 0
vsize: 27980
[startup+260.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4769 0 0 0 25991 12 0 0 25 0 1 0 909643045 29335552 4689 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7162 4689 1111 63 0 7099 0
vsize: 28648
[startup+270.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 4961 0 0 0 26991 12 0 0 25 0 1 0 909643045 30040064 4881 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7334 4881 1111 63 0 7271 0
vsize: 29336
[startup+280.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 5165 0 0 0 27990 12 0 0 25 0 1 0 909643045 30871552 5085 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7537 5085 1111 63 0 7474 0
vsize: 30148
[startup+290.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 5339 0 0 0 28990 13 0 0 25 0 1 0 909643045 31690752 5259 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7737 5259 1111 63 0 7674 0
vsize: 30948
[startup+300.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 5518 0 0 0 29990 13 0 0 25 0 1 0 909643045 32370688 5438 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7903 5438 1111 63 0 7840 0
vsize: 31612
[startup+310.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 5699 0 0 0 30990 14 0 0 25 0 1 0 909643045 33058816 5619 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8071 5619 1111 63 0 8008 0
vsize: 32284
[startup+320.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 5896 0 0 0 31989 14 0 0 25 0 1 0 909643045 33894400 5816 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8275 5816 1111 63 0 8212 0
vsize: 33100
[startup+330.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6058 0 0 0 32989 14 0 0 25 0 1 0 909643045 34578432 5978 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8442 5978 1111 63 0 8379 0
vsize: 33768
[startup+340.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6224 0 0 0 33989 15 0 0 25 0 1 0 909643045 35254272 6144 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8607 6144 1111 63 0 8544 0
vsize: 34428
[startup+350.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6397 0 0 0 34989 15 0 0 25 0 1 0 909643045 35938304 6317 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8774 6317 1111 63 0 8711 0
vsize: 35096
[startup+360.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6575 0 0 0 35989 15 0 0 25 0 1 0 909643045 36638720 6495 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8945 6495 1111 63 0 8882 0
vsize: 35780
[startup+370.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6766 0 0 0 36989 16 0 0 25 0 1 0 909643045 37478400 6686 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9150 6686 1111 63 0 9087 0
vsize: 36600
[startup+380.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 6938 0 0 0 37988 16 0 0 25 0 1 0 909643045 38154240 6858 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9315 6858 1111 63 0 9252 0
vsize: 37260
[startup+390.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7095 0 0 0 38988 16 0 0 25 0 1 0 909643045 38842368 7015 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9483 7015 1111 63 0 9420 0
vsize: 37932
[startup+400.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7291 0 0 0 39988 16 0 0 25 0 1 0 909643045 39673856 7211 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9686 7211 1111 63 0 9623 0
vsize: 38744
[startup+410.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7483 0 0 0 40988 17 0 0 25 0 1 0 909643045 40378368 7403 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9858 7403 1111 63 0 9795 0
vsize: 39432
[startup+420.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7661 0 0 0 41988 17 0 0 25 0 1 0 909643045 41078784 7581 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10029 7581 1111 63 0 9966 0
vsize: 40116
[startup+430.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7823 0 0 0 42988 17 0 0 25 0 1 0 909643045 41766912 7743 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10197 7743 1111 63 0 10134 0
vsize: 40788
[startup+440.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 7989 0 0 0 43988 18 0 0 25 0 1 0 909643045 42450944 7909 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10364 7909 1111 63 0 10301 0
vsize: 41456
[startup+450.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 8180 0 0 0 44988 18 0 0 25 0 1 0 909643045 43307008 8100 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 8100 1111 63 0 10510 0
vsize: 42292
[startup+460.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 8357 0 0 0 45988 18 0 0 25 0 1 0 909643045 43986944 8277 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10739 8277 1111 63 0 10676 0
vsize: 42956
[startup+470.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 8535 0 0 0 46988 19 0 0 25 0 1 0 909643045 44707840 8455 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10915 8455 1111 63 0 10852 0
vsize: 43660
[startup+480.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 8739 0 0 0 47988 19 0 0 25 0 1 0 909643045 45547520 8659 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11120 8659 1111 63 0 11057 0
vsize: 44480
[startup+490.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 8911 0 0 0 48987 19 0 0 25 0 1 0 909643045 46247936 8831 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11291 8831 1111 63 0 11228 0
vsize: 45164
[startup+500.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 9080 0 0 0 49987 19 0 0 25 0 1 0 909643045 46940160 9000 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11460 9000 1111 63 0 11397 0
vsize: 45840
[startup+510.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 9271 0 0 0 50987 20 0 0 25 0 1 0 909643045 47792128 9191 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11668 9191 1111 63 0 11605 0
vsize: 46672
[startup+520.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 9487 0 0 0 51987 20 0 0 25 0 1 0 909643045 48627712 9407 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11872 9407 1111 63 0 11809 0
vsize: 47488
[startup+530.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 9671 0 0 0 52987 21 0 0 25 0 1 0 909643045 49438720 9591 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12070 9591 1111 63 0 12007 0
vsize: 48280
[startup+540.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 9833 0 0 0 53987 21 0 0 25 0 1 0 909643045 50126848 9753 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12238 9753 1111 63 0 12175 0
vsize: 48952
[startup+550.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10007 0 0 0 54987 21 0 0 25 0 1 0 909643045 50831360 9927 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12410 9927 1111 63 0 12347 0
vsize: 49640
[startup+560.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10198 0 0 0 55987 21 0 0 25 0 1 0 909643045 51535872 10118 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12582 10118 1111 63 0 12519 0
vsize: 50328
[startup+570.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10376 0 0 0 56987 22 0 0 25 0 1 0 909643045 52232192 10296 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12752 10296 1111 63 0 12689 0
vsize: 51008
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10574 0 0 0 57986 22 0 0 25 0 1 0 909643045 53071872 10494 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12957 10494 1111 63 0 12894 0
vsize: 51828
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10770 0 0 0 58987 22 0 0 25 0 1 0 909643045 53903360 10690 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13160 10690 1111 63 0 13097 0
vsize: 52640
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 10931 0 0 0 59986 23 0 0 25 0 1 0 909643045 54616064 10851 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13334 10851 1111 63 0 13271 0
vsize: 53336
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 11124 0 0 0 60986 23 0 0 25 0 1 0 909643045 55316480 11044 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 11044 1111 63 0 13442 0
vsize: 54020
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 11334 0 0 0 61985 24 0 0 25 0 1 0 909643045 56152064 11254 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13709 11254 1111 63 0 13646 0
vsize: 54836
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 11524 0 0 0 62985 24 0 0 25 0 1 0 909643045 56983552 11444 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13912 11444 1111 63 0 13849 0
vsize: 55648
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 11716 0 0 0 63985 24 0 0 25 0 1 0 909643045 57794560 11636 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14110 11636 1111 63 0 14047 0
vsize: 56440
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 11876 0 0 0 64985 25 0 0 25 0 1 0 909643045 58478592 11796 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11796 1111 63 0 14214 0
vsize: 57108
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 12064 0 0 0 65985 25 0 0 25 0 1 0 909643045 59158528 11984 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14443 11984 1111 63 0 14380 0
vsize: 57772
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 12242 0 0 0 66985 25 0 0 25 0 1 0 909643045 59969536 12162 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14641 12162 1111 63 0 14578 0
vsize: 58564
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 12446 0 0 0 67985 25 0 0 25 0 1 0 909643045 60805120 12366 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14845 12366 1111 63 0 14782 0
vsize: 59380
[startup+690.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 12642 0 0 0 68985 26 0 0 25 0 1 0 909643045 61526016 12562 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15021 12562 1111 63 0 14958 0
vsize: 60084
[startup+700.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 12839 0 0 0 69985 26 0 0 25 0 1 0 909643045 62361600 12759 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15225 12759 1111 63 0 15162 0
vsize: 60900
[startup+710.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13002 0 0 0 70984 27 0 0 25 0 1 0 909643045 63045632 12922 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15392 12922 1111 63 0 15329 0
vsize: 61568
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13206 0 0 0 71984 27 0 0 25 0 1 0 909643045 63909888 13126 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15603 13126 1111 63 0 15540 0
vsize: 62412
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13415 0 0 0 72983 28 0 0 25 0 1 0 909643045 64765952 13335 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15812 13335 1111 63 0 15749 0
vsize: 63248
[startup+740.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13595 0 0 0 73983 29 0 0 25 0 1 0 909643045 65474560 13515 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15985 13515 1111 63 0 15922 0
vsize: 63940
[startup+750.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13774 0 0 0 74983 29 0 0 25 0 1 0 909643045 66154496 13694 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16151 13694 1111 63 0 16088 0
vsize: 64604
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 13931 0 0 0 75983 29 0 0 25 0 1 0 909643045 66834432 13851 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16317 13851 1111 63 0 16254 0
vsize: 65268
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 14122 0 0 0 76983 29 0 0 25 0 1 0 909643045 67522560 14042 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 14042 1111 63 0 16422 0
vsize: 65940
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 14306 0 0 0 77983 30 0 0 25 0 1 0 909643045 68354048 14226 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16688 14226 1111 63 0 16625 0
vsize: 66752
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 14510 0 0 0 78983 30 0 0 25 0 1 0 909643045 69189632 14430 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16892 14430 1111 63 0 16829 0
vsize: 67568
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 14719 0 0 0 79982 30 0 0 25 0 1 0 909643045 70041600 14639 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17100 14639 1111 63 0 17037 0
vsize: 68400
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 14916 0 0 0 80982 31 0 0 25 0 1 0 909643045 70881280 14836 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17305 14836 1111 63 0 17242 0
vsize: 69220
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 15089 0 0 0 81982 31 0 0 25 0 1 0 909643045 71581696 15009 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17476 15009 1111 63 0 17413 0
vsize: 69904
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 15305 0 0 0 82982 31 0 0 25 0 1 0 909643045 72445952 15225 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17687 15225 1111 63 0 17624 0
vsize: 70748
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 15502 0 0 0 83982 31 0 0 25 0 1 0 909643045 73281536 15422 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17891 15422 1111 63 0 17828 0
vsize: 71564
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 15701 0 0 0 84982 32 0 0 25 0 1 0 909643045 74096640 15621 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18090 15621 1111 63 0 18027 0
vsize: 72360
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 15886 0 0 0 85982 32 0 0 25 0 1 0 909643045 74801152 15806 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18262 15806 1111 63 0 18199 0
vsize: 73048
[startup+870.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 16080 0 0 0 86982 32 0 0 25 0 1 0 909643045 75726848 16000 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18488 16000 1111 63 0 18425 0
vsize: 73952
[startup+880.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 16258 0 0 0 87982 33 0 0 25 0 1 0 909643045 76431360 16178 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18660 16178 1111 63 0 18597 0
vsize: 74640
[startup+890.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 16451 0 0 0 88981 33 0 0 25 0 1 0 909643045 77250560 16371 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18860 16371 1111 63 0 18797 0
vsize: 75440
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 16653 0 0 0 89981 34 0 0 25 0 1 0 909643045 78102528 16573 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19068 16573 1111 63 0 19005 0
vsize: 76272
[startup+910.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 16846 0 0 0 90980 35 0 0 25 0 1 0 909643045 78921728 16766 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19268 16766 1111 63 0 19205 0
vsize: 77072
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 17044 0 0 0 91980 35 0 0 25 0 1 0 909643045 79642624 16964 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19444 16964 1111 63 0 19381 0
vsize: 77776
[startup+930.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14738
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 17236 0 0 0 92980 35 0 0 25 0 1 0 909643045 80457728 17156 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19643 17156 1111 63 0 19580 0
vsize: 78572
[startup+940.031 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 17440 0 0 0 93979 36 0 0 25 0 1 0 909643045 81289216 17360 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19846 17360 1111 63 0 19783 0
vsize: 79384
[startup+950.031 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 17638 0 0 0 94979 37 0 0 25 0 1 0 909643045 82128896 17558 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20051 17558 1111 63 0 19988 0
vsize: 80204
[startup+960.032 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 17825 0 0 0 95978 37 0 0 25 0 1 0 909643045 82808832 17745 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20217 17745 1111 63 0 20154 0
vsize: 80868
[startup+970.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18001 0 0 0 96978 38 0 0 25 0 1 0 909643045 83632128 17921 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20418 17921 1111 63 0 20355 0
vsize: 81672
[startup+980.032 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18193 0 0 0 97977 39 0 0 25 0 1 0 909643045 84307968 18113 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20583 18113 1111 63 0 20520 0
vsize: 82332
[startup+990.032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18366 0 0 0 98977 39 0 0 25 0 1 0 909643045 85000192 18286 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20752 18286 1111 63 0 20689 0
vsize: 83008
[startup+1000.03 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14791
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18551 0 0 0 99976 40 0 0 25 0 1 0 909643045 85835776 18471 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20956 18471 1111 63 0 20893 0
vsize: 83824
[startup+1010.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18743 0 0 0 100976 41 0 0 25 0 1 0 909643045 86671360 18663 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21160 18663 1111 63 0 21097 0
vsize: 84640
[startup+1020.03 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 18962 0 0 0 101975 41 0 0 25 0 1 0 909643045 87502848 18882 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21363 18882 1111 63 0 21300 0
vsize: 85452
[startup+1030.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 19182 0 0 0 102975 42 0 0 25 0 1 0 909643045 88358912 19102 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21572 19102 1111 63 0 21509 0
vsize: 86288
[startup+1040.03 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 19375 0 0 0 103975 43 0 0 25 0 1 0 909643045 89169920 19295 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21770 19295 1111 63 0 21707 0
vsize: 87080
[startup+1050.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 19566 0 0 0 104975 43 0 0 25 0 1 0 909643045 89985024 19486 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21969 19486 1111 63 0 21906 0
vsize: 87876
[startup+1060.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 19777 0 0 0 105974 44 0 0 25 0 1 0 909643045 90820608 19697 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22173 19697 1111 63 0 22110 0
vsize: 88692
[startup+1070.04 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 19952 0 0 0 106974 44 0 0 25 0 1 0 909643045 91504640 19872 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22340 19872 1111 63 0 22277 0
vsize: 89360
[startup+1080.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 20145 0 0 0 107973 45 0 0 25 0 1 0 909643045 92323840 20065 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22540 20065 1111 63 0 22477 0
vsize: 90160
[startup+1090.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 20324 0 0 0 108972 46 0 0 25 0 1 0 909643045 93134848 20244 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22738 20244 1111 63 0 22675 0
vsize: 90952
[startup+1100.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 20493 0 0 0 109972 47 0 0 25 0 1 0 909643045 93827072 20413 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22907 20413 1111 63 0 22844 0
vsize: 91628
[startup+1110.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 20678 0 0 0 110972 47 0 0 25 0 1 0 909643045 94502912 20598 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23072 20598 1111 63 0 23009 0
vsize: 92288
[startup+1120.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 20878 0 0 0 111971 48 0 0 25 0 1 0 909643045 95371264 20798 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23284 20798 1111 63 0 23221 0
vsize: 93136
[startup+1130.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 21070 0 0 0 112971 48 0 0 25 0 1 0 909643045 96067584 20990 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23454 20990 1111 63 0 23391 0
vsize: 93816
[startup+1140.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 21280 0 0 0 113971 49 0 0 25 0 1 0 909643045 97042432 21200 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23692 21200 1111 63 0 23629 0
vsize: 94768
[startup+1150.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 21465 0 0 0 114971 49 0 0 25 0 1 0 909643045 97718272 21385 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23857 21385 1111 63 0 23794 0
vsize: 95428
[startup+1160.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 21670 0 0 0 115970 50 0 0 25 0 1 0 909643045 98557952 21590 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24062 21590 1111 63 0 23999 0
vsize: 96248
[startup+1170.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 21886 0 0 0 116970 51 0 0 25 0 1 0 909643045 99524608 21806 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24298 21806 1111 63 0 24235 0
vsize: 97192
[startup+1180.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 22080 0 0 0 117969 51 0 0 25 0 1 0 909643045 100229120 22000 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24470 22000 1111 63 0 24407 0
vsize: 97880
[startup+1190.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 22247 0 0 0 118969 51 0 0 25 0 1 0 909643045 100917248 22167 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24638 22167 1111 63 0 24575 0
vsize: 98552
[startup+1200.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) R 14737 21152 21151 0 -1 0 22423 0 0 0 119969 52 0 0 25 0 1 0 909643045 101609472 22343 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24807 22343 1111 63 0 24744 0
vsize: 99228
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.00 0.99 0.91 1/54 14793
Raw data (stat): 14738 (bsolo_lpr_cuts-) Z 14737 21152 21151 0 -1 1036 22423 0 0 0 119969 56 0 0 25 0 1 0 909643045 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.09
CPU time (s): 1200.26
CPU user time (s): 1199.69
CPU system time (s): 0.565913
CPU usage (%): 100.014
Max. virtual memory (Kb): 99228
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####