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-d2q06c.opb
MD5SUM	91ef78d459f6272891a68c3f1abe1bde
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	89670
Biggest coefficient in the objective function	36281708852543488
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	-1012211575040220109
Number of bits of the sum of numbers in the objective function	64
Biggest number in a constraint	1246989811751845888
Number of bits of the biggest number in a constraint	61
Biggest sum of numbers in a constraint	-1012211575040220109
Number of bits of the biggest sum of numbers	64
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	1.42378
Number of variables	155010
Total number of constraints	2171
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	2171
Minimum length of a constraint	30
Maximum length of a constraint	3270
Trace number 40976

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 03:44:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29037 boxname=wulflinc3 idbench=821 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  91ef78d459f6272891a68c3f1abe1bde  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-d2q06c.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-20-10-d2q06c.opb
IDLAUNCH: 29037
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        802108 kB
Buffers:         27948 kB
Cached:         181012 kB
SwapCached:       3472 kB
Active:          59292 kB
Inactive:       154452 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        801856 kB
SwapTotal:     2097136 kB
SwapFree:      2092672 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            13016 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:48 (client local time) WITH STATUS 0 IN 1200.28 SECONDS
stats: 29037 7 1200.28 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.90 0.88 1/54 3575
Raw data (stat): 3575 (runsolver) R 3574 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907125435 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.0008 s]
Raw data (loadavg): 0.93 0.90 0.88 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1153 0 0 0 993 4 0 0 25 0 1 0 907125435 15511552 1073 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3787 1073 1111 63 0 3724 0
vsize: 15148
[startup+20.002 s]
Raw data (loadavg): 0.94 0.90 0.88 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1264 0 0 0 1993 4 0 0 25 0 1 0 907125435 15945728 1184 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3893 1184 1111 63 0 3830 0
vsize: 15572
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.91 0.88 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1373 0 0 0 2992 5 0 0 25 0 1 0 907125435 16388096 1293 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4001 1293 1111 63 0 3938 0
vsize: 16004
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.91 0.88 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1477 0 0 0 3991 6 0 0 25 0 1 0 907125435 16838656 1397 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4111 1397 1111 63 0 4048 0
vsize: 16444
[startup+50.0035 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1589 0 0 0 4991 7 0 0 25 0 1 0 907125435 17272832 1509 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4217 1509 1111 63 0 4154 0
vsize: 16868
[startup+60.0044 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1700 0 0 0 5991 7 0 0 25 0 1 0 907125435 17702912 1620 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4322 1620 1111 63 0 4259 0
vsize: 17288
[startup+70.0048 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1803 0 0 0 6990 8 0 0 25 0 1 0 907125435 18145280 1723 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4430 1723 1111 63 0 4367 0
vsize: 17720
[startup+80.0051 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 1914 0 0 0 7990 8 0 0 25 0 1 0 907125435 18591744 1834 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4539 1834 1111 63 0 4476 0
vsize: 18156
[startup+90.0059 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2023 0 0 0 8990 8 0 0 25 0 1 0 907125435 19046400 1943 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4650 1943 1111 63 0 4587 0
vsize: 18600
[startup+100.005 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2132 0 0 0 9989 9 0 0 25 0 1 0 907125435 19488768 2052 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4758 2052 1111 63 0 4695 0
vsize: 19032
[startup+110.007 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2205 0 0 0 10989 9 0 0 25 0 1 0 907125435 19795968 2125 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4833 2125 1111 63 0 4770 0
vsize: 19332
[startup+120.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2271 0 0 0 11989 10 0 0 25 0 1 0 907125435 20094976 2191 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4906 2191 1111 63 0 4843 0
vsize: 19624
[startup+130.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2352 0 0 0 12989 10 0 0 25 0 1 0 907125435 20393984 2272 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4979 2272 1111 63 0 4916 0
vsize: 19916
[startup+140.007 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2440 0 0 0 13989 10 0 0 25 0 1 0 907125435 20844544 2360 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5089 2360 1111 63 0 5026 0
vsize: 20356
[startup+150.008 s]
Raw data (loadavg): 0.99 0.93 0.89 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2543 0 0 0 14988 11 0 0 25 0 1 0 907125435 21143552 2463 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5162 2463 1111 63 0 5099 0
vsize: 20648
[startup+160.009 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2638 0 0 0 15988 11 0 0 25 0 1 0 907125435 21602304 2558 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5274 2558 1111 63 0 5211 0
vsize: 21096
[startup+170.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2734 0 0 0 16988 11 0 0 25 0 1 0 907125435 22048768 2654 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5383 2654 1111 63 0 5320 0
vsize: 21532
[startup+180.009 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2824 0 0 0 17988 11 0 0 25 0 1 0 907125435 22351872 2744 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5457 2744 1111 63 0 5394 0
vsize: 21828
[startup+190.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 2925 0 0 0 18988 12 0 0 25 0 1 0 907125435 22802432 2845 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5567 2845 1111 63 0 5504 0
vsize: 22268
[startup+200.01 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3038 0 0 0 19988 12 0 0 25 0 1 0 907125435 23265280 2958 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 2958 1111 63 0 5617 0
vsize: 22720
[startup+210.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3145 0 0 0 20988 12 0 0 25 0 1 0 907125435 23695360 3065 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5785 3065 1111 63 0 5722 0
vsize: 23140
[startup+220.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3242 0 0 0 21988 12 0 0 25 0 1 0 907125435 24145920 3162 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5895 3162 1111 63 0 5832 0
vsize: 23580
[startup+230.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3336 0 0 0 22988 12 0 0 25 0 1 0 907125435 24444928 3256 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5968 3256 1111 63 0 5905 0
vsize: 23872
[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3431 0 0 0 23988 12 0 0 25 0 1 0 907125435 24895488 3351 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6078 3351 1111 63 0 6015 0
vsize: 24312
[startup+250.012 s]
Raw data (loadavg): 0.99 0.95 0.90 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3537 0 0 0 24988 13 0 0 25 0 1 0 907125435 25350144 3457 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6189 3457 1111 63 0 6126 0
vsize: 24756
[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3632 0 0 0 25988 13 0 0 25 0 1 0 907125435 25649152 3552 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6262 3552 1111 63 0 6199 0
vsize: 25048
[startup+270.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3728 0 0 0 26988 13 0 0 25 0 1 0 907125435 26103808 3648 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 3648 1111 63 0 6310 0
vsize: 25492
[startup+280.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3831 0 0 0 27988 14 0 0 25 0 1 0 907125435 26550272 3751 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6482 3751 1111 63 0 6419 0
vsize: 25928
[startup+290.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 3920 0 0 0 28988 14 0 0 25 0 1 0 907125435 26849280 3840 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6555 3840 1111 63 0 6492 0
vsize: 26220
[startup+300.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4024 0 0 0 29987 14 0 0 25 0 1 0 907125435 27275264 3944 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6659 3944 1111 63 0 6596 0
vsize: 26636
[startup+310.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4142 0 0 0 30987 15 0 0 25 0 1 0 907125435 27725824 4062 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6769 4062 1111 63 0 6706 0
vsize: 27076
[startup+320.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4258 0 0 0 31987 15 0 0 25 0 1 0 907125435 28180480 4178 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6880 4178 1111 63 0 6817 0
vsize: 27520
[startup+330.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4348 0 0 0 32987 15 0 0 25 0 1 0 907125435 28626944 4268 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6989 4268 1111 63 0 6926 0
vsize: 27956
[startup+340.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4458 0 0 0 33987 15 0 0 25 0 1 0 907125435 29081600 4378 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7100 4378 1111 63 0 7037 0
vsize: 28400
[startup+350.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4553 0 0 0 34988 15 0 0 25 0 1 0 907125435 29380608 4473 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7173 4473 1111 63 0 7110 0
vsize: 28692
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4649 0 0 0 35988 16 0 0 25 0 1 0 907125435 29835264 4569 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7284 4569 1111 63 0 7221 0
vsize: 29136
[startup+370.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4758 0 0 0 36988 16 0 0 25 0 1 0 907125435 30281728 4678 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7393 4678 1111 63 0 7330 0
vsize: 29572
[startup+380.021 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4862 0 0 0 37988 16 0 0 25 0 1 0 907125435 30740480 4782 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7505 4782 1111 63 0 7442 0
vsize: 30020
[startup+390.022 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 4943 0 0 0 38987 17 0 0 25 0 1 0 907125435 31039488 4863 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7578 4863 1111 63 0 7515 0
vsize: 30312
[startup+400.023 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5064 0 0 0 39988 17 0 0 25 0 1 0 907125435 31526912 4984 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7697 4984 1111 63 0 7634 0
vsize: 30788
[startup+410.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5174 0 0 0 40987 17 0 0 25 0 1 0 907125435 31977472 5094 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7807 5094 1111 63 0 7744 0
vsize: 31228
[startup+420.024 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5299 0 0 0 41987 18 0 0 25 0 1 0 907125435 32583680 5219 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7955 5219 1111 63 0 7892 0
vsize: 31820
[startup+430.034 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5402 0 0 0 42988 18 0 0 25 0 1 0 907125435 33030144 5322 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8064 5322 1111 63 0 8001 0
vsize: 32256
[startup+440.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5515 0 0 0 43988 18 0 0 25 0 1 0 907125435 33484800 5435 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8175 5435 1111 63 0 8112 0
vsize: 32700
[startup+450.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5624 0 0 0 44988 18 0 0 25 0 1 0 907125435 33931264 5544 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8284 5544 1111 63 0 8221 0
vsize: 33136
[startup+460.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5735 0 0 0 45988 19 0 0 25 0 1 0 907125435 34390016 5655 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8396 5655 1111 63 0 8333 0
vsize: 33584
[startup+470.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5844 0 0 0 46988 19 0 0 25 0 1 0 907125435 34836480 5764 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8505 5764 1111 63 0 8442 0
vsize: 34020
[startup+480.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 5949 0 0 0 47988 19 0 0 25 0 1 0 907125435 35139584 5869 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8579 5869 1111 63 0 8516 0
vsize: 34316
[startup+490.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6060 0 0 0 48988 19 0 0 25 0 1 0 907125435 35590144 5980 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8689 5980 1111 63 0 8626 0
vsize: 34756
[startup+500.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6155 0 0 0 49988 19 0 0 25 0 1 0 907125435 36044800 6075 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8800 6075 1111 63 0 8737 0
vsize: 35200
[startup+510.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6272 0 0 0 50988 20 0 0 25 0 1 0 907125435 36491264 6192 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8909 6192 1111 63 0 8846 0
vsize: 35636
[startup+520.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6377 0 0 0 51988 20 0 0 25 0 1 0 907125435 36945920 6297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9020 6297 1111 63 0 8957 0
vsize: 36080
[startup+530.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6495 0 0 0 52988 20 0 0 25 0 1 0 907125435 37396480 6415 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9130 6415 1111 63 0 9067 0
vsize: 36520
[startup+540.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6613 0 0 0 53988 20 0 0 25 0 1 0 907125435 37847040 6533 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9240 6533 1111 63 0 9177 0
vsize: 36960
[startup+550.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6723 0 0 0 54988 20 0 0 25 0 1 0 907125435 38297600 6643 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9350 6643 1111 63 0 9287 0
vsize: 37400
[startup+560.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6819 0 0 0 55988 21 0 0 25 0 1 0 907125435 38752256 6739 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9461 6739 1111 63 0 9398 0
vsize: 37844
[startup+570.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 6930 0 0 0 56989 21 0 0 25 0 1 0 907125435 39202816 6850 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9571 6850 1111 63 0 9508 0
vsize: 38284
[startup+580.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7035 0 0 0 57989 21 0 0 25 0 1 0 907125435 39653376 6955 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9681 6955 1111 63 0 9618 0
vsize: 38724
[startup+590.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7145 0 0 0 58989 21 0 0 25 0 1 0 907125435 40103936 7065 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9791 7065 1111 63 0 9728 0
vsize: 39164
[startup+600.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7247 0 0 0 59989 22 0 0 25 0 1 0 907125435 40558592 7167 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9902 7167 1111 63 0 9839 0
vsize: 39608
[startup+610.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7343 0 0 0 60989 22 0 0 25 0 1 0 907125435 40857600 7263 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9975 7263 1111 63 0 9912 0
vsize: 39900
[startup+620.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7470 0 0 0 61989 22 0 0 25 0 1 0 907125435 41459712 7390 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10122 7390 1111 63 0 10059 0
vsize: 40488
[startup+630.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7572 0 0 0 62989 22 0 0 25 0 1 0 907125435 41758720 7492 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10195 7492 1111 63 0 10132 0
vsize: 40780
[startup+640.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7660 0 0 0 63989 23 0 0 25 0 1 0 907125435 42209280 7580 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10305 7580 1111 63 0 10242 0
vsize: 41220
[startup+650.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7778 0 0 0 64989 23 0 0 25 0 1 0 907125435 42635264 7698 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10409 7698 1111 63 0 10346 0
vsize: 41636
[startup+660.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 7888 0 0 0 65988 23 0 0 25 0 1 0 907125435 43081728 7808 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10518 7808 1111 63 0 10455 0
vsize: 42072
[startup+670.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8008 0 0 0 66988 24 0 0 25 0 1 0 907125435 43536384 7928 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10629 7928 1111 63 0 10566 0
vsize: 42516
[startup+680.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8131 0 0 0 67988 24 0 0 25 0 1 0 907125435 44134400 8051 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10775 8051 1111 63 0 10712 0
vsize: 43100
[startup+690.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8251 0 0 0 68988 24 0 0 25 0 1 0 907125435 44589056 8171 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10886 8171 1111 63 0 10823 0
vsize: 43544
[startup+700.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8368 0 0 0 69988 24 0 0 25 0 1 0 907125435 45039616 8288 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10996 8288 1111 63 0 10933 0
vsize: 43984
[startup+710.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8486 0 0 0 70988 24 0 0 25 0 1 0 907125435 45490176 8406 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11106 8406 1111 63 0 11043 0
vsize: 44424
[startup+720.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8604 0 0 0 71988 24 0 0 25 0 1 0 907125435 46096384 8524 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11254 8524 1111 63 0 11191 0
vsize: 45016
[startup+730.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8707 0 0 0 72988 25 0 0 25 0 1 0 907125435 46395392 8627 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11327 8627 1111 63 0 11264 0
vsize: 45308
[startup+740.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8833 0 0 0 73988 25 0 0 25 0 1 0 907125435 46997504 8753 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11474 8753 1111 63 0 11411 0
vsize: 45896
[startup+750.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 8976 0 0 0 74988 25 0 0 25 0 1 0 907125435 47710208 8896 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11648 8896 1111 63 0 11585 0
vsize: 46592
[startup+760.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9108 0 0 0 75988 26 0 0 25 0 1 0 907125435 48152576 9028 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11756 9028 1111 63 0 11693 0
vsize: 47024
[startup+770.059 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9232 0 0 0 76988 26 0 0 25 0 1 0 907125435 48750592 9152 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11902 9152 1111 63 0 11839 0
vsize: 47608
[startup+780.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9358 0 0 0 77988 26 0 0 25 0 1 0 907125435 49176576 9278 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12006 9278 1111 63 0 11943 0
vsize: 48024
[startup+790.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9462 0 0 0 78988 26 0 0 25 0 1 0 907125435 49627136 9382 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12116 9382 1111 63 0 12053 0
vsize: 48464
[startup+800.061 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9566 0 0 0 79988 27 0 0 25 0 1 0 907125435 50077696 9486 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12226 9486 1111 63 0 12163 0
vsize: 48904
[startup+810.062 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9683 0 0 0 80988 27 0 0 25 0 1 0 907125435 50528256 9603 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12336 9603 1111 63 0 12273 0
vsize: 49344
[startup+820.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9802 0 0 0 81988 27 0 0 25 0 1 0 907125435 51101696 9722 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12476 9722 1111 63 0 12413 0
vsize: 49904
[startup+830.063 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 9905 0 0 0 82988 27 0 0 25 0 1 0 907125435 51400704 9825 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12549 9825 1111 63 0 12486 0
vsize: 50196
[startup+840.064 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10038 0 0 0 83988 27 0 0 25 0 1 0 907125435 52006912 9958 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12697 9958 1111 63 0 12634 0
vsize: 50788
[startup+850.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10163 0 0 0 84988 28 0 0 25 0 1 0 907125435 52453376 10083 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12806 10083 1111 63 0 12743 0
vsize: 51224
[startup+860.065 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10273 0 0 0 85988 28 0 0 25 0 1 0 907125435 52908032 10193 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12917 10193 1111 63 0 12854 0
vsize: 51668
[startup+870.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10379 0 0 0 86988 28 0 0 25 0 1 0 907125435 53358592 10299 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13027 10299 1111 63 0 12964 0
vsize: 52108
[startup+880.066 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10503 0 0 0 87988 29 0 0 25 0 1 0 907125435 53960704 10423 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13174 10429 1111 63 0 13111 0
vsize: 52696
[startup+890.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10629 0 0 0 88988 29 0 0 25 0 1 0 907125435 54415360 10549 4294967295 134512640 134716908 3221224560 3221222788 1077414349 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13285 10549 1111 63 0 13222 0
vsize: 53140
[startup+900.067 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10759 0 0 0 89987 30 0 0 25 0 1 0 907125435 55013376 10679 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13431 10679 1111 63 0 13368 0
vsize: 53724
[startup+910.068 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3575
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10879 0 0 0 90987 30 0 0 25 0 1 0 907125435 55468032 10799 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13542 10799 1111 63 0 13479 0
vsize: 54168
[startup+920.075 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 3619
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 10997 0 0 0 91988 30 0 0 25 0 1 0 907125435 55914496 10917 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13651 10917 1111 63 0 13588 0
vsize: 54604
[startup+930.075 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11129 0 0 0 92988 30 0 0 25 0 1 0 907125435 56520704 11049 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13799 11049 1111 63 0 13736 0
vsize: 55196
[startup+940.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11262 0 0 0 93988 31 0 0 25 0 1 0 907125435 56971264 11182 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13909 11182 1111 63 0 13846 0
vsize: 55636
[startup+950.076 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11381 0 0 0 94987 31 0 0 25 0 1 0 907125435 57421824 11301 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14019 11301 1111 63 0 13956 0
vsize: 56076
[startup+960.077 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11499 0 0 0 95987 32 0 0 25 0 1 0 907125435 58028032 11419 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14167 11419 1111 63 0 14104 0
vsize: 56668
[startup+970.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11616 0 0 0 96986 33 0 0 25 0 1 0 907125435 58478592 11536 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14277 11536 1111 63 0 14214 0
vsize: 57108
[startup+980.078 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3628
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11721 0 0 0 97986 33 0 0 25 0 1 0 907125435 58929152 11641 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14387 11641 1111 63 0 14324 0
vsize: 57548
[startup+990.079 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11837 0 0 0 98986 34 0 0 25 0 1 0 907125435 59379712 11757 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14497 11757 1111 63 0 14434 0
vsize: 57988
[startup+1000.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 11972 0 0 0 99985 34 0 0 25 0 1 0 907125435 59834368 11892 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14608 11892 1111 63 0 14545 0
vsize: 58432
[startup+1010.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12103 0 0 0 100985 35 0 0 25 0 1 0 907125435 60432384 12023 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 12023 1111 63 0 14691 0
vsize: 59016
[startup+1020.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12222 0 0 0 101984 36 0 0 25 0 1 0 907125435 60887040 12142 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14865 12142 1111 63 0 14802 0
vsize: 59460
[startup+1030.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12338 0 0 0 102984 37 0 0 25 0 1 0 907125435 61333504 12258 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14974 12258 1111 63 0 14911 0
vsize: 59896
[startup+1040.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12459 0 0 0 103983 37 0 0 25 0 1 0 907125435 61939712 12379 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15122 12379 1111 63 0 15059 0
vsize: 60488
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12576 0 0 0 104983 38 0 0 25 0 1 0 907125435 62390272 12496 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15232 12496 1111 63 0 15169 0
vsize: 60928
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12701 0 0 0 105983 38 0 0 25 0 1 0 907125435 62840832 12621 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15342 12621 1111 63 0 15279 0
vsize: 61368
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12826 0 0 0 106982 39 0 0 25 0 1 0 907125435 63447040 12746 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15490 12746 1111 63 0 15427 0
vsize: 61960
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 12945 0 0 0 107982 40 0 0 25 0 1 0 907125435 63897600 12865 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15600 12865 1111 63 0 15537 0
vsize: 62400
[startup+1090.08 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13057 0 0 0 108982 40 0 0 25 0 1 0 907125435 64348160 12977 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15710 12977 1111 63 0 15647 0
vsize: 62840
[startup+1100.08 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13173 0 0 0 109982 40 0 0 25 0 1 0 907125435 64798720 13093 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 13093 1111 63 0 15757 0
vsize: 63280
[startup+1110.08 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13285 0 0 0 110982 40 0 0 25 0 1 0 907125435 65253376 13205 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15931 13205 1111 63 0 15868 0
vsize: 63724
[startup+1120.09 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13403 0 0 0 111982 41 0 0 25 0 1 0 907125435 65699840 13323 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16040 13323 1111 63 0 15977 0
vsize: 64160
[startup+1130.09 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13529 0 0 0 112982 41 0 0 25 0 1 0 907125435 66306048 13449 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16188 13449 1111 63 0 16125 0
vsize: 64752
[startup+1140.09 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13653 0 0 0 113982 41 0 0 25 0 1 0 907125435 66752512 13573 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16297 13573 1111 63 0 16234 0
vsize: 65188
[startup+1150.09 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13785 0 0 0 114982 41 0 0 25 0 1 0 907125435 67354624 13705 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16444 13705 1111 63 0 16381 0
vsize: 65776
[startup+1160.09 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 13905 0 0 0 115981 42 0 0 25 0 1 0 907125435 67805184 13825 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16554 13825 1111 63 0 16491 0
vsize: 66216
[startup+1170.09 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14037 0 0 0 116981 42 0 0 25 0 1 0 907125435 68259840 13957 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16665 13957 1111 63 0 16602 0
vsize: 66660
[startup+1180.09 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14156 0 0 0 117981 42 0 0 25 0 1 0 907125435 68861952 14076 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16812 14076 1111 63 0 16749 0
vsize: 67248
[startup+1190.09 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14286 0 0 0 118981 42 0 0 25 0 1 0 907125435 69312512 14206 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16922 14206 1111 63 0 16859 0
vsize: 67688
[startup+1200.09 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) R 3574 20224 20223 0 -1 0 14408 0 0 0 119981 43 0 0 25 0 1 0 907125435 69767168 14328 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17033 14328 1111 63 0 16970 0
vsize: 68132
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.12 s]
Raw data (loadavg): 1.01 0.99 0.91 1/54 3630
Raw data (stat): 3575 (bsolo_lpr_cuts-) Z 3574 20224 20223 0 -1 1036 14408 0 0 0 119981 45 0 0 25 0 1 0 907125435 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.28
CPU user time (s): 1199.82
CPU system time (s): 0.45893
CPU usage (%): 100.013
Max. virtual memory (Kb): 68132
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####