PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-13-7/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-ship12l.opb
MD5SUM	a8bcf2463daf8317f47d4d0efa977ac7
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	108540
Biggest coefficient in the objective function	1475608576000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	416772837549750
Number of bits of the sum of numbers in the objective function	49
Biggest number in a constraint	1475608576000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	416772837549750
Number of bits of the biggest sum of numbers	49
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.995848
Number of variables	108540
Total number of constraints	1042
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	1042
Minimum length of a constraint	20
Maximum length of a constraint	1500
Trace number 41427

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 12:05:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29482 boxname=wulflinc5 idbench=1266 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a8bcf2463daf8317f47d4d0efa977ac7  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-ship12l.opb
IDLAUNCH: 29482
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        502416 kB
Buffers:         24680 kB
Cached:         485608 kB
SwapCached:        664 kB
Active:          37464 kB
Inactive:       474832 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        502164 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            14256 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 12:25:53 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 29482 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (runsolver) R 2080 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910140977 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+9.9995 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 1254 0 0 0 990 5 0 0 25 0 1 0 910140977 15634432 1174 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3817 1174 1111 63 0 3754 0
vsize: 15268
[startup+20.0006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 1393 0 0 0 1990 5 0 0 25 0 1 0 910140977 16203776 1313 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3956 1313 1111 63 0 3893 0
vsize: 15824
[startup+30.0004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 1543 0 0 0 2990 5 0 0 25 0 1 0 910140977 16904192 1463 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4127 1463 1111 63 0 4064 0
vsize: 16508
[startup+40.0007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 1703 0 0 0 3989 6 0 0 25 0 1 0 910140977 17473536 1623 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4266 1623 1111 63 0 4203 0
vsize: 17064
[startup+50.0017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 1864 0 0 0 4989 6 0 0 25 0 1 0 910140977 18186240 1784 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4440 1784 1111 63 0 4377 0
vsize: 17760
[startup+60.0014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2030 0 0 0 5989 6 0 0 25 0 1 0 910140977 18894848 1950 4294967295 134512640 134716908 3221224560 3221221244 1077298541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4613 1950 1111 63 0 4550 0
vsize: 18452
[startup+70.0019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2194 0 0 0 6989 7 0 0 25 0 1 0 910140977 19456000 2114 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4750 2114 1111 63 0 4687 0
vsize: 19000
[startup+80.0019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2360 0 0 0 7989 7 0 0 25 0 1 0 910140977 20164608 2280 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4923 2280 1111 63 0 4860 0
vsize: 19692
[startup+90.0027 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2530 0 0 0 8989 7 0 0 25 0 1 0 910140977 20873216 2450 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5096 2450 1111 63 0 5033 0
vsize: 20384
[startup+100.002 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2696 0 0 0 9989 8 0 0 25 0 1 0 910140977 21573632 2616 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5267 2616 1111 63 0 5204 0
vsize: 21068
[startup+110.002 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 2862 0 0 0 10989 8 0 0 25 0 1 0 910140977 22282240 2782 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5440 2782 1111 63 0 5377 0
vsize: 21760
[startup+120.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3027 0 0 0 11989 8 0 0 25 0 1 0 910140977 22982656 2947 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5611 2947 1111 63 0 5548 0
vsize: 22444
[startup+130.002 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3193 0 0 0 12988 9 0 0 25 0 1 0 910140977 23552000 3113 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5750 3113 1111 63 0 5687 0
vsize: 23000
[startup+140.002 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3352 0 0 0 13988 9 0 0 25 0 1 0 910140977 24256512 3272 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5922 3272 1111 63 0 5859 0
vsize: 23688
[startup+150.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3518 0 0 0 14988 10 0 0 25 0 1 0 910140977 24961024 3438 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6094 3438 1111 63 0 6031 0
vsize: 24376
[startup+160.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3682 0 0 0 15988 10 0 0 25 0 1 0 910140977 25665536 3602 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6266 3602 1111 63 0 6203 0
vsize: 25064
[startup+170.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 3848 0 0 0 16988 10 0 0 25 0 1 0 910140977 26234880 3768 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6405 3768 1111 63 0 6342 0
vsize: 25620
[startup+180.002 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4021 0 0 0 17987 11 0 0 25 0 1 0 910140977 26955776 3941 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6581 3941 1111 63 0 6518 0
vsize: 26324
[startup+190.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4180 0 0 0 18987 11 0 0 25 0 1 0 910140977 27664384 4100 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6754 4100 1111 63 0 6691 0
vsize: 27016
[startup+200.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4353 0 0 0 19987 11 0 0 25 0 1 0 910140977 28372992 4273 4294967295 134512640 134716908 3221224560 3221222788 1077414418 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6927 4273 1111 63 0 6864 0
vsize: 27708
[startup+210.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4518 0 0 0 20987 12 0 0 25 0 1 0 910140977 29073408 4438 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7098 4438 1111 63 0 7035 0
vsize: 28392
[startup+220.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4691 0 0 0 21987 12 0 0 25 0 1 0 910140977 29782016 4611 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7271 4611 1111 63 0 7208 0
vsize: 29084
[startup+230.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 4856 0 0 0 22987 13 0 0 25 0 1 0 910140977 30486528 4776 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7443 4776 1111 63 0 7380 0
vsize: 29772
[startup+240.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5024 0 0 0 23986 13 0 0 25 0 1 0 910140977 31051776 4944 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7581 4944 1111 63 0 7518 0
vsize: 30324
[startup+250.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5190 0 0 0 24986 13 0 0 25 0 1 0 910140977 31756288 5110 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7753 5110 1111 63 0 7690 0
vsize: 31012
[startup+260.003 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5362 0 0 0 25986 14 0 0 25 0 1 0 910140977 32464896 5282 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7926 5282 1111 63 0 7863 0
vsize: 31704
[startup+270.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5528 0 0 0 26986 14 0 0 25 0 1 0 910140977 33173504 5448 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8099 5448 1111 63 0 8036 0
vsize: 32396
[startup+280.004 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5700 0 0 0 27986 14 0 0 25 0 1 0 910140977 33873920 5620 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8270 5620 1111 63 0 8207 0
vsize: 33080
[startup+290.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 5867 0 0 0 28986 14 0 0 25 0 1 0 910140977 34586624 5787 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8444 5787 1111 63 0 8381 0
vsize: 33776
[startup+300.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6038 0 0 0 29986 14 0 0 25 0 1 0 910140977 35287040 5958 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8615 5958 1111 63 0 8552 0
vsize: 34460
[startup+310.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6205 0 0 0 30986 15 0 0 25 0 1 0 910140977 35995648 6125 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8788 6125 1111 63 0 8725 0
vsize: 35152
[startup+320.005 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6377 0 0 0 31986 15 0 0 25 0 1 0 910140977 36704256 6297 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8961 6297 1111 63 0 8898 0
vsize: 35844
[startup+330.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6542 0 0 0 32985 16 0 0 25 0 1 0 910140977 37265408 6462 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9098 6462 1111 63 0 9035 0
vsize: 36392
[startup+340.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6727 0 0 0 33985 16 0 0 25 0 1 0 910140977 38125568 6647 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9308 6647 1111 63 0 9245 0
vsize: 37232
[startup+350.006 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 6898 0 0 0 34985 16 0 0 25 0 1 0 910140977 38830080 6818 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 6818 1111 63 0 9417 0
vsize: 37920
[startup+360.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7065 0 0 0 35985 16 0 0 25 0 1 0 910140977 39538688 6985 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9653 6985 1111 63 0 9590 0
vsize: 38612
[startup+370.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7230 0 0 0 36985 17 0 0 25 0 1 0 910140977 40239104 7150 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9824 7150 1111 63 0 9761 0
vsize: 39296
[startup+380.007 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7397 0 0 0 37985 17 0 0 25 0 1 0 910140977 40808448 7317 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9963 7317 1111 63 0 9900 0
vsize: 39852
[startup+390.008 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7570 0 0 0 38985 17 0 0 25 0 1 0 910140977 41508864 7490 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 7490 1111 63 0 10071 0
vsize: 40536
[startup+400.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7742 0 0 0 39985 18 0 0 25 0 1 0 910140977 42217472 7662 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10307 7662 1111 63 0 10244 0
vsize: 41228
[startup+410.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 7909 0 0 0 40985 18 0 0 25 0 1 0 910140977 42926080 7829 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10480 7829 1111 63 0 10417 0
vsize: 41920
[startup+420.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8087 0 0 0 41984 19 0 0 25 0 1 0 910140977 43630592 8007 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10652 8007 1111 63 0 10589 0
vsize: 42608
[startup+430.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8261 0 0 0 42984 19 0 0 25 0 1 0 910140977 44339200 8181 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10825 8181 1111 63 0 10762 0
vsize: 43300
[startup+440.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8433 0 0 0 43984 19 0 0 25 0 1 0 910140977 45039616 8353 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 8353 1111 63 0 10933 0
vsize: 43984
[startup+450.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8613 0 0 0 44984 19 0 0 25 0 1 0 910140977 45887488 8533 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11203 8533 1111 63 0 11140 0
vsize: 44812
[startup+460.009 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8787 0 0 0 45984 20 0 0 25 0 1 0 910140977 46600192 8707 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11377 8707 1111 63 0 11314 0
vsize: 45508
[startup+470.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 8959 0 0 0 46984 20 0 0 25 0 1 0 910140977 47300608 8879 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11548 8879 1111 63 0 11485 0
vsize: 46192
[startup+480.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 9138 0 0 0 47984 21 0 0 25 0 1 0 910140977 48009216 9058 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11721 9058 1111 63 0 11658 0
vsize: 46884
[startup+490.01 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 9311 0 0 0 48984 21 0 0 25 0 1 0 910140977 48709632 9231 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11892 9231 1111 63 0 11829 0
vsize: 47568
[startup+500.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 9485 0 0 0 49984 21 0 0 25 0 1 0 910140977 49422336 9405 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12066 9405 1111 63 0 12003 0
vsize: 48264
[startup+510.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 9658 0 0 0 50983 21 0 0 25 0 1 0 910140977 50126848 9578 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12238 9578 1111 63 0 12175 0
vsize: 48952
[startup+520.011 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 9830 0 0 0 51983 22 0 0 25 0 1 0 910140977 50831360 9750 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12410 9750 1111 63 0 12347 0
vsize: 49640
[startup+530.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10010 0 0 0 52983 22 0 0 25 0 1 0 910140977 51539968 9930 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12583 9930 1111 63 0 12520 0
vsize: 50332
[startup+540.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10182 0 0 0 53983 22 0 0 25 0 1 0 910140977 52244480 10102 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12755 10102 1111 63 0 12692 0
vsize: 51020
[startup+550.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10355 0 0 0 54983 22 0 0 25 0 1 0 910140977 52948992 10275 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12927 10275 1111 63 0 12864 0
vsize: 51708
[startup+560.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10535 0 0 0 55983 22 0 0 25 0 1 0 910140977 53661696 10455 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13101 10455 1111 63 0 13038 0
vsize: 52404
[startup+570.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10714 0 0 0 56983 23 0 0 25 0 1 0 910140977 54362112 10634 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13272 10634 1111 63 0 13209 0
vsize: 53088
[startup+580.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 10894 0 0 0 57983 23 0 0 25 0 1 0 910140977 55209984 10814 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13479 10814 1111 63 0 13416 0
vsize: 53916
[startup+590.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11073 0 0 0 58983 23 0 0 25 0 1 0 910140977 55914496 10993 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10993 1111 63 0 13588 0
vsize: 54604
[startup+600.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11252 0 0 0 59983 24 0 0 25 0 1 0 910140977 56623104 11172 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13824 11172 1111 63 0 13761 0
vsize: 55296
[startup+610.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11427 0 0 0 60983 24 0 0 25 0 1 0 910140977 57331712 11347 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13997 11347 1111 63 0 13934 0
vsize: 55988
[startup+620.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11605 0 0 0 61983 24 0 0 25 0 1 0 910140977 58032128 11525 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14168 11525 1111 63 0 14105 0
vsize: 56672
[startup+630.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11785 0 0 0 62983 24 0 0 25 0 1 0 910140977 58740736 11705 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14341 11705 1111 63 0 14278 0
vsize: 57364
[startup+640.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 11963 0 0 0 63983 25 0 0 25 0 1 0 910140977 59584512 11883 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14547 11883 1111 63 0 14484 0
vsize: 58188
[startup+650.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 12143 0 0 0 64982 25 0 0 25 0 1 0 910140977 60293120 12063 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14720 12063 1111 63 0 14657 0
vsize: 58880
[startup+660.012 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 12342 0 0 0 65982 25 0 0 25 0 1 0 910140977 61218816 12262 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14946 12262 1111 63 0 14883 0
vsize: 59784
[startup+670.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 12521 0 0 0 66982 26 0 0 25 0 1 0 910140977 61923328 12441 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15118 12441 1111 63 0 15055 0
vsize: 60472
[startup+680.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 12701 0 0 0 67982 26 0 0 25 0 1 0 910140977 62631936 12621 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15291 12621 1111 63 0 15228 0
vsize: 61164
[startup+690.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 12880 0 0 0 68982 26 0 0 25 0 1 0 910140977 63336448 12800 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15463 12800 1111 63 0 15400 0
vsize: 61852
[startup+700.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13061 0 0 0 69982 26 0 0 25 0 1 0 910140977 64184320 12981 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15670 12981 1111 63 0 15607 0
vsize: 62680
[startup+710.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13241 0 0 0 70981 27 0 0 25 0 1 0 910140977 64892928 13161 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15843 13161 1111 63 0 15780 0
vsize: 63372
[startup+720.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13413 0 0 0 71981 28 0 0 25 0 1 0 910140977 65593344 13333 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16014 13333 1111 63 0 15951 0
vsize: 64056
[startup+730.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13593 0 0 0 72981 28 0 0 25 0 1 0 910140977 66301952 13513 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16187 13513 1111 63 0 16124 0
vsize: 64748
[startup+740.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13780 0 0 0 73981 28 0 0 25 0 1 0 910140977 67006464 13700 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16359 13700 1111 63 0 16296 0
vsize: 65436
[startup+750.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 13958 0 0 0 74981 29 0 0 25 0 1 0 910140977 67854336 13878 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16566 13878 1111 63 0 16503 0
vsize: 66264
[startup+760.013 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 14145 0 0 0 75980 29 0 0 25 0 1 0 910140977 68562944 14065 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16739 14065 1111 63 0 16676 0
vsize: 66956
[startup+770.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 14325 0 0 0 76980 29 0 0 25 0 1 0 910140977 69267456 14245 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16911 14245 1111 63 0 16848 0
vsize: 67644
[startup+780.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 14512 0 0 0 77980 30 0 0 25 0 1 0 910140977 70115328 14432 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17118 14432 1111 63 0 17055 0
vsize: 68472
[startup+790.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 14699 0 0 0 78980 30 0 0 25 0 1 0 910140977 70823936 14619 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17291 14619 1111 63 0 17228 0
vsize: 69164
[startup+800.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 14878 0 0 0 79980 30 0 0 25 0 1 0 910140977 71524352 14798 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17462 14798 1111 63 0 17399 0
vsize: 69848
[startup+810.014 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15071 0 0 0 80980 31 0 0 25 0 1 0 910140977 72376320 14991 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17670 14991 1111 63 0 17607 0
vsize: 70680
[startup+820.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15253 0 0 0 81980 31 0 0 25 0 1 0 910140977 73076736 15173 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17841 15173 1111 63 0 17778 0
vsize: 71364
[startup+830.015 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15438 0 0 0 82979 32 0 0 25 0 1 0 910140977 73785344 15358 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18014 15358 1111 63 0 17951 0
vsize: 72056
[startup+840.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15625 0 0 0 83979 32 0 0 25 0 1 0 910140977 74633216 15545 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18221 15545 1111 63 0 18158 0
vsize: 72884
[startup+850.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15804 0 0 0 84979 32 0 0 25 0 1 0 910140977 75337728 15724 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18393 15724 1111 63 0 18330 0
vsize: 73572
[startup+860.016 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 15998 0 0 0 85978 33 0 0 25 0 1 0 910140977 76185600 15918 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18600 15918 1111 63 0 18537 0
vsize: 74400
[startup+870.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 16179 0 0 0 86978 33 0 0 25 0 1 0 910140977 76894208 16099 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18773 16099 1111 63 0 18710 0
vsize: 75092
[startup+880.017 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 16365 0 0 0 87978 34 0 0 25 0 1 0 910140977 77594624 16285 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18944 16285 1111 63 0 18881 0
vsize: 75776
[startup+890.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 16551 0 0 0 88978 34 0 0 25 0 1 0 910140977 78446592 16471 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19152 16471 1111 63 0 19089 0
vsize: 76608
[startup+900.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 16745 0 0 0 89978 34 0 0 25 0 1 0 910140977 79155200 16665 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19325 16665 1111 63 0 19262 0
vsize: 77300
[startup+910.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 16931 0 0 0 90978 35 0 0 25 0 1 0 910140977 79998976 16851 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19531 16851 1111 63 0 19468 0
vsize: 78124
[startup+920.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 17119 0 0 0 91978 35 0 0 25 0 1 0 910140977 80703488 17039 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19703 17039 1111 63 0 19640 0
vsize: 78812
[startup+930.018 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 17313 0 0 0 92978 35 0 0 25 0 1 0 910140977 81547264 17233 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19909 17233 1111 63 0 19846 0
vsize: 79636
[startup+940.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 17499 0 0 0 93977 36 0 0 25 0 1 0 910140977 82259968 17419 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20083 17419 1111 63 0 20020 0
vsize: 80332
[startup+950.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 17686 0 0 0 94977 36 0 0 25 0 1 0 910140977 82964480 17606 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20255 17606 1111 63 0 20192 0
vsize: 81020
[startup+960.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 17878 0 0 0 95977 36 0 0 25 0 1 0 910140977 83808256 17798 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20461 17798 1111 63 0 20398 0
vsize: 81844
[startup+970.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 18072 0 0 0 96977 37 0 0 25 0 1 0 910140977 84656128 17992 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20668 17992 1111 63 0 20605 0
vsize: 82672
[startup+980.019 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 18259 0 0 0 97977 37 0 0 25 0 1 0 910140977 85368832 18179 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20842 18179 1111 63 0 20779 0
vsize: 83368
[startup+990.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 18446 0 0 0 98977 37 0 0 25 0 1 0 910140977 86069248 18366 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21013 18366 1111 63 0 20950 0
vsize: 84052
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 18640 0 0 0 99976 38 0 0 25 0 1 0 910140977 86917120 18560 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21220 18560 1111 63 0 21157 0
vsize: 84880
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 18834 0 0 0 100976 39 0 0 25 0 1 0 910140977 87764992 18754 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21427 18754 1111 63 0 21364 0
vsize: 85708
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19026 0 0 0 101976 39 0 0 25 0 1 0 910140977 88469504 18946 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21599 18946 1111 63 0 21536 0
vsize: 86396
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19214 0 0 0 102976 39 0 0 25 0 1 0 910140977 89317376 19134 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21806 19134 1111 63 0 21743 0
vsize: 87224
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19401 0 0 0 103976 39 0 0 25 0 1 0 910140977 90025984 19321 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21979 19321 1111 63 0 21916 0
vsize: 87916
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19593 0 0 0 104976 40 0 0 25 0 1 0 910140977 90869760 19513 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22185 19513 1111 63 0 22122 0
vsize: 88740
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19787 0 0 0 105976 40 0 0 25 0 1 0 910140977 91578368 19707 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22358 19707 1111 63 0 22295 0
vsize: 89432
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 19981 0 0 0 106975 40 0 0 25 0 1 0 910140977 92426240 19901 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22565 19901 1111 63 0 22502 0
vsize: 90260
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 20168 0 0 0 107975 40 0 0 25 0 1 0 910140977 93130752 20088 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22737 20088 1111 63 0 22674 0
vsize: 90948
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 20368 0 0 0 108975 41 0 0 25 0 1 0 910140977 93978624 20288 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22944 20288 1111 63 0 22881 0
vsize: 91776
[startup+1100.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 20563 0 0 0 109975 41 0 0 25 0 1 0 910140977 94826496 20483 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23151 20483 1111 63 0 23088 0
vsize: 92604
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 20755 0 0 0 110975 41 0 0 25 0 1 0 910140977 95531008 20675 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23323 20675 1111 63 0 23260 0
vsize: 93292
[startup+1120.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 20956 0 0 0 111975 42 0 0 25 0 1 0 910140977 96378880 20876 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23530 20876 1111 63 0 23467 0
vsize: 94120
[startup+1130.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 21150 0 0 0 112975 42 0 0 25 0 1 0 910140977 97226752 21070 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23737 21070 1111 63 0 23674 0
vsize: 94948
[startup+1140.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 21349 0 0 0 113974 43 0 0 25 0 1 0 910140977 97931264 21269 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23909 21269 1111 63 0 23846 0
vsize: 95636
[startup+1150.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 21543 0 0 0 114974 43 0 0 25 0 1 0 910140977 98779136 21463 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24116 21463 1111 63 0 24053 0
vsize: 96464
[startup+1160.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 21738 0 0 0 115974 43 0 0 25 0 1 0 910140977 99622912 21658 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24322 21658 1111 63 0 24259 0
vsize: 97288
[startup+1170.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 21938 0 0 0 116974 43 0 0 25 0 1 0 910140977 100331520 21858 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24495 21858 1111 63 0 24432 0
vsize: 97980
[startup+1180.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 22132 0 0 0 117974 44 0 0 25 0 1 0 910140977 101179392 22052 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24702 22052 1111 63 0 24639 0
vsize: 98808
[startup+1190.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 22333 0 0 0 118974 44 0 0 25 0 1 0 910140977 102023168 22253 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24908 22253 1111 63 0 24845 0
vsize: 99632
[startup+1200.03 s]
Raw data (loadavg): 1.00 0.99 0.92 2/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) R 2080 7266 7265 0 -1 0 22525 0 0 0 119974 45 0 0 25 0 1 0 910140977 102731776 22445 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25081 22445 1111 63 0 25018 0
vsize: 100324
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.07 s]
Raw data (loadavg): 1.00 0.99 0.92 1/54 2081
Raw data (stat): 2081 (bsolo_lpr_cuts-) Z 2080 7266 7265 0 -1 1036 22525 0 0 0 119974 49 0 0 25 0 1 0 910140977 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.07
CPU time (s): 1200.24
CPU user time (s): 1199.74
CPU system time (s): 0.493924
CPU usage (%): 100.014
Max. virtual memory (Kb): 100324
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####