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-ship12s.opb
MD5SUM	8b36f38cb0ceb42bd2113a818ef52485
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	82890
Biggest coefficient in the objective function	1511023181824000
Number of bits for the biggest coefficient in the objective function	51
Sum of the numbers in the objective function	204819735955723812
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	1511023181824000
Number of bits of the biggest number in a constraint	51
Biggest sum of numbers in a constraint	204819735955723812
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.776881
Number of variables	82890
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	30
Maximum length of a constraint	1470
Trace number 41044

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 04:41:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29099 boxname=wulflinc1 idbench=883 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  8b36f38cb0ceb42bd2113a818ef52485  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12s.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-20-10-ship12s.opb
IDLAUNCH: 29099
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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	: 2
cpu MHz		: 451.053
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:        803472 kB
Buffers:         23592 kB
Cached:         182828 kB
SwapCached:       1184 kB
Active:          42060 kB
Inactive:       166628 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        803220 kB
SwapTotal:     2097136 kB
SwapFree:      2094812 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5260 kB
Slab:            16736 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:01:30 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 29099 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.95 2/55 30504
Raw data (stat): 30504 (runsolver) R 30503 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 850617364 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1099 0 0 0 993 5 0 0 25 0 1 0 850617364 15511552 1019 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1019 1111 63 0 3724 0
vsize: 15148
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1202 0 0 0 1993 5 0 0 25 0 1 0 850617364 15945728 1122 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1122 1111 63 0 3830 0
vsize: 15572
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1297 0 0 0 2993 5 0 0 25 0 1 0 850617364 16388096 1217 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 1217 1111 63 0 3938 0
vsize: 16004
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1401 0 0 0 3993 6 0 0 25 0 1 0 850617364 16687104 1321 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4074 1321 1111 63 0 4011 0
vsize: 16296
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1528 0 0 0 4993 6 0 0 25 0 1 0 850617364 17272832 1448 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1448 1111 63 0 4154 0
vsize: 16868
[startup+60.0018 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1653 0 0 0 5992 7 0 0 25 0 1 0 850617364 17846272 1573 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4357 1573 1111 63 0 4294 0
vsize: 17428
[startup+70.0016 s]
Raw data (loadavg): 0.97 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1777 0 0 0 6991 7 0 0 25 0 1 0 850617364 18292736 1697 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4466 1697 1111 63 0 4403 0
vsize: 17864
[startup+80.0024 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 1903 0 0 0 7991 8 0 0 25 0 1 0 850617364 18747392 1823 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4577 1823 1111 63 0 4514 0
vsize: 18308
[startup+90.0022 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2032 0 0 0 8991 8 0 0 25 0 1 0 850617364 19341312 1952 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4722 1952 1111 63 0 4659 0
vsize: 18888
[startup+100.002 s]
Raw data (loadavg): 0.98 0.96 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2159 0 0 0 9991 9 0 0 25 0 1 0 850617364 19795968 2079 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2079 1111 63 0 4770 0
vsize: 19332
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2283 0 0 0 10991 9 0 0 25 0 1 0 850617364 20393984 2203 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2203 1111 63 0 4916 0
vsize: 19916
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2415 0 0 0 11990 9 0 0 25 0 1 0 850617364 20844544 2335 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2335 1111 63 0 5026 0
vsize: 20356
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2534 0 0 0 12990 10 0 0 25 0 1 0 850617364 21450752 2454 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5237 2454 1111 63 0 5174 0
vsize: 20948
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2665 0 0 0 13990 10 0 0 25 0 1 0 850617364 21901312 2585 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5347 2585 1111 63 0 5284 0
vsize: 21388
[startup+150.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2791 0 0 0 14989 11 0 0 25 0 1 0 850617364 22503424 2711 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5494 2711 1111 63 0 5431 0
vsize: 21976
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 2916 0 0 0 15989 12 0 0 25 0 1 0 850617364 22949888 2836 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5603 2836 1111 63 0 5540 0
vsize: 22412
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3055 0 0 0 16988 12 0 0 25 0 1 0 850617364 23543808 2975 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 2975 1111 63 0 5685 0
vsize: 22992
[startup+180.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3187 0 0 0 17988 12 0 0 25 0 1 0 850617364 24145920 3107 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5895 3107 1111 63 0 5832 0
vsize: 23580
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3312 0 0 0 18988 13 0 0 25 0 1 0 850617364 24596480 3232 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6005 3232 1111 63 0 5942 0
vsize: 24020
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3439 0 0 0 19988 13 0 0 25 0 1 0 850617364 25051136 3359 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6116 3359 1111 63 0 6053 0
vsize: 24464
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3571 0 0 0 20988 14 0 0 25 0 1 0 850617364 25649152 3491 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6262 3491 1111 63 0 6199 0
vsize: 25048
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3703 0 0 0 21987 14 0 0 25 0 1 0 850617364 26251264 3623 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6409 3623 1111 63 0 6346 0
vsize: 25636
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3834 0 0 0 22987 15 0 0 25 0 1 0 850617364 26701824 3754 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6519 3754 1111 63 0 6456 0
vsize: 26076
[startup+240.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 3963 0 0 0 23986 16 0 0 25 0 1 0 850617364 27275264 3883 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6659 3883 1111 63 0 6596 0
vsize: 26636
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4095 0 0 0 24986 16 0 0 25 0 1 0 850617364 27725824 4015 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6769 4015 1111 63 0 6706 0
vsize: 27076
[startup+260.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4226 0 0 0 25986 16 0 0 25 0 1 0 850617364 28327936 4146 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6916 4146 1111 63 0 6853 0
vsize: 27664
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4353 0 0 0 26985 17 0 0 25 0 1 0 850617364 28782592 4273 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7027 4273 1111 63 0 6964 0
vsize: 28108
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4484 0 0 0 27985 17 0 0 25 0 1 0 850617364 29380608 4404 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7173 4404 1111 63 0 7110 0
vsize: 28692
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4617 0 0 0 28984 18 0 0 25 0 1 0 850617364 29982720 4537 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7320 4537 1111 63 0 7257 0
vsize: 29280
[startup+300.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4750 0 0 0 29984 18 0 0 25 0 1 0 850617364 30433280 4670 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7430 4670 1111 63 0 7367 0
vsize: 29720
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 4881 0 0 0 30984 18 0 0 25 0 1 0 850617364 31039488 4801 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7578 4801 1111 63 0 7515 0
vsize: 30312
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5025 0 0 0 31984 19 0 0 25 0 1 0 850617364 31678464 4945 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7734 4945 1111 63 0 7671 0
vsize: 30936
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5156 0 0 0 32983 20 0 0 25 0 1 0 850617364 32124928 5076 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7843 5076 1111 63 0 7780 0
vsize: 31372
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5289 0 0 0 33983 20 0 0 25 0 1 0 850617364 32731136 5209 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7991 5209 1111 63 0 7928 0
vsize: 31964
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5424 0 0 0 34982 21 0 0 25 0 1 0 850617364 33333248 5344 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8138 5344 1111 63 0 8075 0
vsize: 32552
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5562 0 0 0 35982 21 0 0 25 0 1 0 850617364 33783808 5482 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8248 5482 1111 63 0 8185 0
vsize: 32992
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5696 0 0 0 36982 22 0 0 25 0 1 0 850617364 34390016 5616 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8396 5616 1111 63 0 8333 0
vsize: 33584
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5827 0 0 0 37981 22 0 0 25 0 1 0 850617364 34988032 5747 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8542 5747 1111 63 0 8479 0
vsize: 34168
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 5969 0 0 0 38981 23 0 0 25 0 1 0 850617364 35438592 5889 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8652 5889 1111 63 0 8589 0
vsize: 34608
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6102 0 0 0 39981 23 0 0 25 0 1 0 850617364 36044800 6022 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8800 6022 1111 63 0 8737 0
vsize: 35200
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6240 0 0 0 40980 24 0 0 25 0 1 0 850617364 36642816 6160 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8946 6160 1111 63 0 8883 0
vsize: 35784
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6381 0 0 0 41979 25 0 0 25 0 1 0 850617364 37244928 6301 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9093 6301 1111 63 0 9030 0
vsize: 36372
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6514 0 0 0 42979 25 0 0 25 0 1 0 850617364 37695488 6434 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9203 6434 1111 63 0 9140 0
vsize: 36812
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6654 0 0 0 43979 26 0 0 25 0 1 0 850617364 38297600 6574 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9350 6574 1111 63 0 9287 0
vsize: 37400
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6794 0 0 0 44979 26 0 0 25 0 1 0 850617364 38903808 6714 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9498 6714 1111 63 0 9435 0
vsize: 37992
[startup+460.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 6928 0 0 0 45979 26 0 0 25 0 1 0 850617364 39350272 6848 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9607 6848 1111 63 0 9544 0
vsize: 38428
[startup+470.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7068 0 0 0 46979 26 0 0 25 0 1 0 850617364 39952384 6988 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9754 6988 1111 63 0 9691 0
vsize: 39016
[startup+480.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7208 0 0 0 47979 27 0 0 25 0 1 0 850617364 40558592 7128 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9902 7128 1111 63 0 9839 0
vsize: 39608
[startup+490.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7340 0 0 0 48978 27 0 0 25 0 1 0 850617364 41156608 7260 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10048 7260 1111 63 0 9985 0
vsize: 40192
[startup+500.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7482 0 0 0 49978 28 0 0 25 0 1 0 850617364 41611264 7402 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10159 7402 1111 63 0 10096 0
vsize: 40636
[startup+510.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7620 0 0 0 50978 28 0 0 25 0 1 0 850617364 42209280 7540 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 7540 1111 63 0 10242 0
vsize: 41220
[startup+520.008 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7754 0 0 0 51978 28 0 0 25 0 1 0 850617364 42782720 7674 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10445 7674 1111 63 0 10382 0
vsize: 41780
[startup+530.009 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 7895 0 0 0 52978 28 0 0 25 0 1 0 850617364 43384832 7815 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10592 7815 1111 63 0 10529 0
vsize: 42368
[startup+540.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8035 0 0 0 53978 29 0 0 25 0 1 0 850617364 43982848 7955 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10738 7955 1111 63 0 10675 0
vsize: 42952
[startup+550.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8175 0 0 0 54978 29 0 0 25 0 1 0 850617364 44441600 8095 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10850 8095 1111 63 0 10787 0
vsize: 43400
[startup+560.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8315 0 0 0 55978 29 0 0 25 0 1 0 850617364 45039616 8235 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 8235 1111 63 0 10933 0
vsize: 43984
[startup+570.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8461 0 0 0 56978 29 0 0 25 0 1 0 850617364 45641728 8381 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11143 8381 1111 63 0 11080 0
vsize: 44572
[startup+580.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8602 0 0 0 57978 29 0 0 25 0 1 0 850617364 46247936 8522 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11291 8522 1111 63 0 11228 0
vsize: 45164
[startup+590.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8743 0 0 0 58977 29 0 0 25 0 1 0 850617364 46845952 8663 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11437 8663 1111 63 0 11374 0
vsize: 45748
[startup+600.01 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 8916 0 0 0 59977 30 0 0 25 0 1 0 850617364 47710208 8836 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11648 8836 1111 63 0 11585 0
vsize: 46592
[startup+610.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9047 0 0 0 60977 30 0 0 25 0 1 0 850617364 48152576 8967 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11756 8967 1111 63 0 11693 0
vsize: 47024
[startup+620.011 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9186 0 0 0 61977 30 0 0 25 0 1 0 850617364 48750592 9106 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 9106 1111 63 0 11839 0
vsize: 47608
[startup+630.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9334 0 0 0 62977 31 0 0 25 0 1 0 850617364 49328128 9254 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12043 9254 1111 63 0 11980 0
vsize: 48172
[startup+640.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9483 0 0 0 63977 31 0 0 25 0 1 0 850617364 49930240 9403 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12190 9403 1111 63 0 12127 0
vsize: 48760
[startup+650.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9628 0 0 0 64977 31 0 0 25 0 1 0 850617364 50528256 9548 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 9548 1111 63 0 12273 0
vsize: 49344
[startup+660.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9775 0 0 0 65977 31 0 0 25 0 1 0 850617364 51101696 9695 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9695 1111 63 0 12413 0
vsize: 49904
[startup+670.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 9925 0 0 0 66977 32 0 0 25 0 1 0 850617364 51707904 9845 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12624 9845 1111 63 0 12561 0
vsize: 50496
[startup+680.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10064 0 0 0 67977 32 0 0 25 0 1 0 850617364 52305920 9984 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12770 9984 1111 63 0 12707 0
vsize: 51080
[startup+690.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10212 0 0 0 68976 32 0 0 25 0 1 0 850617364 52908032 10132 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10132 1111 63 0 12854 0
vsize: 51668
[startup+700.012 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10360 0 0 0 69976 32 0 0 25 0 1 0 850617364 53510144 10280 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13064 10280 1111 63 0 13001 0
vsize: 52256
[startup+710.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10507 0 0 0 70976 33 0 0 25 0 1 0 850617364 54108160 10427 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13210 10427 1111 63 0 13147 0
vsize: 52840
[startup+720.013 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10655 0 0 0 71976 33 0 0 25 0 1 0 850617364 54714368 10575 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13358 10575 1111 63 0 13295 0
vsize: 53432
[startup+730.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10809 0 0 0 72976 33 0 0 25 0 1 0 850617364 55316480 10729 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13505 10729 1111 63 0 13442 0
vsize: 54020
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 10957 0 0 0 73976 33 0 0 25 0 1 0 850617364 55914496 10877 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10877 1111 63 0 13588 0
vsize: 54604
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11104 0 0 0 74976 34 0 0 25 0 1 0 850617364 56520704 11024 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 11024 1111 63 0 13736 0
vsize: 55196
[startup+760.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11252 0 0 0 75976 34 0 0 25 0 1 0 850617364 57122816 11172 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13946 11172 1111 63 0 13883 0
vsize: 55784
[startup+770.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11401 0 0 0 76976 34 0 0 25 0 1 0 850617364 57720832 11321 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14092 11321 1111 63 0 14029 0
vsize: 56368
[startup+780.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11549 0 0 0 77976 35 0 0 25 0 1 0 850617364 58327040 11469 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14240 11469 1111 63 0 14177 0
vsize: 56960
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11709 0 0 0 78976 35 0 0 25 0 1 0 850617364 59080704 11629 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14424 11629 1111 63 0 14361 0
vsize: 57696
[startup+800.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 11858 0 0 0 79976 35 0 0 25 0 1 0 850617364 59678720 11778 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14570 11778 1111 63 0 14507 0
vsize: 58280
[startup+810.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12013 0 0 0 80976 35 0 0 25 0 1 0 850617364 60284928 11933 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14718 11933 1111 63 0 14655 0
vsize: 58872
[startup+820.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12167 0 0 0 81976 35 0 0 25 0 1 0 850617364 60887040 12087 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14865 12087 1111 63 0 14802 0
vsize: 59460
[startup+830.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12315 0 0 0 82976 36 0 0 25 0 1 0 850617364 61485056 12235 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15011 12235 1111 63 0 14948 0
vsize: 60044
[startup+840.014 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12471 0 0 0 83975 36 0 0 25 0 1 0 850617364 62091264 12391 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15159 12391 1111 63 0 15096 0
vsize: 60636
[startup+850.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12626 0 0 0 84975 36 0 0 25 0 1 0 850617364 62840832 12546 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 12546 1111 63 0 15279 0
vsize: 61368
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12787 0 0 0 85975 36 0 0 25 0 1 0 850617364 63447040 12707 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15490 12707 1111 63 0 15427 0
vsize: 61960
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 12942 0 0 0 86975 37 0 0 25 0 1 0 850617364 64045056 12862 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15636 12862 1111 63 0 15573 0
vsize: 62544
[startup+880.016 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13097 0 0 0 87975 37 0 0 25 0 1 0 850617364 64647168 13017 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15783 13017 1111 63 0 15720 0
vsize: 63132
[startup+890.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13259 0 0 0 88976 37 0 0 25 0 1 0 850617364 65400832 13179 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15967 13179 1111 63 0 15904 0
vsize: 63868
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13414 0 0 0 89976 37 0 0 25 0 1 0 850617364 65998848 13334 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16113 13334 1111 63 0 16050 0
vsize: 64452
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13570 0 0 0 90975 37 0 0 25 0 1 0 850617364 66605056 13490 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16261 13490 1111 63 0 16198 0
vsize: 65044
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13731 0 0 0 91975 38 0 0 25 0 1 0 850617364 67354624 13651 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16444 13651 1111 63 0 16381 0
vsize: 65776
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 13895 0 0 0 92975 38 0 0 25 0 1 0 850617364 67960832 13815 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16592 13815 1111 63 0 16529 0
vsize: 66368
[startup+940.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14055 0 0 0 93975 38 0 0 25 0 1 0 850617364 68558848 13975 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16738 13975 1111 63 0 16675 0
vsize: 66952
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14211 0 0 0 94975 38 0 0 25 0 1 0 850617364 69312512 14131 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16922 14131 1111 63 0 16859 0
vsize: 67688
[startup+960.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14368 0 0 0 95975 39 0 0 25 0 1 0 850617364 69918720 14288 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17070 14288 1111 63 0 17007 0
vsize: 68280
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14529 0 0 0 96975 39 0 0 25 0 1 0 850617364 70516736 14449 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17216 14449 1111 63 0 17153 0
vsize: 68864
[startup+980.019 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14691 0 0 0 97975 39 0 0 25 0 1 0 850617364 71266304 14611 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17399 14611 1111 63 0 17336 0
vsize: 69596
[startup+990.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 14855 0 0 0 98974 40 0 0 25 0 1 0 850617364 71872512 14775 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17547 14775 1111 63 0 17484 0
vsize: 70188
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15024 0 0 0 99974 40 0 0 25 0 1 0 850617364 72626176 14944 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17731 14944 1111 63 0 17668 0
vsize: 70924
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15185 0 0 0 100974 41 0 0 25 0 1 0 850617364 73224192 15105 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17877 15105 1111 63 0 17814 0
vsize: 71508
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15355 0 0 0 101974 41 0 0 25 0 1 0 850617364 73949184 15275 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18054 15275 1111 63 0 17991 0
vsize: 72216
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15518 0 0 0 102974 41 0 0 25 0 1 0 850617364 74551296 15438 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18201 15438 1111 63 0 18138 0
vsize: 72804
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15680 0 0 0 103974 41 0 0 25 0 1 0 850617364 75304960 15600 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18385 15600 1111 63 0 18322 0
vsize: 73540
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 15849 0 0 0 104973 42 0 0 25 0 1 0 850617364 75902976 15769 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18531 15769 1111 63 0 18468 0
vsize: 74124
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16019 0 0 0 105973 42 0 0 25 0 1 0 850617364 76656640 15939 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18715 15939 1111 63 0 18652 0
vsize: 74860
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16189 0 0 0 106973 43 0 0 25 0 1 0 850617364 77262848 16109 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18863 16109 1111 63 0 18800 0
vsize: 75452
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16358 0 0 0 107973 43 0 0 25 0 1 0 850617364 78012416 16278 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19046 16278 1111 63 0 18983 0
vsize: 76184
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16526 0 0 0 108973 44 0 0 25 0 1 0 850617364 78761984 16446 4294967295 134512640 134716908 3221224560 3221221368 1076880163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19229 16446 1111 63 0 19166 0
vsize: 76916
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16695 0 0 0 109973 44 0 0 25 0 1 0 850617364 79368192 16615 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19377 16615 1111 63 0 19314 0
vsize: 77508
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.95 2/55 30504
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 16905 0 0 0 110973 44 0 0 25 0 1 0 850617364 80478208 16825 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19648 16825 1111 63 0 19585 0
vsize: 78592
[startup+1120.02 s]
Raw data (loadavg): 1.15 1.00 0.96 2/59 30556
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17075 0 0 0 111972 44 0 0 25 0 1 0 850617364 81203200 16995 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19825 16995 1111 63 0 19762 0
vsize: 79300
[startup+1130.02 s]
Raw data (loadavg): 1.13 1.00 0.96 2/55 30557
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17246 0 0 0 112972 45 0 0 25 0 1 0 850617364 81952768 17166 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20008 17166 1111 63 0 19945 0
vsize: 80032
[startup+1140.02 s]
Raw data (loadavg): 1.11 1.00 0.96 2/55 30557
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17421 0 0 0 113972 45 0 0 25 0 1 0 850617364 82550784 17341 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20154 17341 1111 63 0 20091 0
vsize: 80616
[startup+1150.02 s]
Raw data (loadavg): 1.09 1.00 0.96 2/55 30557
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17591 0 0 0 114972 45 0 0 25 0 1 0 850617364 83308544 17511 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20339 17511 1111 63 0 20276 0
vsize: 81356
[startup+1160.02 s]
Raw data (loadavg): 1.08 1.00 0.96 2/55 30557
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17768 0 0 0 115972 45 0 0 25 0 1 0 850617364 84058112 17688 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20522 17688 1111 63 0 20459 0
vsize: 82088
[startup+1170.02 s]
Raw data (loadavg): 1.07 1.00 0.96 2/55 30557
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 17940 0 0 0 116972 46 0 0 25 0 1 0 850617364 84664320 17860 4294967295 134512640 134716908 3221224560 3221222792 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20670 17860 1111 63 0 20607 0
vsize: 82680
[startup+1180.03 s]
Raw data (loadavg): 1.13 1.02 0.97 2/55 30559
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 18115 0 0 0 117971 47 0 0 25 0 1 0 850617364 85413888 18035 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20853 18035 1111 63 0 20790 0
vsize: 83412
[startup+1190.03 s]
Raw data (loadavg): 1.11 1.02 0.97 2/55 30561
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 18300 0 0 0 118970 47 0 0 25 0 1 0 850617364 86163456 18220 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21036 18220 1111 63 0 20973 0
vsize: 84144
[startup+1200.03 s]
Raw data (loadavg): 1.09 1.01 0.97 2/55 30561
Raw data (stat): 30504 (bsolo_lpr_cuts-) R 30503 8378 8377 0 -1 0 18477 0 0 0 119970 48 0 0 25 0 1 0 850617364 86921216 18397 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21221 18397 1111 63 0 21158 0
vsize: 84884
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.06 s]
Raw data (loadavg): 1.09 1.01 0.97 1/55 30561
Raw data (stat): 30504 (bsolo_lpr_cuts-) Z 30503 8378 8377 0 -1 1036 18477 0 0 0 119970 51 0 0 25 0 1 0 850617364 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 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.06
CPU time (s): 1200.22
CPU user time (s): 1199.71
CPU system time (s): 0.517921
CPU usage (%): 100.013
Max. virtual memory (Kb): 84884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####