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-13-7/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-rail507.opb
MD5SUM	323cdddd9985e43f8e7199c63ad6de47
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2147483647
Optimality of the best value was proved	NO
Number of terms in the objective function	63209
Biggest coefficient in the objective function	52428800000000000
Number of bits for the biggest coefficient in the objective function	56
Sum of the numbers in the objective function	226433975012582900
Number of bits of the sum of numbers in the objective function	58
Biggest number in a constraint	52428800000000000
Number of bits of the biggest number in a constraint	56
Biggest sum of numbers in a constraint	226433975012582900
Number of bits of the biggest sum of numbers	58
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	295.054
Number of variables	63009
Total number of constraints	63518
Number of constraints which are clauses	507
Number of constraints which are cardinality constraints (but not clauses)	63011
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	1
Maximum length of a constraint	59416
Trace number 41707

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-09 20:22:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29769 boxname=wulflinc5 idbench=1553 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  323cdddd9985e43f8e7199c63ad6de47  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-rail507.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-rail507.opb
IDLAUNCH: 29769
/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:        864240 kB
Buffers:         10652 kB
Cached:         138056 kB
SwapCached:        620 kB
Active:          38032 kB
Inactive:       112688 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        863988 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13988 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:42:39 (client local time) WITH STATUS 0 IN 1200.58 SECONDS
stats: 29769 7 1200.58 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 1/54 6437
Raw data (stat): 6437 (runsolver) R 6436 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 913121945 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0012 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 2049 0 0 0 991 6 0 0 25 0 1 0 913121945 20013056 1969 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4886 1969 1111 63 0 4823 0
vsize: 19544
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 3263 0 0 0 1989 9 0 0 25 0 1 0 913121945 24936448 3183 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6088 3183 1111 63 0 6025 0
vsize: 24352
[startup+30.0019 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 4478 0 0 0 2987 11 0 0 25 0 1 0 913121945 29863936 4398 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7291 4398 1111 63 0 7228 0
vsize: 29164
[startup+40.0023 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 5699 0 0 0 3985 14 0 0 25 0 1 0 913121945 34938880 5619 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8530 5619 1111 63 0 8467 0
vsize: 34120
[startup+50.0021 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 6921 0 0 0 4982 16 0 0 25 0 1 0 913121945 39870464 6841 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9734 6841 1111 63 0 9671 0
vsize: 38936
[startup+60.0031 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 8151 0 0 0 5980 18 0 0 25 0 1 0 913121945 44933120 8071 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10970 8071 1111 63 0 10907 0
vsize: 43880
[startup+70.0026 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 9384 0 0 0 6979 20 0 0 25 0 1 0 913121945 50008064 9304 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12209 9304 1111 63 0 12146 0
vsize: 48836
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 3/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 10617 0 0 0 7976 23 0 0 25 0 1 0 913121945 55083008 10537 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13448 10537 1111 63 0 13385 0
vsize: 53792
[startup+90.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 11856 0 0 0 8972 27 0 0 25 0 1 0 913121945 60157952 11776 4294967295 134512640 134716908 3221224560 3221222788 1077414383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14687 11776 1111 63 0 14624 0
vsize: 58748
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 13102 0 0 0 9970 29 0 0 25 0 1 0 913121945 65212416 13022 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15921 13022 1111 63 0 15858 0
vsize: 63684
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 14348 0 0 0 10968 31 0 0 25 0 1 0 913121945 70287360 14268 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17160 14268 1111 63 0 17097 0
vsize: 68640
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 15599 0 0 0 11966 33 0 0 25 0 1 0 913121945 75513856 15519 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18436 15519 1111 63 0 18373 0
vsize: 73744
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 16850 0 0 0 12964 36 0 0 25 0 1 0 913121945 80588800 16770 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19675 16770 1111 63 0 19612 0
vsize: 78700
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 18107 0 0 0 13962 39 0 0 25 0 1 0 913121945 85663744 18027 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20914 18027 1111 63 0 20851 0
vsize: 83656
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 19372 0 0 0 14959 41 0 0 25 0 1 0 913121945 90894336 19292 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22191 19292 1111 63 0 22128 0
vsize: 88764
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 20642 0 0 0 15958 43 0 0 25 0 1 0 913121945 96116736 20562 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23466 20562 1111 63 0 23403 0
vsize: 93864
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 21911 0 0 0 16956 45 0 0 25 0 1 0 913121945 101343232 21831 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24742 21831 1111 63 0 24679 0
vsize: 98968
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 23180 0 0 0 17955 46 0 0 25 0 1 0 913121945 106565632 23100 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26017 23100 1111 63 0 25954 0
vsize: 104068
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 24462 0 0 0 18952 49 0 0 25 0 1 0 913121945 111792128 24382 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27293 24382 1111 63 0 27230 0
vsize: 109172
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 25752 0 0 0 19950 51 0 0 25 0 1 0 913121945 116994048 25672 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28563 25672 1111 63 0 28500 0
vsize: 114252
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 27039 0 0 0 20948 53 0 0 25 0 1 0 913121945 122368000 26959 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29875 26959 1111 63 0 29812 0
vsize: 119500
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 28328 0 0 0 21946 56 0 0 25 0 1 0 913121945 127594496 28248 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31151 28248 1111 63 0 31088 0
vsize: 124604
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 29621 0 0 0 22944 58 0 0 25 0 1 0 913121945 132964352 29541 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32462 29541 1111 63 0 32399 0
vsize: 129848
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 30923 0 0 0 23942 61 0 0 25 0 1 0 913121945 138194944 30843 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33739 30843 1111 63 0 33676 0
vsize: 134956
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 32229 0 0 0 24940 62 0 0 25 0 1 0 913121945 143568896 32149 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35051 32149 1111 63 0 34988 0
vsize: 140204
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 33535 0 0 0 25939 64 0 0 25 0 1 0 913121945 148942848 33455 4294967295 134512640 134716908 3221224560 3221222788 1077414385 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36363 33455 1111 63 0 36300 0
vsize: 145452
[startup+270.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 34854 0 0 0 26936 67 0 0 25 0 1 0 913121945 154316800 34774 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37675 34774 1111 63 0 37612 0
vsize: 150700
[startup+280.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 36167 0 0 0 27935 69 0 0 25 0 1 0 913121945 159694848 36087 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38988 36087 1111 63 0 38925 0
vsize: 155952
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 37492 0 0 0 28933 71 0 0 25 0 1 0 913121945 165068800 37412 4294967295 134512640 134716908 3221224560 3221222788 1077414420 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40300 37412 1111 63 0 40237 0
vsize: 161200
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 38822 0 0 0 29930 73 0 0 25 0 1 0 913121945 170590208 38742 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41648 38742 1111 63 0 41585 0
vsize: 166592
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 40154 0 0 0 30929 75 0 0 25 0 1 0 913121945 175972352 40074 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42962 40074 1111 63 0 42899 0
vsize: 171848
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 41491 0 0 0 31927 77 0 0 25 0 1 0 913121945 181493760 41411 4294967295 134512640 134716908 3221224560 3221222788 1077414426 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44310 41411 1111 63 0 44247 0
vsize: 177240
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 42833 0 0 0 32924 80 0 0 25 0 1 0 913121945 187015168 42753 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45658 42753 1111 63 0 45595 0
vsize: 182632
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 44175 0 0 0 33923 82 0 0 25 0 1 0 913121945 192536576 44095 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47006 44095 1111 63 0 46943 0
vsize: 188024
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 45531 0 0 0 34921 84 0 0 25 0 1 0 913121945 198066176 45451 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48356 45451 1111 63 0 48293 0
vsize: 193424
[startup+360.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 46886 0 0 0 35919 86 0 0 25 0 1 0 913121945 203587584 46806 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49704 46806 1111 63 0 49641 0
vsize: 198816
[startup+370.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 48246 0 0 0 36917 88 0 0 25 0 1 0 913121945 209113088 48166 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51053 48166 1111 63 0 50990 0
vsize: 204212
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 49624 0 0 0 37914 91 0 0 25 0 1 0 913121945 214933504 49544 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52474 49544 1111 63 0 52411 0
vsize: 209896
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 50998 0 0 0 38912 94 0 0 25 0 1 0 913121945 220459008 50918 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53823 50918 1111 63 0 53760 0
vsize: 215292
[startup+400.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 52370 0 0 0 39910 96 0 0 25 0 1 0 913121945 226127872 52290 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55207 52290 1111 63 0 55144 0
vsize: 220828
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 53757 0 0 0 40908 98 0 0 25 0 1 0 913121945 231804928 53677 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56593 53677 1111 63 0 56530 0
vsize: 226372
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 55147 0 0 0 41906 100 0 0 25 0 1 0 913121945 237477888 55067 4294967295 134512640 134716908 3221224560 3221222788 1077414376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57978 55067 1111 63 0 57915 0
vsize: 231912
[startup+430.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 56551 0 0 0 42903 104 0 0 25 0 1 0 913121945 243298304 56471 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59399 56471 1111 63 0 59336 0
vsize: 237596
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 57956 0 0 0 43901 106 0 0 25 0 1 0 913121945 248975360 57876 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60785 57876 1111 63 0 60722 0
vsize: 243140
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 59365 0 0 0 44899 108 0 0 25 0 1 0 913121945 254795776 59285 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62206 59285 1111 63 0 62143 0
vsize: 248824
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 60786 0 0 0 45897 110 0 0 25 0 1 0 913121945 260616192 60706 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63627 60706 1111 63 0 63564 0
vsize: 254508
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 62210 0 0 0 46895 113 0 0 25 0 1 0 913121945 266444800 62130 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65050 62130 1111 63 0 64987 0
vsize: 260200
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 63650 0 0 0 47893 115 0 0 25 0 1 0 913121945 272265216 63570 4294967295 134512640 134716908 3221224560 3221222788 1077414399 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66471 63570 1111 63 0 66408 0
vsize: 265884
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 65091 0 0 0 48890 117 0 0 25 0 1 0 913121945 278241280 65011 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67930 65011 1111 63 0 67867 0
vsize: 271720
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 66536 0 0 0 49888 119 0 0 25 0 1 0 913121945 284061696 66456 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69351 66456 1111 63 0 69288 0
vsize: 277404
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 67995 0 0 0 50886 122 0 0 25 0 1 0 913121945 290029568 67915 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 70808 67915 1111 63 0 70745 0
vsize: 283232
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 69455 0 0 0 51884 124 0 0 25 0 1 0 913121945 296005632 69375 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72267 69375 1111 63 0 72204 0
vsize: 289068
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 70918 0 0 0 52882 126 0 0 25 0 1 0 913121945 302125056 70838 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73761 70838 1111 63 0 73698 0
vsize: 295044
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 72395 0 0 0 53880 129 0 0 25 0 1 0 913121945 308101120 72315 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75220 72315 1111 63 0 75157 0
vsize: 300880
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 73878 0 0 0 54876 132 0 0 25 0 1 0 913121945 314220544 73798 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76714 73798 1111 63 0 76651 0
vsize: 306856
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 75361 0 0 0 55874 135 0 0 25 0 1 0 913121945 320196608 75281 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78173 75281 1111 63 0 78110 0
vsize: 312692
[startup+570.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 76856 0 0 0 56872 137 0 0 25 0 1 0 913121945 326316032 76776 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79667 76776 1111 63 0 79604 0
vsize: 318668
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 78356 0 0 0 57870 139 0 0 25 0 1 0 913121945 332582912 78276 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 81197 78276 1111 63 0 81134 0
vsize: 324788
[startup+590.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 79863 0 0 0 58868 141 0 0 25 0 1 0 913121945 338706432 79784 4294967295 134512640 134716908 3221224560 3221222680 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82692 79789 1111 63 0 82629 0
vsize: 330768
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 81382 0 0 0 59865 144 0 0 25 0 1 0 913121945 344973312 81302 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 84222 81302 1111 63 0 84159 0
vsize: 336888
[startup+610.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 82903 0 0 0 60863 147 0 0 25 0 1 0 913121945 351100928 82823 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 85718 82823 1111 63 0 85655 0
vsize: 342872
[startup+620.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 84433 0 0 0 61861 149 0 0 25 0 1 0 913121945 357367808 84353 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 87248 84353 1111 63 0 87185 0
vsize: 348992
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 85972 0 0 0 62858 152 0 0 25 0 1 0 913121945 363642880 85892 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 88780 85892 1111 63 0 88717 0
vsize: 355120
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 87514 0 0 0 63856 155 0 0 25 0 1 0 913121945 370057216 87434 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 90346 87434 1111 63 0 90283 0
vsize: 361384
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 89071 0 0 0 64853 158 0 0 25 0 1 0 913121945 376332288 88991 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 91878 88991 1111 63 0 91815 0
vsize: 367512
[startup+660.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 90626 0 0 0 65850 160 0 0 25 0 1 0 913121945 382750720 90546 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 93445 90546 1111 63 0 93382 0
vsize: 373780
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 92200 0 0 0 66848 163 0 0 25 0 1 0 913121945 389173248 92120 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95013 92120 1111 63 0 94950 0
vsize: 380052
[startup+680.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 93773 0 0 0 67845 166 0 0 25 0 1 0 913121945 395591680 93693 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 96580 93693 1111 63 0 96517 0
vsize: 386320
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 95359 0 0 0 68842 169 0 0 25 0 1 0 913121945 402161664 95279 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98184 95279 1111 63 0 98121 0
vsize: 392736
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 96950 0 0 0 69840 172 0 0 25 0 1 0 913121945 408727552 96870 4294967295 134512640 134716908 3221224560 3221222788 1077414374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 99787 96870 1111 63 0 99724 0
vsize: 399148
[startup+710.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 98566 0 0 0 70836 176 0 0 25 0 1 0 913121945 415367168 98486 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101408 98486 1111 63 0 101345 0
vsize: 405632
[startup+720.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 100176 0 0 0 71834 178 0 0 25 0 1 0 913121945 421933056 100096 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 103011 100096 1111 63 0 102948 0
vsize: 412044
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 101792 0 0 0 72830 182 0 0 25 0 1 0 913121945 428654592 101712 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104652 101712 1111 63 0 104589 0
vsize: 418608
[startup+740.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 103428 0 0 0 73827 185 0 0 25 0 1 0 913121945 435376128 103348 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106293 103348 1111 63 0 106230 0
vsize: 425172
[startup+750.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 105075 0 0 0 74825 188 0 0 25 0 1 0 913121945 442089472 104995 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107932 104995 1111 63 0 107869 0
vsize: 431728
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 106734 0 0 0 75822 190 0 0 25 0 1 0 913121945 448811008 106654 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 109573 106654 1111 63 0 109510 0
vsize: 438292
[startup+770.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 108411 0 0 0 76820 193 0 0 25 0 1 0 913121945 455675904 108331 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111249 108331 1111 63 0 111186 0
vsize: 444996
[startup+780.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 110094 0 0 0 77816 197 0 0 25 0 1 0 913121945 462548992 110014 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112927 110014 1111 63 0 112864 0
vsize: 451708
[startup+790.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 111784 0 0 0 78814 199 0 0 25 0 1 0 913121945 469565440 111704 4294967295 134512640 134716908 3221224560 3221222788 1077414432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114640 111704 1111 63 0 114577 0
vsize: 458560
[startup+800.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 113485 0 0 0 79811 202 0 0 25 0 1 0 913121945 476430336 113405 4294967295 134512640 134716908 3221224560 3221222788 1077414336 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116316 113405 1111 63 0 116253 0
vsize: 465264
[startup+810.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 115199 0 0 0 80809 204 0 0 25 0 1 0 913121945 483450880 115119 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118030 115119 1111 63 0 117967 0
vsize: 472120
[startup+820.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 116932 0 0 0 81807 207 0 0 25 0 1 0 913121945 490618880 116852 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 119780 116852 1111 63 0 119717 0
vsize: 479120
[startup+830.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 118663 0 0 0 82804 210 0 0 25 0 1 0 913121945 497631232 118583 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121492 118583 1111 63 0 121429 0
vsize: 485968
[startup+840.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 120413 0 0 0 83802 213 0 0 25 0 1 0 913121945 504799232 120333 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123242 120333 1111 63 0 123179 0
vsize: 492968
[startup+850.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 122176 0 0 0 84799 215 0 0 25 0 1 0 913121945 512118784 122096 4294967295 134512640 134716908 3221224560 3221223068 1077227168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125029 122096 1111 63 0 124966 0
vsize: 500116
[startup+860.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 123956 0 0 0 85797 218 0 0 25 0 1 0 913121945 519430144 123876 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126814 123876 1111 63 0 126751 0
vsize: 507256
[startup+870.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 125742 0 0 0 86793 222 0 0 25 0 1 0 913121945 526745600 125662 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 128600 125662 1111 63 0 128537 0
vsize: 514400
[startup+880.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 127536 0 0 0 87790 225 0 0 25 0 1 0 913121945 534065152 127456 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130387 127456 1111 63 0 130324 0
vsize: 521548
[startup+890.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 129348 0 0 0 88788 227 0 0 25 0 1 0 913121945 541380608 129268 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132173 129268 1111 63 0 132110 0
vsize: 528692
[startup+900.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 131163 0 0 0 89785 231 0 0 25 0 1 0 913121945 548843520 131083 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 133995 131083 1111 63 0 133932 0
vsize: 535980
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 132999 0 0 0 90782 234 0 0 25 0 1 0 913121945 556457984 132919 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135854 132919 1111 63 0 135791 0
vsize: 543416
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 134841 0 0 0 91778 238 0 0 25 0 1 0 913121945 563924992 134761 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137677 134761 1111 63 0 137614 0
vsize: 550708
[startup+930.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 136701 0 0 0 92775 241 0 0 25 0 1 0 913121945 571539456 136621 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 139536 136621 1111 63 0 139473 0
vsize: 558144
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 138571 0 0 0 93771 245 0 0 25 0 1 0 913121945 579149824 138491 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141394 138491 1111 63 0 141331 0
vsize: 565576
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 140455 0 0 0 94769 248 0 0 25 0 1 0 913121945 586915840 140375 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143290 140375 1111 63 0 143227 0
vsize: 573160
[startup+960.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 142358 0 0 0 95766 251 0 0 25 0 1 0 913121945 594681856 142278 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145186 142278 1111 63 0 145123 0
vsize: 580744
[startup+970.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 144272 0 0 0 96762 255 0 0 25 0 1 0 913121945 602595328 144192 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147118 144192 1111 63 0 147055 0
vsize: 588472
[startup+980.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 146205 0 0 0 97759 258 0 0 25 0 1 0 913121945 610508800 146125 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 149050 146125 1111 63 0 148987 0
vsize: 596200
[startup+990.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 148156 0 0 0 98755 262 0 0 25 0 1 0 913121945 618422272 148076 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150982 148076 1111 63 0 150919 0
vsize: 603928
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 150113 0 0 0 99753 265 0 0 25 0 1 0 913121945 626487296 150033 4294967295 134512640 134716908 3221224560 3221222788 1077414370 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152951 150033 1111 63 0 152888 0
vsize: 611804
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 152094 0 0 0 100748 269 0 0 25 0 1 0 913121945 634544128 152014 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 154918 152014 1111 63 0 154855 0
vsize: 619672
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 154087 0 0 0 101745 273 0 0 25 0 1 0 913121945 642756608 154007 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156923 154007 1111 63 0 156860 0
vsize: 627692
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 156110 0 0 0 102741 277 0 0 25 0 1 0 913121945 650964992 156030 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 158927 156030 1111 63 0 158864 0
vsize: 635708
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 158176 0 0 0 103738 281 0 0 25 0 1 0 913121945 659476480 158096 4294967295 134512640 134716908 3221224560 3221222788 1077414407 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 161005 158096 1111 63 0 160942 0
vsize: 644020
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 160261 0 0 0 104734 284 0 0 25 0 1 0 913121945 667987968 160181 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 163083 160181 1111 63 0 163020 0
vsize: 652332
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 162363 0 0 0 105731 287 0 0 25 0 1 0 913121945 676646912 162283 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 165197 162283 1111 63 0 165134 0
vsize: 660788
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 164490 0 0 0 106728 291 0 0 25 0 1 0 913121945 685305856 164410 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167311 164410 1111 63 0 167248 0
vsize: 669244
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 166637 0 0 0 107724 295 0 0 25 0 1 0 913121945 694120448 166557 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 169463 166557 1111 63 0 169400 0
vsize: 677852
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 168800 0 0 0 108721 298 0 0 25 0 1 0 913121945 702930944 168720 4294967295 134512640 134716908 3221224560 3221222788 1077414351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171614 168720 1111 63 0 171551 0
vsize: 686456
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 171000 0 0 0 109717 302 0 0 25 0 1 0 913121945 712036352 170920 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173837 170920 1111 63 0 173774 0
vsize: 695348
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 173200 0 0 0 110714 306 0 0 25 0 1 0 913121945 720994304 173120 4294967295 134512640 134716908 3221224560 3221222788 1077414345 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 176024 173120 1111 63 0 175961 0
vsize: 704096
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 175436 0 0 0 111710 310 0 0 25 0 1 0 913121945 730099712 175356 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178247 175356 1111 63 0 178184 0
vsize: 712988
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 177703 0 0 0 112707 313 0 0 25 0 1 0 913121945 739504128 177623 4294967295 134512640 134716908 3221224560 3221222788 1077414433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 180543 177623 1111 63 0 180480 0
vsize: 722172
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 179987 0 0 0 113703 317 0 0 25 0 1 0 913121945 748761088 179907 4294967295 134512640 134716908 3221224560 3221222788 1077414357 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182803 179907 1111 63 0 182740 0
vsize: 731212
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 182321 0 0 0 114700 321 0 0 25 0 1 0 913121945 758321152 182241 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185137 182241 1111 63 0 185074 0
vsize: 740548
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 184692 0 0 0 115695 326 0 0 25 0 1 0 913121945 768024576 184612 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187506 184612 1111 63 0 187443 0
vsize: 750024
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 187085 0 0 0 116691 330 0 0 25 0 1 0 913121945 777875456 187005 4294967295 134512640 134716908 3221224560 3221222788 1077414360 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189911 187005 1111 63 0 189848 0
vsize: 759644
[startup+1180.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 189524 0 0 0 117687 334 0 0 25 0 1 0 913121945 787881984 189444 4294967295 134512640 134716908 3221224560 3221222788 1077414358 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192354 189444 1111 63 0 192291 0
vsize: 769416
[startup+1190.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 192014 0 0 0 118683 338 0 0 25 0 1 0 913121945 798035968 191934 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194833 191934 1111 63 0 194770 0
vsize: 779332
[startup+1200.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) R 6436 7266 7265 0 -1 0 194540 0 0 0 119679 342 0 0 25 0 1 0 913121945 808333312 194460 4294967295 134512640 134716908 3221224560 3221222788 1077414338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 197347 194460 1111 63 0 197284 0
vsize: 789388
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.4 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 6437
Raw data (stat): 6437 (bsolo_lpr_cuts-) Z 6436 7266 7265 0 -1 1036 194540 0 0 0 119680 378 0 0 25 0 1 0 913121945 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.4
CPU time (s): 1200.58
CPU user time (s): 1196.8
CPU system time (s): 3.78442
CPU usage (%): 100.016
Max. virtual memory (Kb): 789388
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####