PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/ftp.netlib.org/lp/data/normalized-mps-v2-20-10-czprob.opb
MD5SUM	8225997c3fd9c39c0ae1e7fa3d3e4160
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	98250
Biggest coefficient in the objective function	16496969383936000
Number of bits for the biggest coefficient in the objective function	54
Sum of the numbers in the objective function	33458351340667289600
Number of bits of the sum of numbers in the objective function	65
Biggest number in a constraint	16496969383936000
Number of bits of the biggest number in a constraint	54
Biggest sum of numbers in a constraint	33458351340667289600
Number of bits of the biggest sum of numbers	65
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.886864
Number of variables	98820
Total number of constraints	927
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	927
Minimum length of a constraint	30
Maximum length of a constraint	11190
Trace number 40975

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        863016 kB
Buffers:         30600 kB
Cached:         118760 kB
SwapCached:       1192 kB
Active:          38784 kB
Inactive:       112952 kB
HighTotal:      131008 kB
HighFree:        11228 kB
LowTotal:       903652 kB
LowFree:        851788 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            14180 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 04:04:33 (client local time) WITH STATUS 0 IN 1200.27 SECONDS
stats: 29036 7 1200.27 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.70 0.86 0.87 2/54 8579
Raw data (stat): 8579 (runsolver) R 8578 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907122892 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.0013 s]
Raw data (loadavg): 0.74 0.87 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1333 0 0 0 993 5 0 0 25 0 1 0 907122892 15364096 1253 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3751 1253 1111 63 0 3688 0
vsize: 15004
[startup+20.002 s]
Raw data (loadavg): 0.78 0.87 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1400 0 0 0 1993 5 0 0 25 0 1 0 907122892 15667200 1320 4294967295 134512640 134716908 3221224560 3221222648 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3825 1320 1111 63 0 3762 0
vsize: 15300
[startup+30.0015 s]
Raw data (loadavg): 0.82 0.87 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1467 0 0 0 2993 5 0 0 25 0 1 0 907122892 15949824 1387 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3894 1387 1111 63 0 3831 0
vsize: 15576
[startup+40.0028 s]
Raw data (loadavg): 0.84 0.88 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1534 0 0 0 3993 5 0 0 25 0 1 0 907122892 16240640 1454 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3965 1454 1111 63 0 3902 0
vsize: 15860
[startup+50.0036 s]
Raw data (loadavg): 0.87 0.88 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1600 0 0 0 4993 5 0 0 25 0 1 0 907122892 16543744 1520 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4039 1520 1111 63 0 3976 0
vsize: 16156
[startup+60.0041 s]
Raw data (loadavg): 0.89 0.89 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1674 0 0 0 5993 5 0 0 25 0 1 0 907122892 16850944 1594 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4114 1594 1111 63 0 4051 0
vsize: 16456
[startup+70.0043 s]
Raw data (loadavg): 0.90 0.89 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1734 0 0 0 6993 5 0 0 25 0 1 0 907122892 17002496 1654 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4151 1654 1111 63 0 4088 0
vsize: 16604
[startup+80.0042 s]
Raw data (loadavg): 0.92 0.89 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1809 0 0 0 7993 6 0 0 25 0 1 0 907122892 17285120 1729 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4220 1729 1111 63 0 4157 0
vsize: 16880
[startup+90.0047 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1869 0 0 0 8993 6 0 0 25 0 1 0 907122892 17584128 1789 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4293 1789 1111 63 0 4230 0
vsize: 17172
[startup+100.005 s]
Raw data (loadavg): 0.94 0.90 0.88 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 1943 0 0 0 9993 6 0 0 25 0 1 0 907122892 17862656 1863 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4361 1863 1111 63 0 4298 0
vsize: 17444
[startup+110.006 s]
Raw data (loadavg): 0.95 0.90 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2003 0 0 0 10993 6 0 0 25 0 1 0 907122892 18165760 1923 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4435 1923 1111 63 0 4372 0
vsize: 17740
[startup+120.006 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2075 0 0 0 11994 6 0 0 25 0 1 0 907122892 18464768 1995 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4508 1995 1111 63 0 4445 0
vsize: 18032
[startup+130.006 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2143 0 0 0 12994 6 0 0 25 0 1 0 907122892 18747392 2063 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4577 2063 1111 63 0 4514 0
vsize: 18308
[startup+140.007 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2210 0 0 0 13994 6 0 0 25 0 1 0 907122892 19038208 2130 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4648 2130 1111 63 0 4585 0
vsize: 18592
[startup+150.008 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2287 0 0 0 14994 7 0 0 25 0 1 0 907122892 19333120 2207 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4720 2207 1111 63 0 4657 0
vsize: 18880
[startup+160.009 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2348 0 0 0 15994 7 0 0 25 0 1 0 907122892 19484672 2268 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4757 2268 1111 63 0 4694 0
vsize: 19028
[startup+170.01 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2420 0 0 0 16994 7 0 0 25 0 1 0 907122892 19787776 2340 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4831 2340 1111 63 0 4768 0
vsize: 19324
[startup+180.01 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2493 0 0 0 17994 7 0 0 25 0 1 0 907122892 20090880 2413 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4905 2413 1111 63 0 4842 0
vsize: 19620
[startup+190.01 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2561 0 0 0 18994 7 0 0 25 0 1 0 907122892 20389888 2481 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 2481 1111 63 0 4915 0
vsize: 19912
[startup+200.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2629 0 0 0 19994 7 0 0 25 0 1 0 907122892 20668416 2549 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5046 2549 1111 63 0 4983 0
vsize: 20184
[startup+210.011 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2701 0 0 0 20994 8 0 0 25 0 1 0 907122892 20967424 2621 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5119 2621 1111 63 0 5056 0
vsize: 20476
[startup+220.012 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2768 0 0 0 21994 8 0 0 25 0 1 0 907122892 21266432 2688 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5192 2688 1111 63 0 5129 0
vsize: 20768
[startup+230.012 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2835 0 0 0 22994 8 0 0 25 0 1 0 907122892 21573632 2755 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5267 2755 1111 63 0 5204 0
vsize: 21068
[startup+240.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2908 0 0 0 23994 8 0 0 25 0 1 0 907122892 21872640 2828 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5340 2828 1111 63 0 5277 0
vsize: 21360
[startup+250.013 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 2968 0 0 0 24995 8 0 0 25 0 1 0 907122892 22024192 2888 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5377 2888 1111 63 0 5314 0
vsize: 21508
[startup+260.015 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3041 0 0 0 25995 8 0 0 25 0 1 0 907122892 22327296 2961 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5451 2961 1111 63 0 5388 0
vsize: 21804
[startup+270.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3101 0 0 0 26995 8 0 0 25 0 1 0 907122892 22630400 3021 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5525 3021 1111 63 0 5462 0
vsize: 22100
[startup+280.015 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3173 0 0 0 27995 8 0 0 25 0 1 0 907122892 22929408 3093 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5598 3093 1111 63 0 5535 0
vsize: 22392
[startup+290.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3258 0 0 0 28995 9 0 0 25 0 1 0 907122892 23236608 3178 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5673 3178 1111 63 0 5610 0
vsize: 22692
[startup+300.016 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3314 0 0 0 29995 9 0 0 25 0 1 0 907122892 23523328 3234 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5743 3234 1111 63 0 5680 0
vsize: 22972
[startup+310.017 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3388 0 0 0 30995 9 0 0 25 0 1 0 907122892 23822336 3308 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5816 3308 1111 63 0 5753 0
vsize: 23264
[startup+320.017 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3456 0 0 0 31994 9 0 0 25 0 1 0 907122892 24125440 3376 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5890 3376 1111 63 0 5827 0
vsize: 23560
[startup+330.018 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3522 0 0 0 32994 10 0 0 25 0 1 0 907122892 24428544 3442 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5964 3442 1111 63 0 5901 0
vsize: 23856
[startup+340.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3594 0 0 0 33994 10 0 0 25 0 1 0 907122892 24731648 3514 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6038 3514 1111 63 0 5975 0
vsize: 24152
[startup+350.018 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3654 0 0 0 34994 10 0 0 25 0 1 0 907122892 24883200 3574 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6075 3574 1111 63 0 6012 0
vsize: 24300
[startup+360.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3728 0 0 0 35994 10 0 0 25 0 1 0 907122892 25165824 3648 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6144 3648 1111 63 0 6081 0
vsize: 24576
[startup+370.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3802 0 0 0 36994 11 0 0 25 0 1 0 907122892 25456640 3722 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6215 3722 1111 63 0 6152 0
vsize: 24860
[startup+380.02 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3870 0 0 0 37994 11 0 0 25 0 1 0 907122892 25755648 3790 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6288 3790 1111 63 0 6225 0
vsize: 25152
[startup+390.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 3937 0 0 0 38994 11 0 0 25 0 1 0 907122892 26062848 3857 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6363 3857 1111 63 0 6300 0
vsize: 25452
[startup+400.021 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4010 0 0 0 39994 11 0 0 25 0 1 0 907122892 26361856 3930 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6436 3930 1111 63 0 6373 0
vsize: 25744
[startup+410.022 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4083 0 0 0 40994 11 0 0 25 0 1 0 907122892 26664960 4003 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6510 4003 1111 63 0 6447 0
vsize: 26040
[startup+420.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4151 0 0 0 41995 11 0 0 25 0 1 0 907122892 26972160 4071 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6585 4071 1111 63 0 6522 0
vsize: 26340
[startup+430.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4217 0 0 0 42995 12 0 0 25 0 1 0 907122892 27271168 4137 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6658 4137 1111 63 0 6595 0
vsize: 26632
[startup+440.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4291 0 0 0 43994 12 0 0 25 0 1 0 907122892 27570176 4211 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6731 4211 1111 63 0 6668 0
vsize: 26924
[startup+450.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4366 0 0 0 44994 12 0 0 25 0 1 0 907122892 27877376 4286 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6806 4286 1111 63 0 6743 0
vsize: 27224
[startup+460.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4440 0 0 0 45995 12 0 0 25 0 1 0 907122892 28176384 4360 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6879 4360 1111 63 0 6816 0
vsize: 27516
[startup+470.026 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4514 0 0 0 46994 13 0 0 25 0 1 0 907122892 28475392 4434 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6952 4434 1111 63 0 6889 0
vsize: 27808
[startup+480.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4588 0 0 0 47995 13 0 0 25 0 1 0 907122892 28782592 4508 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7027 4508 1111 63 0 6964 0
vsize: 28108
[startup+490.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4661 0 0 0 48995 13 0 0 25 0 1 0 907122892 29085696 4581 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7101 4581 1111 63 0 7038 0
vsize: 28404
[startup+500.036 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4734 0 0 0 49995 13 0 0 25 0 1 0 907122892 29384704 4654 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7174 4654 1111 63 0 7111 0
vsize: 28696
[startup+510.037 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4802 0 0 0 50995 14 0 0 25 0 1 0 907122892 29536256 4722 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7211 4722 1111 63 0 7148 0
vsize: 28844
[startup+520.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4869 0 0 0 51995 14 0 0 25 0 1 0 907122892 29843456 4789 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7286 4789 1111 63 0 7223 0
vsize: 29144
[startup+530.038 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 4942 0 0 0 52995 14 0 0 25 0 1 0 907122892 30142464 4862 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7359 4862 1111 63 0 7296 0
vsize: 29436
[startup+540.051 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5023 0 0 0 53996 14 0 0 25 0 1 0 907122892 30441472 4943 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7432 4943 1111 63 0 7369 0
vsize: 29728
[startup+550.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5090 0 0 0 54996 14 0 0 25 0 1 0 907122892 30748672 5010 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7507 5010 1111 63 0 7444 0
vsize: 30028
[startup+560.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5170 0 0 0 55997 15 0 0 25 0 1 0 907122892 31047680 5090 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7580 5090 1111 63 0 7517 0
vsize: 30320
[startup+570.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5255 0 0 0 56997 15 0 0 25 0 1 0 907122892 31510528 5175 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7693 5175 1111 63 0 7630 0
vsize: 30772
[startup+580.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5328 0 0 0 57997 15 0 0 25 0 1 0 907122892 31809536 5248 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7766 5248 1111 63 0 7703 0
vsize: 31064
[startup+590.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5395 0 0 0 58999 15 0 0 25 0 1 0 907122892 32112640 5315 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7840 5315 1111 63 0 7777 0
vsize: 31360
[startup+600.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5477 0 0 0 59999 15 0 0 25 0 1 0 907122892 32411648 5397 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7913 5397 1111 63 0 7850 0
vsize: 31652
[startup+610.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5551 0 0 0 60999 15 0 0 25 0 1 0 907122892 32718848 5471 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7988 5471 1111 63 0 7925 0
vsize: 31952
[startup+620.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5631 0 0 0 61999 15 0 0 25 0 1 0 907122892 33017856 5551 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8061 5551 1111 63 0 7998 0
vsize: 32244
[startup+630.074 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5699 0 0 0 62999 16 0 0 25 0 1 0 907122892 33316864 5619 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8134 5619 1111 63 0 8071 0
vsize: 32536
[startup+640.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5780 0 0 0 63999 16 0 0 25 0 1 0 907122892 33624064 5700 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8209 5700 1111 63 0 8146 0
vsize: 32836
[startup+650.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5853 0 0 0 64999 16 0 0 25 0 1 0 907122892 33923072 5773 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8282 5773 1111 63 0 8219 0
vsize: 33128
[startup+660.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5921 0 0 0 65999 17 0 0 25 0 1 0 907122892 34226176 5841 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8356 5841 1111 63 0 8293 0
vsize: 33424
[startup+670.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 5995 0 0 0 66999 17 0 0 25 0 1 0 907122892 34529280 5915 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8430 5915 1111 63 0 8367 0
vsize: 33720
[startup+680.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6062 0 0 0 67999 17 0 0 25 0 1 0 907122892 34832384 5982 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8504 5982 1111 63 0 8441 0
vsize: 34016
[startup+690.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6143 0 0 0 68999 17 0 0 25 0 1 0 907122892 35131392 6063 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8577 6063 1111 63 0 8514 0
vsize: 34308
[startup+700.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6217 0 0 0 69999 17 0 0 25 0 1 0 907122892 35438592 6137 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8652 6137 1111 63 0 8589 0
vsize: 34608
[startup+710.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6298 0 0 0 70999 18 0 0 25 0 1 0 907122892 35737600 6218 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8725 6218 1111 63 0 8662 0
vsize: 34900
[startup+720.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6373 0 0 0 71999 18 0 0 25 0 1 0 907122892 36036608 6293 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8798 6293 1111 63 0 8735 0
vsize: 35192
[startup+730.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6446 0 0 0 72999 18 0 0 25 0 1 0 907122892 36343808 6366 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8873 6366 1111 63 0 8810 0
vsize: 35492
[startup+740.081 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6521 0 0 0 73999 18 0 0 25 0 1 0 907122892 36642816 6441 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8946 6441 1111 63 0 8883 0
vsize: 35784
[startup+750.082 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6596 0 0 0 74999 18 0 0 25 0 1 0 907122892 36945920 6516 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6516 1111 63 0 8957 0
vsize: 36080
[startup+760.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6669 0 0 0 75999 19 0 0 25 0 1 0 907122892 37253120 6589 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9095 6589 1111 63 0 9032 0
vsize: 36380
[startup+770.083 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6744 0 0 0 76999 19 0 0 25 0 1 0 907122892 37552128 6664 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9168 6664 1111 63 0 9105 0
vsize: 36672
[startup+780.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6819 0 0 0 77999 19 0 0 25 0 1 0 907122892 37851136 6739 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9241 6739 1111 63 0 9178 0
vsize: 36964
[startup+790.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6898 0 0 0 78999 19 0 0 25 0 1 0 907122892 38158336 6818 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9316 6818 1111 63 0 9253 0
vsize: 37264
[startup+800.085 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 6979 0 0 0 79999 19 0 0 25 0 1 0 907122892 38604800 6899 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9425 6899 1111 63 0 9362 0
vsize: 37700
[startup+810.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7055 0 0 0 80999 20 0 0 25 0 1 0 907122892 38912000 6975 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9500 6975 1111 63 0 9437 0
vsize: 38000
[startup+820.086 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7129 0 0 0 81999 20 0 0 25 0 1 0 907122892 39211008 7049 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9573 7049 1111 63 0 9510 0
vsize: 38292
[startup+830.087 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7201 0 0 0 82999 20 0 0 25 0 1 0 907122892 39514112 7121 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9647 7121 1111 63 0 9584 0
vsize: 38588
[startup+840.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7278 0 0 0 83999 20 0 0 25 0 1 0 907122892 39817216 7198 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9721 7198 1111 63 0 9658 0
vsize: 38884
[startup+850.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7358 0 0 0 84999 20 0 0 25 0 1 0 907122892 40120320 7278 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9795 7278 1111 63 0 9732 0
vsize: 39180
[startup+860.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7438 0 0 0 85999 21 0 0 25 0 1 0 907122892 40419328 7358 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9868 7358 1111 63 0 9805 0
vsize: 39472
[startup+870.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7514 0 0 0 86999 21 0 0 25 0 1 0 907122892 40726528 7434 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9943 7434 1111 63 0 9880 0
vsize: 39772
[startup+880.088 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7587 0 0 0 87999 21 0 0 25 0 1 0 907122892 41025536 7507 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10016 7507 1111 63 0 9953 0
vsize: 40064
[startup+890.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7661 0 0 0 88999 21 0 0 25 0 1 0 907122892 41324544 7581 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10089 7581 1111 63 0 10026 0
vsize: 40356
[startup+900.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7737 0 0 0 89999 21 0 0 25 0 1 0 907122892 41631744 7657 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10164 7657 1111 63 0 10101 0
vsize: 40656
[startup+910.089 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7817 0 0 0 90999 22 0 0 25 0 1 0 907122892 41930752 7737 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10237 7737 1111 63 0 10174 0
vsize: 40948
[startup+920.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7890 0 0 0 91999 22 0 0 25 0 1 0 907122892 42233856 7810 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10311 7810 1111 63 0 10248 0
vsize: 41244
[startup+930.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8579
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 7965 0 0 0 92998 22 0 0 25 0 1 0 907122892 42541056 7885 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10386 7885 1111 63 0 10323 0
vsize: 41544
[startup+940.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8046 0 0 0 93998 23 0 0 25 0 1 0 907122892 42840064 7966 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10459 7966 1111 63 0 10396 0
vsize: 41836
[startup+950.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8120 0 0 0 94998 23 0 0 25 0 1 0 907122892 43139072 8040 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10532 8040 1111 63 0 10469 0
vsize: 42128
[startup+960.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8197 0 0 0 95998 23 0 0 25 0 1 0 907122892 43446272 8117 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10607 8117 1111 63 0 10544 0
vsize: 42428
[startup+970.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8283 0 0 0 96998 23 0 0 25 0 1 0 907122892 43896832 8203 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10717 8203 1111 63 0 10654 0
vsize: 42868
[startup+980.091 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8358 0 0 0 97998 23 0 0 25 0 1 0 907122892 44199936 8278 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10791 8278 1111 63 0 10728 0
vsize: 43164
[startup+990.092 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8439 0 0 0 98998 23 0 0 25 0 1 0 907122892 44503040 8359 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10865 8359 1111 63 0 10802 0
vsize: 43460
[startup+1000.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8632
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8520 0 0 0 99998 24 0 0 25 0 1 0 907122892 44806144 8440 4294967295 134512640 134716908 3221224560 3221222428 1077246216 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10939 8440 1111 63 0 10876 0
vsize: 43756
[startup+1010.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8596 0 0 0 100998 24 0 0 25 0 1 0 907122892 45105152 8516 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11012 8516 1111 63 0 10949 0
vsize: 44048
[startup+1020.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8669 0 0 0 101998 24 0 0 25 0 1 0 907122892 45412352 8589 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11087 8589 1111 63 0 11024 0
vsize: 44348
[startup+1030.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8742 0 0 0 102998 24 0 0 25 0 1 0 907122892 45711360 8662 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11160 8662 1111 63 0 11097 0
vsize: 44640
[startup+1040.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8801 0 0 0 103998 25 0 0 25 0 1 0 907122892 46010368 8721 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11233 8721 1111 63 0 11170 0
vsize: 44932
[startup+1050.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8875 0 0 0 104998 25 0 0 25 0 1 0 907122892 46317568 8795 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11308 8795 1111 63 0 11245 0
vsize: 45232
[startup+1060.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 8949 0 0 0 105998 25 0 0 25 0 1 0 907122892 46616576 8869 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11381 8869 1111 63 0 11318 0
vsize: 45524
[startup+1070.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9023 0 0 0 106998 25 0 0 25 0 1 0 907122892 46919680 8943 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11455 8943 1111 63 0 11392 0
vsize: 45820
[startup+1080.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9104 0 0 0 107998 25 0 0 25 0 1 0 907122892 47222784 9024 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11529 9024 1111 63 0 11466 0
vsize: 46116
[startup+1090.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9211 0 0 0 108998 25 0 0 25 0 1 0 907122892 47714304 9131 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11649 9131 1111 63 0 11586 0
vsize: 46596
[startup+1100.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9277 0 0 0 109998 26 0 0 25 0 1 0 907122892 48013312 9197 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11722 9197 1111 63 0 11659 0
vsize: 46888
[startup+1110.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9357 0 0 0 110998 26 0 0 25 0 1 0 907122892 48316416 9277 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11796 9277 1111 63 0 11733 0
vsize: 47184
[startup+1120.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9431 0 0 0 111998 26 0 0 25 0 1 0 907122892 48615424 9351 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11869 9351 1111 63 0 11806 0
vsize: 47476
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9513 0 0 0 112998 26 0 0 25 0 1 0 907122892 49070080 9433 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11980 9433 1111 63 0 11917 0
vsize: 47920
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9586 0 0 0 113997 27 0 0 25 0 1 0 907122892 49369088 9506 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12053 9506 1111 63 0 11990 0
vsize: 48212
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9666 0 0 0 114997 27 0 0 25 0 1 0 907122892 49668096 9586 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12126 9586 1111 63 0 12063 0
vsize: 48504
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9749 0 0 0 115997 27 0 0 25 0 1 0 907122892 49971200 9669 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12200 9669 1111 63 0 12137 0
vsize: 48800
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9829 0 0 0 116997 27 0 0 25 0 1 0 907122892 50270208 9749 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12273 9749 1111 63 0 12210 0
vsize: 49092
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9909 0 0 0 117997 27 0 0 25 0 1 0 907122892 50569216 9829 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12346 9829 1111 63 0 12283 0
vsize: 49384
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 9985 0 0 0 118997 27 0 0 25 0 1 0 907122892 50876416 9905 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12421 9905 1111 63 0 12358 0
vsize: 49684
[startup+1200.09 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) R 8578 21152 21151 0 -1 0 10072 0 0 0 119997 27 0 0 25 0 1 0 907122892 51326976 9992 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12531 9992 1111 63 0 12468 0
vsize: 50124
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.07 0.99 0.91 1/54 8634
Raw data (stat): 8579 (bsolo_lpr_cuts-) Z 8578 21152 21151 0 -1 1036 10072 0 0 0 119997 29 0 0 25 0 1 0 907122892 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.11
CPU time (s): 1200.27
CPU user time (s): 1199.98
CPU system time (s): 0.296954
CPU usage (%): 100.013
Max. virtual memory (Kb): 50124
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####