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-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
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	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
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	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500
Trace number 27614

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        877488 kB
Buffers:         13952 kB
Cached:         120408 kB
SwapCached:       1572 kB
Active:          31772 kB
Inactive:       105608 kB
HighTotal:      131008 kB
HighFree:        60732 kB
LowTotal:       903652 kB
LowFree:        816756 kB
SwapTotal:     2097892 kB
SwapFree:      2095420 kB
Dirty:             152 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            14020 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 23:02:47 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 16447 7 1200.24 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.85 0.94 0.97 2/54 27786
Raw data (stat): 27786 (runsolver) R 27785 22056 22055 0 -1 64 4 0 0 0 0 0 0 0 19 0 1 0 833920807 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.0008 s]
Raw data (loadavg): 0.88 0.94 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1252 0 0 0 993 4 0 0 25 0 1 0 833920807 15634432 1176 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 1176 1111 63 0 3754 0
vsize: 15268
[startup+20.0014 s]
Raw data (loadavg): 0.89 0.94 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1391 0 0 0 1993 4 0 0 25 0 1 0 833920807 16203776 1315 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 1315 1111 63 0 3893 0
vsize: 15824
[startup+30.0012 s]
Raw data (loadavg): 0.91 0.94 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1534 0 0 0 2993 4 0 0 25 0 1 0 833920807 16764928 1458 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4093 1458 1111 63 0 4030 0
vsize: 16372
[startup+40.002 s]
Raw data (loadavg): 0.92 0.94 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1694 0 0 0 3993 5 0 0 25 0 1 0 833920807 17473536 1618 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4266 1618 1111 63 0 4203 0
vsize: 17064
[startup+50.0021 s]
Raw data (loadavg): 0.93 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 1861 0 0 0 4993 5 0 0 25 0 1 0 833920807 18186240 1785 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4440 1785 1111 63 0 4377 0
vsize: 17760
[startup+60.0026 s]
Raw data (loadavg): 0.94 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2027 0 0 0 5993 5 0 0 25 0 1 0 833920807 18894848 1951 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4613 1951 1111 63 0 4550 0
vsize: 18452
[startup+70.0022 s]
Raw data (loadavg): 0.95 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2186 0 0 0 6993 6 0 0 25 0 1 0 833920807 19456000 2110 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4750 2110 1111 63 0 4687 0
vsize: 19000
[startup+80.0022 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2351 0 0 0 7993 6 0 0 25 0 1 0 833920807 20164608 2275 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4923 2275 1111 63 0 4860 0
vsize: 19692
[startup+90.002 s]
Raw data (loadavg): 0.96 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2521 0 0 0 8992 6 0 0 25 0 1 0 833920807 20873216 2445 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5096 2445 1111 63 0 5033 0
vsize: 20384
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2687 0 0 0 9992 6 0 0 25 0 1 0 833920807 21573632 2611 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5267 2611 1111 63 0 5204 0
vsize: 21068
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 2853 0 0 0 10992 6 0 0 25 0 1 0 833920807 22282240 2777 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5440 2777 1111 63 0 5377 0
vsize: 21760
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3012 0 0 0 11992 7 0 0 25 0 1 0 833920807 22843392 2936 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5577 2936 1111 63 0 5514 0
vsize: 22308
[startup+130.003 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3178 0 0 0 12992 7 0 0 25 0 1 0 833920807 23552000 3102 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5750 3102 1111 63 0 5687 0
vsize: 23000
[startup+140.006 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3343 0 0 0 13992 7 0 0 25 0 1 0 833920807 24256512 3267 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5922 3267 1111 63 0 5859 0
vsize: 23688
[startup+150.011 s]
Raw data (loadavg): 0.98 0.95 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3509 0 0 0 14993 8 0 0 25 0 1 0 833920807 24961024 3433 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6094 3433 1111 63 0 6031 0
vsize: 24376
[startup+160.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3673 0 0 0 15993 8 0 0 25 0 1 0 833920807 25522176 3597 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6231 3597 1111 63 0 6168 0
vsize: 24924
[startup+170.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 3839 0 0 0 16993 8 0 0 25 0 1 0 833920807 26234880 3763 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6405 3763 1111 63 0 6342 0
vsize: 25620
[startup+180.011 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4012 0 0 0 17992 9 0 0 25 0 1 0 833920807 26955776 3936 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6581 3936 1111 63 0 6518 0
vsize: 26324
[startup+190.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4171 0 0 0 18993 9 0 0 25 0 1 0 833920807 27664384 4095 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6754 4095 1111 63 0 6691 0
vsize: 27016
[startup+200.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4344 0 0 0 19992 9 0 0 25 0 1 0 833920807 28372992 4268 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6927 4268 1111 63 0 6864 0
vsize: 27708
[startup+210.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4509 0 0 0 20992 9 0 0 25 0 1 0 833920807 29073408 4433 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7098 4433 1111 63 0 7035 0
vsize: 28392
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4676 0 0 0 21992 9 0 0 25 0 1 0 833920807 29642752 4600 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7237 4600 1111 63 0 7174 0
vsize: 28948
[startup+230.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 4847 0 0 0 22992 10 0 0 25 0 1 0 833920807 30347264 4771 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7409 4771 1111 63 0 7346 0
vsize: 29636
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5015 0 0 0 23992 10 0 0 25 0 1 0 833920807 31051776 4939 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7581 4939 1111 63 0 7518 0
vsize: 30324
[startup+250.013 s]
Raw data (loadavg): 0.99 0.96 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5179 0 0 0 24992 10 0 0 25 0 1 0 833920807 31756288 5103 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7753 5103 1111 63 0 7690 0
vsize: 31012
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5353 0 0 0 25992 10 0 0 25 0 1 0 833920807 32464896 5277 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7926 5277 1111 63 0 7863 0
vsize: 31704
[startup+270.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5519 0 0 0 26992 11 0 0 25 0 1 0 833920807 33173504 5443 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8099 5443 1111 63 0 8036 0
vsize: 32396
[startup+280.013 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5685 0 0 0 27992 11 0 0 25 0 1 0 833920807 33873920 5609 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8270 5609 1111 63 0 8207 0
vsize: 33080
[startup+290.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 5858 0 0 0 28992 11 0 0 25 0 1 0 833920807 34586624 5782 4294967295 134512640 134714508 3221224576 3221222804 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8444 5782 1111 63 0 8381 0
vsize: 33776
[startup+300.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6029 0 0 0 29992 11 0 0 25 0 1 0 833920807 35287040 5953 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8615 5953 1111 63 0 8552 0
vsize: 34460
[startup+310.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6195 0 0 0 30991 12 0 0 25 0 1 0 833920807 35852288 6119 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8753 6119 1111 63 0 8690 0
vsize: 35012
[startup+320.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6360 0 0 0 31991 12 0 0 25 0 1 0 833920807 36556800 6284 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8925 6284 1111 63 0 8862 0
vsize: 35700
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6533 0 0 0 32990 13 0 0 25 0 1 0 833920807 37265408 6457 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9098 6457 1111 63 0 9035 0
vsize: 36392
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6717 0 0 0 33990 14 0 0 25 0 1 0 833920807 38125568 6641 4294967295 134512640 134714508 3221224576 3221222536 1077377249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9308 6641 1111 63 0 9245 0
vsize: 37232
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 6882 0 0 0 34990 14 0 0 25 0 1 0 833920807 38830080 6806 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9480 6806 1111 63 0 9417 0
vsize: 37920
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7050 0 0 0 35990 14 0 0 25 0 1 0 833920807 39395328 6974 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9618 6974 1111 63 0 9555 0
vsize: 38472
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7214 0 0 0 36990 15 0 0 25 0 1 0 833920807 40099840 7138 4294967295 134512640 134714508 3221224576 3221222804 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9790 7138 1111 63 0 9727 0
vsize: 39160
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7388 0 0 0 37990 15 0 0 25 0 1 0 833920807 40808448 7312 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9963 7312 1111 63 0 9900 0
vsize: 39852
[startup+390.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7559 0 0 0 38989 16 0 0 25 0 1 0 833920807 41508864 7483 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10134 7483 1111 63 0 10071 0
vsize: 40536
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7727 0 0 0 39989 16 0 0 25 0 1 0 833920807 42217472 7651 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10307 7651 1111 63 0 10244 0
vsize: 41228
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 7900 0 0 0 40989 16 0 0 25 0 1 0 833920807 42926080 7824 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10480 7824 1111 63 0 10417 0
vsize: 41920
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8072 0 0 0 41989 17 0 0 25 0 1 0 833920807 43630592 7996 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10652 7996 1111 63 0 10589 0
vsize: 42608
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8251 0 0 0 42989 17 0 0 25 0 1 0 833920807 44339200 8175 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10825 8175 1111 63 0 10762 0
vsize: 43300
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8417 0 0 0 43989 17 0 0 25 0 1 0 833920807 45039616 8341 4294967295 134512640 134714508 3221224576 3221222804 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10996 8341 1111 63 0 10933 0
vsize: 43984
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8597 0 0 0 44989 17 0 0 25 0 1 0 833920807 45748224 8521 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11169 8521 1111 63 0 11106 0
vsize: 44676
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8771 0 0 0 45988 18 0 0 25 0 1 0 833920807 46456832 8695 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11342 8695 1111 63 0 11279 0
vsize: 45368
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 8943 0 0 0 46988 18 0 0 25 0 1 0 833920807 47161344 8867 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11514 8867 1111 63 0 11451 0
vsize: 46056
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9122 0 0 0 47988 18 0 0 25 0 1 0 833920807 47869952 9046 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11687 9046 1111 63 0 11624 0
vsize: 46748
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9295 0 0 0 48988 19 0 0 25 0 1 0 833920807 48570368 9219 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11858 9219 1111 63 0 11795 0
vsize: 47432
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9469 0 0 0 49988 19 0 0 25 0 1 0 833920807 49278976 9393 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12031 9393 1111 63 0 11968 0
vsize: 48124
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9648 0 0 0 50987 20 0 0 25 0 1 0 833920807 50126848 9572 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12238 9572 1111 63 0 12175 0
vsize: 48952
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9820 0 0 0 51987 20 0 0 25 0 1 0 833920807 50831360 9744 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 9744 1111 63 0 12347 0
vsize: 49640
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 9994 0 0 0 52987 20 0 0 25 0 1 0 833920807 51539968 9918 4294967295 134512640 134714508 3221224576 3221222804 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12583 9918 1111 63 0 12520 0
vsize: 50332
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10166 0 0 0 53987 20 0 0 25 0 1 0 833920807 52244480 10090 4294967295 134512640 134714508 3221224576 3221222804 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12755 10090 1111 63 0 12692 0
vsize: 51020
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10339 0 0 0 54987 21 0 0 25 0 1 0 833920807 52948992 10263 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12927 10263 1111 63 0 12864 0
vsize: 51708
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10519 0 0 0 55987 21 0 0 25 0 1 0 833920807 53661696 10443 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10443 1111 63 0 13038 0
vsize: 52404
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10698 0 0 0 56987 22 0 0 25 0 1 0 833920807 54362112 10622 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13272 10622 1111 63 0 13209 0
vsize: 53088
[startup+580.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 10879 0 0 0 57986 22 0 0 25 0 1 0 833920807 55070720 10803 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13445 10803 1111 63 0 13382 0
vsize: 53780
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11057 0 0 0 58986 23 0 0 25 0 1 0 833920807 55771136 10981 4294967295 134512640 134714508 3221224576 3221222804 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13616 10981 1111 63 0 13553 0
vsize: 54464
[startup+600.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11237 0 0 0 59985 24 0 0 25 0 1 0 833920807 56623104 11161 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13824 11161 1111 63 0 13761 0
vsize: 55296
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11411 0 0 0 60985 24 0 0 25 0 1 0 833920807 57331712 11335 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13997 11335 1111 63 0 13934 0
vsize: 55988
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11589 0 0 0 61985 24 0 0 25 0 1 0 833920807 58032128 11513 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14168 11513 1111 63 0 14105 0
vsize: 56672
[startup+630.02 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11769 0 0 0 62985 24 0 0 25 0 1 0 833920807 58740736 11693 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14341 11693 1111 63 0 14278 0
vsize: 57364
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 11947 0 0 0 63985 25 0 0 25 0 1 0 833920807 59441152 11871 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14512 11871 1111 63 0 14449 0
vsize: 58048
[startup+650.021 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12121 0 0 0 64985 25 0 0 25 0 1 0 833920807 60153856 12045 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14686 12045 1111 63 0 14623 0
vsize: 58744
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12320 0 0 0 65985 25 0 0 25 0 1 0 833920807 61079552 12244 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14912 12244 1111 63 0 14849 0
vsize: 59648
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12499 0 0 0 66985 26 0 0 25 0 1 0 833920807 61784064 12423 4294967295 134512640 134714508 3221224576 3221222804 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15084 12423 1111 63 0 15021 0
vsize: 60336
[startup+680.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12685 0 0 0 67985 26 0 0 25 0 1 0 833920807 62631936 12609 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15291 12609 1111 63 0 15228 0
vsize: 61164
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 12864 0 0 0 68984 26 0 0 25 0 1 0 833920807 63336448 12788 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15463 12788 1111 63 0 15400 0
vsize: 61852
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13045 0 0 0 69984 27 0 0 25 0 1 0 833920807 64040960 12969 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 12969 1111 63 0 15572 0
vsize: 62540
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13225 0 0 0 70984 27 0 0 25 0 1 0 833920807 64753664 13149 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15809 13149 1111 63 0 15746 0
vsize: 63236
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13397 0 0 0 71984 27 0 0 25 0 1 0 833920807 65454080 13321 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15980 13321 1111 63 0 15917 0
vsize: 63920
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13577 0 0 0 72983 28 0 0 25 0 1 0 833920807 66301952 13501 4294967295 134512640 134714508 3221224576 3221222804 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16187 13501 1111 63 0 16124 0
vsize: 64748
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13755 0 0 0 73983 28 0 0 25 0 1 0 833920807 67006464 13679 4294967295 134512640 134714508 3221224576 3221222804 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16359 13679 1111 63 0 16296 0
vsize: 65436
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 13936 0 0 0 74983 29 0 0 25 0 1 0 833920807 67715072 13860 4294967295 134512640 134714508 3221224576 3221222804 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16532 13860 1111 63 0 16469 0
vsize: 66128
[startup+760.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14123 0 0 0 75983 29 0 0 25 0 1 0 833920807 68423680 14047 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16705 14047 1111 63 0 16642 0
vsize: 66820
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14309 0 0 0 76983 30 0 0 25 0 1 0 833920807 69267456 14233 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16911 14233 1111 63 0 16848 0
vsize: 67644
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14490 0 0 0 77982 30 0 0 25 0 1 0 833920807 69971968 14414 4294967295 134512640 134714508 3221224576 3221222804 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17083 14414 1111 63 0 17020 0
vsize: 68332
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14683 0 0 0 78982 30 0 0 25 0 1 0 833920807 70823936 14607 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17291 14607 1111 63 0 17228 0
vsize: 69164
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 14862 0 0 0 79982 31 0 0 25 0 1 0 833920807 71524352 14786 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17462 14786 1111 63 0 17399 0
vsize: 69848
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15049 0 0 0 80981 31 0 0 25 0 1 0 833920807 72232960 14973 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17635 14973 1111 63 0 17572 0
vsize: 70540
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15235 0 0 0 81981 32 0 0 25 0 1 0 833920807 73076736 15159 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17841 15159 1111 63 0 17778 0
vsize: 71364
[startup+830.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15416 0 0 0 82981 32 0 0 25 0 1 0 833920807 73785344 15340 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18014 15340 1111 63 0 17951 0
vsize: 72056
[startup+840.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15602 0 0 0 83981 33 0 0 25 0 1 0 833920807 74493952 15526 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18187 15526 1111 63 0 18124 0
vsize: 72748
[startup+850.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15788 0 0 0 84980 33 0 0 25 0 1 0 833920807 75337728 15712 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18393 15712 1111 63 0 18330 0
vsize: 73572
[startup+860.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 15976 0 0 0 85981 33 0 0 25 0 1 0 833920807 76046336 15900 4294967295 134512640 134714508 3221224576 3221222804 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18566 15900 1111 63 0 18503 0
vsize: 74264
[startup+870.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16162 0 0 0 86981 33 0 0 25 0 1 0 833920807 76754944 16086 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18739 16086 1111 63 0 18676 0
vsize: 74956
[startup+880.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16341 0 0 0 87981 34 0 0 25 0 1 0 833920807 77594624 16265 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18944 16265 1111 63 0 18881 0
vsize: 75776
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16535 0 0 0 88981 34 0 0 25 0 1 0 833920807 78307328 16459 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19118 16459 1111 63 0 19055 0
vsize: 76472
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16723 0 0 0 89981 34 0 0 25 0 1 0 833920807 79155200 16647 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19325 16647 1111 63 0 19262 0
vsize: 77300
[startup+910.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 16909 0 0 0 90980 34 0 0 25 0 1 0 833920807 79855616 16833 4294967295 134512640 134714508 3221224576 3221222804 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19496 16833 1111 63 0 19433 0
vsize: 77984
[startup+920.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17103 0 0 0 91980 35 0 0 25 0 1 0 833920807 80703488 17027 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19703 17027 1111 63 0 19640 0
vsize: 78812
[startup+930.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17288 0 0 0 92980 35 0 0 25 0 1 0 833920807 81408000 17212 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19875 17212 1111 63 0 19812 0
vsize: 79500
[startup+940.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17476 0 0 0 93980 36 0 0 25 0 1 0 833920807 82116608 17400 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20048 17400 1111 63 0 19985 0
vsize: 80192
[startup+950.026 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17669 0 0 0 94979 36 0 0 25 0 1 0 833920807 82964480 17593 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20255 17593 1111 63 0 20192 0
vsize: 81020
[startup+960.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 17856 0 0 0 95979 36 0 0 25 0 1 0 833920807 83668992 17780 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20427 17780 1111 63 0 20364 0
vsize: 81708
[startup+970.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18044 0 0 0 96979 37 0 0 25 0 1 0 833920807 84516864 17968 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20634 17968 1111 63 0 20571 0
vsize: 82536
[startup+980.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18237 0 0 0 97979 37 0 0 25 0 1 0 833920807 85225472 18161 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20807 18161 1111 63 0 20744 0
vsize: 83228
[startup+990.027 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18429 0 0 0 98979 37 0 0 25 0 1 0 833920807 86069248 18353 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21013 18353 1111 63 0 20950 0
vsize: 84052
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18617 0 0 0 99979 37 0 0 25 0 1 0 833920807 86777856 18541 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21186 18541 1111 63 0 21123 0
vsize: 84744
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 18811 0 0 0 100979 38 0 0 25 0 1 0 833920807 87625728 18735 4294967295 134512640 134714508 3221224576 3221222804 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21393 18735 1111 63 0 21330 0
vsize: 85572
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19003 0 0 0 101979 38 0 0 25 0 1 0 833920807 88469504 18927 4294967295 134512640 134714508 3221224576 3221222804 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21599 18927 1111 63 0 21536 0
vsize: 86396
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27786
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19191 0 0 0 102979 38 0 0 25 0 1 0 833920807 89178112 19115 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21772 19115 1111 63 0 21709 0
vsize: 87088
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/56 27794
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19384 0 0 0 103978 39 0 0 25 0 1 0 833920807 90025984 19308 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21979 19308 1111 63 0 21916 0
vsize: 87916
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19571 0 0 0 104977 40 0 0 25 0 1 0 833920807 90730496 19495 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22151 19495 1111 63 0 22088 0
vsize: 88604
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19764 0 0 0 105976 40 0 0 25 0 1 0 833920807 91578368 19688 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22358 19688 1111 63 0 22295 0
vsize: 89432
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 19957 0 0 0 106976 40 0 0 25 0 1 0 833920807 92278784 19881 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22529 19881 1111 63 0 22466 0
vsize: 90116
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20152 0 0 0 107976 41 0 0 25 0 1 0 833920807 93130752 20076 4294967295 134512640 134714508 3221224576 3221222804 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22737 20076 1111 63 0 22674 0
vsize: 90948
[startup+1090.03 s]
Raw data (loadavg): 1.07 0.99 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20346 0 0 0 108975 41 0 0 25 0 1 0 833920807 93839360 20270 4294967295 134512640 134714508 3221224576 3221222804 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22910 20270 1111 63 0 22847 0
vsize: 91640
[startup+1100.03 s]
Raw data (loadavg): 1.06 0.99 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20545 0 0 0 109975 42 0 0 25 0 1 0 833920807 94683136 20469 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23116 20469 1111 63 0 23053 0
vsize: 92464
[startup+1110.03 s]
Raw data (loadavg): 1.05 0.99 0.97 2/54 27839
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20739 0 0 0 110974 43 0 0 25 0 1 0 833920807 95531008 20663 4294967295 134512640 134714508 3221224576 3221222804 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23323 20663 1111 63 0 23260 0
vsize: 93292
[startup+1120.03 s]
Raw data (loadavg): 1.04 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 20934 0 0 0 111974 43 0 0 25 0 1 0 833920807 96239616 20858 4294967295 134512640 134714508 3221224576 3221222804 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23496 20858 1111 63 0 23433 0
vsize: 93984
[startup+1130.03 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21126 0 0 0 112974 44 0 0 25 0 1 0 833920807 97079296 21050 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23701 21050 1111 63 0 23638 0
vsize: 94804
[startup+1140.03 s]
Raw data (loadavg): 1.03 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21327 0 0 0 113974 44 0 0 25 0 1 0 833920807 97931264 21251 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23909 21251 1111 63 0 23846 0
vsize: 95636
[startup+1150.03 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21527 0 0 0 114974 44 0 0 25 0 1 0 833920807 98779136 21451 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24116 21451 1111 63 0 24053 0
vsize: 96464
[startup+1160.03 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21720 0 0 0 115974 45 0 0 25 0 1 0 833920807 99483648 21644 4294967295 134512640 134714508 3221224576 3221222804 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24288 21644 1111 63 0 24225 0
vsize: 97152
[startup+1170.03 s]
Raw data (loadavg): 1.02 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 21915 0 0 0 116973 45 0 0 25 0 1 0 833920807 100331520 21839 4294967295 134512640 134714508 3221224576 3221222804 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24495 21839 1111 63 0 24432 0
vsize: 97980
[startup+1180.03 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22109 0 0 0 117973 46 0 0 25 0 1 0 833920807 101040128 22033 4294967295 134512640 134714508 3221224576 3221222804 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24668 22033 1111 63 0 24605 0
vsize: 98672
[startup+1190.03 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22309 0 0 0 118973 46 0 0 25 0 1 0 833920807 101883904 22233 4294967295 134512640 134714508 3221224576 3221223232 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24874 22233 1111 63 0 24811 0
vsize: 99496
[startup+1200.03 s]
Raw data (loadavg): 1.01 0.99 0.97 2/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) R 27785 22056 22055 0 -1 0 22509 0 0 0 119972 46 0 0 25 0 1 0 833920807 102731776 22433 4294967295 134512640 134714508 3221224576 3221223232 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25081 22433 1111 63 0 25018 0
vsize: 100324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 1.01 0.99 0.97 1/54 27841
Raw data (stat): 27786 (bsolo_lpr_cuts) Z 27785 22056 22055 0 -1 1036 22509 0 0 0 119973 51 0 0 25 0 1 0 833920807 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.08
CPU time (s): 1200.24
CPU user time (s): 1199.73
CPU system time (s): 0.510922
CPU usage (%): 100.014
Max. virtual memory (Kb): 100324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####