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-n370c.opb
MD5SUM	400cadbec334a2c0625c23ea02111b7f
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	29652813254765
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	29652813254765
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.45178
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 41267

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 09:12:30 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29306 boxname=wulflinc4 idbench=1090 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  400cadbec334a2c0625c23ea02111b7f  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-n370c.opb
IDLAUNCH: 29306
/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:        846816 kB
Buffers:          8580 kB
Cached:         158236 kB
SwapCached:        872 kB
Active:          35924 kB
Inactive:       132872 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        846564 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            13356 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 09:32:33 (client local time) WITH STATUS 0 IN 1200.29 SECONDS
stats: 29306 7 1200.29 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 1/54 13103
Raw data (stat): 13103 (runsolver) R 13102 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909091200 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.88 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1298 0 0 0 993 4 0 0 25 0 1 0 909091200 15511552 1218 4294967295 134512640 134716908 3221224560 3221222788 1077414395 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.0017 s]
Raw data (loadavg): 0.90 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1408 0 0 0 1993 4 0 0 25 0 1 0 909091200 15941632 1328 4294967295 134512640 134716908 3221224560 3221222788 1077414413 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.0015 s]
Raw data (loadavg): 0.91 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1510 0 0 0 2993 5 0 0 25 0 1 0 909091200 16379904 1430 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3999 1430 1111 63 0 3936 0
vsize: 15996
[startup+40.0021 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1621 0 0 0 3993 5 0 0 25 0 1 0 909091200 16834560 1541 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4110 1541 1111 63 0 4047 0
vsize: 16440
[startup+50.0033 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1732 0 0 0 4993 5 0 0 25 0 1 0 909091200 17264640 1652 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4215 1652 1111 63 0 4152 0
vsize: 16860
[startup+60.0031 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1836 0 0 0 5993 5 0 0 25 0 1 0 909091200 17715200 1756 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4325 1756 1111 63 0 4262 0
vsize: 17300
[startup+70.0036 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 1951 0 0 0 6993 6 0 0 25 0 1 0 909091200 18161664 1871 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4434 1871 1111 63 0 4371 0
vsize: 17736
[startup+80.0038 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2055 0 0 0 7993 6 0 0 25 0 1 0 909091200 18616320 1975 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4545 1975 1111 63 0 4482 0
vsize: 18180
[startup+90.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2164 0 0 0 8993 6 0 0 25 0 1 0 909091200 19058688 2084 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4653 2084 1111 63 0 4590 0
vsize: 18612
[startup+100.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2279 0 0 0 9993 6 0 0 25 0 1 0 909091200 19501056 2199 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4761 2199 1111 63 0 4698 0
vsize: 19044
[startup+110.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2383 0 0 0 10993 6 0 0 25 0 1 0 909091200 19955712 2303 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4872 2303 1111 63 0 4809 0
vsize: 19488
[startup+120.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2499 0 0 0 11993 6 0 0 25 0 1 0 909091200 20402176 2419 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4981 2419 1111 63 0 4918 0
vsize: 19924
[startup+130.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2602 0 0 0 12993 7 0 0 25 0 1 0 909091200 20856832 2522 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5092 2522 1111 63 0 5029 0
vsize: 20368
[startup+140.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2712 0 0 0 13993 7 0 0 25 0 1 0 909091200 21299200 2632 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5200 2632 1111 63 0 5137 0
vsize: 20800
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2821 0 0 0 14993 7 0 0 25 0 1 0 909091200 21725184 2741 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5304 2741 1111 63 0 5241 0
vsize: 21216
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 2932 0 0 0 15993 7 0 0 25 0 1 0 909091200 22171648 2852 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5413 2852 1111 63 0 5350 0
vsize: 21652
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3041 0 0 0 16993 8 0 0 25 0 1 0 909091200 22622208 2961 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5523 2961 1111 63 0 5460 0
vsize: 22092
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3145 0 0 0 17993 8 0 0 25 0 1 0 909091200 23072768 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5633 3065 1111 63 0 5570 0
vsize: 22532
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3267 0 0 0 18993 9 0 0 25 0 1 0 909091200 23662592 3187 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5777 3187 1111 63 0 5714 0
vsize: 23108
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3371 0 0 0 19992 9 0 0 25 0 1 0 909091200 24113152 3291 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5887 3291 1111 63 0 5824 0
vsize: 23548
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3481 0 0 0 20992 9 0 0 25 0 1 0 909091200 24559616 3401 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5996 3401 1111 63 0 5933 0
vsize: 23984
[startup+220.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3591 0 0 0 21992 9 0 0 25 0 1 0 909091200 25010176 3511 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6106 3511 1111 63 0 6043 0
vsize: 24424
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3701 0 0 0 22992 10 0 0 25 0 1 0 909091200 25460736 3621 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6216 3621 1111 63 0 6153 0
vsize: 24864
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3812 0 0 0 23992 10 0 0 25 0 1 0 909091200 25911296 3732 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6326 3732 1111 63 0 6263 0
vsize: 25304
[startup+250.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 3921 0 0 0 24992 10 0 0 25 0 1 0 909091200 26357760 3841 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6435 3841 1111 63 0 6372 0
vsize: 25740
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4032 0 0 0 25992 10 0 0 25 0 1 0 909091200 26804224 3952 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6544 3952 1111 63 0 6481 0
vsize: 26176
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4142 0 0 0 26992 10 0 0 25 0 1 0 909091200 27258880 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6655 4062 1111 63 0 6592 0
vsize: 26620
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4253 0 0 0 27992 11 0 0 25 0 1 0 909091200 27705344 4173 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6764 4173 1111 63 0 6701 0
vsize: 27056
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4362 0 0 0 28992 11 0 0 25 0 1 0 909091200 28160000 4282 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6875 4282 1111 63 0 6812 0
vsize: 27500
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4473 0 0 0 29992 11 0 0 25 0 1 0 909091200 28602368 4393 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6983 4393 1111 63 0 6920 0
vsize: 27932
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4583 0 0 0 30992 11 0 0 25 0 1 0 909091200 29028352 4503 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7087 4503 1111 63 0 7024 0
vsize: 28348
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4693 0 0 0 31992 11 0 0 25 0 1 0 909091200 29474816 4613 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7196 4613 1111 63 0 7133 0
vsize: 28784
[startup+330.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4802 0 0 0 32992 11 0 0 25 0 1 0 909091200 29925376 4722 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7306 4722 1111 63 0 7243 0
vsize: 29224
[startup+340.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 4913 0 0 0 33992 11 0 0 25 0 1 0 909091200 30375936 4833 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7416 4833 1111 63 0 7353 0
vsize: 29664
[startup+350.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5028 0 0 0 34993 11 0 0 25 0 1 0 909091200 30826496 4948 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7526 4948 1111 63 0 7463 0
vsize: 30104
[startup+360.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5144 0 0 0 35993 12 0 0 25 0 1 0 909091200 31309824 5064 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7644 5064 1111 63 0 7581 0
vsize: 30576
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5260 0 0 0 36993 12 0 0 25 0 1 0 909091200 31760384 5180 4294967295 134512640 134716908 3221224560 3221222788 1077414382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7754 5180 1111 63 0 7691 0
vsize: 31016
[startup+380.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5365 0 0 0 37993 12 0 0 25 0 1 0 909091200 32210944 5285 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7864 5285 1111 63 0 7801 0
vsize: 31456
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5480 0 0 0 38992 12 0 0 25 0 1 0 909091200 32661504 5400 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7974 5400 1111 63 0 7911 0
vsize: 31896
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5591 0 0 0 39993 12 0 0 25 0 1 0 909091200 33107968 5511 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8083 5511 1111 63 0 8020 0
vsize: 32332
[startup+410.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5701 0 0 0 40992 13 0 0 25 0 1 0 909091200 33558528 5621 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8193 5621 1111 63 0 8130 0
vsize: 32772
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5812 0 0 0 41993 13 0 0 25 0 1 0 909091200 34009088 5732 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8303 5732 1111 63 0 8240 0
vsize: 33212
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 5923 0 0 0 42993 13 0 0 25 0 1 0 909091200 34459648 5843 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8413 5843 1111 63 0 8350 0
vsize: 33652
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6039 0 0 0 43993 13 0 0 25 0 1 0 909091200 35061760 5959 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8560 5959 1111 63 0 8497 0
vsize: 34240
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6150 0 0 0 44992 14 0 0 25 0 1 0 909091200 35508224 6070 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8669 6070 1111 63 0 8606 0
vsize: 34676
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6260 0 0 0 45992 14 0 0 25 0 1 0 909091200 35958784 6180 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8779 6180 1111 63 0 8716 0
vsize: 35116
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6371 0 0 0 46992 14 0 0 25 0 1 0 909091200 36409344 6291 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8889 6291 1111 63 0 8826 0
vsize: 35556
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6482 0 0 0 47993 14 0 0 25 0 1 0 909091200 36859904 6402 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8999 6402 1111 63 0 8936 0
vsize: 35996
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6597 0 0 0 48993 14 0 0 25 0 1 0 909091200 37306368 6517 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9108 6517 1111 63 0 9045 0
vsize: 36432
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6709 0 0 0 49993 14 0 0 25 0 1 0 909091200 37761024 6629 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9219 6629 1111 63 0 9156 0
vsize: 36876
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6818 0 0 0 50993 14 0 0 25 0 1 0 909091200 38207488 6738 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9328 6738 1111 63 0 9265 0
vsize: 37312
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 6936 0 0 0 51993 15 0 0 25 0 1 0 909091200 38658048 6856 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9438 6856 1111 63 0 9375 0
vsize: 37752
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7046 0 0 0 52993 15 0 0 25 0 1 0 909091200 39108608 6966 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9548 6966 1111 63 0 9485 0
vsize: 38192
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7158 0 0 0 53993 15 0 0 25 0 1 0 909091200 39559168 7078 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9658 7078 1111 63 0 9595 0
vsize: 38632
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7273 0 0 0 54993 16 0 0 25 0 1 0 909091200 40005632 7193 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9767 7193 1111 63 0 9704 0
vsize: 39068
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7385 0 0 0 55993 16 0 0 25 0 1 0 909091200 40456192 7305 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9877 7305 1111 63 0 9814 0
vsize: 39508
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7495 0 0 0 56993 16 0 0 25 0 1 0 909091200 40906752 7415 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9987 7415 1111 63 0 9924 0
vsize: 39948
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7613 0 0 0 57992 16 0 0 25 0 1 0 909091200 41357312 7533 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10097 7533 1111 63 0 10034 0
vsize: 40388
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7722 0 0 0 58992 16 0 0 25 0 1 0 909091200 41803776 7642 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10206 7642 1111 63 0 10143 0
vsize: 40824
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7833 0 0 0 59992 17 0 0 25 0 1 0 909091200 42250240 7753 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10315 7753 1111 63 0 10252 0
vsize: 41260
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 7950 0 0 0 60993 17 0 0 25 0 1 0 909091200 42852352 7870 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10462 7870 1111 63 0 10399 0
vsize: 41848
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8067 0 0 0 61993 17 0 0 25 0 1 0 909091200 43307008 7987 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10573 7987 1111 63 0 10510 0
vsize: 42292
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8176 0 0 0 62993 17 0 0 25 0 1 0 909091200 43753472 8096 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10682 8096 1111 63 0 10619 0
vsize: 42728
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8288 0 0 0 63993 17 0 0 25 0 1 0 909091200 44183552 8208 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10787 8208 1111 63 0 10724 0
vsize: 43148
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8404 0 0 0 64993 18 0 0 25 0 1 0 909091200 44621824 8324 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 8324 1111 63 0 10831 0
vsize: 43576
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8515 0 0 0 65993 18 0 0 25 0 1 0 909091200 45072384 8435 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11004 8435 1111 63 0 10941 0
vsize: 44016
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8631 0 0 0 66994 18 0 0 25 0 1 0 909091200 45522944 8551 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11114 8551 1111 63 0 11051 0
vsize: 44456
[startup+680.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8742 0 0 0 67994 18 0 0 25 0 1 0 909091200 45973504 8662 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11224 8662 1111 63 0 11161 0
vsize: 44896
[startup+690.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8858 0 0 0 68996 18 0 0 25 0 1 0 909091200 46567424 8778 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11369 8778 1111 63 0 11306 0
vsize: 45476
[startup+700.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 8975 0 0 0 69996 18 0 0 25 0 1 0 909091200 47022080 8895 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11480 8895 1111 63 0 11417 0
vsize: 45920
[startup+710.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9105 0 0 0 70996 18 0 0 25 0 1 0 909091200 47579136 9025 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11616 9025 1111 63 0 11553 0
vsize: 46464
[startup+720.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9216 0 0 0 71996 19 0 0 25 0 1 0 909091200 48144384 9136 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11754 9136 1111 63 0 11691 0
vsize: 47016
[startup+730.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9332 0 0 0 72996 19 0 0 25 0 1 0 909091200 48590848 9252 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11863 9252 1111 63 0 11800 0
vsize: 47452
[startup+740.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9449 0 0 0 73996 19 0 0 25 0 1 0 909091200 49041408 9369 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11973 9369 1111 63 0 11910 0
vsize: 47892
[startup+750.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9560 0 0 0 74996 19 0 0 25 0 1 0 909091200 49491968 9480 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12083 9480 1111 63 0 12020 0
vsize: 48332
[startup+760.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9678 0 0 0 75996 19 0 0 25 0 1 0 909091200 49942528 9598 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12193 9598 1111 63 0 12130 0
vsize: 48772
[startup+770.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9788 0 0 0 76996 20 0 0 25 0 1 0 909091200 50388992 9708 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 9708 1111 63 0 12239 0
vsize: 49208
[startup+780.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 9906 0 0 0 77996 20 0 0 25 0 1 0 909091200 50958336 9826 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12441 9826 1111 63 0 12378 0
vsize: 49764
[startup+790.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10021 0 0 0 78996 20 0 0 25 0 1 0 909091200 51408896 9941 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12551 9941 1111 63 0 12488 0
vsize: 50204
[startup+800.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10141 0 0 0 79996 21 0 0 25 0 1 0 909091200 51859456 10061 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12661 10061 1111 63 0 12598 0
vsize: 50644
[startup+810.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10252 0 0 0 80996 21 0 0 25 0 1 0 909091200 52310016 10172 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12771 10172 1111 63 0 12708 0
vsize: 51084
[startup+820.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10368 0 0 0 81996 21 0 0 25 0 1 0 909091200 52760576 10288 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12881 10288 1111 63 0 12818 0
vsize: 51524
[startup+830.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10480 0 0 0 82996 21 0 0 25 0 1 0 909091200 53207040 10400 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12990 10400 1111 63 0 12927 0
vsize: 51960
[startup+840.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10597 0 0 0 83996 22 0 0 25 0 1 0 909091200 53657600 10517 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13100 10517 1111 63 0 13037 0
vsize: 52400
[startup+850.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10715 0 0 0 84996 22 0 0 25 0 1 0 909091200 54259712 10635 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13247 10635 1111 63 0 13184 0
vsize: 52988
[startup+860.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10831 0 0 0 85996 22 0 0 25 0 1 0 909091200 54710272 10751 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13357 10751 1111 63 0 13294 0
vsize: 53428
[startup+870.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 10949 0 0 0 86996 22 0 0 25 0 1 0 909091200 55160832 10869 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13467 10869 1111 63 0 13404 0
vsize: 53868
[startup+880.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11060 0 0 0 87996 22 0 0 25 0 1 0 909091200 55607296 10980 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13576 10980 1111 63 0 13513 0
vsize: 54304
[startup+890.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11178 0 0 0 88996 23 0 0 25 0 1 0 909091200 56057856 11098 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13686 11098 1111 63 0 13623 0
vsize: 54744
[startup+900.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11294 0 0 0 89996 23 0 0 25 0 1 0 909091200 56508416 11214 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13796 11214 1111 63 0 13733 0
vsize: 55184
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11412 0 0 0 90996 23 0 0 25 0 1 0 909091200 57110528 11332 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 11332 1111 63 0 13880 0
vsize: 55772
[startup+920.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11523 0 0 0 91996 23 0 0 25 0 1 0 909091200 57552896 11443 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14051 11443 1111 63 0 13988 0
vsize: 56204
[startup+930.069 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11641 0 0 0 92995 24 0 0 25 0 1 0 909091200 58007552 11561 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14162 11561 1111 63 0 14099 0
vsize: 56648
[startup+940.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11758 0 0 0 93996 24 0 0 25 0 1 0 909091200 58454016 11678 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14271 11678 1111 63 0 14208 0
vsize: 57084
[startup+950.071 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11875 0 0 0 94996 24 0 0 25 0 1 0 909091200 58908672 11795 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14382 11795 1111 63 0 14319 0
vsize: 57528
[startup+960.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 11992 0 0 0 95996 24 0 0 25 0 1 0 909091200 59351040 11912 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14490 11912 1111 63 0 14427 0
vsize: 57960
[startup+970.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12111 0 0 0 96996 24 0 0 25 0 1 0 909091200 59953152 12031 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14637 12031 1111 63 0 14574 0
vsize: 58548
[startup+980.072 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12227 0 0 0 97996 24 0 0 25 0 1 0 909091200 60403712 12147 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14747 12147 1111 63 0 14684 0
vsize: 58988
[startup+990.073 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12345 0 0 0 98996 25 0 0 25 0 1 0 909091200 60854272 12265 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14857 12265 1111 63 0 14794 0
vsize: 59428
[startup+1000.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12461 0 0 0 99996 25 0 0 25 0 1 0 909091200 61300736 12381 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14966 12381 1111 63 0 14903 0
vsize: 59864
[startup+1010.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12579 0 0 0 100996 25 0 0 25 0 1 0 909091200 61755392 12499 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15077 12499 1111 63 0 15014 0
vsize: 60308
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12698 0 0 0 101996 25 0 0 25 0 1 0 909091200 62353408 12618 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15223 12618 1111 63 0 15160 0
vsize: 60892
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12814 0 0 0 102996 25 0 0 25 0 1 0 909091200 62803968 12734 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15333 12734 1111 63 0 15270 0
vsize: 61332
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 12932 0 0 0 103996 25 0 0 25 0 1 0 909091200 63254528 12852 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15443 12852 1111 63 0 15380 0
vsize: 61772
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13049 0 0 0 104996 25 0 0 25 0 1 0 909091200 63700992 12969 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15552 12969 1111 63 0 15489 0
vsize: 62208
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13168 0 0 0 105997 26 0 0 25 0 1 0 909091200 64155648 13088 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15663 13088 1111 63 0 15600 0
vsize: 62652
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13285 0 0 0 106996 26 0 0 25 0 1 0 909091200 64749568 13205 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15808 13205 1111 63 0 15745 0
vsize: 63232
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13403 0 0 0 107996 26 0 0 25 0 1 0 909091200 65204224 13323 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15919 13323 1111 63 0 15856 0
vsize: 63676
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13520 0 0 0 108996 26 0 0 25 0 1 0 909091200 65650688 13440 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16028 13440 1111 63 0 15965 0
vsize: 64112
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13639 0 0 0 109996 27 0 0 25 0 1 0 909091200 66105344 13559 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16139 13559 1111 63 0 16076 0
vsize: 64556
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13755 0 0 0 110996 27 0 0 25 0 1 0 909091200 66547712 13675 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16247 13675 1111 63 0 16184 0
vsize: 64988
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13873 0 0 0 111996 27 0 0 25 0 1 0 909091200 67149824 13793 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16394 13793 1111 63 0 16331 0
vsize: 65576
[startup+1130.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 13991 0 0 0 112997 27 0 0 25 0 1 0 909091200 67600384 13911 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16504 13911 1111 63 0 16441 0
vsize: 66016
[startup+1140.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14109 0 0 0 113997 27 0 0 25 0 1 0 909091200 68050944 14029 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16614 14029 1111 63 0 16551 0
vsize: 66456
[startup+1150.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14232 0 0 0 114997 28 0 0 25 0 1 0 909091200 68497408 14152 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16723 14152 1111 63 0 16660 0
vsize: 66892
[startup+1160.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14350 0 0 0 115997 28 0 0 25 0 1 0 909091200 69099520 14270 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16870 14270 1111 63 0 16807 0
vsize: 67480
[startup+1170.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14469 0 0 0 116997 28 0 0 25 0 1 0 909091200 69550080 14389 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16980 14389 1111 63 0 16917 0
vsize: 67920
[startup+1180.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14592 0 0 0 117997 28 0 0 25 0 1 0 909091200 70000640 14512 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17090 14512 1111 63 0 17027 0
vsize: 68360
[startup+1190.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14711 0 0 0 118997 28 0 0 25 0 1 0 909091200 70451200 14631 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17200 14631 1111 63 0 17137 0
vsize: 68800
[startup+1200.09 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) R 13102 21152 21151 0 -1 0 14828 0 0 0 119997 28 0 0 25 0 1 0 909091200 71045120 14748 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17345 14748 1111 63 0 17282 0
vsize: 69380
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13103
Raw data (stat): 13103 (bsolo_lpr_cuts-) Z 13102 21152 21151 0 -1 1036 14828 0 0 0 119997 31 0 0 25 0 1 0 909091200 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.12
CPU time (s): 1200.29
CPU user time (s): 1199.98
CPU system time (s): 0.317951
CPU usage (%): 100.015
Max. virtual memory (Kb): 69380
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####