PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-20-10/plato.asu.edu/pub/unibo/normalized-mps-v2-20-10-siena1.opb
MD5SUM	575f632072d90cb1b2032661c3842261
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	70755
Biggest coefficient in the objective function	536870912000000000000
Number of bits for the biggest coefficient in the objective function	69
Sum of the numbers in the objective function	28224865138562973040640
Number of bits of the sum of numbers in the objective function	75
Biggest number in a constraint	536870912000000000000
Number of bits of the biggest number in a constraint	69
Biggest sum of numbers in a constraint	28224967538562973040640
Number of bits of the biggest sum of numbers	75
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.701893
Number of variables	70755
Total number of constraints	13995
Number of constraints which are clauses	310
Number of constraints which are cardinality constraints (but not clauses)	11776
Number of constraints which are nor clauses,nor cardinality constraints	1909
Minimum length of a constraint	1
Maximum length of a constraint	70755
Trace number 41322

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        800056 kB
Buffers:         14148 kB
Cached:         199312 kB
SwapCached:        876 kB
Active:          34108 kB
Inactive:       181356 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        799804 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:               4 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13452 kB
Committed_AS:    71784 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 10:40:41 (client local time) WITH STATUS 0 IN 1200.39 SECONDS
stats: 29387 7 1200.39 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.74 0.91 0.89 2/54 13809
Raw data (stat): 13809 (runsolver) R 13808 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 909500032 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.0015 s]
Raw data (loadavg): 0.78 0.91 0.89 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 2013 0 0 0 993 4 0 0 25 0 1 0 909500032 19714048 1933 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4813 1933 1111 63 0 4750 0
vsize: 19252
[startup+20.0022 s]
Raw data (loadavg): 0.81 0.91 0.89 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 3155 0 0 0 1991 6 0 0 25 0 1 0 909500032 24342528 3075 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5943 3075 1111 63 0 5880 0
vsize: 23772
[startup+30.0021 s]
Raw data (loadavg): 0.84 0.92 0.89 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 4297 0 0 0 2990 7 0 0 25 0 1 0 909500032 29118464 4217 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7109 4217 1111 63 0 7046 0
vsize: 28436
[startup+40.003 s]
Raw data (loadavg): 0.87 0.92 0.89 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 5451 0 0 0 3989 9 0 0 25 0 1 0 909500032 33746944 5371 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8239 5371 1111 63 0 8176 0
vsize: 32956
[startup+50.0038 s]
Raw data (loadavg): 0.89 0.92 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 6599 0 0 0 4987 12 0 0 25 0 1 0 909500032 38522880 6519 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9405 6519 1111 63 0 9342 0
vsize: 37620
[startup+60.0049 s]
Raw data (loadavg): 0.90 0.92 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 7756 0 0 0 5985 14 0 0 25 0 1 0 909500032 43286528 7676 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10568 7676 1111 63 0 10505 0
vsize: 42272
[startup+70.0055 s]
Raw data (loadavg): 0.92 0.92 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 8916 0 0 0 6983 16 0 0 25 0 1 0 909500032 47915008 8836 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11698 8836 1111 63 0 11635 0
vsize: 46792
[startup+80.0054 s]
Raw data (loadavg): 0.93 0.93 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 10078 0 0 0 7980 18 0 0 25 0 1 0 909500032 52699136 9998 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12866 9998 1111 63 0 12803 0
vsize: 51464
[startup+90.0062 s]
Raw data (loadavg): 0.94 0.93 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 11244 0 0 0 8979 20 0 0 25 0 1 0 909500032 57475072 11164 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14032 11164 1111 63 0 13969 0
vsize: 56128
[startup+100.006 s]
Raw data (loadavg): 0.95 0.93 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 12411 0 0 0 9978 22 0 0 25 0 1 0 909500032 62251008 12331 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15198 12331 1111 63 0 15135 0
vsize: 60792
[startup+110.007 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 13588 0 0 0 10976 23 0 0 25 0 1 0 909500032 67153920 13508 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16395 13508 1111 63 0 16332 0
vsize: 65580
[startup+120.008 s]
Raw data (loadavg): 0.96 0.93 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 14761 0 0 0 11974 26 0 0 25 0 1 0 909500032 71929856 14681 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17561 14681 1111 63 0 17498 0
vsize: 70244
[startup+130.008 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 15939 0 0 0 12972 27 0 0 25 0 1 0 909500032 76705792 15859 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18727 15859 1111 63 0 18664 0
vsize: 74908
[startup+140.009 s]
Raw data (loadavg): 0.97 0.94 0.90 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 17124 0 0 0 13971 29 0 0 25 0 1 0 909500032 81633280 17044 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19930 17044 1111 63 0 19867 0
vsize: 79720
[startup+150.009 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 18310 0 0 0 14969 31 0 0 25 0 1 0 909500032 86409216 18230 4294967295 134512640 134716908 3221224560 3221221276 1077198002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21096 18230 1111 63 0 21033 0
vsize: 84384
[startup+160.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 19494 0 0 0 15968 33 0 0 25 0 1 0 909500032 91340800 19414 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22300 19414 1111 63 0 22237 0
vsize: 89200
[startup+170.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 20691 0 0 0 16966 34 0 0 25 0 1 0 909500032 96268288 20611 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23503 20611 1111 63 0 23440 0
vsize: 94012
[startup+180.01 s]
Raw data (loadavg): 0.98 0.94 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 21881 0 0 0 17965 36 0 0 25 0 1 0 909500032 101044224 21801 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24669 21801 1111 63 0 24606 0
vsize: 98676
[startup+190.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 23084 0 0 0 18963 39 0 0 25 0 1 0 909500032 105971712 23004 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25872 23004 1111 63 0 25809 0
vsize: 103488
[startup+200.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 24287 0 0 0 19960 41 0 0 25 0 1 0 909500032 110895104 24207 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27074 24207 1111 63 0 27011 0
vsize: 108296
[startup+210.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 25502 0 0 0 20959 43 0 0 25 0 1 0 909500032 115945472 25422 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28307 25422 1111 63 0 28244 0
vsize: 113228
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 26718 0 0 0 21956 45 0 0 25 0 1 0 909500032 120877056 26638 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29511 26638 1111 63 0 29448 0
vsize: 118044
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 27933 0 0 0 22954 47 0 0 25 0 1 0 909500032 125952000 27853 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30750 27853 1111 63 0 30687 0
vsize: 123000
[startup+240.012 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 29149 0 0 0 23953 49 0 0 25 0 1 0 909500032 130879488 29069 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31953 29069 1111 63 0 31890 0
vsize: 127812
[startup+250.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 30376 0 0 0 24951 51 0 0 25 0 1 0 909500032 135954432 30296 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33192 30296 1111 63 0 33129 0
vsize: 132768
[startup+260.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 31598 0 0 0 25949 53 0 0 25 0 1 0 909500032 140877824 31518 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34394 31518 1111 63 0 34331 0
vsize: 137576
[startup+270.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 32832 0 0 0 26948 55 0 0 25 0 1 0 909500032 145956864 32752 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35634 32752 1111 63 0 35571 0
vsize: 142536
[startup+280.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 34065 0 0 0 27945 57 0 0 25 0 1 0 909500032 151035904 33985 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36874 33985 1111 63 0 36811 0
vsize: 147496
[startup+290.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 35299 0 0 0 28944 59 0 0 25 0 1 0 909500032 156110848 35219 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38113 35219 1111 63 0 38050 0
vsize: 152452
[startup+300.017 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 36544 0 0 0 29942 61 0 0 25 0 1 0 909500032 161185792 36464 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39352 36464 1111 63 0 39289 0
vsize: 157408
[startup+310.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 37790 0 0 0 30939 64 0 0 25 0 1 0 909500032 166260736 37710 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40591 37710 1111 63 0 40528 0
vsize: 162364
[startup+320.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 39036 0 0 0 31937 66 0 0 25 0 1 0 909500032 171335680 38956 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41830 38956 1111 63 0 41767 0
vsize: 167320
[startup+330.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 40294 0 0 0 32935 68 0 0 25 0 1 0 909500032 176566272 40214 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43107 40214 1111 63 0 43044 0
vsize: 172428
[startup+340.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 41553 0 0 0 33934 69 0 0 25 0 1 0 909500032 181641216 41473 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44346 41473 1111 63 0 44283 0
vsize: 177384
[startup+350.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 42816 0 0 0 34933 70 0 0 25 0 1 0 909500032 186867712 42736 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45622 42736 1111 63 0 45559 0
vsize: 182488
[startup+360.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 44079 0 0 0 35932 72 0 0 25 0 1 0 909500032 191942656 43999 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46861 43999 1111 63 0 46798 0
vsize: 187444
[startup+370.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 45350 0 0 0 36930 74 0 0 25 0 1 0 909500032 197173248 45270 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48138 45270 1111 63 0 48075 0
vsize: 192552
[startup+380.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 46625 0 0 0 37928 76 0 0 25 0 1 0 909500032 202395648 46545 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49413 46545 1111 63 0 49350 0
vsize: 197652
[startup+390.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 47907 0 0 0 38927 78 0 0 25 0 1 0 909500032 207622144 47827 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50689 47827 1111 63 0 50626 0
vsize: 202756
[startup+400.02 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 49188 0 0 0 39925 80 0 0 25 0 1 0 909500032 212992000 49108 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52000 49108 1111 63 0 51937 0
vsize: 208000
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 50488 0 0 0 40923 82 0 0 25 0 1 0 909500032 218370048 50408 4294967295 134512640 134716908 3221224560 3221222788 1077414401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53313 50408 1111 63 0 53250 0
vsize: 213252
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 51783 0 0 0 41921 85 0 0 25 0 1 0 909500032 223592448 51703 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 54588 51703 1111 63 0 54525 0
vsize: 218352
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 53082 0 0 0 42918 87 0 0 25 0 1 0 909500032 228966400 53002 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55900 53002 1111 63 0 55837 0
vsize: 223600
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 54382 0 0 0 43916 90 0 0 25 0 1 0 909500032 234192896 54302 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57176 54302 1111 63 0 57113 0
vsize: 228704
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 55690 0 0 0 44914 92 0 0 25 0 1 0 909500032 239570944 55610 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58489 55610 1111 63 0 58426 0
vsize: 233956
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 57003 0 0 0 45912 94 0 0 25 0 1 0 909500032 244944896 56923 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59801 56923 1111 63 0 59738 0
vsize: 239204
[startup+470.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 58321 0 0 0 46910 97 0 0 25 0 1 0 909500032 250318848 58241 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61113 58241 1111 63 0 61050 0
vsize: 244452
[startup+480.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 59639 0 0 0 47907 99 0 0 25 0 1 0 909500032 255840256 59559 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62461 59559 1111 63 0 62398 0
vsize: 249844
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 60971 0 0 0 48905 102 0 0 25 0 1 0 909500032 261222400 60891 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63775 60891 1111 63 0 63712 0
vsize: 255100
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 62308 0 0 0 49903 104 0 0 25 0 1 0 909500032 266743808 62228 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65123 62228 1111 63 0 65060 0
vsize: 260492
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 63652 0 0 0 50901 106 0 0 25 0 1 0 909500032 272269312 63572 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66472 63572 1111 63 0 66409 0
vsize: 265888
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 64996 0 0 0 51898 109 0 0 25 0 1 0 909500032 277643264 64916 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67784 64916 1111 63 0 67721 0
vsize: 271136
[startup+530.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 66345 0 0 0 52896 112 0 0 25 0 1 0 909500032 283172864 66265 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69134 66265 1111 63 0 69071 0
vsize: 276536
[startup+540.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 67706 0 0 0 53893 115 0 0 25 0 1 0 909500032 288849920 67626 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70520 67626 1111 63 0 70457 0
vsize: 282080
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 69067 0 0 0 54891 117 0 0 25 0 1 0 909500032 294371328 68987 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71868 68987 1111 63 0 71805 0
vsize: 287472
[startup+560.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 70437 0 0 0 55890 118 0 0 25 0 1 0 909500032 300052480 70357 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73255 70357 1111 63 0 73192 0
vsize: 293020
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 71810 0 0 0 56888 120 0 0 25 0 1 0 909500032 305577984 71730 4294967295 134512640 134716908 3221224560 3221222788 1077414424 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74604 71730 1111 63 0 74541 0
vsize: 298416
[startup+580.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 72539 0 0 0 57886 122 0 0 25 0 1 0 909500032 308568064 72459 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75334 72459 1111 63 0 75271 0
vsize: 301336
[startup+590.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 72672 0 0 0 58886 122 0 0 25 0 1 0 909500032 309170176 72592 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75481 72592 1111 63 0 75418 0
vsize: 301924
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 72811 0 0 0 59886 123 0 0 25 0 1 0 909500032 309768192 72731 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75627 72731 1111 63 0 75564 0
vsize: 302508
[startup+610.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 72950 0 0 0 60886 123 0 0 25 0 1 0 909500032 310218752 72870 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75737 72870 1111 63 0 75674 0
vsize: 302948
[startup+620.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73076 0 0 0 61886 123 0 0 25 0 1 0 909500032 310812672 72996 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75882 72996 1111 63 0 75819 0
vsize: 303528
[startup+630.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73214 0 0 0 62886 123 0 0 25 0 1 0 909500032 311414784 73134 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76029 73134 1111 63 0 75966 0
vsize: 304116
[startup+640.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73348 0 0 0 63887 123 0 0 25 0 1 0 909500032 311869440 73268 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76140 73268 1111 63 0 76077 0
vsize: 304560
[startup+650.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73479 0 0 0 64886 124 0 0 25 0 1 0 909500032 312463360 73399 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76285 73399 1111 63 0 76222 0
vsize: 305140
[startup+660.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73613 0 0 0 65886 124 0 0 25 0 1 0 909500032 313036800 73533 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76425 73533 1111 63 0 76362 0
vsize: 305700
[startup+670.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73744 0 0 0 66886 124 0 0 25 0 1 0 909500032 313483264 73664 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76534 73664 1111 63 0 76471 0
vsize: 306136
[startup+680.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 73877 0 0 0 67886 125 0 0 25 0 1 0 909500032 314085376 73797 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76681 73797 1111 63 0 76618 0
vsize: 306724
[startup+690.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74009 0 0 0 68886 125 0 0 25 0 1 0 909500032 314535936 73929 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76791 73929 1111 63 0 76728 0
vsize: 307164
[startup+700.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74140 0 0 0 69886 126 0 0 25 0 1 0 909500032 315129856 74060 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76936 74060 1111 63 0 76873 0
vsize: 307744
[startup+710.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74280 0 0 0 70885 126 0 0 25 0 1 0 909500032 315731968 74200 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77083 74200 1111 63 0 77020 0
vsize: 308332
[startup+720.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74419 0 0 0 71885 126 0 0 25 0 1 0 909500032 316334080 74339 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77230 74339 1111 63 0 77167 0
vsize: 308920
[startup+730.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74570 0 0 0 72885 127 0 0 25 0 1 0 909500032 316944384 74490 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77379 74490 1111 63 0 77316 0
vsize: 309516
[startup+740.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74717 0 0 0 73885 127 0 0 25 0 1 0 909500032 317546496 74637 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77526 74637 1111 63 0 77463 0
vsize: 310104
[startup+750.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74848 0 0 0 74885 127 0 0 25 0 1 0 909500032 318140416 74768 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77671 74768 1111 63 0 77608 0
vsize: 310684
[startup+760.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 74994 0 0 0 75885 127 0 0 25 0 1 0 909500032 318742528 74914 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77818 74914 1111 63 0 77755 0
vsize: 311272
[startup+770.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75129 0 0 0 76885 128 0 0 25 0 1 0 909500032 319344640 75049 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77965 75049 1111 63 0 77902 0
vsize: 311860
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75259 0 0 0 77885 128 0 0 25 0 1 0 909500032 319791104 75179 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78074 75179 1111 63 0 78011 0
vsize: 312296
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75407 0 0 0 78885 128 0 0 25 0 1 0 909500032 320393216 75327 4294967295 134512640 134716908 3221224560 3221222788 1077414446 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78221 75327 1111 63 0 78158 0
vsize: 312884
[startup+800.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75554 0 0 0 79885 129 0 0 25 0 1 0 909500032 320991232 75474 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78367 75474 1111 63 0 78304 0
vsize: 313468
[startup+810.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75701 0 0 0 80885 129 0 0 25 0 1 0 909500032 321593344 75621 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78514 75621 1111 63 0 78451 0
vsize: 314056
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75848 0 0 0 81885 129 0 0 25 0 1 0 909500032 322191360 75768 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78660 75768 1111 63 0 78597 0
vsize: 314640
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 75995 0 0 0 82885 129 0 0 25 0 1 0 909500032 322789376 75915 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78806 75915 1111 63 0 78743 0
vsize: 315224
[startup+840.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76149 0 0 0 83885 130 0 0 25 0 1 0 909500032 323391488 76069 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78953 76069 1111 63 0 78890 0
vsize: 315812
[startup+850.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76303 0 0 0 84884 130 0 0 25 0 1 0 909500032 324141056 76223 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79136 76223 1111 63 0 79073 0
vsize: 316544
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76451 0 0 0 85884 130 0 0 25 0 1 0 909500032 324739072 76371 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79282 76371 1111 63 0 79219 0
vsize: 317128
[startup+870.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76597 0 0 0 86884 131 0 0 25 0 1 0 909500032 325337088 76517 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79428 76517 1111 63 0 79365 0
vsize: 317712
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76738 0 0 0 87884 131 0 0 25 0 1 0 909500032 325791744 76658 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79539 76658 1111 63 0 79476 0
vsize: 318156
[startup+890.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 76891 0 0 0 88884 131 0 0 25 0 1 0 909500032 326541312 76811 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79722 76811 1111 63 0 79659 0
vsize: 318888
[startup+900.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77037 0 0 0 89884 132 0 0 25 0 1 0 909500032 327135232 76957 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79867 76957 1111 63 0 79804 0
vsize: 319468
[startup+910.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77185 0 0 0 90883 132 0 0 25 0 1 0 909500032 327737344 77105 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80014 77105 1111 63 0 79951 0
vsize: 320056
[startup+920.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77339 0 0 0 91883 133 0 0 25 0 1 0 909500032 328339456 77259 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80161 77259 1111 63 0 80098 0
vsize: 320644
[startup+930.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77493 0 0 0 92883 133 0 0 25 0 1 0 909500032 328933376 77413 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80306 77413 1111 63 0 80243 0
vsize: 321224
[startup+940.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77655 0 0 0 93883 133 0 0 25 0 1 0 909500032 329535488 77575 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80453 77575 1111 63 0 80390 0
vsize: 321812
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77810 0 0 0 94883 134 0 0 25 0 1 0 909500032 330289152 77730 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80637 77730 1111 63 0 80574 0
vsize: 322548
[startup+960.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 77977 0 0 0 95883 134 0 0 25 0 1 0 909500032 330883072 77897 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80782 77897 1111 63 0 80719 0
vsize: 323128
[startup+970.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78140 0 0 0 96883 134 0 0 25 0 1 0 909500032 331632640 78060 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80965 78060 1111 63 0 80902 0
vsize: 323860
[startup+980.053 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78302 0 0 0 97883 135 0 0 25 0 1 0 909500032 332234752 78222 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81112 78222 1111 63 0 81049 0
vsize: 324448
[startup+990.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78477 0 0 0 98883 135 0 0 25 0 1 0 909500032 332988416 78397 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81296 78397 1111 63 0 81233 0
vsize: 325184
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78641 0 0 0 99884 135 0 0 25 0 1 0 909500032 333582336 78561 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81441 78561 1111 63 0 81378 0
vsize: 325764
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78801 0 0 0 100883 135 0 0 25 0 1 0 909500032 334331904 78721 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81624 78721 1111 63 0 81561 0
vsize: 326496
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 78961 0 0 0 101884 135 0 0 25 0 1 0 909500032 334934016 78881 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81771 78881 1111 63 0 81708 0
vsize: 327084
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79117 0 0 0 102883 136 0 0 25 0 1 0 909500032 335536128 79037 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81918 79037 1111 63 0 81855 0
vsize: 327672
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79278 0 0 0 103883 137 0 0 25 0 1 0 909500032 336281600 79198 4294967295 134512640 134716908 3221224560 3221223216 134527935 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82100 79198 1111 63 0 82037 0
vsize: 328400
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79433 0 0 0 104883 137 0 0 25 0 1 0 909500032 336883712 79353 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82247 79353 1111 63 0 82184 0
vsize: 328988
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79595 0 0 0 105883 137 0 0 25 0 1 0 909500032 337481728 79515 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82393 79515 1111 63 0 82330 0
vsize: 329572
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79758 0 0 0 106883 137 0 0 25 0 1 0 909500032 338231296 79678 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82576 79678 1111 63 0 82513 0
vsize: 330304
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 79918 0 0 0 107883 138 0 0 25 0 1 0 909500032 338829312 79838 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82722 79838 1111 63 0 82659 0
vsize: 330888
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80080 0 0 0 108882 138 0 0 25 0 1 0 909500032 339431424 80000 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82869 80000 1111 63 0 82806 0
vsize: 331476
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80242 0 0 0 109882 138 0 0 25 0 1 0 909500032 340180992 80162 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83052 80162 1111 63 0 82989 0
vsize: 332208
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80402 0 0 0 110882 139 0 0 25 0 1 0 909500032 340779008 80322 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83198 80322 1111 63 0 83135 0
vsize: 332792
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80564 0 0 0 111882 139 0 0 25 0 1 0 909500032 341524480 80484 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83380 80484 1111 63 0 83317 0
vsize: 333520
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80726 0 0 0 112881 140 0 0 25 0 1 0 909500032 342126592 80646 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83527 80646 1111 63 0 83464 0
vsize: 334108
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 80889 0 0 0 113882 140 0 0 25 0 1 0 909500032 342728704 80809 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83674 80809 1111 63 0 83611 0
vsize: 334696
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81050 0 0 0 114881 140 0 0 25 0 1 0 909500032 343474176 80970 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83856 80970 1111 63 0 83793 0
vsize: 335424
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81226 0 0 0 115881 140 0 0 25 0 1 0 909500032 344223744 81146 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84039 81146 1111 63 0 83976 0
vsize: 336156
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81395 0 0 0 116881 141 0 0 25 0 1 0 909500032 344825856 81315 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84186 81315 1111 63 0 84123 0
vsize: 336744
[startup+1180.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81572 0 0 0 117881 141 0 0 25 0 1 0 909500032 345579520 81492 4294967295 134512640 134716908 3221224560 3221223216 134527930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84370 81492 1111 63 0 84307 0
vsize: 337480
[startup+1190.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81756 0 0 0 118881 142 0 0 25 0 1 0 909500032 346329088 81676 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84553 81676 1111 63 0 84490 0
vsize: 338212
[startup+1200.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) R 13808 21152 21151 0 -1 0 81938 0 0 0 119881 142 0 0 25 0 1 0 909500032 347074560 81858 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 84735 81858 1111 63 0 84672 0
vsize: 338940
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.23 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 13809
Raw data (stat): 13809 (bsolo_lpr_cuts-) Z 13808 21152 21151 0 -1 1036 81938 0 0 0 119881 157 0 0 25 0 1 0 909500032 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.23
CPU time (s): 1200.39
CPU user time (s): 1198.81
CPU system time (s): 1.57876
CPU usage (%): 100.014
Max. virtual memory (Kb): 338940
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####