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/plato.asu.edu/pub/fctp/normalized-mps-v2-20-10-n370e.opb
MD5SUM	aadb0de5eaca616b889c1e61e0fb0b70
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	155000
Biggest coefficient in the objective function	4294967296
Number of bits for the biggest coefficient in the objective function	33
Sum of the numbers in the objective function	29700464693312
Number of bits of the sum of numbers in the objective function	45
Biggest number in a constraint	4294967296
Number of bits of the biggest number in a constraint	33
Biggest sum of numbers in a constraint	29700464693312
Number of bits of the biggest sum of numbers	45
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.46178
Number of variables	155000
Total number of constraints	5150
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	5150
Minimum length of a constraint	31
Maximum length of a constraint	3000
Trace number 41276

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-09 09:19:42 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29308 boxname=wulflinc6 idbench=1092 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  aadb0de5eaca616b889c1e61e0fb0b70  /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370e.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-mps-v2-20-10-n370e.opb
IDLAUNCH: 29308
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        507852 kB
Buffers:         22160 kB
Cached:         482624 kB
SwapCached:        932 kB
Active:          41296 kB
Inactive:       465608 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        507600 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14244 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:39:45 (client local time) WITH STATUS 0 IN 1200.68 SECONDS
stats: 29308 7 1200.68 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.86 0.97 0.91 2/54 10045
Raw data (stat): 10045 (runsolver) R 10044 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909143075 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1298 0 0 0 993 5 0 0 25 0 1 0 909143075 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1218 1111 63 0 3724 0
vsize: 15148
[startup+20.0007 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1408 0 0 0 1993 5 0 0 25 0 1 0 909143075 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3892 1328 1111 63 0 3829 0
vsize: 15568
[startup+30.0014 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1517 0 0 0 2993 5 0 0 25 0 1 0 909143075 16379904 1437 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1437 1111 63 0 3936 0
vsize: 15996
[startup+40.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1627 0 0 0 3992 6 0 0 25 0 1 0 909143075 16834560 1547 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1547 1111 63 0 4047 0
vsize: 16440
[startup+50.0017 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1739 0 0 0 4992 7 0 0 25 0 1 0 909143075 17412096 1659 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4251 1659 1111 63 0 4188 0
vsize: 17004
[startup+60.0018 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1850 0 0 0 5992 7 0 0 25 0 1 0 909143075 17862656 1770 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4361 1770 1111 63 0 4298 0
vsize: 17444
[startup+70.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 1952 0 0 0 6992 7 0 0 25 0 1 0 909143075 18161664 1872 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1872 1111 63 0 4371 0
vsize: 17736
[startup+80.0016 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2069 0 0 0 7992 7 0 0 25 0 1 0 909143075 18763776 1989 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 1989 1111 63 0 4518 0
vsize: 18324
[startup+90.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2178 0 0 0 8992 8 0 0 25 0 1 0 909143075 19197952 2098 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4687 2098 1111 63 0 4624 0
vsize: 18748
[startup+100.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2294 0 0 0 9992 8 0 0 25 0 1 0 909143075 19656704 2214 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4799 2214 1111 63 0 4736 0
vsize: 19196
[startup+110.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2397 0 0 0 10992 9 0 0 25 0 1 0 909143075 20103168 2317 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4908 2317 1111 63 0 4845 0
vsize: 19632
[startup+120.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2508 0 0 0 11992 9 0 0 25 0 1 0 909143075 20557824 2428 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5019 2428 1111 63 0 4956 0
vsize: 20076
[startup+130.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2616 0 0 0 12992 10 0 0 25 0 1 0 909143075 21004288 2536 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5128 2536 1111 63 0 5065 0
vsize: 20512
[startup+140.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2727 0 0 0 13992 10 0 0 25 0 1 0 909143075 21434368 2647 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5233 2647 1111 63 0 5170 0
vsize: 20932
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2836 0 0 0 14992 10 0 0 25 0 1 0 909143075 21872640 2756 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2756 1111 63 0 5277 0
vsize: 21360
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 2940 0 0 0 15992 11 0 0 25 0 1 0 909143075 22323200 2860 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5450 2860 1111 63 0 5387 0
vsize: 21800
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3055 0 0 0 16992 11 0 0 25 0 1 0 909143075 22773760 2975 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5560 2975 1111 63 0 5497 0
vsize: 22240
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3169 0 0 0 17992 11 0 0 25 0 1 0 909143075 23232512 3089 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5672 3089 1111 63 0 5609 0
vsize: 22688
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3275 0 0 0 18992 11 0 0 25 0 1 0 909143075 23662592 3195 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5777 3195 1111 63 0 5714 0
vsize: 23108
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3385 0 0 0 19992 12 0 0 25 0 1 0 909143075 24113152 3305 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5887 3305 1111 63 0 5824 0
vsize: 23548
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3495 0 0 0 20992 12 0 0 25 0 1 0 909143075 24559616 3415 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5996 3415 1111 63 0 5933 0
vsize: 23984
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3606 0 0 0 21992 12 0 0 25 0 1 0 909143075 25010176 3526 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6106 3526 1111 63 0 6043 0
vsize: 24424
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3716 0 0 0 22993 12 0 0 25 0 1 0 909143075 25460736 3636 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6216 3636 1111 63 0 6153 0
vsize: 24864
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3826 0 0 0 23993 13 0 0 25 0 1 0 909143075 25911296 3746 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6326 3746 1111 63 0 6263 0
vsize: 25304
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 3935 0 0 0 24994 13 0 0 25 0 1 0 909143075 26357760 3855 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6435 3855 1111 63 0 6372 0
vsize: 25740
[startup+260.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4047 0 0 0 25996 13 0 0 25 0 1 0 909143075 26804224 3967 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6544 3967 1111 63 0 6481 0
vsize: 26176
[startup+270.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4157 0 0 0 26996 13 0 0 25 0 1 0 909143075 27258880 4077 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6655 4077 1111 63 0 6592 0
vsize: 26620
[startup+280.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4267 0 0 0 27997 13 0 0 25 0 1 0 909143075 27705344 4187 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 4187 1111 63 0 6701 0
vsize: 27056
[startup+290.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4376 0 0 0 28997 13 0 0 25 0 1 0 909143075 28160000 4296 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6875 4296 1111 63 0 6812 0
vsize: 27500
[startup+300.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4488 0 0 0 29997 14 0 0 25 0 1 0 909143075 28602368 4408 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6983 4408 1111 63 0 6920 0
vsize: 27932
[startup+310.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4597 0 0 0 30997 14 0 0 25 0 1 0 909143075 29028352 4517 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7087 4517 1111 63 0 7024 0
vsize: 28348
[startup+320.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4708 0 0 0 31997 14 0 0 25 0 1 0 909143075 29474816 4628 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7196 4628 1111 63 0 7133 0
vsize: 28784
[startup+330.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4817 0 0 0 32997 15 0 0 25 0 1 0 909143075 29925376 4737 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7306 4737 1111 63 0 7243 0
vsize: 29224
[startup+340.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 4927 0 0 0 33997 15 0 0 25 0 1 0 909143075 30375936 4847 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7416 4847 1111 63 0 7353 0
vsize: 29664
[startup+350.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5036 0 0 0 34997 15 0 0 25 0 1 0 909143075 30826496 4956 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7526 4956 1111 63 0 7463 0
vsize: 30104
[startup+360.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5159 0 0 0 35997 15 0 0 25 0 1 0 909143075 31461376 5079 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7681 5079 1111 63 0 7618 0
vsize: 30724
[startup+370.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5268 0 0 0 36997 15 0 0 25 0 1 0 909143075 31911936 5188 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7791 5188 1111 63 0 7728 0
vsize: 31164
[startup+380.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5379 0 0 0 37998 16 0 0 25 0 1 0 909143075 32362496 5299 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 5299 1111 63 0 7838 0
vsize: 31604
[startup+390.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5495 0 0 0 38998 16 0 0 25 0 1 0 909143075 32813056 5415 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8011 5415 1111 63 0 7948 0
vsize: 32044
[startup+400.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5605 0 0 0 39998 16 0 0 25 0 1 0 909143075 33263616 5525 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8121 5525 1111 63 0 8058 0
vsize: 32484
[startup+410.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5716 0 0 0 40998 16 0 0 25 0 1 0 909143075 33710080 5636 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8230 5636 1111 63 0 8167 0
vsize: 32920
[startup+420.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5826 0 0 0 41999 16 0 0 25 0 1 0 909143075 34160640 5746 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8340 5746 1111 63 0 8277 0
vsize: 33360
[startup+430.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 5937 0 0 0 42999 17 0 0 25 0 1 0 909143075 34611200 5857 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8450 5857 1111 63 0 8387 0
vsize: 33800
[startup+440.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6053 0 0 0 44000 17 0 0 25 0 1 0 909143075 35061760 5973 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8560 5973 1111 63 0 8497 0
vsize: 34240
[startup+450.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6158 0 0 0 45000 17 0 0 25 0 1 0 909143075 35508224 6078 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8669 6078 1111 63 0 8606 0
vsize: 34676
[startup+460.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6275 0 0 0 46000 17 0 0 25 0 1 0 909143075 35958784 6195 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8779 6195 1111 63 0 8716 0
vsize: 35116
[startup+470.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6385 0 0 0 47000 18 0 0 25 0 1 0 909143075 36409344 6305 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8889 6305 1111 63 0 8826 0
vsize: 35556
[startup+480.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6496 0 0 0 48000 18 0 0 25 0 1 0 909143075 36859904 6416 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8999 6416 1111 63 0 8936 0
vsize: 35996
[startup+490.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6612 0 0 0 49000 18 0 0 25 0 1 0 909143075 37306368 6532 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9108 6532 1111 63 0 9045 0
vsize: 36432
[startup+500.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6723 0 0 0 50000 19 0 0 25 0 1 0 909143075 37761024 6643 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 6643 1111 63 0 9156 0
vsize: 36876
[startup+510.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6833 0 0 0 51000 19 0 0 25 0 1 0 909143075 38207488 6753 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9328 6753 1111 63 0 9265 0
vsize: 37312
[startup+520.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 6950 0 0 0 51999 20 0 0 25 0 1 0 909143075 38658048 6870 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9438 6870 1111 63 0 9375 0
vsize: 37752
[startup+530.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7060 0 0 0 53000 20 0 0 25 0 1 0 909143075 39108608 6980 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9548 6980 1111 63 0 9485 0
vsize: 38192
[startup+540.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7172 0 0 0 54000 20 0 0 25 0 1 0 909143075 39559168 7092 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9658 7092 1111 63 0 9595 0
vsize: 38632
[startup+550.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7287 0 0 0 54999 21 0 0 25 0 1 0 909143075 40153088 7207 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9803 7207 1111 63 0 9740 0
vsize: 39212
[startup+560.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7399 0 0 0 56000 21 0 0 25 0 1 0 909143075 40607744 7319 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9914 7319 1111 63 0 9851 0
vsize: 39656
[startup+570.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7509 0 0 0 57000 21 0 0 25 0 1 0 909143075 41054208 7429 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10023 7429 1111 63 0 9960 0
vsize: 40092
[startup+580.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7627 0 0 0 58000 22 0 0 25 0 1 0 909143075 41508864 7547 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10134 7547 1111 63 0 10071 0
vsize: 40536
[startup+590.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7736 0 0 0 59000 22 0 0 25 0 1 0 909143075 41951232 7656 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10242 7656 1111 63 0 10179 0
vsize: 40968
[startup+600.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7847 0 0 0 60000 22 0 0 25 0 1 0 909143075 42405888 7767 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10353 7767 1111 63 0 10290 0
vsize: 41412
[startup+610.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 7964 0 0 0 61000 22 0 0 25 0 1 0 909143075 42852352 7884 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10462 7884 1111 63 0 10399 0
vsize: 41848
[startup+620.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8075 0 0 0 62000 23 0 0 25 0 1 0 909143075 43307008 7995 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10573 7995 1111 63 0 10510 0
vsize: 42292
[startup+630.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8185 0 0 0 63000 23 0 0 25 0 1 0 909143075 43753472 8105 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10682 8105 1111 63 0 10619 0
vsize: 42728
[startup+640.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8302 0 0 0 64001 23 0 0 25 0 1 0 909143075 44183552 8222 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10787 8222 1111 63 0 10724 0
vsize: 43148
[startup+650.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8418 0 0 0 65001 23 0 0 25 0 1 0 909143075 44769280 8338 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10930 8338 1111 63 0 10867 0
vsize: 43720
[startup+660.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8530 0 0 0 66001 24 0 0 25 0 1 0 909143075 45223936 8450 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11041 8450 1111 63 0 10978 0
vsize: 44164
[startup+670.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8639 0 0 0 67001 24 0 0 25 0 1 0 909143075 45670400 8559 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11150 8559 1111 63 0 11087 0
vsize: 44600
[startup+680.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8756 0 0 0 68001 24 0 0 25 0 1 0 909143075 46125056 8676 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11261 8676 1111 63 0 11198 0
vsize: 45044
[startup+690.159 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8872 0 0 0 69011 24 0 0 25 0 1 0 909143075 46567424 8792 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11369 8792 1111 63 0 11306 0
vsize: 45476
[startup+700.243 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 8984 0 0 0 70018 25 0 0 25 0 1 0 909143075 47022080 8904 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11480 8904 1111 63 0 11417 0
vsize: 45920
[startup+710.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9119 0 0 0 71020 25 0 0 25 0 1 0 909143075 47718400 9039 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11650 9039 1111 63 0 11587 0
vsize: 46600
[startup+720.243 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9231 0 0 0 72020 25 0 0 25 0 1 0 909143075 48144384 9151 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11754 9151 1111 63 0 11691 0
vsize: 47016
[startup+730.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9346 0 0 0 73020 25 0 0 25 0 1 0 909143075 48590848 9266 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11863 9266 1111 63 0 11800 0
vsize: 47452
[startup+740.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9464 0 0 0 74020 25 0 0 25 0 1 0 909143075 49041408 9384 4294967295 134512640 134716908 3221224560 3221222828 1077360305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11973 9384 1111 63 0 11910 0
vsize: 47892
[startup+750.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9574 0 0 0 75021 25 0 0 25 0 1 0 909143075 49491968 9494 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12083 9494 1111 63 0 12020 0
vsize: 48332
[startup+760.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9693 0 0 0 76021 26 0 0 25 0 1 0 909143075 50094080 9613 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12230 9613 1111 63 0 12167 0
vsize: 48920
[startup+770.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9803 0 0 0 77021 26 0 0 25 0 1 0 909143075 50536448 9723 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12338 9723 1111 63 0 12275 0
vsize: 49352
[startup+780.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 9920 0 0 0 78021 26 0 0 25 0 1 0 909143075 50958336 9840 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12441 9840 1111 63 0 12378 0
vsize: 49764
[startup+790.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10037 0 0 0 79021 26 0 0 25 0 1 0 909143075 51408896 9957 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12551 9957 1111 63 0 12488 0
vsize: 50204
[startup+800.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10155 0 0 0 80021 27 0 0 25 0 1 0 909143075 51859456 10075 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12661 10075 1111 63 0 12598 0
vsize: 50644
[startup+810.244 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10267 0 0 0 81021 27 0 0 25 0 1 0 909143075 52310016 10187 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12771 10187 1111 63 0 12708 0
vsize: 51084
[startup+820.245 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10383 0 0 0 82021 27 0 0 25 0 1 0 909143075 52908032 10303 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10303 1111 63 0 12854 0
vsize: 51668
[startup+830.255 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10494 0 0 0 83022 27 0 0 25 0 1 0 909143075 53362688 10414 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13028 10414 1111 63 0 12965 0
vsize: 52112
[startup+840.255 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10612 0 0 0 84022 28 0 0 25 0 1 0 909143075 53809152 10532 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13137 10532 1111 63 0 13074 0
vsize: 52548
[startup+850.255 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10730 0 0 0 85023 28 0 0 25 0 1 0 909143075 54259712 10650 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13247 10650 1111 63 0 13184 0
vsize: 52988
[startup+860.255 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10846 0 0 0 86023 28 0 0 25 0 1 0 909143075 54710272 10766 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13357 10766 1111 63 0 13294 0
vsize: 53428
[startup+870.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 10963 0 0 0 87023 29 0 0 25 0 1 0 909143075 55160832 10883 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13467 10883 1111 63 0 13404 0
vsize: 53868
[startup+880.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11074 0 0 0 88023 29 0 0 25 0 1 0 909143075 55607296 10994 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13576 10994 1111 63 0 13513 0
vsize: 54304
[startup+890.256 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11193 0 0 0 89023 29 0 0 25 0 1 0 909143075 56209408 11113 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13723 11113 1111 63 0 13660 0
vsize: 54892
[startup+900.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11309 0 0 0 90023 29 0 0 25 0 1 0 909143075 56655872 11229 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13832 11229 1111 63 0 13769 0
vsize: 55328
[startup+910.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11426 0 0 0 91023 29 0 0 25 0 1 0 909143075 57110528 11346 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13943 11346 1111 63 0 13880 0
vsize: 55772
[startup+920.257 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11537 0 0 0 92024 29 0 0 25 0 1 0 909143075 57552896 11457 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14051 11457 1111 63 0 13988 0
vsize: 56204
[startup+930.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11656 0 0 0 93024 30 0 0 25 0 1 0 909143075 58007552 11576 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14162 11576 1111 63 0 14099 0
vsize: 56648
[startup+940.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11772 0 0 0 94024 30 0 0 25 0 1 0 909143075 58454016 11692 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14271 11692 1111 63 0 14208 0
vsize: 57084
[startup+950.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 11890 0 0 0 95024 30 0 0 25 0 1 0 909143075 59056128 11810 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14418 11810 1111 63 0 14355 0
vsize: 57672
[startup+960.258 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12007 0 0 0 96024 30 0 0 25 0 1 0 909143075 59502592 11927 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14527 11927 1111 63 0 14464 0
vsize: 58108
[startup+970.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12126 0 0 0 97025 30 0 0 25 0 1 0 909143075 59953152 12046 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14637 12046 1111 63 0 14574 0
vsize: 58548
[startup+980.259 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12243 0 0 0 98025 31 0 0 25 0 1 0 909143075 60403712 12163 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14747 12163 1111 63 0 14684 0
vsize: 58988
[startup+990.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12360 0 0 0 99025 31 0 0 25 0 1 0 909143075 60854272 12280 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14857 12280 1111 63 0 14794 0
vsize: 59428
[startup+1000.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12477 0 0 0 100025 31 0 0 25 0 1 0 909143075 61456384 12397 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15004 12397 1111 63 0 14941 0
vsize: 60016
[startup+1010.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12594 0 0 0 101025 31 0 0 25 0 1 0 909143075 61902848 12514 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15113 12514 1111 63 0 15050 0
vsize: 60452
[startup+1020.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12713 0 0 0 102025 31 0 0 25 0 1 0 909143075 62353408 12633 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15223 12633 1111 63 0 15160 0
vsize: 60892
[startup+1030.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12829 0 0 0 103025 32 0 0 25 0 1 0 909143075 62803968 12749 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15333 12749 1111 63 0 15270 0
vsize: 61332
[startup+1040.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 12947 0 0 0 104025 32 0 0 25 0 1 0 909143075 63254528 12867 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15443 12867 1111 63 0 15380 0
vsize: 61772
[startup+1050.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13064 0 0 0 105026 32 0 0 25 0 1 0 909143075 63848448 12984 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15588 12984 1111 63 0 15525 0
vsize: 62352
[startup+1060.26 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13183 0 0 0 106026 32 0 0 25 0 1 0 909143075 64303104 13103 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15699 13103 1111 63 0 15636 0
vsize: 62796
[startup+1070.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13299 0 0 0 107027 33 0 0 25 0 1 0 909143075 64749568 13219 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15808 13219 1111 63 0 15745 0
vsize: 63232
[startup+1080.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13417 0 0 0 108027 33 0 0 25 0 1 0 909143075 65204224 13337 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15919 13337 1111 63 0 15856 0
vsize: 63676
[startup+1090.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13535 0 0 0 109027 33 0 0 25 0 1 0 909143075 65650688 13455 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16028 13455 1111 63 0 15965 0
vsize: 64112
[startup+1100.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13654 0 0 0 110027 34 0 0 25 0 1 0 909143075 66248704 13574 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16174 13574 1111 63 0 16111 0
vsize: 64696
[startup+1110.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13770 0 0 0 111027 34 0 0 25 0 1 0 909143075 66699264 13690 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16284 13690 1111 63 0 16221 0
vsize: 65136
[startup+1120.27 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 13888 0 0 0 112027 35 0 0 25 0 1 0 909143075 67149824 13808 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16394 13808 1111 63 0 16331 0
vsize: 65576
[startup+1130.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14005 0 0 0 113027 35 0 0 25 0 1 0 909143075 67600384 13925 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16504 13925 1111 63 0 16441 0
vsize: 66016
[startup+1140.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14130 0 0 0 114027 35 0 0 25 0 1 0 909143075 68198400 14050 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16650 14050 1111 63 0 16587 0
vsize: 66600
[startup+1150.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14248 0 0 0 115027 35 0 0 25 0 1 0 909143075 68653056 14168 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16761 14168 1111 63 0 16698 0
vsize: 67044
[startup+1160.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14365 0 0 0 116027 36 0 0 25 0 1 0 909143075 69099520 14285 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16870 14285 1111 63 0 16807 0
vsize: 67480
[startup+1170.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14484 0 0 0 117028 36 0 0 25 0 1 0 909143075 69550080 14404 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16980 14404 1111 63 0 16917 0
vsize: 67920
[startup+1180.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14607 0 0 0 118028 36 0 0 25 0 1 0 909143075 70148096 14527 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17126 14527 1111 63 0 17063 0
vsize: 68504
[startup+1190.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14726 0 0 0 119028 36 0 0 25 0 1 0 909143075 70598656 14646 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17236 14646 1111 63 0 17173 0
vsize: 68944
[startup+1200.28 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) R 10044 25568 25567 0 -1 0 14842 0 0 0 120028 37 0 0 25 0 1 0 909143075 71045120 14762 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 14762 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.31 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 10045
Raw data (stat): 10045 (bsolo_lpr_cuts-) Z 10044 25568 25567 0 -1 1036 14842 0 0 0 120028 39 0 0 25 0 1 0 909143075 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.31
CPU time (s): 1200.68
CPU user time (s): 1200.29
CPU system time (s): 0.398939
CPU usage (%): 100.031
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####