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/web/www.nlsde.buaa.edu.cn/~kexu/benchmarks/frb50-23-opb/normalized-frb50-23-3.opb
MD5SUM	140696e76e8ed6af142b84a22a9a8f01
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-38
Optimality of the best value was proved	NO
Number of terms in the objective function	1150
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1150
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1150
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.09
Number of variables	1150
Total number of constraints	81068
Number of constraints which are clauses	81068
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	2
Trace number 40884

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 00:33:45 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28950 boxname=wulflinc5 idbench=336 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  140696e76e8ed6af142b84a22a9a8f01  /oldhome/oroussel/tmp/wulflinc5/normalized-frb50-23-3.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-frb50-23-3.opb
IDLAUNCH: 28950
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        909788 kB
Buffers:          8260 kB
Cached:          95388 kB
SwapCached:        732 kB
Active:          25832 kB
Inactive:        79892 kB
HighTotal:      131008 kB
HighFree:        34272 kB
LowTotal:       903652 kB
LowFree:        875516 kB
SwapTotal:     2097136 kB
SwapFree:      2095460 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5072 kB
Slab:            13604 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 00:53:47 (client local time) WITH STATUS 0 IN 1200.2 SECONDS
stats: 28950 7 1200.2 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1150 variables and 81068 constraints.
c After prepocess the problem consists of 1150 variables and 54869 constraints.
c preprocess terminated 551.857 s
#### 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.85 0.94 0.90 2/54 24469
Raw data (stat): 24469 (runsolver) R 24468 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905987837 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.94 0.90 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 24589 0 0 0 939 57 0 0 25 0 1 0 905987837 103903232 24505 4294967295 134512640 134716908 3221224576 3221223312 134630831 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25367 24505 1111 63 0 25304 0
vsize: 101468
[startup+20.0013 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 27231 0 0 0 1933 62 0 0 25 0 1 0 905987837 112644096 26664 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27501 26664 1111 63 0 27438 0
vsize: 110004
[startup+30.0025 s]
Raw data (loadavg): 0.91 0.94 0.90 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 27586 0 0 0 2933 63 0 0 25 0 1 0 905987837 113995776 26988 4294967295 134512640 134716908 3221224576 3221222968 1077378310 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27831 26988 1111 63 0 27768 0
vsize: 111324
[startup+40.0028 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 29445 0 0 0 3929 67 0 0 25 0 1 0 905987837 116932608 27713 4294967295 134512640 134716908 3221224576 3221223216 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28548 27713 1111 63 0 28485 0
vsize: 114192
[startup+50.0035 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 4927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223136 134535762 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+60.004 s]
Raw data (loadavg): 0.94 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 5927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222940 134539298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+70.005 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 6927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223072 134543756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+80.0057 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 7927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+90.0069 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 8927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223140 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+100.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 9927 69 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+110.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 10926 70 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222940 134539246 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+120.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 11926 71 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134594947 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+130.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 12925 71 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223184 134529115 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+140.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 13925 72 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223044 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+150.01 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 14925 72 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539353 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+160.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 15925 72 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223008 1076648048 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+170.009 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 16925 72 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+180.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 17925 72 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+190.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 18925 73 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223164 134535534 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+200.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 19924 73 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+210.01 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 20924 73 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+220.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 21924 74 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+230.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 22924 74 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222984 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+240.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 23924 74 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223200 134594959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+250.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 24924 74 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 25923 75 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542706 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 26923 75 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543804 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+280.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 27922 76 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 28922 76 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 29922 76 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223088 134543674 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+310.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 30921 77 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223152 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 31921 77 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222940 134539306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+330.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 32921 77 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 33921 78 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223204 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 34921 78 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+360.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 35920 78 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223080 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 36920 78 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 37921 78 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222960 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 38920 79 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221222992 134543684 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 39920 79 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223056 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 40920 79 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543785 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 41920 79 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 42920 79 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223216 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 43919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223140 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 44919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223192 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+460.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 45919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223240 134627211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+470.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 46919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223232 134627214 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 47919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+490.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 48919 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223248 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+500.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 49920 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223236 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+510.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30058 0 0 0 50920 80 0 0 25 0 1 0 905987837 117555200 27865 4294967295 134512640 134716908 3221224576 3221223228 134558618 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27865 1111 63 0 28637 0
vsize: 114800
[startup+520.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30059 0 0 0 51920 80 0 0 25 0 1 0 905987837 117555200 27866 4294967295 134512640 134716908 3221224576 3221223444 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30059 0 0 0 52920 80 0 0 25 0 1 0 905987837 117555200 27866 4294967295 134512640 134716908 3221224576 3221223416 134543568 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+540.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30059 0 0 0 53920 80 0 0 25 0 1 0 905987837 117555200 27866 4294967295 134512640 134716908 3221224576 3221223440 134622433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+550.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30059 0 0 0 54920 80 0 0 25 0 1 0 905987837 117555200 27866 4294967295 134512640 134716908 3221224576 3221223432 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28700 27866 1111 63 0 28637 0
vsize: 114800
[startup+560.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30088 0 0 0 55920 81 0 0 25 0 1 0 905987837 118210560 27895 4294967295 134512640 134716908 3221224576 3221222832 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28860 27895 1111 63 0 28797 0
vsize: 115440
[startup+570.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30091 0 0 0 56920 81 0 0 25 0 1 0 905987837 118210560 27898 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28860 27898 1111 63 0 28797 0
vsize: 115440
[startup+580.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30093 0 0 0 57920 81 0 0 25 0 1 0 905987837 118210560 27900 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28860 27900 1111 63 0 28797 0
vsize: 115440
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30252 0 0 0 58919 82 0 0 25 0 1 0 905987837 118849536 28059 4294967295 134512640 134716908 3221224576 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29016 28059 1111 63 0 28953 0
vsize: 116064
[startup+600.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30272 0 0 0 59918 83 0 0 25 0 1 0 905987837 118923264 28079 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29034 28079 1111 63 0 28971 0
vsize: 116136
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30289 0 0 0 60917 84 0 0 25 0 1 0 905987837 118988800 28096 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29050 28096 1111 63 0 28987 0
vsize: 116200
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30305 0 0 0 61917 85 0 0 25 0 1 0 905987837 119046144 28112 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29064 28112 1111 63 0 29001 0
vsize: 116256
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30318 0 0 0 62916 86 0 0 25 0 1 0 905987837 119095296 28125 4294967295 134512640 134716908 3221224576 3221222832 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29076 28125 1111 63 0 29013 0
vsize: 116304
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30332 0 0 0 63916 86 0 0 25 0 1 0 905987837 119148544 28139 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29089 28139 1111 63 0 29026 0
vsize: 116356
[startup+650.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30467 0 0 0 64915 87 0 0 25 0 1 0 905987837 119697408 28274 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29223 28274 1111 63 0 29160 0
vsize: 116892
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30485 0 0 0 65914 88 0 0 25 0 1 0 905987837 119767040 28292 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29240 28292 1111 63 0 29177 0
vsize: 116960
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30502 0 0 0 66914 88 0 0 25 0 1 0 905987837 119832576 28309 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29256 28309 1111 63 0 29193 0
vsize: 117024
[startup+680.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30518 0 0 0 67914 89 0 0 25 0 1 0 905987837 119894016 28325 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29271 28325 1111 63 0 29208 0
vsize: 117084
[startup+690.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30533 0 0 0 68914 89 0 0 25 0 1 0 905987837 119951360 28340 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29285 28340 1111 63 0 29222 0
vsize: 117140
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30546 0 0 0 69914 90 0 0 25 0 1 0 905987837 120004608 28353 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29298 28353 1111 63 0 29235 0
vsize: 117192
[startup+710.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30561 0 0 0 70914 90 0 0 25 0 1 0 905987837 120061952 28368 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29312 28368 1111 63 0 29249 0
vsize: 117248
[startup+720.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30577 0 0 0 71913 91 0 0 25 0 1 0 905987837 120123392 28384 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29327 28384 1111 63 0 29264 0
vsize: 117308
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30591 0 0 0 72913 91 0 0 25 0 1 0 905987837 120176640 28398 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29340 28398 1111 63 0 29277 0
vsize: 117360
[startup+740.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30605 0 0 0 73913 91 0 0 25 0 1 0 905987837 120233984 28412 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29354 28412 1111 63 0 29291 0
vsize: 117416
[startup+750.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30618 0 0 0 74912 92 0 0 25 0 1 0 905987837 120283136 28425 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29366 28425 1111 63 0 29303 0
vsize: 117464
[startup+760.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30631 0 0 0 75912 92 0 0 25 0 1 0 905987837 120332288 28438 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29378 28438 1111 63 0 29315 0
vsize: 117512
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30643 0 0 0 76912 93 0 0 25 0 1 0 905987837 120381440 28450 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29390 28450 1111 63 0 29327 0
vsize: 117560
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30654 0 0 0 77912 93 0 0 25 0 1 0 905987837 120422400 28461 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29400 28461 1111 63 0 29337 0
vsize: 117600
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30669 0 0 0 78912 93 0 0 25 0 1 0 905987837 120479744 28476 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29414 28476 1111 63 0 29351 0
vsize: 117656
[startup+800.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30682 0 0 0 79912 93 0 0 25 0 1 0 905987837 120532992 28489 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29427 28489 1111 63 0 29364 0
vsize: 117708
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30695 0 0 0 80912 94 0 0 25 0 1 0 905987837 120582144 28502 4294967295 134512640 134716908 3221224576 3221222784 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29439 28502 1111 63 0 29376 0
vsize: 117756
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30708 0 0 0 81911 94 0 0 25 0 1 0 905987837 120631296 28515 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29451 28515 1111 63 0 29388 0
vsize: 117804
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30720 0 0 0 82911 95 0 0 25 0 1 0 905987837 120680448 28527 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29463 28527 1111 63 0 29400 0
vsize: 117852
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30732 0 0 0 83911 95 0 0 25 0 1 0 905987837 120725504 28539 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29474 28539 1111 63 0 29411 0
vsize: 117896
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30741 0 0 0 84910 96 0 0 25 0 1 0 905987837 120762368 28548 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29483 28548 1111 63 0 29420 0
vsize: 117932
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30752 0 0 0 85909 97 0 0 25 0 1 0 905987837 120803328 28559 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29493 28559 1111 63 0 29430 0
vsize: 117972
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30762 0 0 0 86909 98 0 0 25 0 1 0 905987837 120840192 28569 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29502 28569 1111 63 0 29439 0
vsize: 118008
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30773 0 0 0 87908 98 0 0 25 0 1 0 905987837 120885248 28580 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29513 28580 1111 63 0 29450 0
vsize: 118052
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30879 0 0 0 88908 99 0 0 25 0 1 0 905987837 121315328 28686 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29618 28686 1111 63 0 29555 0
vsize: 118472
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30889 0 0 0 89908 99 0 0 25 0 1 0 905987837 121356288 28696 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29628 28696 1111 63 0 29565 0
vsize: 118512
[startup+910.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30899 0 0 0 90907 100 0 0 25 0 1 0 905987837 121393152 28706 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29637 28706 1111 63 0 29574 0
vsize: 118548
[startup+920.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30910 0 0 0 91907 100 0 0 25 0 1 0 905987837 121438208 28717 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29648 28717 1111 63 0 29585 0
vsize: 118592
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30918 0 0 0 92907 101 0 0 25 0 1 0 905987837 121466880 28725 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29655 28725 1111 63 0 29592 0
vsize: 118620
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30927 0 0 0 93907 101 0 0 25 0 1 0 905987837 121503744 28734 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29664 28734 1111 63 0 29601 0
vsize: 118656
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30939 0 0 0 94906 102 0 0 25 0 1 0 905987837 121548800 28746 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29675 28746 1111 63 0 29612 0
vsize: 118700
[startup+960.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30948 0 0 0 95906 102 0 0 25 0 1 0 905987837 121585664 28755 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29684 28755 1111 63 0 29621 0
vsize: 118736
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30958 0 0 0 96906 103 0 0 25 0 1 0 905987837 121622528 28765 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29693 28765 1111 63 0 29630 0
vsize: 118772
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30965 0 0 0 97906 103 0 0 25 0 1 0 905987837 121651200 28772 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29700 28772 1111 63 0 29637 0
vsize: 118800
[startup+990.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30974 0 0 0 98906 103 0 0 25 0 1 0 905987837 121683968 28781 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29708 28781 1111 63 0 29645 0
vsize: 118832
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30983 0 0 0 99906 103 0 0 25 0 1 0 905987837 121720832 28790 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29717 28790 1111 63 0 29654 0
vsize: 118868
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 30991 0 0 0 100906 104 0 0 25 0 1 0 905987837 121749504 28798 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29724 28798 1111 63 0 29661 0
vsize: 118896
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31000 0 0 0 101906 104 0 0 25 0 1 0 905987837 121786368 28807 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29733 28807 1111 63 0 29670 0
vsize: 118932
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31009 0 0 0 102905 104 0 0 25 0 1 0 905987837 121819136 28816 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29741 28816 1111 63 0 29678 0
vsize: 118964
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31152 0 0 0 103905 105 0 0 25 0 1 0 905987837 122404864 28959 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29884 28959 1111 63 0 29821 0
vsize: 119536
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31161 0 0 0 104905 105 0 0 25 0 1 0 905987837 122441728 28968 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29893 28968 1111 63 0 29830 0
vsize: 119572
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31169 0 0 0 105905 105 0 0 25 0 1 0 905987837 122470400 28976 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29900 28976 1111 63 0 29837 0
vsize: 119600
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31178 0 0 0 106905 106 0 0 25 0 1 0 905987837 122507264 28985 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29909 28985 1111 63 0 29846 0
vsize: 119636
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31187 0 0 0 107905 106 0 0 25 0 1 0 905987837 122540032 28994 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29917 28994 1111 63 0 29854 0
vsize: 119668
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31196 0 0 0 108905 106 0 0 25 0 1 0 905987837 122576896 29003 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29926 29003 1111 63 0 29863 0
vsize: 119704
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31206 0 0 0 109905 106 0 0 25 0 1 0 905987837 122613760 29013 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29935 29013 1111 63 0 29872 0
vsize: 119740
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31215 0 0 0 110905 106 0 0 25 0 1 0 905987837 122650624 29022 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29944 29022 1111 63 0 29881 0
vsize: 119776
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31222 0 0 0 111905 107 0 0 25 0 1 0 905987837 122679296 29029 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29951 29029 1111 63 0 29888 0
vsize: 119804
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31231 0 0 0 112905 107 0 0 25 0 1 0 905987837 122712064 29038 4294967295 134512640 134716908 3221224576 3221222816 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29959 29038 1111 63 0 29896 0
vsize: 119836
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31240 0 0 0 113905 107 0 0 25 0 1 0 905987837 122748928 29047 4294967295 134512640 134716908 3221224576 3221222816 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29968 29047 1111 63 0 29905 0
vsize: 119872
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31248 0 0 0 114905 107 0 0 25 0 1 0 905987837 122777600 29055 4294967295 134512640 134716908 3221224576 3221222816 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29975 29055 1111 63 0 29912 0
vsize: 119900
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31257 0 0 0 115905 108 0 0 25 0 1 0 905987837 122814464 29064 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29984 29064 1111 63 0 29921 0
vsize: 119936
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31267 0 0 0 116905 108 0 0 25 0 1 0 905987837 122851328 29074 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29993 29074 1111 63 0 29930 0
vsize: 119972
[startup+1180.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31276 0 0 0 117905 108 0 0 25 0 1 0 905987837 122888192 29083 4294967295 134512640 134716908 3221224576 3221222832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30002 29083 1111 63 0 29939 0
vsize: 120008
[startup+1190.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31284 0 0 0 118904 109 0 0 25 0 1 0 905987837 122920960 29091 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30010 29091 1111 63 0 29947 0
vsize: 120040
[startup+1200.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) R 24468 7266 7265 0 -1 0 31294 0 0 0 119904 109 0 0 25 0 1 0 905987837 122957824 29101 4294967295 134512640 134716908 3221224576 3221222832 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30019 29101 1111 63 0 29956 0
vsize: 120076
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.1 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24469
Raw data (stat): 24469 (bsolo_lpr_cuts-) Z 24468 7266 7265 0 -1 1036 31294 0 0 0 119904 114 0 0 25 0 1 0 905987837 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.1
CPU time (s): 1200.2
CPU user time (s): 1199.05
CPU system time (s): 1.14982
CPU usage (%): 100.008
Max. virtual memory (Kb): 120076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####