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/fctp/normalized-mps-v2-13-7-ran17x17.opb
MD5SUM	4afffa77a031423497a8b9b377dd0292
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	689314
Optimality of the best value was proved	NO
Number of terms in the objective function	6069
Biggest coefficient in the objective function	5242880
Number of bits for the biggest coefficient in the objective function	23
Sum of the numbers in the objective function	1576985250
Number of bits of the sum of numbers in the objective function	31
Biggest number in a constraint	5242880
Number of bits of the biggest number in a constraint	23
Biggest sum of numbers in a constraint	1576985250
Number of bits of the biggest sum of numbers	31
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.04
Number of variables	6069
Total number of constraints	323
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	323
Minimum length of a constraint	21
Maximum length of a constraint	340
Trace number 41639

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        773856 kB
Buffers:         15608 kB
Cached:         225508 kB
SwapCached:        692 kB
Active:          32228 kB
Inactive:       210928 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        773604 kB
SwapTotal:     2097136 kB
SwapFree:      2095384 kB
Dirty:              24 kB
Writeback:           0 kB
Mapped:           5020 kB
Slab:            11928 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 18:55:43 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 29703 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 6069 variables and 357 constraints.
c After prepocess the problem consists of 3411 variables and 496 constraints.
c preprocess terminated 12.989 s
c Initial Lower Bound: 155553
c Lower Bound Elapsed time: 0.4975
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.15 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 14370
Raw data (stat): 14370 (runsolver) R 14369 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 912474309 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 7655 0 0 0 980 16 0 0 25 0 1 0 912474309 34496512 7550 4294967295 134512640 134716908 3221224560 3221223208 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8422 7550 1111 63 0 8359 0
vsize: 33688
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 14496 0 0 0 1965 31 0 0 25 0 1 0 912474309 37335040 8376 4294967295 134512640 134716908 3221224560 3221222856 1074138155 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9115 8376 1111 63 0 9052 0
vsize: 36460
[startup+30.0015 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 22094 0 0 0 2947 49 0 0 25 0 1 0 912474309 37335040 8377 4294967295 134512640 134716908 3221224560 3221222816 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8377 1111 63 0 9052 0
vsize: 36460
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 29558 0 0 0 3931 64 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221222816 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+50.0018 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 37239 0 0 0 4914 81 0 0 25 0 1 0 912474309 38547456 8593 4294967295 134512640 134716908 3221224560 3221222288 1075828466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9411 8593 1111 63 0 9348 0
vsize: 37644
[startup+60.002 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 44180 0 0 0 5898 98 0 0 25 0 1 0 912474309 38060032 8548 4294967295 134512640 134716908 3221224560 3221222976 1074116396 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9292 8548 1111 63 0 9229 0
vsize: 37168
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 51275 0 0 0 6882 114 0 0 25 0 1 0 912474309 38891520 8680 4294967295 134512640 134716908 3221224560 3221220780 1076111378 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9495 8680 1111 63 0 9432 0
vsize: 37980
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 58284 0 0 0 7867 129 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+90.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 65161 0 0 0 8853 144 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221222824 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 72443 0 0 0 9836 160 0 0 25 0 1 0 912474309 37851136 8504 4294967295 134512640 134716908 3221224560 3221223304 134536866 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9241 8504 1111 63 0 9178 0
vsize: 36964
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 79616 0 0 0 10822 175 0 0 25 0 1 0 912474309 37883904 8512 4294967295 134512640 134716908 3221224560 3221222304 1075646793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9249 8512 1111 63 0 9186 0
vsize: 36996
[startup+120.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 87353 0 0 0 11805 192 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221222428 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+130.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 96300 0 0 0 12786 211 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221222896 1074143115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 104984 0 0 0 13767 231 0 0 25 0 1 0 912474309 38830080 8664 4294967295 134512640 134716908 3221224560 3221221328 1076083733 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9480 8664 1111 63 0 9417 0
vsize: 37920
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 113370 0 0 0 14748 250 0 0 25 0 1 0 912474309 37482496 8390 4294967295 134512640 134716908 3221224560 3221220896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8390 1111 63 0 9088 0
vsize: 36604
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 122160 0 0 0 15729 269 0 0 25 0 1 0 912474309 37482496 8390 4294967295 134512640 134716908 3221224560 3221221024 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8390 1111 63 0 9088 0
vsize: 36604
[startup+170.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 130971 0 0 0 16709 289 0 0 25 0 1 0 912474309 37756928 8446 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9218 8449 1111 63 0 9155 0
vsize: 36872
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 139657 0 0 0 17690 308 0 0 25 0 1 0 912474309 37335040 8378 4294967295 134512640 134716908 3221224560 3221221168 1074153466 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8378 1111 63 0 9052 0
vsize: 36460
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 148311 0 0 0 18670 329 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222960 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+200.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 156940 0 0 0 19653 346 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222776 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+210.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 165801 0 0 0 20635 364 0 0 25 0 1 0 912474309 38551552 8570 4294967295 134512640 134716908 3221224560 3221222672 1074867305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9412 8570 1111 63 0 9349 0
vsize: 37648
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 174667 0 0 0 21615 384 0 0 25 0 1 0 912474309 37699584 8436 4294967295 134512640 134716908 3221224560 3221222472 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9204 8447 1111 63 0 9141 0
vsize: 36816
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 183457 0 0 0 22598 402 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222864 1074153660 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 192347 0 0 0 23578 422 0 0 25 0 1 0 912474309 38797312 8656 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9472 8656 1111 63 0 9409 0
vsize: 37888
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 200971 0 0 0 24559 441 0 0 25 0 1 0 912474309 37482496 8385 4294967295 134512640 134716908 3221224560 3221220832 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8385 1111 63 0 9088 0
vsize: 36604
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 209851 0 0 0 25541 459 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 218700 0 0 0 26521 479 0 0 25 0 1 0 912474309 37613568 8438 4294967295 134512640 134716908 3221224560 3221222960 1074118854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9183 8438 1111 63 0 9120 0
vsize: 36732
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 227525 0 0 0 27500 501 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222912 1074142734 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+290.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 236240 0 0 0 28481 520 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222788 1077374077 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 244927 0 0 0 29462 539 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 253583 0 0 0 30441 560 0 0 25 0 1 0 912474309 37539840 8429 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9165 8429 1111 63 0 9102 0
vsize: 36660
[startup+320.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 262234 0 0 0 31422 580 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221223032 134543191 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 270933 0 0 0 32402 599 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 279599 0 0 0 33382 619 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222912 1074153792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 288250 0 0 0 34362 640 0 0 25 0 1 0 912474309 37482496 8389 4294967295 134512640 134716908 3221224560 3221221408 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9151 8389 1111 63 0 9088 0
vsize: 36604
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 297408 0 0 0 35342 660 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222820 1077374550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 305983 0 0 0 36324 678 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222760 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 314733 0 0 0 37304 698 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222944 1074153767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 323394 0 0 0 38285 718 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 332191 0 0 0 39265 738 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 340623 0 0 0 40245 758 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222840 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+420.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 349008 0 0 0 41227 776 0 0 25 0 1 0 912474309 38866944 8665 4294967295 134512640 134716908 3221224560 3221221152 1074884314 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9489 8665 1111 63 0 9426 0
vsize: 37956
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 357361 0 0 0 42205 799 0 0 25 0 1 0 912474309 38858752 8663 4294967295 134512640 134716908 3221224560 3221220524 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9487 8663 1111 63 0 9424 0
vsize: 37948
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 365813 0 0 0 43184 820 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 374174 0 0 0 44164 840 0 0 25 0 1 0 912474309 37842944 8450 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9239 8455 1111 63 0 9176 0
vsize: 36956
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 382646 0 0 0 45146 858 0 0 25 0 1 0 912474309 38842368 8660 4294967295 134512640 134716908 3221224560 3221220928 1075894551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9483 8660 1111 63 0 9420 0
vsize: 37932
[startup+470.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 391513 0 0 0 46125 879 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+480.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 400838 0 0 0 47103 901 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+490.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 410133 0 0 0 48082 922 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+500.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 419351 0 0 0 49060 945 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222912 1074142985 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+510.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 428477 0 0 0 50039 966 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+520.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 437848 0 0 0 51020 986 0 0 25 0 1 0 912474309 38817792 8657 4294967295 134512640 134716908 3221224560 3221220616 1074860230 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9477 8657 1111 63 0 9414 0
vsize: 37908
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 447140 0 0 0 51999 1006 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+540.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 456668 0 0 0 52977 1029 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222848 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 465818 0 0 0 53956 1050 0 0 25 0 1 0 912474309 38305792 8535 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9352 8535 1111 63 0 9289 0
vsize: 37408
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 475059 0 0 0 54935 1071 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222944 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 484364 0 0 0 55914 1092 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 493920 0 0 0 56893 1113 0 0 25 0 1 0 912474309 38789120 8649 4294967295 134512640 134716908 3221224560 3221221584 1074810523 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9470 8649 1111 63 0 9407 0
vsize: 37880
[startup+590.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 502602 0 0 0 57876 1130 0 0 25 0 1 0 912474309 37859328 8507 4294967295 134512640 134716908 3221224560 3221223200 134651142 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9243 8507 1111 63 0 9180 0
vsize: 36972
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 508750 0 0 0 58863 1144 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221221264 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 515064 0 0 0 59848 1159 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221221568 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 521399 0 0 0 60832 1175 0 0 25 0 1 0 912474309 38338560 8519 4294967295 134512640 134716908 3221224560 3221222672 1074867320 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9360 8519 1111 63 0 9297 0
vsize: 37440
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 527826 0 0 0 61818 1189 0 0 25 0 1 0 912474309 37335040 8379 4294967295 134512640 134716908 3221224560 3221222944 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8379 1111 63 0 9052 0
vsize: 36460
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 534248 0 0 0 62802 1205 0 0 25 0 1 0 912474309 37335040 8380 4294967295 134512640 134716908 3221224560 3221221552 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8380 1111 63 0 9052 0
vsize: 36460
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 540907 0 0 0 63785 1222 0 0 25 0 1 0 912474309 37335040 8380 4294967295 134512640 134716908 3221224560 3221222848 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8380 1111 63 0 9052 0
vsize: 36460
[startup+660.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 547507 0 0 0 64769 1239 0 0 25 0 1 0 912474309 37822464 8499 4294967295 134512640 134716908 3221224560 3221222696 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9234 8499 1111 63 0 9171 0
vsize: 36936
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 554075 0 0 0 65753 1256 0 0 25 0 1 0 912474309 37335040 8380 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8380 1111 63 0 9052 0
vsize: 36460
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 560845 0 0 0 66737 1271 0 0 25 0 1 0 912474309 37892096 8516 4294967295 134512640 134716908 3221224560 3221223024 1074121049 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9251 8516 1111 63 0 9188 0
vsize: 37004
[startup+690.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 567588 0 0 0 67722 1287 0 0 25 0 1 0 912474309 38678528 8624 4294967295 134512640 134716908 3221224560 3221220720 1074794649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9443 8624 1111 63 0 9380 0
vsize: 37772
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 574115 0 0 0 68707 1302 0 0 25 0 1 0 912474309 37851136 8468 4294967295 134512640 134716908 3221224560 3221222520 1074138316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9241 8470 1111 63 0 9178 0
vsize: 36964
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 580892 0 0 0 69691 1318 0 0 25 0 1 0 912474309 38682624 8614 4294967295 134512640 134716908 3221224560 3221220672 1075895652 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9444 8614 1111 63 0 9381 0
vsize: 37776
[startup+720.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 587511 0 0 0 70674 1335 0 0 25 0 1 0 912474309 37335040 8380 4294967295 134512640 134716908 3221224560 3221222808 1074138153 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8380 1111 63 0 9052 0
vsize: 36460
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 594374 0 0 0 71660 1350 0 0 25 0 1 0 912474309 37781504 8489 4294967295 134512640 134716908 3221224560 3221222976 1074116190 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9224 8489 1111 63 0 9161 0
vsize: 36896
[startup+740.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 601344 0 0 0 72643 1367 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222912 1074142868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+750.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 608194 0 0 0 73626 1384 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222848 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+760.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 615222 0 0 0 74610 1400 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222960 1074153749 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 622136 0 0 0 75595 1415 0 0 25 0 1 0 912474309 38010880 8525 4294967295 134512640 134716908 3221224560 3221222960 1074118792 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9280 8525 1111 63 0 9217 0
vsize: 37120
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 629370 0 0 0 76577 1433 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222808 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+790.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 638226 0 0 0 77557 1454 0 0 25 0 1 0 912474309 37822464 8493 4294967295 134512640 134716908 3221224560 3221222928 1074140975 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9234 8493 1111 63 0 9171 0
vsize: 36936
[startup+800.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 647305 0 0 0 78535 1475 0 0 25 0 1 0 912474309 38576128 8593 4294967295 134512640 134716908 3221224560 3221220720 1074794549 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9418 8593 1111 63 0 9355 0
vsize: 37672
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 656339 0 0 0 79514 1497 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222776 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 665547 0 0 0 80493 1518 0 0 25 0 1 0 912474309 38211584 8488 4294967295 134512640 134716908 3221224560 3221221544 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9329 8488 1111 63 0 9266 0
vsize: 37316
[startup+830.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 674642 0 0 0 81472 1540 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+840.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 684194 0 0 0 82451 1561 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221223408 134623480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 693718 0 0 0 83428 1584 0 0 25 0 1 0 912474309 37761024 8479 4294967295 134512640 134716908 3221224560 3221222560 1074913856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9219 8479 1111 63 0 9156 0
vsize: 36876
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 702541 0 0 0 84408 1604 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222896 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 710786 0 0 0 85388 1624 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222896 1074153815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+880.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 720146 0 0 0 86369 1644 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221221936 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+890.037 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 730230 0 0 0 87346 1667 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222896 1074153663 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+900.038 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 739967 0 0 0 88322 1692 0 0 25 0 1 0 912474309 38002688 8465 4294967295 134512640 134716908 3221224560 3221222288 1075829963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9278 8465 1111 63 0 9215 0
vsize: 37112
[startup+910.046 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 748207 0 0 0 89300 1714 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222944 1074153648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+920.069 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 756542 0 0 0 90282 1735 0 0 25 0 1 0 912474309 37654528 8459 4294967295 134512640 134716908 3221224560 3221223200 134651140 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9193 8459 1111 63 0 9130 0
vsize: 36772
[startup+930.069 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 765233 0 0 0 91264 1753 0 0 25 0 1 0 912474309 38096896 8462 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9250 8460 1111 63 0 9187 0
vsize: 37204
[startup+940.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 774081 0 0 0 92241 1776 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222944 1074153794 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+950.069 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 783948 0 0 0 93218 1800 0 0 25 0 1 0 912474309 37335040 8381 4294967295 134512640 134716908 3221224560 3221222384 1074050884 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9115 8381 1111 63 0 9052 0
vsize: 36460
[startup+960.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 793242 0 0 0 94194 1823 0 0 25 0 1 0 912474309 37482496 8417 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9196 8417 1111 63 0 9133 0
vsize: 36604
[startup+970.07 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 802434 0 0 0 95172 1846 0 0 25 0 1 0 912474309 37875712 8513 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9247 8513 1111 63 0 9184 0
vsize: 36988
[startup+980.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 811418 0 0 0 96150 1868 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+990.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 819897 0 0 0 97129 1889 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222896 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1000.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 828780 0 0 0 98106 1912 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222960 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1010.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 836918 0 0 0 99088 1931 0 0 25 0 1 0 912474309 38387712 8586 4294967295 134512640 134716908 3221224560 3221221752 1074138315 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9455 8590 1111 63 0 9392 0
vsize: 37488
[startup+1020.07 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 845019 0 0 0 100070 1949 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222824 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1030.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 853338 0 0 0 101050 1969 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222492 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1040.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 861395 0 0 0 102030 1989 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222864 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1050.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 869535 0 0 0 103009 2011 0 0 25 0 1 0 912474309 38776832 8624 4294967295 134512640 134716908 3221224560 3221221136 1076049000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9467 8625 1111 63 0 9404 0
vsize: 37868
[startup+1060.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 877995 0 0 0 103990 2030 0 0 25 0 1 0 912474309 37593088 8444 4294967295 134512640 134716908 3221224560 3221222896 1074153673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9178 8444 1111 63 0 9115 0
vsize: 36712
[startup+1070.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 886471 0 0 0 104969 2050 0 0 25 0 1 0 912474309 37908480 8514 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9255 8514 1111 63 0 9192 0
vsize: 37020
[startup+1080.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 894932 0 0 0 105951 2069 0 0 25 0 1 0 912474309 38334464 8520 4294967295 134512640 134716908 3221224560 3221222480 1075799720 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9359 8520 1111 63 0 9296 0
vsize: 37436
[startup+1090.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 903027 0 0 0 106931 2089 0 0 25 0 1 0 912474309 37957632 8481 4294967295 134512640 134716908 3221224560 3221221672 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9267 8481 1111 63 0 9204 0
vsize: 37068
[startup+1100.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 911263 0 0 0 107909 2111 0 0 25 0 1 0 912474309 38785024 8629 4294967295 134512640 134716908 3221224560 3221220688 1075112371 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9469 8629 1111 63 0 9406 0
vsize: 37876
[startup+1110.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 919131 0 0 0 108890 2131 0 0 25 0 1 0 912474309 37683200 8466 4294967295 134512640 134716908 3221224560 3221221952 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9200 8466 1111 63 0 9137 0
vsize: 36800
[startup+1120.07 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 926343 0 0 0 109872 2149 0 0 25 0 1 0 912474309 37830656 8502 4294967295 134512640 134716908 3221224560 3221222808 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9236 8502 1111 63 0 9173 0
vsize: 36944
[startup+1130.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 933216 0 0 0 110855 2166 0 0 25 0 1 0 912474309 37830656 8502 4294967295 134512640 134716908 3221224560 3221222808 1074138144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9236 8502 1111 63 0 9173 0
vsize: 36944
[startup+1140.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 940237 0 0 0 111838 2183 0 0 25 0 1 0 912474309 38400000 8536 4294967295 134512640 134716908 3221224560 3221222696 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9375 8536 1111 63 0 9312 0
vsize: 37500
[startup+1150.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 946890 0 0 0 112822 2200 0 0 25 0 1 0 912474309 37814272 8498 4294967295 134512640 134716908 3221224560 3221221724 1077404727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8498 1111 63 0 9169 0
vsize: 36928
[startup+1160.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 953679 0 0 0 113806 2216 0 0 25 0 1 0 912474309 37814272 8498 4294967295 134512640 134716908 3221224560 3221222864 1074153779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8498 1111 63 0 9169 0
vsize: 36928
[startup+1170.08 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 960740 0 0 0 114787 2234 0 0 25 0 1 0 912474309 37814272 8498 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8498 1111 63 0 9169 0
vsize: 36928
[startup+1175.02 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 14370
Raw data (stat): 14370 (bsolo_lpr_cuts-) R 14369 20224 20223 0 -1 0 960740 0 0 0 114787 2234 0 0 25 0 1 0 912474309 37814272 8498 4294967295 134512640 134716908 3221224560 3221222864 1074153675 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9232 8498 1111 63 0 9169 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.17
CPU user time (s): 1152.7
CPU system time (s): 22.4646
CPU usage (%): 100.012
Max. virtual memory (Kb): 37980
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####