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/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-d6cube.opb
MD5SUM	6a4305210f653cc893fd9d3ee7862505
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	185520
Biggest coefficient in the objective function	536870912
Number of bits for the biggest coefficient in the objective function	30
Sum of the numbers in the objective function	6640019433432
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	193273528320
Number of bits of the biggest number in a constraint	38
Biggest sum of numbers in a constraint	11024119093221
Number of bits of the biggest sum of numbers	44
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.68674
Number of variables	185520
Total number of constraints	404
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	404
Minimum length of a constraint	30
Maximum length of a constraint	185520
Trace number 26848

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc15 THE 2005-05-24 17:11:57 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=10675 boxname=wulflinc15 idbench=822 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  6a4305210f653cc893fd9d3ee7862505  /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-d6cube.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc15/normalized-mps-v2-20-10-d6cube.opb
IDLAUNCH: 10675
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 450.999
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		: 450.999
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:        533888 kB
Buffers:          5684 kB
Cached:         474072 kB
SwapCached:        596 kB
Active:          46332 kB
Inactive:       435872 kB
HighTotal:      131008 kB
HighFree:          280 kB
LowTotal:       903652 kB
LowFree:        533608 kB
SwapTotal:     2097136 kB
SwapFree:      2096080 kB
Dirty:               8 kB
Writeback:           0 kB
Mapped:           5712 kB
Slab:            12872 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-05-24 17:32:00 (client local time) WITH STATUS 0 IN 1200.3 SECONDS
stats: 10675 7 1200.3 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.91 0.97 0.95 2/54 26351
Raw data (stat): 26351 (runsolver) R 26350 23514 23513 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 773713230 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.0019 s]
Raw data (loadavg): 0.92 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1392 0 0 0 993 5 0 0 25 0 1 0 773713230 15511552 1316 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1316 1111 63 0 3724 0
vsize: 15148
[startup+20.004 s]
Raw data (loadavg): 0.93 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1488 0 0 0 1993 5 0 0 25 0 1 0 773713230 15806464 1412 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3859 1412 1111 63 0 3796 0
vsize: 15436
[startup+30.004 s]
Raw data (loadavg): 0.94 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1582 0 0 0 2993 5 0 0 25 0 1 0 773713230 16232448 1506 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3963 1506 1111 63 0 3900 0
vsize: 15852
[startup+40.0047 s]
Raw data (loadavg): 0.95 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1677 0 0 0 3993 5 0 0 25 0 1 0 773713230 16678912 1601 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4072 1601 1111 63 0 4009 0
vsize: 16288
[startup+50.0055 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1773 0 0 0 4993 6 0 0 25 0 1 0 773713230 16982016 1697 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4146 1697 1111 63 0 4083 0
vsize: 16584
[startup+60.0053 s]
Raw data (loadavg): 0.96 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1870 0 0 0 5992 6 0 0 25 0 1 0 773713230 17412096 1794 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1794 1111 63 0 4188 0
vsize: 17004
[startup+70.0062 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 1966 0 0 0 6993 6 0 0 25 0 1 0 773713230 17862656 1890 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1890 1111 63 0 4298 0
vsize: 17444
[startup+80.007 s]
Raw data (loadavg): 0.97 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2060 0 0 0 7993 6 0 0 25 0 1 0 773713230 18161664 1984 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1984 1111 63 0 4371 0
vsize: 17736
[startup+90.0079 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2150 0 0 0 8992 7 0 0 25 0 1 0 773713230 18616320 2074 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 2074 1111 63 0 4482 0
vsize: 18180
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2251 0 0 0 9992 7 0 0 25 0 1 0 773713230 19058688 2175 4294967295 134512640 134714508 3221224576 3221222804 1077414347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2175 1111 63 0 4590 0
vsize: 18612
[startup+110.008 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2344 0 0 0 10993 7 0 0 25 0 1 0 773713230 19353600 2268 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4725 2268 1111 63 0 4662 0
vsize: 18900
[startup+120.009 s]
Raw data (loadavg): 0.98 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2447 0 0 0 11993 7 0 0 25 0 1 0 773713230 19804160 2371 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4835 2371 1111 63 0 4772 0
vsize: 19340
[startup+130.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2535 0 0 0 12993 7 0 0 25 0 1 0 773713230 20103168 2459 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2459 1111 63 0 4845 0
vsize: 19632
[startup+140.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2637 0 0 0 13993 8 0 0 25 0 1 0 773713230 20557824 2561 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5019 2561 1111 63 0 4956 0
vsize: 20076
[startup+150.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2726 0 0 0 14993 8 0 0 25 0 1 0 773713230 21004288 2650 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5128 2650 1111 63 0 5065 0
vsize: 20512
[startup+160.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2828 0 0 0 15993 8 0 0 25 0 1 0 773713230 21299200 2752 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2752 1111 63 0 5137 0
vsize: 20800
[startup+170.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 2916 0 0 0 16993 9 0 0 25 0 1 0 773713230 21725184 2840 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2840 1111 63 0 5241 0
vsize: 21216
[startup+180.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3017 0 0 0 17993 9 0 0 25 0 1 0 773713230 22171648 2941 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2941 1111 63 0 5350 0
vsize: 21652
[startup+190.021 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3107 0 0 0 18993 9 0 0 25 0 1 0 773713230 22474752 3031 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5487 3031 1111 63 0 5424 0
vsize: 21948
[startup+200.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3208 0 0 0 19994 9 0 0 25 0 1 0 773713230 22921216 3132 4294967295 134512640 134714508 3221224576 3221223232 134527928 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5596 3132 1111 63 0 5533 0
vsize: 22384
[startup+210.029 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3304 0 0 0 20994 10 0 0 25 0 1 0 773713230 23367680 3228 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5705 3228 1111 63 0 5642 0
vsize: 22820
[startup+220.03 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3405 0 0 0 21994 10 0 0 25 0 1 0 773713230 23810048 3329 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 3329 1111 63 0 5750 0
vsize: 23252
[startup+230.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3495 0 0 0 22993 11 0 0 25 0 1 0 773713230 24113152 3419 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3419 1111 63 0 5824 0
vsize: 23548
[startup+240.031 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3596 0 0 0 23993 11 0 0 25 0 1 0 773713230 24559616 3520 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3520 1111 63 0 5933 0
vsize: 23984
[startup+250.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3691 0 0 0 24993 11 0 0 25 0 1 0 773713230 24858624 3615 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6069 3615 1111 63 0 6006 0
vsize: 24276
[startup+260.032 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3788 0 0 0 25993 12 0 0 25 0 1 0 773713230 25309184 3712 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6179 3712 1111 63 0 6116 0
vsize: 24716
[startup+270.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3883 0 0 0 26993 12 0 0 25 0 1 0 773713230 25759744 3807 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6289 3807 1111 63 0 6226 0
vsize: 25156
[startup+280.033 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 3979 0 0 0 27993 12 0 0 25 0 1 0 773713230 26062848 3903 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6363 3903 1111 63 0 6300 0
vsize: 25452
[startup+290.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4073 0 0 0 28993 12 0 0 25 0 1 0 773713230 26505216 3997 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6471 3997 1111 63 0 6408 0
vsize: 25884
[startup+300.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4171 0 0 0 29993 12 0 0 25 0 1 0 773713230 26804224 4095 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 4095 1111 63 0 6481 0
vsize: 26176
[startup+310.034 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4266 0 0 0 30993 13 0 0 25 0 1 0 773713230 27258880 4190 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4190 1111 63 0 6592 0
vsize: 26620
[startup+320.035 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4362 0 0 0 31993 13 0 0 25 0 1 0 773713230 27705344 4286 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4286 1111 63 0 6701 0
vsize: 27056
[startup+330.036 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4463 0 0 0 32993 13 0 0 25 0 1 0 773713230 28008448 4387 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6838 4387 1111 63 0 6775 0
vsize: 27352
[startup+340.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4552 0 0 0 33993 13 0 0 25 0 1 0 773713230 28454912 4476 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6947 4476 1111 63 0 6884 0
vsize: 27788
[startup+350.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4655 0 0 0 34993 13 0 0 25 0 1 0 773713230 28880896 4579 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7051 4579 1111 63 0 6988 0
vsize: 28204
[startup+360.037 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4750 0 0 0 35993 13 0 0 25 0 1 0 773713230 29175808 4674 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7123 4674 1111 63 0 7060 0
vsize: 28492
[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4846 0 0 0 36993 14 0 0 25 0 1 0 773713230 29626368 4770 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7233 4770 1111 63 0 7170 0
vsize: 28932
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 4940 0 0 0 37993 14 0 0 25 0 1 0 773713230 30076928 4864 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4864 1111 63 0 7280 0
vsize: 29372
[startup+390.039 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5037 0 0 0 38993 14 0 0 25 0 1 0 773713230 30375936 4961 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4961 1111 63 0 7353 0
vsize: 29664
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5137 0 0 0 39993 14 0 0 25 0 1 0 773713230 30826496 5061 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5061 1111 63 0 7463 0
vsize: 30104
[startup+410.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5244 0 0 0 40995 15 0 0 25 0 1 0 773713230 31309824 5168 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5168 1111 63 0 7581 0
vsize: 30576
[startup+420.067 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5340 0 0 0 41995 15 0 0 25 0 1 0 773713230 31760384 5264 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5264 1111 63 0 7691 0
vsize: 31016
[startup+430.07 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5435 0 0 0 42995 16 0 0 25 0 1 0 773713230 32059392 5359 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5359 1111 63 0 7764 0
vsize: 31308
[startup+440.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5532 0 0 0 43995 16 0 0 25 0 1 0 773713230 32514048 5456 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7938 5456 1111 63 0 7875 0
vsize: 31752
[startup+450.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5633 0 0 0 44995 16 0 0 25 0 1 0 773713230 32956416 5557 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8046 5557 1111 63 0 7983 0
vsize: 32184
[startup+460.071 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5730 0 0 0 45995 16 0 0 25 0 1 0 773713230 33263616 5654 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5654 1111 63 0 8058 0
vsize: 32484
[startup+470.072 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5825 0 0 0 46995 16 0 0 25 0 1 0 773713230 33710080 5749 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8230 5749 1111 63 0 8167 0
vsize: 32920
[startup+480.072 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 5921 0 0 0 47995 17 0 0 25 0 1 0 773713230 34009088 5845 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5845 1111 63 0 8240 0
vsize: 33212
[startup+490.073 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6017 0 0 0 48996 17 0 0 25 0 1 0 773713230 34459648 5941 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5941 1111 63 0 8350 0
vsize: 33652
[startup+500.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6118 0 0 0 49996 17 0 0 25 0 1 0 773713230 34906112 6042 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8522 6042 1111 63 0 8459 0
vsize: 34088
[startup+510.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6214 0 0 0 50996 17 0 0 25 0 1 0 773713230 35213312 6138 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8597 6138 1111 63 0 8534 0
vsize: 34388
[startup+520.074 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6310 0 0 0 51996 17 0 0 25 0 1 0 773713230 35655680 6234 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8705 6234 1111 63 0 8642 0
vsize: 34820
[startup+530.075 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6412 0 0 0 52996 17 0 0 25 0 1 0 773713230 36110336 6336 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8816 6336 1111 63 0 8753 0
vsize: 35264
[startup+540.076 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6508 0 0 0 53996 17 0 0 25 0 1 0 773713230 36409344 6432 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6432 1111 63 0 8826 0
vsize: 35556
[startup+550.076 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6605 0 0 0 54996 18 0 0 25 0 1 0 773713230 36859904 6529 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6529 1111 63 0 8936 0
vsize: 35996
[startup+560.076 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6705 0 0 0 55996 18 0 0 25 0 1 0 773713230 37306368 6629 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6629 1111 63 0 9045 0
vsize: 36432
[startup+570.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6801 0 0 0 56996 18 0 0 25 0 1 0 773713230 37605376 6725 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9181 6725 1111 63 0 9118 0
vsize: 36724
[startup+580.077 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 6898 0 0 0 57996 18 0 0 25 0 1 0 773713230 38055936 6822 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9291 6822 1111 63 0 9228 0
vsize: 37164
[startup+590.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7000 0 0 0 58996 18 0 0 25 0 1 0 773713230 38506496 6924 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9401 6924 1111 63 0 9338 0
vsize: 37604
[startup+600.078 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7096 0 0 0 59996 18 0 0 25 0 1 0 773713230 38809600 7020 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9475 7020 1111 63 0 9412 0
vsize: 37900
[startup+610.079 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7191 0 0 0 60997 18 0 0 25 0 1 0 773713230 39256064 7115 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9584 7115 1111 63 0 9521 0
vsize: 38336
[startup+620.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7295 0 0 0 61997 18 0 0 25 0 1 0 773713230 39710720 7219 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7219 1111 63 0 9632 0
vsize: 38780
[startup+630.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7390 0 0 0 62997 19 0 0 25 0 1 0 773713230 40005632 7314 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7314 1111 63 0 9704 0
vsize: 39068
[startup+640.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7487 0 0 0 63997 19 0 0 25 0 1 0 773713230 40456192 7411 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7411 1111 63 0 9814 0
vsize: 39508
[startup+650.081 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7588 0 0 0 64996 19 0 0 25 0 1 0 773713230 40906752 7512 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7512 1111 63 0 9924 0
vsize: 39948
[startup+660.08 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7683 0 0 0 65996 20 0 0 25 0 1 0 773713230 41205760 7607 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10060 7607 1111 63 0 9997 0
vsize: 40240
[startup+670.081 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7781 0 0 0 66996 20 0 0 25 0 1 0 773713230 41656320 7705 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10170 7705 1111 63 0 10107 0
vsize: 40680
[startup+680.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7882 0 0 0 67997 20 0 0 25 0 1 0 773713230 42102784 7806 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10279 7806 1111 63 0 10216 0
vsize: 41116
[startup+690.083 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 7979 0 0 0 68997 20 0 0 25 0 1 0 773713230 42405888 7903 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10353 7903 1111 63 0 10290 0
vsize: 41412
[startup+700.082 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8074 0 0 0 69997 20 0 0 25 0 1 0 773713230 42852352 7998 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7998 1111 63 0 10399 0
vsize: 41848
[startup+710.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8177 0 0 0 70997 20 0 0 25 0 1 0 773713230 43307008 8101 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 8101 1111 63 0 10510 0
vsize: 42292
[startup+720.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8278 0 0 0 71997 20 0 0 25 0 1 0 773713230 43753472 8202 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8202 1111 63 0 10619 0
vsize: 42728
[startup+730.084 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8374 0 0 0 72997 20 0 0 25 0 1 0 773713230 44048384 8298 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10754 8298 1111 63 0 10691 0
vsize: 43016
[startup+740.085 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8470 0 0 0 73997 20 0 0 25 0 1 0 773713230 44470272 8394 4294967295 134512640 134714508 3221224576 3221222804 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10857 8394 1111 63 0 10794 0
vsize: 43428
[startup+750.086 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8573 0 0 0 74997 21 0 0 25 0 1 0 773713230 44920832 8497 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10967 8497 1111 63 0 10904 0
vsize: 43868
[startup+760.085 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8674 0 0 0 75997 21 0 0 25 0 1 0 773713230 45371392 8598 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11077 8598 1111 63 0 11014 0
vsize: 44308
[startup+770.087 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8769 0 0 0 76997 21 0 0 25 0 1 0 773713230 45670400 8693 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11150 8693 1111 63 0 11087 0
vsize: 44600
[startup+780.087 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8866 0 0 0 77998 21 0 0 25 0 1 0 773713230 46125056 8790 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11261 8790 1111 63 0 11198 0
vsize: 45044
[startup+790.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 8967 0 0 0 78998 21 0 0 25 0 1 0 773713230 46567424 8891 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8891 1111 63 0 11306 0
vsize: 45476
[startup+800.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9070 0 0 0 79997 22 0 0 25 0 1 0 773713230 46874624 8994 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11444 8994 1111 63 0 11381 0
vsize: 45776
[startup+810.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9185 0 0 0 80997 22 0 0 25 0 1 0 773713230 47579136 9109 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9109 1111 63 0 11553 0
vsize: 46464
[startup+820.088 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9281 0 0 0 81997 22 0 0 25 0 1 0 773713230 47853568 9205 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11683 9205 1111 63 0 11620 0
vsize: 46732
[startup+830.089 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9383 0 0 0 82997 22 0 0 25 0 1 0 773713230 48291840 9307 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11790 9307 1111 63 0 11727 0
vsize: 47160
[startup+840.089 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9485 0 0 0 83997 23 0 0 25 0 1 0 773713230 48738304 9409 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11899 9409 1111 63 0 11836 0
vsize: 47596
[startup+850.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9580 0 0 0 84997 23 0 0 25 0 1 0 773713230 49192960 9504 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12010 9504 1111 63 0 11947 0
vsize: 48040
[startup+860.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9677 0 0 0 85997 23 0 0 25 0 1 0 773713230 49491968 9601 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9601 1111 63 0 12020 0
vsize: 48332
[startup+870.091 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9780 0 0 0 86997 23 0 0 25 0 1 0 773713230 49942528 9704 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9704 1111 63 0 12130 0
vsize: 48772
[startup+880.09 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9882 0 0 0 87997 23 0 0 25 0 1 0 773713230 50388992 9806 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9806 1111 63 0 12239 0
vsize: 49208
[startup+890.091 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 9984 0 0 0 88997 23 0 0 25 0 1 0 773713230 50814976 9908 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12406 9908 1111 63 0 12343 0
vsize: 49624
[startup+900.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10080 0 0 0 89997 23 0 0 25 0 1 0 773713230 51109888 10004 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12478 10004 1111 63 0 12415 0
vsize: 49912
[startup+910.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10177 0 0 0 90997 24 0 0 25 0 1 0 773713230 51560448 10101 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12588 10101 1111 63 0 12525 0
vsize: 50352
[startup+920.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10280 0 0 0 91997 24 0 0 25 0 1 0 773713230 52011008 10204 4294967295 134512640 134714508 3221224576 3221222804 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12698 10204 1111 63 0 12635 0
vsize: 50792
[startup+930.092 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10383 0 0 0 92997 24 0 0 25 0 1 0 773713230 52461568 10307 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12808 10307 1111 63 0 12745 0
vsize: 51232
[startup+940.093 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10484 0 0 0 93997 24 0 0 25 0 1 0 773713230 52760576 10408 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10408 1111 63 0 12818 0
vsize: 51524
[startup+950.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10581 0 0 0 94998 24 0 0 25 0 1 0 773713230 53207040 10505 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10505 1111 63 0 12927 0
vsize: 51960
[startup+960.095 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10683 0 0 0 95998 24 0 0 25 0 1 0 773713230 53657600 10607 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10607 1111 63 0 13037 0
vsize: 52400
[startup+970.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10779 0 0 0 96998 25 0 0 25 0 1 0 773713230 53956608 10703 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13173 10703 1111 63 0 13110 0
vsize: 52692
[startup+980.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10882 0 0 0 97998 25 0 0 25 0 1 0 773713230 54411264 10806 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13284 10806 1111 63 0 13221 0
vsize: 53136
[startup+990.096 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 10984 0 0 0 98998 25 0 0 25 0 1 0 773713230 54857728 10908 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13393 10908 1111 63 0 13330 0
vsize: 53572
[startup+1000.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11087 0 0 0 99998 25 0 0 25 0 1 0 773713230 55308288 11011 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13503 11011 1111 63 0 13440 0
vsize: 54012
[startup+1010.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11183 0 0 0 100998 25 0 0 25 0 1 0 773713230 55607296 11107 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 11107 1111 63 0 13513 0
vsize: 54304
[startup+1020.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11287 0 0 0 101998 26 0 0 25 0 1 0 773713230 56057856 11211 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11211 1111 63 0 13623 0
vsize: 54744
[startup+1030.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11382 0 0 0 102998 26 0 0 25 0 1 0 773713230 56508416 11306 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11306 1111 63 0 13733 0
vsize: 55184
[startup+1040.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11485 0 0 0 103998 26 0 0 25 0 1 0 773713230 56958976 11409 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13906 11409 1111 63 0 13843 0
vsize: 55624
[startup+1050.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11587 0 0 0 104998 26 0 0 25 0 1 0 773713230 57257984 11511 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13979 11511 1111 63 0 13916 0
vsize: 55916
[startup+1060.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11691 0 0 0 105998 26 0 0 25 0 1 0 773713230 57704448 11615 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14088 11615 1111 63 0 14025 0
vsize: 56352
[startup+1070.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11793 0 0 0 106998 27 0 0 25 0 1 0 773713230 58155008 11717 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14198 11717 1111 63 0 14135 0
vsize: 56792
[startup+1080.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11895 0 0 0 107998 27 0 0 25 0 1 0 773713230 58605568 11819 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14308 11819 1111 63 0 14245 0
vsize: 57232
[startup+1090.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 11991 0 0 0 108998 27 0 0 25 0 1 0 773713230 58908672 11915 4294967295 134512640 134714508 3221224576 3221222804 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11915 1111 63 0 14319 0
vsize: 57528
[startup+1100.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12093 0 0 0 109998 27 0 0 25 0 1 0 773713230 59351040 12017 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 12017 1111 63 0 14427 0
vsize: 57960
[startup+1110.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12197 0 0 0 110998 27 0 0 25 0 1 0 773713230 59805696 12121 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14601 12121 1111 63 0 14538 0
vsize: 58404
[startup+1120.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12294 0 0 0 111998 28 0 0 25 0 1 0 773713230 60252160 12218 4294967295 134512640 134714508 3221224576 3221222804 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14710 12218 1111 63 0 14647 0
vsize: 58840
[startup+1130.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12397 0 0 0 112998 28 0 0 25 0 1 0 773713230 60555264 12321 4294967295 134512640 134714508 3221224576 3221222804 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14784 12321 1111 63 0 14721 0
vsize: 59136
[startup+1140.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12498 0 0 0 113998 28 0 0 25 0 1 0 773713230 61005824 12422 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14894 12422 1111 63 0 14831 0
vsize: 59576
[startup+1150.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12601 0 0 0 114998 28 0 0 25 0 1 0 773713230 61456384 12525 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15004 12525 1111 63 0 14941 0
vsize: 60016
[startup+1160.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12703 0 0 0 115997 29 0 0 25 0 1 0 773713230 61902848 12627 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15113 12627 1111 63 0 15050 0
vsize: 60452
[startup+1170.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12807 0 0 0 116998 29 0 0 25 0 1 0 773713230 62353408 12731 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12731 1111 63 0 15160 0
vsize: 60892
[startup+1180.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 12908 0 0 0 117998 29 0 0 25 0 1 0 773713230 62652416 12832 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15296 12832 1111 63 0 15233 0
vsize: 61184
[startup+1190.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 13010 0 0 0 118998 29 0 0 25 0 1 0 773713230 63102976 12934 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15406 12934 1111 63 0 15343 0
vsize: 61624
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.95 2/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) R 26350 23514 23513 0 -1 0 13108 0 0 0 119997 29 0 0 25 0 1 0 773713230 63553536 13032 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15516 13032 1111 63 0 15453 0
vsize: 62064
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.13 s]
Raw data (loadavg): 0.99 0.97 0.95 1/54 26351
Raw data (stat): 26351 (bsolo_lpr_cuts) Z 26350 23514 23513 0 -1 1036 13108 0 0 0 119998 32 0 0 25 0 1 0 773713230 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.13
CPU time (s): 1200.3
CPU user time (s): 1199.98
CPU system time (s): 0.32395
CPU usage (%): 100.015
Max. virtual memory (Kb): 62064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####