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:
  1. 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.
  2. SOLVER DATA
    This is the output of the solver (stdout and stderr).
  3. 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.
  4. 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

Namenormalized-opb/mps-v2-13-7/MIPLIB/miplib/normalized-mps-v2-13-7-sentoy.opb
MD5SUM4df3e7eb358d27d446e34b975724a6c1
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
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 numbers15
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01884
Number of variables60
Total number of constraints90
Number of constraints which are clauses0
Number of constraints which are cardinality constraints (but not clauses)60
Number of constraints which are nor clauses,nor cardinality constraints30
Minimum length of a constraint1
Maximum length of a constraint60

Trace number 40312

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 06:34:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28372 boxname=wulflinc5 idbench=1328 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4df3e7eb358d27d446e34b975724a6c1  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-sentoy.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-sentoy.opb
IDLAUNCH: 28372
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        669640 kB
Buffers:         24424 kB
Cached:         318688 kB
SwapCached:        696 kB
Active:          30380 kB
Inactive:       314800 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        669388 kB
SwapTotal:     2097136 kB
SwapFree:      2095508 kB
Dirty:              32 kB
Writeback:           0 kB
Mapped:           5152 kB
Slab:            14248 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 06:54:23 (client local time) WITH STATUS 10 IN 1175.37 SECONDS
stats: 28372 0 1175.37 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.138 s
c Initial Lower Bound: -9228
c Lower Bound Elapsed time: 0.014
c Use computed LB before first solution.
c NEW SOLUTION FOUND: -6334 @ 1.009
c NEW SOLUTION FOUND: -6410 @ 1.023
c NEW SOLUTION FOUND: -6541 @ 1.031
c NEW SOLUTION FOUND: -6552 @ 1.037
c NEW SOLUTION FOUND: -6580 @ 22.275
c NEW SOLUTION FOUND: -6613 @ 27.55
c NEW SOLUTION FOUND: -6631 @ 28.385
c NEW SOLUTION FOUND: -6646 @ 28.684
c NEW SOLUTION FOUND: -6666 @ 121.112
c NEW SOLUTION FOUND: -6996 @ 165.954
c NEW SOLUTION FOUND: -7003 @ 166.669
c NEW SOLUTION FOUND: -7062 @ 167.201
c NEW SOLUTION FOUND: -7073 @ 170.855
c NEW SOLUTION FOUND: -7086 @ 171.346
c NEW SOLUTION FOUND: -7109 @ 177.295
c NEW SOLUTION FOUND: -7147 @ 177.318
c NEW SOLUTION FOUND: -7149 @ 183.808
c NEW SOLUTION FOUND: -7210 @ 189.355
c NEW SOLUTION FOUND: -7223 @ 198.736
c NEW SOLUTION FOUND: -7295 @ 224.233
c NEW SOLUTION FOUND: -7299 @ 1077.82
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.02 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 1/54 15915
Raw data (stat): 15915 (runsolver) R 15914 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 899513261 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 7220 0 0 0 965 32 0 0 25 0 1 0 899513261 15630336 3069 4294967295 134512640 134716908 3221224576 3221220736 1075090451 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3816 3069 1111 63 0 3753 0
vsize: 15264
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 13749 0 0 0 1929 69 0 0 25 0 1 0 899513261 24969216 5310 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6096 5310 1111 63 0 6033 0
vsize: 24384
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 20698 0 0 0 2888 109 0 0 25 0 1 0 899513261 35311616 7784 4294967295 134512640 134716908 3221224576 3221223120 134652414 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8621 7784 1111 63 0 8558 0
vsize: 34484
[startup+40.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 26824 0 0 0 3854 144 0 0 25 0 1 0 899513261 43429888 9825 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10643 9826 1111 63 0 10580 0
vsize: 42412
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 33242 0 0 0 4821 177 0 0 25 0 1 0 899513261 54706176 12181 4294967295 134512640 134716908 3221224576 3221220932 1075522737 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13356 12181 1111 63 0 13293 0
vsize: 53424
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 38642 0 0 0 5794 204 0 0 25 0 1 0 899513261 61747200 13912 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15075 13912 1111 63 0 15012 0
vsize: 60300
[startup+70.0022 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 43745 0 0 0 6766 232 0 0 25 0 1 0 899513261 68116480 15489 4294967295 134512640 134716908 3221224576 3221220848 1074799070 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16630 15489 1111 63 0 16567 0
vsize: 66520
[startup+80.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 49062 0 0 0 7736 263 0 0 25 0 1 0 899513261 75042816 17249 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18321 17249 1111 63 0 18258 0
vsize: 73284
[startup+90.0017 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 53973 0 0 0 8706 293 0 0 25 0 1 0 899513261 81121280 18788 4294967295 134512640 134716908 3221224576 3221222576 1074916988 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19805 18788 1111 63 0 19742 0
vsize: 79220
[startup+100.001 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 59703 0 0 0 9678 321 0 0 25 0 1 0 899513261 93790208 21139 4294967295 134512640 134716908 3221224576 3221223192 134543179 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22898 21139 1111 63 0 22835 0
vsize: 91592
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 65174 0 0 0 10650 349 0 0 25 0 1 0 899513261 101969920 22996 4294967295 134512640 134716908 3221224576 3221223292 134592362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24895 22996 1111 63 0 24832 0
vsize: 99580
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 70811 0 0 0 11621 378 0 0 25 0 1 0 899513261 109514752 24819 4294967295 134512640 134716908 3221224576 3221222228 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26737 24819 1111 63 0 26674 0
vsize: 106948
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 76143 0 0 0 12593 406 0 0 25 0 1 0 899513261 116887552 26569 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28537 26569 1111 63 0 28474 0
vsize: 114148
[startup+140.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 81368 0 0 0 13567 432 0 0 25 0 1 0 899513261 123658240 28229 4294967295 134512640 134716908 3221224576 3221220604 1074788187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30190 28229 1111 63 0 30127 0
vsize: 120760
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 86239 0 0 0 14538 461 0 0 25 0 1 0 899513261 129306624 29643 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31569 29643 1111 63 0 31506 0
vsize: 126276
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 91529 0 0 0 15512 488 0 0 25 0 1 0 899513261 135352320 31221 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33045 31221 1111 63 0 32982 0
vsize: 132180
[startup+170.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 96359 0 0 0 16482 517 0 0 25 0 1 0 899513261 141987840 32828 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34665 32828 1111 63 0 34602 0
vsize: 138660
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 102867 0 0 0 17451 548 0 0 25 0 1 0 899513261 151089152 35095 4294967295 134512640 134716908 3221224576 3221220636 1075965152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36845 35094 1111 63 0 36782 0
vsize: 147548
[startup+190.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 108495 0 0 0 18421 579 0 0 25 0 1 0 899513261 158330880 36927 4294967295 134512640 134716908 3221224576 3221220784 1074815044 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38655 36927 1111 63 0 38592 0
vsize: 154620
[startup+200.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 114233 0 0 0 19386 613 0 0 25 0 1 0 899513261 165388288 38735 4294967295 134512640 134716908 3221224576 3221223472 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40378 38735 1111 63 0 40315 0
vsize: 161512
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 122177 0 0 0 20354 646 0 0 25 0 1 0 899513261 184954880 41533 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45110 41532 1111 63 0 45047 0
vsize: 180620
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 127893 0 0 0 21324 676 0 0 25 0 1 0 899513261 192569344 43337 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47007 43337 1111 63 0 46944 0
vsize: 188056
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 133751 0 0 0 22292 708 0 0 25 0 1 0 899513261 200630272 45165 4294967295 134512640 134716908 3221224576 3221220848 1074805466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48982 45165 1111 63 0 48919 0
vsize: 195928
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 139336 0 0 0 23264 736 0 0 25 0 1 0 899513261 207556608 46950 4294967295 134512640 134716908 3221224576 3221223280 134675009 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50673 46950 1111 63 0 50610 0
vsize: 202692
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 145145 0 0 0 24234 767 0 0 25 0 1 0 899513261 214679552 48658 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52412 48658 1111 63 0 52349 0
vsize: 209648
[startup+260.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 151970 0 0 0 25204 797 0 0 25 0 1 0 899513261 220594176 50101 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 53856 50101 1111 63 0 53793 0
vsize: 215424
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 159408 0 0 0 26167 834 0 0 25 0 1 0 899513261 227995648 51969 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55633 51968 1111 63 0 55570 0
vsize: 222652
[startup+280.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 166540 0 0 0 27134 867 0 0 25 0 1 0 899513261 235139072 53764 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 57407 53764 1111 63 0 57344 0
vsize: 229628
[startup+290.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 173993 0 0 0 28103 898 0 0 25 0 1 0 899513261 242196480 55579 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 59130 55579 1111 63 0 59067 0
vsize: 236520
[startup+300.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 180295 0 0 0 29075 927 0 0 25 0 1 0 899513261 247984128 57043 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60543 57043 1111 63 0 60480 0
vsize: 242172
[startup+310.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 187299 0 0 0 30045 957 0 0 25 0 1 0 899513261 254357504 58587 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62152 58588 1111 63 0 62089 0
vsize: 248396
[startup+320.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 194307 0 0 0 31017 985 0 0 25 0 1 0 899513261 260378624 60080 4294967295 134512640 134716908 3221224576 3221222616 1077377227 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63569 60080 1111 63 0 63506 0
vsize: 254276
[startup+330.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 201538 0 0 0 31989 1014 0 0 25 0 1 0 899513261 266784768 61667 4294967295 134512640 134716908 3221224576 3221221496 1074950082 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 65133 61667 1111 63 0 65070 0
vsize: 260532
[startup+340.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 208507 0 0 0 32956 1046 0 0 25 0 1 0 899513261 272723968 63232 4294967295 134512640 134716908 3221224576 3221222500 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66583 63232 1111 63 0 66520 0
vsize: 266332
[startup+350.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 216052 0 0 0 33923 1079 0 0 25 0 1 0 899513261 280580096 65144 4294967295 134512640 134716908 3221224576 3221221076 1074846266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 68501 65144 1111 63 0 68438 0
vsize: 274004
[startup+360.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 222931 0 0 0 34895 1108 0 0 25 0 1 0 899513261 287010816 66771 4294967295 134512640 134716908 3221224576 3221220672 1074879331 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70071 66771 1111 63 0 70008 0
vsize: 280284
[startup+370.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 230093 0 0 0 35867 1136 0 0 25 0 1 0 899513261 293261312 68381 4294967295 134512640 134716908 3221224576 3221220636 1074860052 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71597 68381 1111 63 0 71534 0
vsize: 286388
[startup+380.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 236793 0 0 0 36839 1164 0 0 25 0 1 0 899513261 298467328 69760 4294967295 134512640 134716908 3221224576 3221222224 1075821198 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 72868 69760 1111 63 0 72805 0
vsize: 291472
[startup+390.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 243489 0 0 0 37810 1193 0 0 25 0 1 0 899513261 303726592 71125 4294967295 134512640 134716908 3221224576 3221222500 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 74152 71125 1111 63 0 74089 0
vsize: 296608
[startup+400.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 250254 0 0 0 38779 1225 0 0 25 0 1 0 899513261 309739520 72591 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75620 72592 1111 63 0 75557 0
vsize: 302480
[startup+410.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 254648 0 0 0 39761 1243 0 0 25 0 1 0 899513261 313376768 73555 4294967295 134512640 134716908 3221224576 3221222464 1074050966 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 76508 73555 1111 63 0 76445 0
vsize: 306032
[startup+420.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 261287 0 0 0 40733 1271 0 0 25 0 1 0 899513261 318488576 74826 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77756 74826 1111 63 0 77693 0
vsize: 311024
[startup+430.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 268280 0 0 0 41706 1298 0 0 25 0 1 0 899513261 324100096 76217 4294967295 134512640 134716908 3221224576 3221220816 1075115704 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79126 76217 1111 63 0 79063 0
vsize: 316504
[startup+440.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 280465 0 0 0 42669 1336 0 0 25 0 1 0 899513261 350478336 78861 4294967295 134512640 134716908 3221224576 3221223168 134539362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85566 78861 1111 63 0 85503 0
vsize: 342264
[startup+450.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 287711 0 0 0 43639 1365 0 0 25 0 1 0 899513261 357588992 80384 4294967295 134512640 134716908 3221224576 3221220608 1074788601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 87302 80384 1111 63 0 87239 0
vsize: 349208
[startup+460.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 294607 0 0 0 44612 1393 0 0 25 0 1 0 899513261 363728896 81876 4294967295 134512640 134716908 3221224576 3221222536 1074138309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88801 81876 1111 63 0 88738 0
vsize: 355204
[startup+470.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 301809 0 0 0 45583 1422 0 0 25 0 1 0 899513261 370708480 83366 4294967295 134512640 134716908 3221224576 3221221232 1075968314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 90505 83366 1111 63 0 90442 0
vsize: 362020
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 308467 0 0 0 46558 1448 0 0 25 0 1 0 899513261 376492032 84770 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91917 84770 1111 63 0 91854 0
vsize: 367668
[startup+490.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 315974 0 0 0 47530 1476 0 0 25 0 1 0 899513261 384249856 86362 4294967295 134512640 134716908 3221224576 3221220912 1075114279 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93811 86362 1111 63 0 93748 0
vsize: 375244
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 322872 0 0 0 48502 1504 0 0 25 0 1 0 899513261 389660672 87765 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 95132 87765 1111 63 0 95069 0
vsize: 380528
[startup+510.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 329543 0 0 0 49472 1534 0 0 25 0 1 0 899513261 395075584 89170 4294967295 134512640 134716908 3221224576 3221223472 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96454 89170 1111 63 0 96391 0
vsize: 385816
[startup+520.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 335966 0 0 0 50446 1560 0 0 25 0 1 0 899513261 400855040 90517 4294967295 134512640 134716908 3221224576 3221220720 1074971189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 97865 90517 1111 63 0 97802 0
vsize: 391460
[startup+530.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 342682 0 0 0 51417 1590 0 0 25 0 1 0 899513261 405893120 91856 4294967295 134512640 134716908 3221224576 3221223024 1073990306 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99095 91856 1111 63 0 99032 0
vsize: 396380
[startup+540.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 349943 0 0 0 52388 1618 0 0 25 0 1 0 899513261 412405760 93289 4294967295 134512640 134716908 3221224576 3221223448 134536900 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 100685 93289 1111 63 0 100622 0
vsize: 402740
[startup+550.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 356858 0 0 0 53358 1648 0 0 25 0 1 0 899513261 418639872 94746 4294967295 134512640 134716908 3221224576 3221223296 134622855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 102207 94746 1111 63 0 102144 0
vsize: 408828
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 366368 0 0 0 54327 1680 0 0 25 0 1 0 899513261 424607744 96294 4294967295 134512640 134716908 3221224576 3221222624 1074140701 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103664 96294 1111 63 0 103601 0
vsize: 414656
[startup+570.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 377191 0 0 0 55288 1719 0 0 25 0 1 0 899513261 431140864 97858 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105259 97858 1111 63 0 105196 0
vsize: 421036
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 392119 0 0 0 56242 1765 0 0 25 0 1 0 899513261 436609024 99248 4294967295 134512640 134716908 3221224576 3221222908 1074152825 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 106594 99248 1111 63 0 106531 0
vsize: 426376
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 407227 0 0 0 57194 1813 0 0 25 0 1 0 899513261 442351616 100719 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107976 100717 1111 63 0 107913 0
vsize: 431984
[startup+600.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 422731 0 0 0 58147 1861 0 0 25 0 1 0 899513261 447954944 102184 4294967295 134512640 134716908 3221224576 3221223464 134621585 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109364 102184 1111 63 0 109301 0
vsize: 437456
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 438147 0 0 0 59097 1911 0 0 25 0 1 0 899513261 453644288 103632 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110753 103632 1111 63 0 110690 0
vsize: 443012
[startup+620.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 453164 0 0 0 60052 1956 0 0 25 0 1 0 899513261 459415552 105066 4294967295 134512640 134716908 3221224576 3221221012 1075132801 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 112162 105066 1111 63 0 112099 0
vsize: 448648
[startup+630.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 468684 0 0 0 61007 2001 0 0 25 0 1 0 899513261 465989632 106609 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113767 106609 1111 63 0 113704 0
vsize: 455068
[startup+640.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 484877 0 0 0 61954 2055 0 0 25 0 1 0 899513261 471908352 108145 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 115212 108145 1111 63 0 115149 0
vsize: 460848
[startup+650.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 499419 0 0 0 62910 2099 0 0 25 0 1 0 899513261 477032448 109412 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116463 109414 1111 63 0 116400 0
vsize: 465852
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 514129 0 0 0 63866 2142 0 0 25 0 1 0 899513261 482660352 110788 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 117837 110788 1111 63 0 117774 0
vsize: 471348
[startup+670.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 521564 0 0 0 64842 2166 0 0 25 0 1 0 899513261 485527552 111502 4294967295 134512640 134716908 3221224576 3221221152 1076043606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118537 111502 1111 63 0 118474 0
vsize: 474148
[startup+680.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 536363 0 0 0 65799 2210 0 0 25 0 1 0 899513261 490446848 112752 4294967295 134512640 134716908 3221224576 3221220784 1074815513 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119738 112752 1111 63 0 119675 0
vsize: 478952
[startup+690.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 551544 0 0 0 66754 2255 0 0 25 0 1 0 899513261 495693824 114074 4294967295 134512640 134716908 3221224576 3221221468 1077387418 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 121019 114075 1111 63 0 120956 0
vsize: 484076
[startup+700.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 565913 0 0 0 67711 2298 0 0 25 0 1 0 899513261 500535296 115296 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122201 115296 1111 63 0 122138 0
vsize: 488804
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 581113 0 0 0 68666 2344 0 0 25 0 1 0 899513261 505835520 116675 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 123495 116675 1111 63 0 123432 0
vsize: 493980
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 595974 0 0 0 69616 2393 0 0 25 0 1 0 899513261 511787008 118120 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124948 118120 1111 63 0 124885 0
vsize: 499792
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 611105 0 0 0 70573 2437 0 0 25 0 1 0 899513261 517431296 119588 4294967295 134512640 134716908 3221224576 3221221128 1075661489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 126326 119588 1111 63 0 126263 0
vsize: 505304
[startup+740.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 626151 0 0 0 71532 2478 0 0 25 0 1 0 899513261 522473472 120952 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127590 120954 1111 63 0 127527 0
vsize: 510228
[startup+750.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 641326 0 0 0 72489 2521 0 0 25 0 1 0 899513261 527863808 122338 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 128873 122338 1111 63 0 128810 0
vsize: 515492
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 656025 0 0 0 73441 2569 0 0 25 0 1 0 899513261 533303296 123686 4294967295 134512640 134716908 3221224576 3221220540 1074860637 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 130201 123686 1111 63 0 130138 0
vsize: 520804
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 670830 0 0 0 74393 2618 0 0 25 0 1 0 899513261 538050560 124961 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131360 124961 1111 63 0 131297 0
vsize: 525440
[startup+780.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 686231 0 0 0 75349 2662 0 0 25 0 1 0 899513261 544014336 126439 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 132816 126439 1111 63 0 132753 0
vsize: 531264
[startup+790.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 701238 0 0 0 76302 2709 0 0 25 0 1 0 899513261 551292928 128209 4294967295 134512640 134716908 3221224576 3221223224 134523851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 134593 128209 1111 63 0 134530 0
vsize: 538372
[startup+800.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 715930 0 0 0 77260 2751 0 0 25 0 1 0 899513261 556318720 129422 4294967295 134512640 134716908 3221224576 3221221076 1074846167 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 135820 129422 1111 63 0 135757 0
vsize: 543280
[startup+810.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 731020 0 0 0 78215 2796 0 0 25 0 1 0 899513261 562069504 130976 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 137224 130976 1111 63 0 137161 0
vsize: 548896
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 745651 0 0 0 79171 2840 0 0 25 0 1 0 899513261 567939072 132274 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 138591 132271 1111 63 0 138528 0
vsize: 554628
[startup+830.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 761086 0 0 0 80125 2887 0 0 25 0 1 0 899513261 574062592 133854 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 140152 133857 1111 63 0 140089 0
vsize: 560608
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 775914 0 0 0 81081 2931 0 0 25 0 1 0 899513261 578879488 135130 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 141361 135131 1111 63 0 141298 0
vsize: 565312
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 791304 0 0 0 82035 2977 0 0 25 0 1 0 899513261 584622080 136578 4294967295 134512640 134716908 3221224576 3221220804 1075115051 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142730 136578 1111 63 0 142667 0
vsize: 570920
[startup+860.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 806349 0 0 0 82988 3024 0 0 25 0 1 0 899513261 590008320 137944 4294967295 134512640 134716908 3221224576 3221221096 1074845845 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144045 137944 1111 63 0 143982 0
vsize: 576180
[startup+870.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 821330 0 0 0 83943 3069 0 0 25 0 1 0 899513261 595398656 139415 4294967295 134512640 134716908 3221224576 3221223168 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 145361 139415 1111 63 0 145298 0
vsize: 581444
[startup+880.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 835331 0 0 0 84904 3109 0 0 25 0 1 0 899513261 600248320 140520 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 146545 140524 1111 63 0 146482 0
vsize: 586180
[startup+890.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 849826 0 0 0 85859 3154 0 0 25 0 1 0 899513261 605040640 141742 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147715 141742 1111 63 0 147652 0
vsize: 590860
[startup+900.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 864572 0 0 0 86818 3195 0 0 25 0 1 0 899513261 609722368 142977 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 148858 142977 1111 63 0 148795 0
vsize: 595432
[startup+910.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 879361 0 0 0 87772 3241 0 0 25 0 1 0 899513261 615538688 144299 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 150278 144299 1111 63 0 150215 0
vsize: 601112
[startup+920.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 894290 0 0 0 88728 3285 0 0 25 0 1 0 899513261 620855296 145651 4294967295 134512640 134716908 3221224576 3221223056 134674994 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151576 145651 1111 63 0 151513 0
vsize: 606304
[startup+930.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 909130 0 0 0 89685 3328 0 0 25 0 1 0 899513261 626130944 146933 4294967295 134512640 134716908 3221224576 3221221152 1076049546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 152864 146933 1111 63 0 152801 0
vsize: 611456
[startup+940.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 923570 0 0 0 90641 3372 0 0 25 0 1 0 899513261 631111680 148228 4294967295 134512640 134716908 3221224576 3221220672 1074790139 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154080 148228 1111 63 0 154017 0
vsize: 616320
[startup+950.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 938551 0 0 0 91594 3420 0 0 25 0 1 0 899513261 636321792 149559 4294967295 134512640 134716908 3221224576 3221221152 1076047553 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 155352 149559 1111 63 0 155289 0
vsize: 621408
[startup+960.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 956977 0 0 0 92540 3474 0 0 25 0 1 0 899513261 641470464 150944 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 156609 150944 1111 63 0 156546 0
vsize: 626436
[startup+970.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 982412 0 0 0 93476 3538 0 0 25 0 1 0 899513261 688345088 154824 4294967295 134512640 134716908 3221224576 3221223472 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168053 154824 1111 63 0 167990 0
vsize: 672212
[startup+980.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 997029 0 0 0 94436 3578 0 0 25 0 1 0 899513261 692191232 155748 4294967295 134512640 134716908 3221224576 3221220720 1074969383 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 168992 155748 1111 63 0 168929 0
vsize: 675968
[startup+990.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1017776 0 0 0 95379 3635 0 0 25 0 1 0 899513261 699117568 157361 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170683 157361 1111 63 0 170620 0
vsize: 682732
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1037626 0 0 0 96322 3693 0 0 25 0 1 0 899513261 706023424 158802 4294967295 134512640 134716908 3221224576 3221221084 1076046659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172369 158803 1111 63 0 172306 0
vsize: 689476
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1057240 0 0 0 97265 3750 0 0 25 0 1 0 899513261 710844416 160132 4294967295 134512640 134716908 3221224576 3221222712 1077410285 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 173546 160132 1111 63 0 173483 0
vsize: 694184
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1076768 0 0 0 98216 3799 0 0 25 0 1 0 899513261 715976704 161382 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 174799 161382 1111 63 0 174736 0
vsize: 699196
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1096886 0 0 0 99163 3852 0 0 25 0 1 0 899513261 722485248 162750 4294967295 134512640 134716908 3221224576 3221220672 1074790262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 176388 162750 1111 63 0 176325 0
vsize: 705552
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1116802 0 0 0 100111 3905 0 0 25 0 1 0 899513261 731713536 164273 4294967295 134512640 134716908 3221224576 3221221564 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178641 164278 1111 63 0 178578 0
vsize: 714564
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1137683 0 0 0 101056 3959 0 0 25 0 1 0 899513261 738189312 165781 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 180222 165781 1111 63 0 180159 0
vsize: 720888
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1157891 0 0 0 102003 4012 0 0 25 0 1 0 899513261 745197568 167241 4294967295 134512640 134716908 3221224576 3221220824 1077410152 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 181933 167241 1111 63 0 181870 0
vsize: 727732
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1177797 0 0 0 102948 4067 0 0 25 0 1 0 899513261 750182400 168620 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 183150 168620 1111 63 0 183087 0
vsize: 732600
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1197896 0 0 0 103890 4124 0 0 25 0 1 0 899513261 757362688 170196 4294967295 134512640 134716908 3221224576 3221221920 1074839036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184989 170199 1111 63 0 184926 0
vsize: 739612
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1211547 0 0 0 104852 4163 0 0 25 0 1 0 899513261 762253312 171199 4294967295 134512640 134716908 3221224576 3221223216 134542848 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186097 171199 1111 63 0 186034 0
vsize: 744388
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1220212 0 0 0 105831 4183 0 0 25 0 1 0 899513261 764186624 171710 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 186569 171710 1111 63 0 186506 0
vsize: 746276
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1240230 0 0 0 106774 4240 0 0 25 0 1 0 899513261 769728512 173144 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187922 173144 1111 63 0 187859 0
vsize: 751688
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1260054 0 0 0 107719 4294 0 0 25 0 1 0 899513261 774983680 174512 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189205 174512 1111 63 0 189142 0
vsize: 756820
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1279586 0 0 0 108662 4351 0 0 25 0 1 0 899513261 780464128 175844 4294967295 134512640 134716908 3221224576 3221220992 1075119272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 190543 175844 1111 63 0 190480 0
vsize: 762172
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1299254 0 0 0 109604 4409 0 0 25 0 1 0 899513261 786386944 177382 4294967295 134512640 134716908 3221224576 3221220848 1074961143 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191989 177382 1111 63 0 191926 0
vsize: 767956
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1318256 0 0 0 110550 4463 0 0 25 0 1 0 899513261 791175168 178706 4294967295 134512640 134716908 3221224576 3221222840 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 193158 178706 1111 63 0 193095 0
vsize: 772632
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1338083 0 0 0 111491 4521 0 0 25 0 1 0 899513261 797626368 180030 4294967295 134512640 134716908 3221224576 3221220668 1075663518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194733 180030 1111 63 0 194670 0
vsize: 778932
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1357341 0 0 0 112437 4574 0 0 25 0 1 0 899513261 802308096 181298 4294967295 134512640 134716908 3221224576 3221223108 1077374071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195876 181298 1111 63 0 195813 0
vsize: 783504
[startup+1175.28 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 15915
Raw data (stat): 15915 (bsolo_lpr-v2) R 15914 7266 7265 0 -1 0 1357341 0 0 0 112437 4574 0 0 25 0 1 0 899513261 802308096 181298 4294967295 134512640 134716908 3221224576 3221223108 1077374071 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 195876 181298 1111 63 0 195813 0
vsize: 0

Child status: 10
Real time (s): 1175.28
CPU time (s): 1175.37
CPU user time (s): 1129.02
CPU system time (s): 46.353
CPU usage (%): 100.008
Max. virtual memory (Kb): 783504
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	-7299
#### END VERIFIER DATA ####