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/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM	4df3e7eb358d27d446e34b975724a6c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	-7772
Optimality of the best value was proved	NO
Number of terms in the objective function	60
Biggest coefficient in the objective function	974
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	9460
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	6000
Number of bits of the biggest number in a constraint	13
Biggest sum of numbers in a constraint	26162
Number of bits of the biggest sum of numbers	15
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.01884
Number of variables	60
Total number of constraints	90
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	60
Number of constraints which are nor clauses,nor cardinality constraints	30
Minimum length of a constraint	1
Maximum length of a constraint	60
Trace number 41484

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-09 13:32:06 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29544 boxname=wulflinc3 idbench=1328 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 29544
/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:        903600 kB
Buffers:         11576 kB
Cached:          99776 kB
SwapCached:        712 kB
Active:          33152 kB
Inactive:        80192 kB
HighTotal:      131008 kB
HighFree:        46060 kB
LowTotal:       903652 kB
LowFree:        857540 kB
SwapTotal:     2097136 kB
SwapFree:      2095352 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5008 kB
Slab:            12036 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:51:41 (client local time) WITH STATUS 10 IN 1175.35 SECONDS
stats: 29544 0 1175.35 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 60 variables and 30 constraints.
c After prepocess the problem consists of 60 variables and 30 constraints.
c preprocess terminated 0.132 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.032
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -6334 @ 0.973
c NEW SOLUTION FOUND: -6410 @ 0.987
c NEW SOLUTION FOUND: -6541 @ 0.995
c NEW SOLUTION FOUND: -6552 @ 1.001
c NEW SOLUTION FOUND: -6580 @ 22.358
c NEW SOLUTION FOUND: -6613 @ 27.608
c NEW SOLUTION FOUND: -6631 @ 28.445
c NEW SOLUTION FOUND: -6646 @ 28.745
c NEW SOLUTION FOUND: -6666 @ 122.109
c NEW SOLUTION FOUND: -6996 @ 167.323
c NEW SOLUTION FOUND: -7003 @ 168.045
c NEW SOLUTION FOUND: -7062 @ 168.583
c NEW SOLUTION FOUND: -7073 @ 172.269
c NEW SOLUTION FOUND: -7086 @ 172.766
c NEW SOLUTION FOUND: -7109 @ 178.769
c NEW SOLUTION FOUND: -7147 @ 178.793
c NEW SOLUTION FOUND: -7149 @ 185.346
c NEW SOLUTION FOUND: -7210 @ 190.952
c NEW SOLUTION FOUND: -7223 @ 200.41
c NEW SOLUTION FOUND: -7295 @ 226.077
c NEW SOLUTION FOUND: -7299 @ 1091.61
s SATISFIABLE
v -Y1_bit0 -Y2_bit0 -Y3_bit0 -Y4_bit0 Y5_bit0 -Y6_bit0 -Y7_bit0 Y8_bit0 -Y9_bit0 -Y10_bit0 -Y11_bit0 -Y12_bit0 -Y13_bit0 Y14_bit0 -Y15_bit0 Y16_bit0 -Y17_bit0 -Y18_bit0 Y19_bit0 -Y20_bit0 -Y21_bit0 -Y22_bit0 -Y23_bit0 -Y24_bit0 Y25_bit0 -Y26_bit0 -Y27_bit0 Y28_bit0 -Y29_bit0 Y30_bit0 -Y31_bit0 -Y32_bit0 -Y33_bit0 -Y34_bit0 -Y35_bit0 Y36_bit0 -Y37_bit0 -Y38_bit0 -Y39_bit0 -Y40_bit0 -Y41_bit0 Y42_bit0 Y43_bit0 -Y44_bit0 -Y45_bit0 Y46_bit0 Y47_bit0 Y48_bit0 -Y49_bit0 -Y50_bit0 -Y51_bit0 -Y52_bit0 Y53_bit0 -Y54_bit0 -Y55_bit0 Y56_bit0 -Y57_bit0 -Y58_bit0 Y59_bit0 -Y60_bit0 
c Exit Code: 10
c Total time: 1175.01 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.77 0.92 0.90 1/54 11113
Raw data (stat): 11113 (runsolver) D 11112 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 18 0 1 0 910649936 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 3225161850 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0007 s]
Raw data (loadavg): 0.80 0.92 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 7275 0 0 0 959 38 0 0 25 0 1 0 910649936 15687680 3095 4294967295 134512640 134716908 3221224560 3221223184 134524211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3830 3095 1111 63 0 3767 0
vsize: 15320
[startup+20.002 s]
Raw data (loadavg): 0.83 0.93 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 13698 0 0 0 1929 68 0 0 25 0 1 0 910649936 24932352 5312 4294967295 134512640 134716908 3221224560 3221220880 1075171374 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6087 5312 1111 63 0 6024 0
vsize: 24348
[startup+30.0028 s]
Raw data (loadavg): 0.86 0.93 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 20597 0 0 0 2891 106 0 0 25 0 1 0 910649936 35274752 7775 4294967295 134512640 134716908 3221224560 3221222672 1075606241 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8612 7775 1111 63 0 8549 0
vsize: 34448
[startup+40.0032 s]
Raw data (loadavg): 0.88 0.93 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 26698 0 0 0 3857 140 0 0 25 0 1 0 910649936 43347968 9808 4294967295 134512640 134716908 3221224560 3221222288 1075635633 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10583 9808 1111 63 0 10520 0
vsize: 42332
[startup+50.0035 s]
Raw data (loadavg): 0.90 0.93 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 32857 0 0 0 4831 166 0 0 25 0 1 0 910649936 54546432 12150 4294967295 134512640 134716908 3221224560 3221220652 1075663451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13317 12150 1111 63 0 13254 0
vsize: 53268
[startup+60.0043 s]
Raw data (loadavg): 0.91 0.93 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 38229 0 0 0 5802 195 0 0 25 0 1 0 910649936 61362176 13867 4294967295 134512640 134716908 3221224560 3221222832 1074051829 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14981 13867 1111 63 0 14918 0
vsize: 59924
[startup+70.0047 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 43194 0 0 0 6773 224 0 0 25 0 1 0 910649936 67543040 15416 4294967295 134512640 134716908 3221224560 3221223008 1074039443 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16490 15416 1111 63 0 16427 0
vsize: 65960
[startup+80.0051 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 48512 0 0 0 7743 255 0 0 25 0 1 0 910649936 74506240 17079 4294967295 134512640 134716908 3221224560 3221220620 1073945240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18190 17079 1111 63 0 18127 0
vsize: 72760
[startup+90.0059 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 53410 0 0 0 8718 280 0 0 25 0 1 0 910649936 80986112 18691 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19772 18691 1111 63 0 19709 0
vsize: 79088
[startup+100.005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 58352 0 0 0 9692 306 0 0 25 0 1 0 910649936 86900736 20194 4294967295 134512640 134716908 3221224560 3221223168 134535146 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21216 20194 1111 63 0 21153 0
vsize: 84864
[startup+110.007 s]
Raw data (loadavg): 0.96 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 64661 0 0 0 10662 336 0 0 25 0 1 0 910649936 101425152 22880 4294967295 134512640 134716908 3221224560 3221220656 1074879060 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24762 22880 1111 63 0 24699 0
vsize: 99048
[startup+120.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 70200 0 0 0 11634 364 0 0 25 0 1 0 910649936 108994560 24699 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26610 24699 1111 63 0 26547 0
vsize: 106440
[startup+130.007 s]
Raw data (loadavg): 0.97 0.94 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 75580 0 0 0 12604 394 0 0 25 0 1 0 910649936 116142080 26444 4294967295 134512640 134716908 3221224560 3221223116 134536823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28355 26444 1111 63 0 28292 0
vsize: 113420
[startup+140.007 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 80851 0 0 0 13576 422 0 0 25 0 1 0 910649936 122785792 28099 4294967295 134512640 134716908 3221224560 3221222560 1074918938 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29977 28099 1111 63 0 29914 0
vsize: 119908
[startup+150.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 85609 0 0 0 14552 447 0 0 25 0 1 0 910649936 128589824 29525 4294967295 134512640 134716908 3221224560 3221220944 1074972164 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31394 29525 1111 63 0 31331 0
vsize: 125576
[startup+160.008 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 90791 0 0 0 15525 474 0 0 25 0 1 0 910649936 134705152 31087 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32887 31087 1111 63 0 32824 0
vsize: 131548
[startup+170.009 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 95567 0 0 0 16498 501 0 0 25 0 1 0 910649936 140926976 32635 4294967295 134512640 134716908 3221224560 3221221068 1074971924 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34406 32635 1111 63 0 34343 0
vsize: 137624
[startup+180.008 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 101950 0 0 0 17469 530 0 0 25 0 1 0 910649936 149782528 34888 4294967295 134512640 134716908 3221224560 3221222992 1073990141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36568 34888 1111 63 0 36505 0
vsize: 146272
[startup+190.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 107416 0 0 0 18438 561 0 0 25 0 1 0 910649936 156958720 36666 4294967295 134512640 134716908 3221224560 3221220880 1075116184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38320 36666 1111 63 0 38257 0
vsize: 153280
[startup+200.009 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 113238 0 0 0 19404 595 0 0 25 0 1 0 910649936 163983360 38508 4294967295 134512640 134716908 3221224560 3221221672 1077377885 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40035 38508 1111 63 0 39972 0
vsize: 160140
[startup+210.01 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 120951 0 0 0 20376 624 0 0 25 0 1 0 910649936 183533568 41256 4294967295 134512640 134716908 3221224560 3221221904 1075277733 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44808 41256 1111 63 0 44745 0
vsize: 179232
[startup+220.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 126323 0 0 0 21347 653 0 0 25 0 1 0 910649936 191184896 43003 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46676 43003 1111 63 0 46613 0
vsize: 186704
[startup+230.011 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 132097 0 0 0 22317 682 0 0 25 0 1 0 910649936 199151616 44797 4294967295 134512640 134716908 3221224560 3221222560 1074913896 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48621 44797 1111 63 0 48558 0
vsize: 194484
[startup+240.011 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 137704 0 0 0 23289 711 0 0 25 0 1 0 910649936 206430208 46583 4294967295 134512640 134716908 3221224560 3221220832 1074961240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50398 46583 1111 63 0 50335 0
vsize: 201592
[startup+250.012 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 143227 0 0 0 24259 741 0 0 25 0 1 0 910649936 212930560 48232 4294967295 134512640 134716908 3221224560 3221222168 1077378356 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51985 48232 1111 63 0 51922 0
vsize: 207940
[startup+260.013 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 150196 0 0 0 25229 771 0 0 25 0 1 0 910649936 219811840 49882 4294967295 134512640 134716908 3221224560 3221222672 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53665 49882 1111 63 0 53602 0
vsize: 214660
[startup+270.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 157037 0 0 0 26196 804 0 0 25 0 1 0 910649936 226443264 51524 4294967295 134512640 134716908 3221224560 3221221472 1075277209 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55284 51524 1111 63 0 55221 0
vsize: 221136
[startup+280.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 164373 0 0 0 27164 836 0 0 25 0 1 0 910649936 233672704 53365 4294967295 134512640 134716908 3221224560 3221222208 1075818376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57049 53365 1111 63 0 56986 0
vsize: 228196
[startup+290.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 171658 0 0 0 28130 870 0 0 25 0 1 0 910649936 240738304 55174 4294967295 134512640 134716908 3221224560 3221222648 1077377434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58774 55174 1111 63 0 58711 0
vsize: 235096
[startup+300.014 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 177996 0 0 0 29101 899 0 0 25 0 1 0 910649936 246632448 56657 4294967295 134512640 134716908 3221224560 3221223196 1077074400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60213 56657 1111 63 0 60150 0
vsize: 240852
[startup+310.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 184845 0 0 0 30071 929 0 0 25 0 1 0 910649936 253022208 58178 4294967295 134512640 134716908 3221224560 3221222768 1074146243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 61773 58178 1111 63 0 61710 0
vsize: 247092
[startup+320.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 191812 0 0 0 31042 958 0 0 25 0 1 0 910649936 258744320 59649 4294967295 134512640 134716908 3221224560 3221222996 1073991173 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63170 59649 1111 63 0 63107 0
vsize: 252680
[startup+330.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 198621 0 0 0 32011 989 0 0 25 0 1 0 910649936 264867840 61165 4294967295 134512640 134716908 3221224560 3221221032 1074968485 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 64665 61165 1111 63 0 64602 0
vsize: 258660
[startup+340.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 205658 0 0 0 32980 1020 0 0 25 0 1 0 910649936 271319040 62776 4294967295 134512640 134716908 3221224560 3221221752 1074138322 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66240 62776 1111 63 0 66177 0
vsize: 264960
[startup+350.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 212555 0 0 0 33953 1048 0 0 25 0 1 0 910649936 277266432 64272 4294967295 134512640 134716908 3221224560 3221222288 1075829975 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67692 64272 1111 63 0 67629 0
vsize: 270768
[startup+360.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 219842 0 0 0 34922 1079 0 0 25 0 1 0 910649936 284323840 66073 4294967295 134512640 134716908 3221224560 3221222648 1077377641 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69415 66073 1111 63 0 69352 0
vsize: 277660
[startup+370.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 227066 0 0 0 35890 1111 0 0 25 0 1 0 910649936 291491840 67842 4294967295 134512640 134716908 3221224560 3221220704 1074969463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71165 67842 1111 63 0 71102 0
vsize: 284660
[startup+380.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 233685 0 0 0 36862 1140 0 0 25 0 1 0 910649936 297070592 69261 4294967295 134512640 134716908 3221224560 3221220896 1075114224 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72527 69261 1111 63 0 72464 0
vsize: 290108
[startup+390.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 240633 0 0 0 37835 1167 0 0 25 0 1 0 910649936 302096384 70590 4294967295 134512640 134716908 3221224560 3221222696 1077377866 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73754 70590 1111 63 0 73691 0
vsize: 295016
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 247361 0 0 0 38808 1194 0 0 25 0 1 0 910649936 307736576 71986 4294967295 134512640 134716908 3221224560 3221222288 1075828752 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75131 71986 1111 63 0 75068 0
vsize: 300524
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 253532 0 0 0 39783 1219 0 0 25 0 1 0 910649936 313274368 73380 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76483 73380 1111 63 0 76420 0
vsize: 305932
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 258503 0 0 0 40763 1239 0 0 25 0 1 0 910649936 316981248 74315 4294967295 134512640 134716908 3221224560 3221221588 1075964180 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77388 74315 1111 63 0 77325 0
vsize: 309552
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 265323 0 0 0 41733 1269 0 0 25 0 1 0 910649936 322437120 75659 4294967295 134512640 134716908 3221224560 3221222960 1074118808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78720 75659 1111 63 0 78657 0
vsize: 314880
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 277595 0 0 0 42696 1306 0 0 25 0 1 0 910649936 349151232 78592 4294967295 134512640 134716908 3221224560 3221223152 134535282 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85242 78592 1111 63 0 85179 0
vsize: 340968
[startup+450.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 283254 0 0 0 43672 1330 0 0 25 0 1 0 910649936 354856960 79638 4294967295 134512640 134716908 3221224560 3221220588 1074788168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 86635 79638 1111 63 0 86572 0
vsize: 346540
[startup+460.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 290116 0 0 0 44642 1360 0 0 25 0 1 0 910649936 362004480 81232 4294967295 134512640 134716908 3221224560 3221220720 1075093204 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88380 81232 1111 63 0 88317 0
vsize: 353520
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 296995 0 0 0 45614 1388 0 0 25 0 1 0 910649936 368496640 82681 4294967295 134512640 134716908 3221224560 3221223184 134543707 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 89965 82681 1111 63 0 89902 0
vsize: 359860
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 303713 0 0 0 46585 1418 0 0 25 0 1 0 910649936 374734848 84141 4294967295 134512640 134716908 3221224560 3221221408 1075960806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91488 84141 1111 63 0 91425 0
vsize: 365952
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 310786 0 0 0 47557 1445 0 0 25 0 1 0 910649936 381579264 85660 4294967295 134512640 134716908 3221224560 3221222348 1074206158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93159 85660 1111 63 0 93096 0
vsize: 372636
[startup+500.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 317963 0 0 0 48530 1473 0 0 25 0 1 0 910649936 387645440 87106 4294967295 134512640 134716908 3221224560 3221222136 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 94640 87106 1111 63 0 94577 0
vsize: 378560
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 324851 0 0 0 49501 1502 0 0 25 0 1 0 910649936 392859648 88464 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 95913 88464 1111 63 0 95850 0
vsize: 383652
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 331255 0 0 0 50472 1531 0 0 25 0 1 0 910649936 398512128 89781 4294967295 134512640 134716908 3221224560 3221221060 1074846173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 97293 89781 1111 63 0 97230 0
vsize: 389172
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 337855 0 0 0 51442 1561 0 0 25 0 1 0 910649936 404160512 91212 4294967295 134512640 134716908 3221224560 3221220788 1075115078 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 98672 91212 1111 63 0 98609 0
vsize: 394688
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 344685 0 0 0 52413 1590 0 0 25 0 1 0 910649936 409722880 92531 4294967295 134512640 134716908 3221224560 3221220688 1075111865 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 100002 92530 1111 63 0 99939 0
vsize: 400120
[startup+550.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 351711 0 0 0 53383 1621 0 0 25 0 1 0 910649936 416264192 93997 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 101622 93996 1111 63 0 101559 0
vsize: 406508
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 359905 0 0 0 54350 1653 0 0 25 0 1 0 910649936 421814272 95412 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 102982 95412 1111 63 0 102919 0
vsize: 411928
[startup+570.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 369535 0 0 0 55313 1691 0 0 25 0 1 0 910649936 428408832 96991 4294967295 134512640 134716908 3221224560 3221222288 1075635925 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 104592 96991 1111 63 0 104529 0
vsize: 418368
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 382682 0 0 0 56275 1729 0 0 25 0 1 0 910649936 434212864 98428 4294967295 134512640 134716908 3221224560 3221220704 1074969467 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 106009 98428 1111 63 0 105946 0
vsize: 424036
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 397784 0 0 0 57230 1774 0 0 25 0 1 0 910649936 439521280 99845 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 107305 99845 1111 63 0 107242 0
vsize: 429220
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 412442 0 0 0 58187 1817 0 0 25 0 1 0 910649936 445067264 101222 4294967295 134512640 134716908 3221224560 3221220588 1074879716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 108609 101220 1111 63 0 108546 0
vsize: 434636
[startup+610.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 427686 0 0 0 59141 1863 0 0 25 0 1 0 910649936 450670592 102646 4294967295 134512640 134716908 3221224560 3221220524 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 110027 102646 1111 63 0 109964 0
vsize: 440108
[startup+620.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 442954 0 0 0 60098 1907 0 0 25 0 1 0 910649936 456138752 104127 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 111362 104127 1111 63 0 111299 0
vsize: 445448
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 457474 0 0 0 61056 1950 0 0 25 0 1 0 910649936 462471168 105546 4294967295 134512640 134716908 3221224560 3221221480 1074950096 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 112841 105542 1111 63 0 112778 0
vsize: 451632
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 472598 0 0 0 62010 1996 0 0 25 0 1 0 910649936 467976192 106964 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 114235 106963 1111 63 0 114172 0
vsize: 457008
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 487913 0 0 0 62962 2043 0 0 25 0 1 0 910649936 473591808 108435 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 115623 108435 1111 63 0 115560 0
vsize: 462492
[startup+660.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 502566 0 0 0 63915 2091 0 0 25 0 1 0 910649936 478715904 109738 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 116874 109738 1111 63 0 116811 0
vsize: 467496
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 513349 0 0 0 64884 2122 0 0 25 0 1 0 910649936 483180544 110761 4294967295 134512640 134716908 3221224560 3221223152 134543110 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 117964 110761 1111 63 0 117901 0
vsize: 471856
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 524416 0 0 0 65853 2153 0 0 25 0 1 0 910649936 487256064 111778 4294967295 134512640 134716908 3221224560 3221221024 1075603093 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 118926 111776 1111 63 0 118863 0
vsize: 475836
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 539264 0 0 0 66811 2195 0 0 25 0 1 0 910649936 492548096 113092 4294967295 134512640 134716908 3221224560 3221220656 1074879820 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 120251 113092 1111 63 0 120188 0
vsize: 481004
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 553428 0 0 0 67768 2238 0 0 25 0 1 0 910649936 497291264 114242 4294967295 134512640 134716908 3221224560 3221221060 1074846173 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 121409 114242 1111 63 0 121346 0
vsize: 485636
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 567984 0 0 0 68727 2280 0 0 25 0 1 0 910649936 502329344 115556 4294967295 134512640 134716908 3221224560 3221221152 1074885598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 122639 115556 1111 63 0 122576 0
vsize: 490556
[startup+720.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 583213 0 0 0 69681 2326 0 0 25 0 1 0 910649936 507449344 116919 4294967295 134512640 134716908 3221224560 3221223176 1074141201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 123889 116919 1111 63 0 123826 0
vsize: 495556
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 597613 0 0 0 70637 2370 0 0 25 0 1 0 910649936 512888832 118316 4294967295 134512640 134716908 3221224560 3221222604 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 125217 118316 1111 63 0 125154 0
vsize: 500868
[startup+740.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 612855 0 0 0 71595 2412 0 0 25 0 1 0 910649936 518721536 119753 4294967295 134512640 134716908 3221224560 3221220952 1075112453 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 126641 119753 1111 63 0 126578 0
vsize: 506564
[startup+750.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 627363 0 0 0 72551 2457 0 0 25 0 1 0 910649936 523649024 121042 4294967295 134512640 134716908 3221224560 3221220620 1075965152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 127844 121042 1111 63 0 127781 0
vsize: 511376
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 642437 0 0 0 73504 2504 0 0 25 0 1 0 910649936 529166336 122443 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 129191 122443 1111 63 0 129128 0
vsize: 516764
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 656771 0 0 0 74463 2545 0 0 25 0 1 0 910649936 533721088 123703 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 130345 123705 1111 63 0 130282 0
vsize: 521212
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 671762 0 0 0 75421 2587 0 0 25 0 1 0 910649936 539340800 125058 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 131675 125058 1111 63 0 131612 0
vsize: 526700
[startup+790.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 686777 0 0 0 76370 2638 0 0 25 0 1 0 910649936 544747520 126467 4294967295 134512640 134716908 3221224560 3221223168 134536713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 132995 126467 1111 63 0 132932 0
vsize: 531980
[startup+800.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 701432 0 0 0 77328 2680 0 0 25 0 1 0 910649936 551866368 128196 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 134733 128196 1111 63 0 134670 0
vsize: 538932
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 716156 0 0 0 78288 2721 0 0 25 0 1 0 910649936 556617728 129402 4294967295 134512640 134716908 3221224560 3221220688 1075112106 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 135893 129402 1111 63 0 135830 0
vsize: 543572
[startup+820.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 731078 0 0 0 79241 2768 0 0 25 0 1 0 910649936 562733056 130921 4294967295 134512640 134716908 3221224560 3221220532 1074786416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 137386 130921 1111 63 0 137323 0
vsize: 549544
[startup+830.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 745606 0 0 0 80195 2814 0 0 25 0 1 0 910649936 567951360 132187 4294967295 134512640 134716908 3221224560 3221222212 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 138660 132187 1111 63 0 138597 0
vsize: 554640
[startup+840.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 760688 0 0 0 81150 2859 0 0 25 0 1 0 910649936 574255104 133751 4294967295 134512640 134716908 3221224560 3221220704 1074970499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 140199 133751 1111 63 0 140136 0
vsize: 560796
[startup+850.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 775093 0 0 0 82106 2903 0 0 25 0 1 0 910649936 579051520 135005 4294967295 134512640 134716908 3221224560 3221220904 1075895169 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 141370 135005 1111 63 0 141307 0
vsize: 565480
[startup+860.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 790235 0 0 0 83064 2946 0 0 25 0 1 0 910649936 584613888 136421 4294967295 134512640 134716908 3221224560 3221220832 1074808047 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 142728 136421 1111 63 0 142665 0
vsize: 570912
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 805074 0 0 0 84020 2990 0 0 25 0 1 0 910649936 589643776 137757 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 143956 137757 1111 63 0 143893 0
vsize: 575824
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 820317 0 0 0 84974 3036 0 0 25 0 1 0 910649936 595378176 139255 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 145356 139255 1111 63 0 145293 0
vsize: 581424
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 833737 0 0 0 85937 3073 0 0 25 0 1 0 910649936 600051712 140321 4294967295 134512640 134716908 3221224560 3221220704 1074969474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 146497 140321 1111 63 0 146434 0
vsize: 585988
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 847908 0 0 0 86896 3114 0 0 25 0 1 0 910649936 604844032 141506 4294967295 134512640 134716908 3221224560 3221220704 1074970413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 147667 141506 1111 63 0 147604 0
vsize: 590668
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 862539 0 0 0 87855 3156 0 0 25 0 1 0 910649936 609284096 142709 4294967295 134512640 134716908 3221224560 3221223152 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 148751 142709 1111 63 0 148688 0
vsize: 595004
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 876842 0 0 0 88807 3203 0 0 25 0 1 0 910649936 614871040 144008 4294967295 134512640 134716908 3221224560 3221223168 134536594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 150112 144006 1111 63 0 150049 0
vsize: 600460
[startup+930.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 891778 0 0 0 89760 3251 0 0 25 0 1 0 910649936 620261376 145346 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 151431 145346 1111 63 0 151368 0
vsize: 605724
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 906516 0 0 0 90715 3297 0 0 25 0 1 0 910649936 625319936 146606 4294967295 134512640 134716908 3221224560 3221220832 1074961490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 152666 146606 1111 63 0 152603 0
vsize: 610664
[startup+950.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 921154 0 0 0 91672 3339 0 0 25 0 1 0 910649936 630358016 147886 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 153896 147886 1111 63 0 153833 0
vsize: 615584
[startup+960.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 935888 0 0 0 92628 3383 0 0 25 0 1 0 910649936 635187200 149184 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 155075 149184 1111 63 0 155012 0
vsize: 620300
[startup+970.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 953121 0 0 0 93580 3432 0 0 25 0 1 0 910649936 640290816 150513 4294967295 134512640 134716908 3221224560 3221222520 1074138271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 156321 150513 1111 63 0 156258 0
vsize: 625284
[startup+980.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 978530 0 0 0 94516 3496 0 0 25 0 1 0 910649936 685948928 154358 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 167468 154358 1111 63 0 167405 0
vsize: 669872
[startup+990.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 992938 0 0 0 95473 3540 0 0 25 0 1 0 910649936 690880512 155337 4294967295 134512640 134716908 3221224560 3221223200 134651341 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 168672 155337 1111 63 0 168609 0
vsize: 674688
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1013040 0 0 0 96417 3595 0 0 25 0 1 0 910649936 697565184 156819 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 170380 156822 1111 63 0 170317 0
vsize: 681216
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1032787 0 0 0 97360 3653 0 0 25 0 1 0 910649936 703201280 158261 4294967295 134512640 134716908 3221224560 3221223184 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 171680 158261 1111 63 0 171617 0
vsize: 686720
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1052388 0 0 0 98308 3705 0 0 25 0 1 0 910649936 709455872 159638 4294967295 134512640 134716908 3221224560 3221222408 1077404705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 173207 159638 1111 63 0 173144 0
vsize: 692828
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1071445 0 0 0 99256 3757 0 0 25 0 1 0 910649936 714559488 160877 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 174453 160877 1111 63 0 174390 0
vsize: 697812
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1091353 0 0 0 100205 3808 0 0 25 0 1 0 910649936 720707584 162191 4294967295 134512640 134716908 3221224560 3221223448 134643225 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 175954 162191 1111 63 0 175891 0
vsize: 703816
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1110906 0 0 0 101149 3865 0 0 25 0 1 0 910649936 729952256 163767 4294967295 134512640 134716908 3221224560 3221223152 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 178211 163767 1111 63 0 178148 0
vsize: 712844
[startup+1060.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1131086 0 0 0 102093 3921 0 0 25 0 1 0 910649936 736550912 165132 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 179822 165132 1111 63 0 179759 0
vsize: 719288
[startup+1070.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1150914 0 0 0 103034 3980 0 0 25 0 1 0 910649936 741978112 166545 4294967295 134512640 134716908 3221224560 3221220724 1075964258 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 181147 166545 1111 63 0 181084 0
vsize: 724588
[startup+1080.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1170753 0 0 0 103981 4034 0 0 25 0 1 0 910649936 748613632 167987 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 182767 167987 1111 63 0 182704 0
vsize: 731068
[startup+1090.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1190405 0 0 0 104928 4086 0 0 25 0 1 0 910649936 755081216 169450 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 184383 169452 1111 63 0 184320 0
vsize: 737384
[startup+1100.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1209484 0 0 0 105876 4139 0 0 25 0 1 0 910649936 761692160 170905 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 185997 170908 1111 63 0 185934 0
vsize: 743840
[startup+1110.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1213598 0 0 0 106866 4148 0 0 25 0 1 0 910649936 762798080 171146 4294967295 134512640 134716908 3221224560 3221220768 1074815186 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 186230 171147 1111 63 0 186167 0
vsize: 744920
[startup+1120.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1232302 0 0 0 107813 4201 0 0 25 0 1 0 910649936 767807488 172458 4294967295 134512640 134716908 3221224560 3221221060 1074846210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 187453 172458 1111 63 0 187390 0
vsize: 749812
[startup+1130.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1252065 0 0 0 108761 4253 0 0 25 0 1 0 910649936 772800512 173803 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 188672 173803 1111 63 0 188609 0
vsize: 754688
[startup+1140.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1271685 0 0 0 109711 4304 0 0 25 0 1 0 910649936 777781248 175108 4294967295 134512640 134716908 3221224560 3221223156 1077374149 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 189888 175108 1111 63 0 189825 0
vsize: 759552
[startup+1150.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1290908 0 0 0 110661 4354 0 0 25 0 1 0 910649936 783548416 176545 4294967295 134512640 134716908 3221224560 3221222888 1077799185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 191259 176540 1111 63 0 191196 0
vsize: 765184
[startup+1160.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1309880 0 0 0 111611 4405 0 0 25 0 1 0 910649936 788901888 177958 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 192603 177958 1111 63 0 192540 0
vsize: 770412
[startup+1170.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1329755 0 0 0 112554 4461 0 0 25 0 1 0 910649936 795086848 179307 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194113 179307 1111 63 0 194050 0
vsize: 776452
[startup+1175.24 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 11113
Raw data (stat): 11113 (bsolo_lpr_cuts-) R 11112 20224 20223 0 -1 0 1329755 0 0 0 112554 4461 0 0 25 0 1 0 910649936 795086848 179307 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 194113 179307 1111 63 0 194050 0
vsize: 0

Child status: 10
Real time (s): 1175.24
CPU time (s): 1175.35
CPU user time (s): 1130.14
CPU system time (s): 45.2151
CPU usage (%): 100.01
Max. virtual memory (Kb): 776452
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7299
#### END VERIFIER DATA ####