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/MIPLIB/miplib/normalized-mps-v2-20-10-p0291.opb
MD5SUM	1d9168a9335e29df835d07b0bdf2adea
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	10447498
Optimality of the best value was proved	NO
Number of terms in the objective function	289
Biggest coefficient in the objective function	80000000
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	686518451
Number of bits of the sum of numbers in the objective function	30
Biggest number in a constraint	80000000
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	686518451
Number of bits of the biggest sum of numbers	30
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.335948
Number of variables	291
Total number of constraints	543
Number of constraints which are clauses	189
Number of constraints which are cardinality constraints (but not clauses)	295
Number of constraints which are nor clauses,nor cardinality constraints	59
Minimum length of a constraint	1
Maximum length of a constraint	53
Trace number 41095

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 05:33:55 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29151 boxname=wulflinc4 idbench=935 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  1d9168a9335e29df835d07b0bdf2adea  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0291.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0291.opb
IDLAUNCH: 29151
/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:        743872 kB
Buffers:         32148 kB
Cached:         237368 kB
SwapCached:       1192 kB
Active:          34252 kB
Inactive:       237596 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        743620 kB
SwapTotal:     2097136 kB
SwapFree:      2094880 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4912 kB
Slab:            13268 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 05:53:58 (client local time) WITH STATUS 0 IN 1200.22 SECONDS
stats: 29151 7 1200.22 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 291 variables and 205 constraints.
c After prepocess the problem consists of 291 variables and 205 constraints.
c preprocess terminated 0.275 s
c Initial Lower Bound: 2466535
c Lower Bound Elapsed time: 0.0235
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 252443513 @ 1.492
c NEW SOLUTION FOUND: 251740771 @ 1.537
c NEW SOLUTION FOUND: 251119681 @ 1.644
c NEW SOLUTION FOUND: 250347413 @ 1.68
c NEW SOLUTION FOUND: 249895463 @ 1.689
c NEW SOLUTION FOUND: 249269488 @ 1.711
c NEW SOLUTION FOUND: 248443513 @ 1.721
c NEW SOLUTION FOUND: 245895463 @ 1.76
c NEW SOLUTION FOUND: 244162000 @ 1.863
c NEW SOLUTION FOUND: 238389732 @ 1.871
c NEW SOLUTION FOUND: 235015707 @ 1.884
c NEW SOLUTION FOUND: 234563757 @ 2.017
c NEW SOLUTION FOUND: 234463357 @ 2.174
c NEW SOLUTION FOUND: 232534640 @ 2.183
c NEW SOLUTION FOUND: 232360615 @ 2.191
c NEW SOLUTION FOUND: 232134640 @ 2.265
c NEW SOLUTION FOUND: 231682690 @ 2.308
c NEW SOLUTION FOUND: 211667980 @ 2.382
c NEW SOLUTION FOUND: 211500688 @ 2.516
c NEW SOLUTION FOUND: 209797946 @ 2.528
c NEW SOLUTION FOUND: 209269488 @ 2.582
c NEW SOLUTION FOUND: 207502576 @ 2.628
c NEW SOLUTION FOUND: 204064483 @ 2.685
c NEW SOLUTION FOUND: 198466240 @ 2.701
c NEW SOLUTION FOUND: 197763757 @ 2.795
c NEW SOLUTION FOUND: 195015707 @ 3.217
c NEW SOLUTION FOUND: 194563757 @ 3.448
c NEW SOLUTION FOUND: 193823490 @ 3.587
c NEW SOLUTION FOUND: 192597515 @ 3.954
c NEW SOLUTION FOUND: 192175840 @ 3.994
c NEW SOLUTION FOUND: 191175840 @ 4.019
c NEW SOLUTION FOUND: 190723890 @ 4.045
c NEW SOLUTION FOUND: 167667980 @ 4.067
c NEW SOLUTION FOUND: 165669488 @ 4.291
c NEW SOLUTION FOUND: 163374118 @ 4.376
c NEW SOLUTION FOUND: 162873919 @ 4.437
c NEW SOLUTION FOUND: 160197751 @ 4.448
c NEW SOLUTION FOUND: 160023726 @ 4.456
c NEW SOLUTION FOUND: 157101651 @ 4.464
c NEW SOLUTION FOUND: 156823726 @ 4.546
c NEW SOLUTION FOUND: 156649701 @ 4.551
c NEW SOLUTION FOUND: 155649701 @ 4.626
c NEW SOLUTION FOUND: 154337782 @ 4.69
c NEW SOLUTION FOUND: 154111807 @ 5.279
c NEW SOLUTION FOUND: 151015707 @ 5.287
c NEW SOLUTION FOUND: 150563757 @ 6.104
c NEW SOLUTION FOUND: 137696484 @ 6.259
c NEW SOLUTION FOUND: 131020316 @ 6.298
c NEW SOLUTION FOUND: 119667980 @ 6.327
c NEW SOLUTION FOUND: 116212193 @ 6.879
c NEW SOLUTION FOUND: 113290118 @ 7.116
c NEW SOLUTION FOUND: 112838168 @ 7.497
c NEW SOLUTION FOUND: 83688344 @ 7.861
c NEW SOLUTION FOUND: 77916076 @ 7.866
c NEW SOLUTION FOUND: 73397978 @ 7.874
c NEW SOLUTION FOUND: 72092321 @ 7.896
c NEW SOLUTION FOUND: 71640371 @ 7.915
c NEW SOLUTION FOUND: 66532883 @ 7.955
c NEW SOLUTION FOUND: 63404765 @ 7.962
c NEW SOLUTION FOUND: 60760615 @ 7.975
c NEW SOLUTION FOUND: 60482690 @ 7.979
c NEW SOLUTION FOUND: 60308665 @ 7.989
c NEW SOLUTION FOUND: 41106536 @ 8.409
c NEW SOLUTION FOUND: 35882318 @ 9.151
c NEW SOLUTION FOUND: 32838168 @ 10.04
c NEW SOLUTION FOUND: 29185230 @ 30.713
c NEW SOLUTION FOUND: 28733280 @ 30.735
c NEW SOLUTION FOUND: 26247336 @ 30.794
c NEW SOLUTION FOUND: 25395386 @ 31.17
c NEW SOLUTION FOUND: 24318619 @ 31.254
c NEW SOLUTION FOUND: 22473311 @ 31.283
c NEW SOLUTION FOUND: 21770569 @ 38.846
c NEW SOLUTION FOUND: 18816939 @ 41.118
c NEW SOLUTION FOUND: 17447107 @ 41.314
c NEW SOLUTION FOUND: 16899057 @ 42.262
c NEW SOLUTION FOUND: 15995157 @ 42.827
c NEW SOLUTION FOUND: 14651685 @ 57.622
c NEW SOLUTION FOUND: 14477660 @ 57.824
c NEW SOLUTION FOUND: 12887757 @ 982.636
c NEW SOLUTION FOUND: 12594251 @ 989.011
c NEW SOLUTION FOUND: 12294844 @ 991.219
c NEW SOLUTION FOUND: 12274160 @ 991.401
c NEW SOLUTION FOUND: 12090351 @ 994.72
#### 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.95 0.92 1/54 9713
Raw data (stat): 9713 (runsolver) D 9712 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 907779543 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 11603 0 0 0 953 43 0 0 25 0 1 0 907779543 17235968 3523 4294967295 134512640 134716908 3221224560 3221222896 1074153062 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4208 3523 1111 63 0 4145 0
vsize: 16832
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 17365 0 0 0 1936 59 0 0 25 0 1 0 907779543 19668992 4068 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4802 4073 1111 63 0 4739 0
vsize: 19208
[startup+30.0026 s]
Raw data (loadavg): 0.95 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 21109 0 0 0 2927 68 0 0 25 0 1 0 907779543 18669568 3882 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4558 3882 1111 63 0 4495 0
vsize: 18232
[startup+40.003 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 46693 0 0 0 3867 128 0 0 25 0 1 0 907779543 21712896 4610 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5301 4610 1111 63 0 5238 0
vsize: 21204
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 55289 0 0 0 4846 149 0 0 25 0 1 0 907779543 23212032 4952 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5667 4952 1111 63 0 5604 0
vsize: 22668
[startup+60.0035 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 60759 0 0 0 5835 160 0 0 25 0 1 0 907779543 22953984 4921 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5604 4921 1111 63 0 5541 0
vsize: 22416
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 71638 0 0 0 6809 187 0 0 25 0 1 0 907779543 23851008 5141 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5823 5141 1111 63 0 5760 0
vsize: 23292
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 84755 0 0 0 7779 217 0 0 25 0 1 0 907779543 25780224 5612 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6294 5612 1111 63 0 6231 0
vsize: 25176
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 85500 0 0 0 8776 220 0 0 25 0 1 0 907779543 27955200 6134 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6825 6134 1111 63 0 6762 0
vsize: 27300
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 88153 0 0 0 9770 226 0 0 25 0 1 0 907779543 25751552 5578 4294967295 134512640 134716908 3221224560 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6287 5578 1111 63 0 6224 0
vsize: 25148
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 88992 0 0 0 10767 229 0 0 25 0 1 0 907779543 27922432 6126 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6817 6126 1111 63 0 6754 0
vsize: 27268
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 108623 0 0 0 11720 277 0 0 25 0 1 0 907779543 28651520 5881 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6995 5881 1111 63 0 6932 0
vsize: 27980
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 136101 0 0 0 12652 345 0 0 25 0 1 0 907779543 29810688 6439 4294967295 134512640 134716908 3221224560 3221221452 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7694 6444 1111 63 0 7631 0
vsize: 29112
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 168747 0 0 0 13574 423 0 0 25 0 1 0 907779543 31563776 6970 4294967295 134512640 134716908 3221224560 3221223072 134646346 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7706 6970 1111 63 0 7643 0
vsize: 30824
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 177446 0 0 0 14553 444 0 0 25 0 1 0 907779543 33378304 7377 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8149 7377 1111 63 0 8086 0
vsize: 32596
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 189275 0 0 0 15527 470 0 0 25 0 1 0 907779543 32423936 7162 4294967295 134512640 134716908 3221224560 3221222696 1077378315 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7916 7165 1111 63 0 7853 0
vsize: 31664
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 196333 0 0 0 16511 487 0 0 25 0 1 0 907779543 34148352 7557 4294967295 134512640 134716908 3221224560 3221223280 134622751 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8337 7557 1111 63 0 8274 0
vsize: 33348
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 204420 0 0 0 17491 507 0 0 25 0 1 0 907779543 33808384 7487 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8254 7487 1111 63 0 8191 0
vsize: 33016
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 211084 0 0 0 18476 523 0 0 25 0 1 0 907779543 33955840 7534 4294967295 134512640 134716908 3221224560 3221223336 134542416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8290 7534 1111 63 0 8227 0
vsize: 33160
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 229931 0 0 0 19431 567 0 0 25 0 1 0 907779543 34050048 7572 4294967295 134512640 134716908 3221224560 3221221664 1074138642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8452 7573 1111 63 0 8389 0
vsize: 33252
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 251590 0 0 0 20375 623 0 0 25 0 1 0 907779543 37314560 8328 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9110 8328 1111 63 0 9047 0
vsize: 36440
[startup+220.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 277447 0 0 0 21313 686 0 0 25 0 1 0 907779543 41017344 9214 4294967295 134512640 134716908 3221224560 3221222384 1075824347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10014 9214 1111 63 0 9951 0
vsize: 40056
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 303837 0 0 0 22246 753 0 0 25 0 1 0 907779543 46948352 10103 4294967295 134512640 134716908 3221224560 3221221088 1076111505 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11462 10104 1111 63 0 11399 0
vsize: 45848
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 329907 0 0 0 23182 817 0 0 25 0 1 0 907779543 48345088 10894 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11803 10894 1111 63 0 11740 0
vsize: 47212
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 356050 0 0 0 24116 884 0 0 25 0 1 0 907779543 51920896 11735 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12676 11735 1111 63 0 12613 0
vsize: 50704
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 384191 0 0 0 25049 951 0 0 25 0 1 0 907779543 55201792 12481 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13477 12481 1111 63 0 13414 0
vsize: 53908
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 417223 0 0 0 25977 1023 0 0 25 0 1 0 907779543 57827328 13065 4294967295 134512640 134716908 3221224560 3221222560 1074052193 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14118 13065 1111 63 0 14055 0
vsize: 56472
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 445808 0 0 0 26910 1090 0 0 25 0 1 0 907779543 63516672 13860 4294967295 134512640 134716908 3221224560 3221221544 1074831806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15507 13860 1111 63 0 15444 0
vsize: 62028
[startup+290.015 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 477167 0 0 0 27835 1165 0 0 25 0 1 0 907779543 63905792 14504 4294967295 134512640 134716908 3221224560 3221223200 134651503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15602 14504 1111 63 0 15539 0
vsize: 62408
[startup+300.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 510405 0 0 0 28761 1240 0 0 25 0 1 0 907779543 68714496 15138 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16776 15139 1111 63 0 16713 0
vsize: 67104
[startup+310.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 543746 0 0 0 29684 1317 0 0 25 0 1 0 907779543 69042176 15754 4294967295 134512640 134716908 3221224560 3221222744 1077377765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16856 15754 1111 63 0 16793 0
vsize: 67424
[startup+320.016 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 574771 0 0 0 30611 1390 0 0 25 0 1 0 907779543 73453568 16293 4294967295 134512640 134716908 3221224560 3221221480 1074788005 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17933 16302 1111 63 0 17870 0
vsize: 71732
[startup+330.017 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 597648 0 0 0 31557 1445 0 0 25 0 1 0 907779543 73457664 16853 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17934 16853 1111 63 0 17871 0
vsize: 71736
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 597828 0 0 0 32556 1446 0 0 25 0 1 0 907779543 73875456 16963 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18036 16963 1111 63 0 17973 0
vsize: 72144
[startup+350.018 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 597924 0 0 0 33555 1447 0 0 25 0 1 0 907779543 74346496 17059 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18151 17059 1111 63 0 18088 0
vsize: 72604
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598005 0 0 0 34555 1447 0 0 25 0 1 0 907779543 74616832 17140 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18217 17140 1111 63 0 18154 0
vsize: 72868
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598083 0 0 0 35554 1448 0 0 25 0 1 0 907779543 75051008 17218 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18323 17218 1111 63 0 18260 0
vsize: 73292
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598134 0 0 0 36554 1449 0 0 25 0 1 0 907779543 75259904 17269 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18374 17269 1111 63 0 18311 0
vsize: 73496
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598223 0 0 0 37553 1449 0 0 25 0 1 0 907779543 75624448 17358 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18463 17358 1111 63 0 18400 0
vsize: 73852
[startup+400.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598267 0 0 0 38553 1450 0 0 25 0 1 0 907779543 75804672 17402 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18507 17402 1111 63 0 18444 0
vsize: 74028
[startup+410.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598307 0 0 0 39553 1450 0 0 25 0 1 0 907779543 75968512 17442 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18547 17442 1111 63 0 18484 0
vsize: 74188
[startup+420.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598348 0 0 0 40552 1451 0 0 25 0 1 0 907779543 76136448 17483 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18588 17483 1111 63 0 18525 0
vsize: 74352
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598410 0 0 0 41552 1451 0 0 25 0 1 0 907779543 76283904 17545 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18624 17545 1111 63 0 18561 0
vsize: 74496
[startup+440.02 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 598441 0 0 0 42552 1452 0 0 25 0 1 0 907779543 76410880 17576 4294967295 134512640 134716908 3221224560 3221222752 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18655 17576 1111 63 0 18592 0
vsize: 74620
[startup+450.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 603522 0 0 0 43542 1462 0 0 25 0 1 0 907779543 88784896 19985 4294967295 134512640 134716908 3221224560 3221220768 1074815253 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21676 19985 1111 63 0 21613 0
vsize: 86704
[startup+460.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 604894 0 0 0 44539 1465 0 0 25 0 1 0 907779543 90615808 20749 4294967295 134512640 134716908 3221224560 3221220720 1075094850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22123 20749 1111 63 0 22060 0
vsize: 88492
[startup+470.021 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 605143 0 0 0 45538 1466 0 0 25 0 1 0 907779543 91746304 20998 4294967295 134512640 134716908 3221224560 3221220572 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22399 20998 1111 63 0 22336 0
vsize: 89596
[startup+480.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610017 0 0 0 46525 1479 0 0 25 0 1 0 907779543 73338880 16832 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17905 16832 1111 63 0 17842 0
vsize: 71620
[startup+490.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610269 0 0 0 47523 1481 0 0 25 0 1 0 907779543 74371072 17084 4294967295 134512640 134716908 3221224560 3221222672 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18157 17084 1111 63 0 18094 0
vsize: 72628
[startup+500.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610352 0 0 0 48522 1483 0 0 25 0 1 0 907779543 74711040 17167 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18240 17167 1111 63 0 18177 0
vsize: 72960
[startup+510.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610419 0 0 0 49521 1484 0 0 25 0 1 0 907779543 74985472 17234 4294967295 134512640 134716908 3221224560 3221222352 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18307 17234 1111 63 0 18244 0
vsize: 73228
[startup+520.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610482 0 0 0 50520 1484 0 0 25 0 1 0 907779543 75243520 17297 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18370 17297 1111 63 0 18307 0
vsize: 73480
[startup+530.022 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610535 0 0 0 51520 1485 0 0 25 0 1 0 907779543 75460608 17350 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18423 17350 1111 63 0 18360 0
vsize: 73692
[startup+540.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610586 0 0 0 52520 1486 0 0 25 0 1 0 907779543 75669504 17401 4294967295 134512640 134716908 3221224560 3221222624 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18474 17401 1111 63 0 18411 0
vsize: 73896
[startup+550.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610631 0 0 0 53519 1486 0 0 25 0 1 0 907779543 75853824 17446 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18519 17446 1111 63 0 18456 0
vsize: 74076
[startup+560.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610674 0 0 0 54519 1487 0 0 25 0 1 0 907779543 76029952 17489 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18562 17489 1111 63 0 18499 0
vsize: 74248
[startup+570.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610715 0 0 0 55519 1487 0 0 25 0 1 0 907779543 76197888 17530 4294967295 134512640 134716908 3221224560 3221222704 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18603 17530 1111 63 0 18540 0
vsize: 74412
[startup+580.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610775 0 0 0 56519 1487 0 0 25 0 1 0 907779543 76574720 17590 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18695 17590 1111 63 0 18632 0
vsize: 74780
[startup+590.024 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610812 0 0 0 57518 1488 0 0 25 0 1 0 907779543 76726272 17627 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18732 17627 1111 63 0 18669 0
vsize: 74928
[startup+600.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 610844 0 0 0 58518 1489 0 0 25 0 1 0 907779543 76857344 17659 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18764 17659 1111 63 0 18701 0
vsize: 75056
[startup+610.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 613537 0 0 0 59512 1494 0 0 25 0 1 0 907779543 83869696 19395 4294967295 134512640 134716908 3221224560 3221222560 1074918577 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20476 19395 1111 63 0 20413 0
vsize: 81904
[startup+620.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 60493 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+630.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 61493 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+640.026 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 62493 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+650.025 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 63493 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+660.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 64493 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+670.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 65494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+680.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 66494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 67494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622738 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+700.028 s]
Raw data (loadavg): 0.99 0.97 0.92 3/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 68494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223284 134622801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+710.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 69494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 70494 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+730.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 71495 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 72495 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 73495 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 74495 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 75496 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134542409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 76496 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 77496 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 78497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223356 134536888 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 79497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 80497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+830.035 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 81497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+840.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 82497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+850.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 83497 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223356 134536922 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+860.036 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 84498 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623066 0 0 0 85498 1514 0 0 25 0 1 0 907779543 76922880 17707 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18780 17707 1111 63 0 18717 0
vsize: 75120
[startup+880.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623165 0 0 0 86497 1515 0 0 25 0 1 0 907779543 73854976 16958 4294967295 134512640 134716908 3221224560 3221222752 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18031 16958 1111 63 0 17968 0
vsize: 72124
[startup+890.037 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623339 0 0 0 87496 1516 0 0 25 0 1 0 907779543 74567680 17132 4294967295 134512640 134716908 3221224560 3221222656 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18205 17132 1111 63 0 18142 0
vsize: 72820
[startup+900.038 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 623422 0 0 0 88496 1517 0 0 25 0 1 0 907779543 74907648 17215 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18288 17215 1111 63 0 18225 0
vsize: 73152
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 627451 0 0 0 89486 1526 0 0 25 0 1 0 907779543 86245376 19125 4294967295 134512640 134716908 3221224560 3221220552 1075964733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21056 19125 1111 63 0 20993 0
vsize: 84224
[startup+920.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 90482 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+930.039 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 91482 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223352 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 92483 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 93483 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 94483 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223356 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 629679 0 0 0 95483 1531 0 0 25 0 1 0 907779543 75022336 17240 4294967295 134512640 134716908 3221224560 3221223276 134543156 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18316 17240 1111 63 0 18253 0
vsize: 73264
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 648886 0 0 0 96435 1580 0 0 25 0 1 0 907779543 80818176 17142 4294967295 134512640 134716908 3221224560 3221220768 1074815276 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19731 17142 1111 63 0 19668 0
vsize: 78924
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 676378 0 0 0 97364 1651 0 0 25 0 1 0 907779543 81354752 17029 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19862 17029 1111 63 0 19799 0
vsize: 79448
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 694288 0 0 0 98316 1698 0 0 25 0 1 0 907779543 75681792 17408 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18477 17408 1111 63 0 18414 0
vsize: 73908
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 694394 0 0 0 99314 1700 0 0 25 0 1 0 907779543 76115968 17514 4294967295 134512640 134716908 3221224560 3221222624 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18583 17514 1111 63 0 18520 0
vsize: 74332
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 694485 0 0 0 100314 1701 0 0 25 0 1 0 907779543 76517376 17605 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18681 17605 1111 63 0 18618 0
vsize: 74724
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 695601 0 0 0 101311 1704 0 0 25 0 1 0 907779543 79597568 18352 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19433 18352 1111 63 0 19370 0
vsize: 77732
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 695601 0 0 0 102311 1704 0 0 25 0 1 0 907779543 79597568 18352 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19433 18352 1111 63 0 19370 0
vsize: 77732
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 698561 0 0 0 103305 1710 0 0 25 0 1 0 907779543 88047616 19619 4294967295 134512640 134716908 3221224560 3221221328 1076083606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21496 19619 1111 63 0 21433 0
vsize: 85984
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 701416 0 0 0 104299 1717 0 0 25 0 1 0 907779543 78438400 17994 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 701416 0 0 0 105299 1717 0 0 25 0 1 0 907779543 78438400 17994 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 701416 0 0 0 106299 1717 0 0 25 0 1 0 907779543 78438400 17994 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 701416 0 0 0 107299 1717 0 0 25 0 1 0 907779543 78438400 17994 4294967295 134512640 134716908 3221224560 3221223352 134536904 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 701416 0 0 0 108300 1717 0 0 25 0 1 0 907779543 78438400 17994 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19150 17994 1111 63 0 19087 0
vsize: 76600
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 708870 0 0 0 109281 1735 0 0 25 0 1 0 907779543 82538496 17588 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20151 17588 1111 63 0 20088 0
vsize: 80604
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 716516 0 0 0 110262 1754 0 0 25 0 1 0 907779543 76603392 17608 4294967295 134512640 134716908 3221224560 3221222704 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18702 17608 1111 63 0 18639 0
vsize: 74808
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 716603 0 0 0 111261 1756 0 0 25 0 1 0 907779543 76951552 17695 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18787 17695 1111 63 0 18724 0
vsize: 75148
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 717712 0 0 0 112259 1758 0 0 25 0 1 0 907779543 79925248 18441 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19513 18441 1111 63 0 19450 0
vsize: 78052
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 717712 0 0 0 113259 1758 0 0 25 0 1 0 907779543 79925248 18441 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19513 18441 1111 63 0 19450 0
vsize: 78052
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 717712 0 0 0 114259 1758 0 0 25 0 1 0 907779543 79925248 18441 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19513 18441 1111 63 0 19450 0
vsize: 78052
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 723186 0 0 0 115248 1770 0 0 25 0 1 0 907779543 78991360 18117 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1180.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 723186 0 0 0 116248 1770 0 0 25 0 1 0 907779543 78991360 18117 4294967295 134512640 134716908 3221224560 3221223376 134622277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1190.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 723186 0 0 0 117248 1770 0 0 25 0 1 0 907779543 78991360 18117 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
[startup+1200.05 s]
Raw data (loadavg): 0.99 0.97 0.92 2/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) R 9712 21152 21151 0 -1 0 723186 0 0 0 118248 1770 0 0 25 0 1 0 907779543 78991360 18117 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19285 18117 1111 63 0 19222 0
vsize: 77140
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.08 s]
Raw data (loadavg): 0.99 0.97 0.92 1/54 9713
Raw data (stat): 9713 (bsolo_lpr_cuts-) Z 9712 21152 21151 0 -1 1036 723186 0 0 0 118248 1773 0 0 25 0 1 0 907779543 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.08
CPU time (s): 1200.22
CPU user time (s): 1182.49
CPU system time (s): 17.7373
CPU usage (%): 100.012
Max. virtual memory (Kb): 89596
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####