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-maros-r7.opb
MD5SUM	ebb49febffdfe5475bc23e4ef8d466db
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	188160
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	6734508713856
Number of bits of the sum of numbers in the objective function	43
Biggest number in a constraint	536870912000000
Number of bits of the biggest number in a constraint	49
Biggest sum of numbers in a constraint	4602477289606474
Number of bits of the biggest sum of numbers	53
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	2.65459
Number of variables	282240
Total number of constraints	3136
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	3136
Minimum length of a constraint	150
Maximum length of a constraint	720
Trace number 41025

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        700456 kB
Buffers:         31040 kB
Cached:         280976 kB
SwapCached:       1192 kB
Active:          82976 kB
Inactive:       231360 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        700204 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            14216 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:34:08 (client local time) WITH STATUS 0 IN 1200.42 SECONDS
stats: 29062 7 1200.42 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (runsolver) R 9285 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907300514 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1414 0 0 0 993 5 0 0 25 0 1 0 907300514 15511552 1334 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3787 1334 1111 63 0 3724 0
vsize: 15148
[startup+20.0014 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1509 0 0 0 1992 5 0 0 25 0 1 0 907300514 15806464 1429 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3859 1429 1111 63 0 3796 0
vsize: 15436
[startup+30.0008 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1597 0 0 0 2992 6 0 0 25 0 1 0 907300514 16232448 1517 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3963 1517 1111 63 0 3900 0
vsize: 15852
[startup+40.0024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1691 0 0 0 3992 6 0 0 25 0 1 0 907300514 16678912 1611 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4072 1611 1111 63 0 4009 0
vsize: 16288
[startup+50.0031 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1787 0 0 0 4991 7 0 0 25 0 1 0 907300514 16982016 1707 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4146 1707 1111 63 0 4083 0
vsize: 16584
[startup+60.0024 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1878 0 0 0 5991 7 0 0 25 0 1 0 907300514 17412096 1798 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4251 1798 1111 63 0 4188 0
vsize: 17004
[startup+70.1046 s]
Raw data (loadavg): 1.00 0.95 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 1974 0 0 0 7000 8 0 0 25 0 1 0 907300514 17715200 1894 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4325 1894 1111 63 0 4262 0
vsize: 17300
[startup+80.1056 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2068 0 0 0 8000 9 0 0 25 0 1 0 907300514 18161664 1988 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4434 1988 1111 63 0 4371 0
vsize: 17736
[startup+90.106 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2156 0 0 0 8999 10 0 0 25 0 1 0 907300514 18460672 2076 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4507 2076 1111 63 0 4444 0
vsize: 18028
[startup+100.107 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2251 0 0 0 9999 10 0 0 25 0 1 0 907300514 18915328 2171 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4618 2171 1111 63 0 4555 0
vsize: 18472
[startup+110.107 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2344 0 0 0 10999 10 0 0 25 0 1 0 907300514 19353600 2264 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4725 2264 1111 63 0 4662 0
vsize: 18900
[startup+120.108 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2441 0 0 0 11999 11 0 0 25 0 1 0 907300514 19636224 2361 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 2361 1111 63 0 4731 0
vsize: 19176
[startup+130.108 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2529 0 0 0 12998 11 0 0 25 0 1 0 907300514 20074496 2449 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4901 2449 1111 63 0 4838 0
vsize: 19604
[startup+140.109 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2630 0 0 0 13998 11 0 0 25 0 1 0 907300514 20525056 2550 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5011 2550 1111 63 0 4948 0
vsize: 20044
[startup+150.109 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2719 0 0 0 14998 12 0 0 25 0 1 0 907300514 20824064 2639 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5084 2639 1111 63 0 5021 0
vsize: 20336
[startup+160.11 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2813 0 0 0 15998 12 0 0 25 0 1 0 907300514 21274624 2733 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5194 2733 1111 63 0 5131 0
vsize: 20776
[startup+170.11 s]
Raw data (loadavg): 1.00 0.96 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2908 0 0 0 16998 12 0 0 25 0 1 0 907300514 21577728 2828 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5268 2828 1111 63 0 5205 0
vsize: 21072
[startup+180.11 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 2997 0 0 0 17997 13 0 0 25 0 1 0 907300514 22020096 2917 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5376 2917 1111 63 0 5313 0
vsize: 21504
[startup+190.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3092 0 0 0 18997 13 0 0 25 0 1 0 907300514 22327296 3012 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 3012 1111 63 0 5388 0
vsize: 21804
[startup+200.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3186 0 0 0 19997 13 0 0 25 0 1 0 907300514 22773760 3106 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 3106 1111 63 0 5497 0
vsize: 22240
[startup+210.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3276 0 0 0 20996 14 0 0 25 0 1 0 907300514 23072768 3196 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5633 3196 1111 63 0 5570 0
vsize: 22532
[startup+220.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3377 0 0 0 21996 14 0 0 25 0 1 0 907300514 23511040 3297 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5740 3297 1111 63 0 5677 0
vsize: 22960
[startup+230.111 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3471 0 0 0 22995 15 0 0 25 0 1 0 907300514 23961600 3391 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5850 3391 1111 63 0 5787 0
vsize: 23400
[startup+240.112 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3562 0 0 0 23995 16 0 0 25 0 1 0 907300514 24264704 3482 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5924 3482 1111 63 0 5861 0
vsize: 23696
[startup+250.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3662 0 0 0 24994 16 0 0 25 0 1 0 907300514 24711168 3582 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6033 3582 1111 63 0 5970 0
vsize: 24132
[startup+260.113 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3752 0 0 0 25994 17 0 0 25 0 1 0 907300514 25014272 3672 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6107 3672 1111 63 0 6044 0
vsize: 24428
[startup+270.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3847 0 0 0 26994 17 0 0 25 0 1 0 907300514 25460736 3767 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3767 1111 63 0 6153 0
vsize: 24864
[startup+280.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 3943 0 0 0 27994 17 0 0 25 0 1 0 907300514 25911296 3863 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3863 1111 63 0 6263 0
vsize: 25304
[startup+290.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4032 0 0 0 28994 17 0 0 25 0 1 0 907300514 26210304 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6399 3952 1111 63 0 6336 0
vsize: 25596
[startup+300.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4126 0 0 0 29994 17 0 0 25 0 1 0 907300514 26660864 4046 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6509 4046 1111 63 0 6446 0
vsize: 26036
[startup+310.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4221 0 0 0 30994 17 0 0 25 0 1 0 907300514 26939392 4141 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6577 4141 1111 63 0 6514 0
vsize: 26308
[startup+320.114 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4311 0 0 0 31994 17 0 0 25 0 1 0 907300514 27381760 4231 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6685 4231 1111 63 0 6622 0
vsize: 26740
[startup+330.117 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4406 0 0 0 32995 17 0 0 25 0 1 0 907300514 27676672 4326 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6757 4326 1111 63 0 6694 0
vsize: 27028
[startup+340.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4501 0 0 0 33995 18 0 0 25 0 1 0 907300514 28127232 4421 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6867 4421 1111 63 0 6804 0
vsize: 27468
[startup+350.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4589 0 0 0 34995 18 0 0 25 0 1 0 907300514 28426240 4509 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6940 4509 1111 63 0 6877 0
vsize: 27760
[startup+360.118 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4685 0 0 0 35995 18 0 0 25 0 1 0 907300514 28880896 4605 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7051 4605 1111 63 0 6988 0
vsize: 28204
[startup+370.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4779 0 0 0 36995 18 0 0 25 0 1 0 907300514 29327360 4699 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7160 4699 1111 63 0 7097 0
vsize: 28640
[startup+380.119 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4869 0 0 0 37995 18 0 0 25 0 1 0 907300514 29630464 4789 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7234 4789 1111 63 0 7171 0
vsize: 28936
[startup+390.12 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 4963 0 0 0 38995 19 0 0 25 0 1 0 907300514 30076928 4883 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7343 4883 1111 63 0 7280 0
vsize: 29372
[startup+400.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5059 0 0 0 39995 19 0 0 25 0 1 0 907300514 30375936 4979 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4979 1111 63 0 7353 0
vsize: 29664
[startup+410.121 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5153 0 0 0 40995 19 0 0 25 0 1 0 907300514 30826496 5073 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 5073 1111 63 0 7463 0
vsize: 30104
[startup+420.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5247 0 0 0 41995 19 0 0 25 0 1 0 907300514 31125504 5167 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7599 5167 1111 63 0 7536 0
vsize: 30396
[startup+430.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5348 0 0 0 42995 19 0 0 25 0 1 0 907300514 31617024 5268 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7719 5268 1111 63 0 7656 0
vsize: 30876
[startup+440.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5443 0 0 0 43995 20 0 0 25 0 1 0 907300514 32059392 5363 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7827 5363 1111 63 0 7764 0
vsize: 31308
[startup+450.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5538 0 0 0 44995 20 0 0 25 0 1 0 907300514 32366592 5458 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7902 5458 1111 63 0 7839 0
vsize: 31608
[startup+460.122 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5627 0 0 0 45995 20 0 0 25 0 1 0 907300514 32813056 5547 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8011 5547 1111 63 0 7948 0
vsize: 32044
[startup+470.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5729 0 0 0 46995 20 0 0 25 0 1 0 907300514 33263616 5649 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8121 5649 1111 63 0 8058 0
vsize: 32484
[startup+480.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5819 0 0 0 47995 20 0 0 25 0 1 0 907300514 33562624 5739 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8194 5739 1111 63 0 8131 0
vsize: 32776
[startup+490.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 5913 0 0 0 48995 20 0 0 25 0 1 0 907300514 34009088 5833 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5833 1111 63 0 8240 0
vsize: 33212
[startup+500.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6009 0 0 0 49995 21 0 0 25 0 1 0 907300514 34316288 5929 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8378 5929 1111 63 0 8315 0
vsize: 33512
[startup+510.123 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6103 0 0 0 50995 21 0 0 25 0 1 0 907300514 34758656 6023 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8486 6023 1111 63 0 8423 0
vsize: 33944
[startup+520.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6199 0 0 0 51995 21 0 0 25 0 1 0 907300514 35061760 6119 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 6119 1111 63 0 8497 0
vsize: 34240
[startup+530.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6289 0 0 0 52995 21 0 0 25 0 1 0 907300514 35512320 6209 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8670 6209 1111 63 0 8607 0
vsize: 34680
[startup+540.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6385 0 0 0 53995 21 0 0 25 0 1 0 907300514 35811328 6305 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8743 6305 1111 63 0 8680 0
vsize: 34972
[startup+550.124 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6479 0 0 0 54995 22 0 0 25 0 1 0 907300514 36261888 6399 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8853 6399 1111 63 0 8790 0
vsize: 35412
[startup+560.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6574 0 0 0 55995 22 0 0 25 0 1 0 907300514 36708352 6494 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8962 6494 1111 63 0 8899 0
vsize: 35848
[startup+570.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6670 0 0 0 56995 22 0 0 25 0 1 0 907300514 37011456 6590 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9036 6590 1111 63 0 8973 0
vsize: 36144
[startup+580.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6766 0 0 0 57995 22 0 0 25 0 1 0 907300514 37457920 6686 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9145 6686 1111 63 0 9082 0
vsize: 36580
[startup+590.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6862 0 0 0 58995 22 0 0 25 0 1 0 907300514 37761024 6782 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6782 1111 63 0 9156 0
vsize: 36876
[startup+600.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 6950 0 0 0 59995 23 0 0 25 0 1 0 907300514 38211584 6870 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9329 6870 1111 63 0 9266 0
vsize: 37316
[startup+610.125 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7052 0 0 0 60995 23 0 0 25 0 1 0 907300514 38662144 6972 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9439 6972 1111 63 0 9376 0
vsize: 37756
[startup+620.126 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7141 0 0 0 61994 24 0 0 25 0 1 0 907300514 38961152 7061 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9512 7061 1111 63 0 9449 0
vsize: 38048
[startup+630.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7243 0 0 0 62995 24 0 0 25 0 1 0 907300514 39407616 7163 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9621 7163 1111 63 0 9558 0
vsize: 38484
[startup+640.135 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7333 0 0 0 63995 24 0 0 25 0 1 0 907300514 39710720 7253 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9695 7253 1111 63 0 9632 0
vsize: 38780
[startup+650.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7434 0 0 0 64995 24 0 0 25 0 1 0 907300514 40157184 7354 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9804 7354 1111 63 0 9741 0
vsize: 39216
[startup+660.136 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7524 0 0 0 65995 25 0 0 25 0 1 0 907300514 40460288 7444 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9878 7444 1111 63 0 9815 0
vsize: 39512
[startup+670.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7618 0 0 0 66995 25 0 0 25 0 1 0 907300514 40910848 7538 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9988 7538 1111 63 0 9925 0
vsize: 39952
[startup+680.137 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7715 0 0 0 67995 25 0 0 25 0 1 0 907300514 41361408 7635 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10098 7635 1111 63 0 10035 0
vsize: 40392
[startup+690.138 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7811 0 0 0 68995 25 0 0 25 0 1 0 907300514 41660416 7731 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10171 7731 1111 63 0 10108 0
vsize: 40684
[startup+700.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 7905 0 0 0 69995 25 0 0 25 0 1 0 907300514 42106880 7825 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10280 7825 1111 63 0 10217 0
vsize: 41120
[startup+710.139 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8001 0 0 0 70995 26 0 0 25 0 1 0 907300514 42409984 7921 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10354 7921 1111 63 0 10291 0
vsize: 41416
[startup+720.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8096 0 0 0 71995 26 0 0 25 0 1 0 907300514 42856448 8016 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10463 8016 1111 63 0 10400 0
vsize: 41852
[startup+730.142 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8198 0 0 0 72996 26 0 0 25 0 1 0 907300514 43311104 8118 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10574 8118 1111 63 0 10511 0
vsize: 42296
[startup+740.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8288 0 0 0 73996 26 0 0 25 0 1 0 907300514 43610112 8208 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10647 8208 1111 63 0 10584 0
vsize: 42588
[startup+750.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8390 0 0 0 74995 27 0 0 25 0 1 0 907300514 44052480 8310 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10755 8310 1111 63 0 10692 0
vsize: 43020
[startup+760.143 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8479 0 0 0 75995 27 0 0 25 0 1 0 907300514 44355584 8399 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10829 8399 1111 63 0 10766 0
vsize: 43316
[startup+770.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8580 0 0 0 76995 27 0 0 25 0 1 0 907300514 44806144 8500 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10939 8500 1111 63 0 10876 0
vsize: 43756
[startup+780.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8670 0 0 0 77995 27 0 0 25 0 1 0 907300514 45256704 8590 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11049 8590 1111 63 0 10986 0
vsize: 44196
[startup+790.144 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8770 0 0 0 78995 27 0 0 25 0 1 0 907300514 45555712 8690 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11122 8690 1111 63 0 11059 0
vsize: 44488
[startup+800.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8866 0 0 0 79995 28 0 0 25 0 1 0 907300514 45985792 8786 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11227 8786 1111 63 0 11164 0
vsize: 44908
[startup+810.145 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 8961 0 0 0 80995 28 0 0 25 0 1 0 907300514 46424064 8881 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11334 8881 1111 63 0 11271 0
vsize: 45336
[startup+820.146 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9057 0 0 0 81995 28 0 0 25 0 1 0 907300514 46723072 8977 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11407 8977 1111 63 0 11344 0
vsize: 45628
[startup+830.147 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9152 0 0 0 82995 28 0 0 25 0 1 0 907300514 47173632 9072 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11517 9072 1111 63 0 11454 0
vsize: 46068
[startup+840.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9266 0 0 0 83996 28 0 0 25 0 1 0 907300514 47722496 9186 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11651 9186 1111 63 0 11588 0
vsize: 46604
[startup+850.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9363 0 0 0 84996 28 0 0 25 0 1 0 907300514 48148480 9283 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11755 9283 1111 63 0 11692 0
vsize: 47020
[startup+860.148 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9463 0 0 0 85996 28 0 0 25 0 1 0 907300514 48594944 9383 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 9383 1111 63 0 11801 0
vsize: 47456
[startup+870.149 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9553 0 0 0 86996 28 0 0 25 0 1 0 907300514 48898048 9473 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11938 9473 1111 63 0 11875 0
vsize: 47752
[startup+880.149 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9654 0 0 0 87996 28 0 0 25 0 1 0 907300514 49344512 9574 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12047 9574 1111 63 0 11984 0
vsize: 48188
[startup+890.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9752 0 0 0 88996 29 0 0 25 0 1 0 907300514 49799168 9672 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12158 9672 1111 63 0 12095 0
vsize: 48632
[startup+900.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9847 0 0 0 89996 29 0 0 25 0 1 0 907300514 50098176 9767 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12231 9767 1111 63 0 12168 0
vsize: 48924
[startup+910.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 9949 0 0 0 90996 29 0 0 25 0 1 0 907300514 50540544 9869 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12339 9869 1111 63 0 12276 0
vsize: 49356
[startup+920.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10038 0 0 0 91996 29 0 0 25 0 1 0 907300514 50966528 9958 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12443 9958 1111 63 0 12380 0
vsize: 49772
[startup+930.151 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10139 0 0 0 92996 29 0 0 25 0 1 0 907300514 51261440 10059 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12515 10059 1111 63 0 12452 0
vsize: 50060
[startup+940.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10237 0 0 0 93996 29 0 0 25 0 1 0 907300514 51716096 10157 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12626 10157 1111 63 0 12563 0
vsize: 50504
[startup+950.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10332 0 0 0 94996 30 0 0 25 0 1 0 907300514 52162560 10252 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12735 10252 1111 63 0 12672 0
vsize: 50940
[startup+960.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10434 0 0 0 95996 30 0 0 25 0 1 0 907300514 52465664 10354 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12809 10354 1111 63 0 12746 0
vsize: 51236
[startup+970.153 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10523 0 0 0 96996 30 0 0 25 0 1 0 907300514 52916224 10443 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12919 10444 1111 63 0 12856 0
vsize: 51676
[startup+980.152 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10626 0 0 0 97996 30 0 0 25 0 1 0 907300514 53366784 10546 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13029 10546 1111 63 0 12966 0
vsize: 52116
[startup+990.154 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10722 0 0 0 98996 30 0 0 25 0 1 0 907300514 53661696 10642 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13101 10642 1111 63 0 13038 0
vsize: 52404
[startup+1000.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10817 0 0 0 99996 31 0 0 25 0 1 0 907300514 54112256 10737 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13211 10737 1111 63 0 13148 0
vsize: 52844
[startup+1010.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 10920 0 0 0 100995 31 0 0 25 0 1 0 907300514 54562816 10840 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13321 10840 1111 63 0 13258 0
vsize: 53284
[startup+1020.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11015 0 0 0 101995 31 0 0 25 0 1 0 907300514 54861824 10935 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13394 10935 1111 63 0 13331 0
vsize: 53576
[startup+1030.15 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11111 0 0 0 102995 32 0 0 25 0 1 0 907300514 55316480 11031 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13505 11031 1111 63 0 13442 0
vsize: 54020
[startup+1040.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11213 0 0 0 103995 32 0 0 25 0 1 0 907300514 55758848 11133 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13613 11133 1111 63 0 13550 0
vsize: 54452
[startup+1050.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11310 0 0 0 104995 32 0 0 25 0 1 0 907300514 56066048 11230 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13688 11230 1111 63 0 13625 0
vsize: 54752
[startup+1060.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11405 0 0 0 105995 32 0 0 25 0 1 0 907300514 56512512 11325 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13797 11325 1111 63 0 13734 0
vsize: 55188
[startup+1070.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11508 0 0 0 106995 32 0 0 25 0 1 0 907300514 56963072 11428 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13907 11428 1111 63 0 13844 0
vsize: 55628
[startup+1080.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11602 0 0 0 107995 32 0 0 25 0 1 0 907300514 57262080 11522 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13980 11522 1111 63 0 13917 0
vsize: 55920
[startup+1090.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11699 0 0 0 108995 32 0 0 25 0 1 0 907300514 57708544 11619 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14089 11619 1111 63 0 14026 0
vsize: 56356
[startup+1100.16 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11802 0 0 0 109995 33 0 0 25 0 1 0 907300514 58163200 11722 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14200 11722 1111 63 0 14137 0
vsize: 56800
[startup+1110.25 s]
Raw data (loadavg): 1.08 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11897 0 0 0 111004 33 0 0 25 0 1 0 907300514 58458112 11817 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14272 11817 1111 63 0 14209 0
vsize: 57088
[startup+1120.25 s]
Raw data (loadavg): 1.07 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 11994 0 0 0 112004 33 0 0 25 0 1 0 907300514 58912768 11914 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14383 11914 1111 63 0 14320 0
vsize: 57532
[startup+1130.25 s]
Raw data (loadavg): 1.06 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12095 0 0 0 113004 33 0 0 25 0 1 0 907300514 59359232 12015 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14492 12015 1111 63 0 14429 0
vsize: 57968
[startup+1140.25 s]
Raw data (loadavg): 1.05 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12192 0 0 0 114004 33 0 0 25 0 1 0 907300514 59662336 12112 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14566 12112 1111 63 0 14503 0
vsize: 58264
[startup+1150.25 s]
Raw data (loadavg): 1.04 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12294 0 0 0 115004 34 0 0 25 0 1 0 907300514 60112896 12214 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14676 12214 1111 63 0 14613 0
vsize: 58704
[startup+1160.25 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12391 0 0 0 116004 34 0 0 25 0 1 0 907300514 60563456 12311 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14786 12311 1111 63 0 14723 0
vsize: 59144
[startup+1170.25 s]
Raw data (loadavg): 1.03 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12492 0 0 0 117004 34 0 0 25 0 1 0 907300514 60858368 12412 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14858 12412 1111 63 0 14795 0
vsize: 59432
[startup+1180.25 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12587 0 0 0 118004 34 0 0 25 0 1 0 907300514 61308928 12507 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14968 12507 1111 63 0 14905 0
vsize: 59872
[startup+1190.25 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12684 0 0 0 119004 34 0 0 25 0 1 0 907300514 61759488 12604 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15078 12604 1111 63 0 15015 0
vsize: 60312
[startup+1200.25 s]
Raw data (loadavg): 1.02 0.99 0.92 2/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) R 9285 21152 21151 0 -1 0 12787 0 0 0 120004 34 0 0 25 0 1 0 907300514 62058496 12707 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15151 12707 1111 63 0 15088 0
vsize: 60604
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.28 s]
Raw data (loadavg): 1.02 0.99 0.92 1/54 9286
Raw data (stat): 9286 (bsolo_lpr_cuts-) Z 9285 21152 21151 0 -1 1036 12787 0 0 0 120005 37 0 0 25 0 1 0 907300514 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.28
CPU time (s): 1200.42
CPU user time (s): 1200.05
CPU system time (s): 0.373943
CPU usage (%): 100.012
Max. virtual memory (Kb): 60604
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####