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/submitted/een/normalized-stein45.opb
MD5SUM34647f6a75058de4a92f0ff94f3c9005
Bench Categoryoptimization, small integers (OPTSMALLINT)
Has Objective FunctionYES
SatisfiableYES
(Un)Satisfiability was provedYES
Best value of the objective function 30
Optimality of the best value was proved NO
Number of terms in the objective function 45
Biggest coefficient in the objective function 1
Number of bits for the biggest coefficient in the objective function 1
Sum of the numbers in the objective function 45
Number of bits of the sum of numbers in the objective function 6
Biggest number in a constraint 22
Number of bits of the biggest number in a constraint 5
Biggest sum of numbers in a constraint 67
Number of bits of the biggest sum of numbers7
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.01484
Number of variables45
Total number of constraints331
Number of constraints which are clauses330
Number of constraints which are cardinality constraints (but not clauses)1
Number of constraints which are nor clauses,nor cardinality constraints0
Minimum length of a constraint2
Maximum length of a constraint45

Trace number 40967

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-09 03:32:53 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29015 boxname=wulflinc2 idbench=401 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  34647f6a75058de4a92f0ff94f3c9005  /oldhome/oroussel/tmp/wulflinc2/normalized-stein45.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-stein45.opb
IDLAUNCH: 29015
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        881244 kB
Buffers:         23088 kB
Cached:         105856 kB
SwapCached:       4472 kB
Active:          25096 kB
Inactive:       108988 kB
HighTotal:      131008 kB
HighFree:        25956 kB
LowTotal:       903652 kB
LowFree:        855288 kB
SwapTotal:     2097136 kB
SwapFree:      2091616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4988 kB
Slab:            13628 kB
Committed_AS:    71788 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 03:52:30 (client local time) WITH STATUS 10 IN 1176.61 SECONDS
stats: 29015 0 1176.61 10
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 45 variables and 331 constraints.
c After prepocess the problem consists of 45 variables and 331 constraints.
c preprocess terminated 0.083 s
c Initial Lower Bound: 22
c Lower Bound Elapsed time: 0.059
c Not use computed LB before first solution.
c NEW SOLUTION FOUND: 39 @ 0.144
c NEW SOLUTION FOUND: 38 @ 0.147
c NEW SOLUTION FOUND: 37 @ 0.15
c NEW SOLUTION FOUND: 36 @ 0.159
c NEW SOLUTION FOUND: 35 @ 0.162
c NEW SOLUTION FOUND: 34 @ 0.174
c NEW SOLUTION FOUND: 33 @ 0.258
c NEW SOLUTION FOUND: 32 @ 0.354
c NEW SOLUTION FOUND: 31 @ 1.473
c NEW SOLUTION FOUND: 30 @ 182.853
s SATISFIABLE
v x0 -x1 x2 x3 -x4 x5 x6 -x7 x8 -x9 -x10 x11 x12 x13 x14 x15 x16 x17 x18 x19 x20 x21 x22 x23 -x24 x25 x26 x27 -x28 -x29 -x30 -x31 x32 -x33 x34 -x35 x36 x37 -x38 x39 x40 -x41 -x42 x43 x44 
c Exit Code: 10
c Total time: 1176.58 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.91 0.95 0.90 2/54 19157
Raw data (stat): 19157 (runsolver) R 19156 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 907066516 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.0002 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 12983 0 0 0 960 37 0 0 25 0 1 0 907066516 6565888 916 4294967295 134512640 134716908 3221224576 3221221680 1074138623 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1603 916 1111 63 0 1540 0
vsize: 6412
[startup+20.0003 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 27364 0 0 0 1923 75 0 0 25 0 1 0 907066516 7372800 1115 4294967295 134512640 134716908 3221224576 3221221768 1074138265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 1800 1115 1111 63 0 1737 0
vsize: 7200
[startup+30.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 42057 0 0 0 2886 112 0 0 25 0 1 0 907066516 8294400 1287 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2025 1287 1111 63 0 1962 0
vsize: 8100
[startup+40.0003 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 57797 0 0 0 3847 151 0 0 25 0 1 0 907066516 9023488 1461 4294967295 134512640 134716908 3221224576 3221220620 1074860372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2203 1461 1111 63 0 2140 0
vsize: 8812
[startup+50.0014 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 71680 0 0 0 4812 186 0 0 25 0 1 0 907066516 9224192 1568 4294967295 134512640 134716908 3221224576 3221222792 1074138150 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2252 1568 1111 63 0 2189 0
vsize: 9008
[startup+60.0016 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 87040 0 0 0 5773 225 0 0 25 0 1 0 907066516 10285056 1748 4294967295 134512640 134716908 3221224576 3221222144 1075972440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2511 1754 1111 63 0 2448 0
vsize: 10044
[startup+70.0015 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 100599 0 0 0 6738 260 0 0 25 0 1 0 907066516 10407936 1857 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2541 1857 1111 63 0 2478 0
vsize: 10164
[startup+80.0023 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 114345 0 0 0 7705 294 0 0 25 0 1 0 907066516 11325440 2021 4294967295 134512640 134716908 3221224576 3221221344 1076083615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2765 2021 1111 63 0 2702 0
vsize: 11060
[startup+90.0016 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 126828 0 0 0 8672 326 0 0 25 0 1 0 907066516 11403264 2102 4294967295 134512640 134716908 3221224576 3221222360 1077410163 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2784 2102 1111 63 0 2721 0
vsize: 11136
[startup+100.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 141681 0 0 0 9633 366 0 0 25 0 1 0 907066516 12152832 2236 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2967 2236 1111 63 0 2904 0
vsize: 11868
[startup+110.001 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 157198 0 0 0 10594 405 0 0 25 0 1 0 907066516 13238272 2489 4294967295 134512640 134716908 3221224576 3221220804 1075114940 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3232 2489 1111 63 0 3169 0
vsize: 12928
[startup+120.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 171683 0 0 0 11561 438 0 0 25 0 1 0 907066516 13221888 2498 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3228 2498 1111 63 0 3165 0
vsize: 12912
[startup+130.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 186924 0 0 0 12522 477 0 0 25 0 1 0 907066516 13418496 2594 4294967295 134512640 134716908 3221224576 3221223104 134652466 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3276 2594 1111 63 0 3213 0
vsize: 13104
[startup+140 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 201729 0 0 0 13488 512 0 0 25 0 1 0 907066516 13910016 2714 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3396 2714 1111 63 0 3333 0
vsize: 13584
[startup+150.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 215133 0 0 0 14455 544 0 0 25 0 1 0 907066516 14532608 2807 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3548 2807 1111 63 0 3485 0
vsize: 14192
[startup+160.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 229446 0 0 0 15418 581 0 0 25 0 1 0 907066516 14987264 2976 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3659 2976 1111 63 0 3596 0
vsize: 14636
[startup+170 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 244350 0 0 0 16383 616 0 0 25 0 1 0 907066516 15122432 3013 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3692 3013 1111 63 0 3629 0
vsize: 14768
[startup+180 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 259121 0 0 0 17350 650 0 0 25 0 1 0 907066516 16125952 3129 4294967295 134512640 134716908 3221224576 3221221232 1075966765 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3937 3129 1111 63 0 3874 0
vsize: 15748
[startup+190 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 271795 0 0 0 18320 679 0 0 25 0 1 0 907066516 16343040 3313 4294967295 134512640 134716908 3221224576 3221222576 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3990 3313 1111 63 0 3927 0
vsize: 15960
[startup+200.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 285288 0 0 0 19286 714 0 0 25 0 1 0 907066516 16138240 3265 4294967295 134512640 134716908 3221224576 3221222460 1074057894 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3940 3265 1111 63 0 3877 0
vsize: 15760
[startup+210 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 298511 0 0 0 20255 745 0 0 25 0 1 0 907066516 16441344 3339 4294967295 134512640 134716908 3221224576 3221223236 134652240 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4014 3339 1111 63 0 3951 0
vsize: 16056
[startup+220 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 311412 0 0 0 21219 781 0 0 25 0 1 0 907066516 16588800 3375 4294967295 134512640 134716908 3221224576 3221222800 1074146354 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4050 3375 1111 63 0 3987 0
vsize: 16200
[startup+230 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 325625 0 0 0 22184 817 0 0 25 0 1 0 907066516 17612800 3507 4294967295 134512640 134716908 3221224576 3221222536 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3513 1111 63 0 4237 0
vsize: 17200
[startup+239.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 340227 0 0 0 23149 852 0 0 25 0 1 0 907066516 17072128 3493 4294967295 134512640 134716908 3221224576 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4168 3493 1111 63 0 4105 0
vsize: 16672
[startup+249.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 352732 0 0 0 24118 882 0 0 25 0 1 0 907066516 19410944 4009 4294967295 134512640 134716908 3221224576 3221221120 1075088573 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4739 4009 1111 63 0 4676 0
vsize: 18956
[startup+260 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 365351 0 0 0 25084 917 0 0 25 0 1 0 907066516 17612800 3625 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4300 3625 1111 63 0 4237 0
vsize: 17200
[startup+269.999 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 378693 0 0 0 26052 949 0 0 25 0 1 0 907066516 17940480 3705 4294967295 134512640 134716908 3221224576 3221222304 1075828232 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4380 3705 1111 63 0 4317 0
vsize: 17520
[startup+280 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 391562 0 0 0 27018 983 0 0 25 0 1 0 907066516 18063360 3732 4294967295 134512640 134716908 3221224576 3221223040 1074121080 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4410 3732 1111 63 0 4347 0
vsize: 17640
[startup+290.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 403582 0 0 0 27990 1011 0 0 25 0 1 0 907066516 18939904 3920 4294967295 134512640 134716908 3221224576 3221222560 1075463363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4624 3920 1111 63 0 4561 0
vsize: 18496
[startup+300.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 417808 0 0 0 28954 1048 0 0 25 0 1 0 907066516 18563072 3828 4294967295 134512640 134716908 3221224576 3221222912 1074153158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4532 3828 1111 63 0 4469 0
vsize: 18128
[startup+310.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 429582 0 0 0 29924 1078 0 0 25 0 1 0 907066516 18796544 3914 4294967295 134512640 134716908 3221224576 3221223184 134652370 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4589 3914 1111 63 0 4526 0
vsize: 18356
[startup+320.001 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 441586 0 0 0 30892 1110 0 0 25 0 1 0 907066516 19189760 3979 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4685 3979 1111 63 0 4622 0
vsize: 18740
[startup+330.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 454369 0 0 0 31859 1143 0 0 25 0 1 0 907066516 19304448 4008 4294967295 134512640 134716908 3221224576 3221222928 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4713 4008 1111 63 0 4650 0
vsize: 18852
[startup+340.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 467080 0 0 0 32828 1175 0 0 25 0 1 0 907066516 19492864 4084 4294967295 134512640 134716908 3221224576 3221221696 1074866635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4759 4084 1111 63 0 4696 0
vsize: 19036
[startup+350.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 480349 0 0 0 33793 1209 0 0 25 0 1 0 907066516 20832256 4158 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5086 4162 1111 63 0 5023 0
vsize: 20344
[startup+360.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 493171 0 0 0 34763 1240 0 0 25 0 1 0 907066516 19648512 4122 4294967295 134512640 134716908 3221224576 3221222792 1077404705 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4797 4122 1111 63 0 4734 0
vsize: 19188
[startup+370.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 506281 0 0 0 35730 1273 0 0 25 0 1 0 907066516 19828736 4166 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4841 4166 1111 63 0 4778 0
vsize: 19364
[startup+380.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 518553 0 0 0 36699 1305 0 0 25 0 1 0 907066516 20045824 4219 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4894 4219 1111 63 0 4831 0
vsize: 19576
[startup+390.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 532429 0 0 0 37663 1341 0 0 25 0 1 0 907066516 20287488 4278 4294967295 134512640 134716908 3221224576 3221222784 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4953 4278 1111 63 0 4890 0
vsize: 19812
[startup+400.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 546185 0 0 0 38629 1374 0 0 25 0 1 0 907066516 20652032 4354 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5042 4354 1111 63 0 4979 0
vsize: 20168
[startup+410.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 556426 0 0 0 39605 1399 0 0 25 0 1 0 907066516 22220800 4490 4294967295 134512640 134716908 3221224576 3221221604 1075964255 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5097 4419 1111 63 0 5034 0
vsize: 21700
[startup+420.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 569977 0 0 0 40574 1430 0 0 25 0 1 0 907066516 23052288 4813 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5628 4813 1111 63 0 5565 0
vsize: 22512
[startup+430.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 584332 0 0 0 41538 1466 0 0 25 0 1 0 907066516 22564864 4559 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5509 4565 1111 63 0 5446 0
vsize: 22036
[startup+440.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 595990 0 0 0 42509 1496 0 0 25 0 1 0 907066516 21569536 4563 4294967295 134512640 134716908 3221224576 3221222736 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5266 4563 1111 63 0 5203 0
vsize: 21064
[startup+450.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 610613 0 0 0 43470 1535 0 0 25 0 1 0 907066516 22958080 4649 4294967295 134512640 134716908 3221224576 3221221388 1074788944 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5496 4625 1111 63 0 5433 0
vsize: 22420
[startup+460.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 622989 0 0 0 44439 1566 0 0 25 0 1 0 907066516 23572480 4879 4294967295 134512640 134716908 3221224576 3221221620 1074846214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5755 4879 1111 63 0 5692 0
vsize: 23020
[startup+470.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 636528 0 0 0 45404 1601 0 0 25 0 1 0 907066516 21925888 4678 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5353 4678 1111 63 0 5290 0
vsize: 21412
[startup+480.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 650937 0 0 0 46366 1639 0 0 25 0 1 0 907066516 22069248 4713 4294967295 134512640 134716908 3221224576 3221222600 1077380286 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5388 4713 1111 63 0 5325 0
vsize: 21552
[startup+490.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 663963 0 0 0 47332 1673 0 0 25 0 1 0 907066516 22368256 4786 4294967295 134512640 134716908 3221224576 3221223252 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5461 4786 1111 63 0 5398 0
vsize: 21844
[startup+500.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 673024 0 0 0 48311 1696 0 0 25 0 1 0 907066516 22507520 4820 4294967295 134512640 134716908 3221224576 3221222320 1075645388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5495 4820 1111 63 0 5432 0
vsize: 21980
[startup+510.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 685464 0 0 0 49280 1727 0 0 25 0 1 0 907066516 23261184 4954 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5679 4954 1111 63 0 5616 0
vsize: 22716
[startup+520.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 699357 0 0 0 50247 1760 0 0 25 0 1 0 907066516 22708224 4869 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5544 4869 1111 63 0 5481 0
vsize: 22176
[startup+530.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 712018 0 0 0 51217 1790 0 0 25 0 1 0 907066516 24563712 5089 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5997 5089 1111 63 0 5934 0
vsize: 23988
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 725196 0 0 0 52183 1824 0 0 25 0 1 0 907066516 24862720 5249 4294967295 134512640 134716908 3221224576 3221220688 1075895661 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6070 5249 1111 63 0 6007 0
vsize: 24280
[startup+550.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 738232 0 0 0 53151 1857 0 0 25 0 1 0 907066516 25554944 5353 4294967295 134512640 134716908 3221224576 3221221232 1075967404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6239 5354 1111 63 0 6176 0
vsize: 24956
[startup+560.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 752632 0 0 0 54116 1892 0 0 25 0 1 0 907066516 23543808 5073 4294967295 134512640 134716908 3221224576 3221222864 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5748 5073 1111 63 0 5685 0
vsize: 22992
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 765022 0 0 0 55084 1924 0 0 25 0 1 0 907066516 23937024 5165 4294967295 134512640 134716908 3221224576 3221222576 1074916744 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5844 5165 1111 63 0 5781 0
vsize: 23376
[startup+580.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 778556 0 0 0 56050 1958 0 0 25 0 1 0 907066516 24576000 5291 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6000 5291 1111 63 0 5937 0
vsize: 24000
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 788271 0 0 0 57025 1983 0 0 25 0 1 0 907066516 24276992 5252 4294967295 134512640 134716908 3221224576 3221222912 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5927 5252 1111 63 0 5864 0
vsize: 23708
[startup+600.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 799486 0 0 0 57998 2011 0 0 25 0 1 0 907066516 24506368 5277 4294967295 134512640 134716908 3221224576 3221222832 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5983 5277 1111 63 0 5920 0
vsize: 23932
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 810931 0 0 0 58970 2039 0 0 25 0 1 0 907066516 26038272 5382 4294967295 134512640 134716908 3221224576 3221221616 1075971395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6357 5388 1111 63 0 6294 0
vsize: 25428
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 823520 0 0 0 59940 2069 0 0 25 0 1 0 907066516 25001984 5397 4294967295 134512640 134716908 3221224576 3221222780 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6104 5397 1111 63 0 6041 0
vsize: 24416
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 835463 0 0 0 60911 2098 0 0 25 0 1 0 907066516 26034176 5510 4294967295 134512640 134716908 3221224576 3221222204 1075112132 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6356 5510 1111 63 0 6293 0
vsize: 25424
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 847729 0 0 0 61880 2129 0 0 25 0 1 0 907066516 25247744 5489 4294967295 134512640 134716908 3221224576 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6164 5489 1111 63 0 6101 0
vsize: 24656
[startup+650.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 859189 0 0 0 62852 2157 0 0 25 0 1 0 907066516 26894336 5651 4294967295 134512640 134716908 3221224576 3221220804 1075115039 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6566 5651 1111 63 0 6503 0
vsize: 26264
[startup+660.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 872424 0 0 0 63818 2192 0 0 25 0 1 0 907066516 27127808 5654 4294967295 134512640 134716908 3221224576 3221220668 1075663503 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6623 5654 1111 63 0 6560 0
vsize: 26492
[startup+670.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 886183 0 0 0 64786 2224 0 0 25 0 1 0 907066516 26562560 5614 4294967295 134512640 134716908 3221224576 3221221616 1075971414 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6485 5621 1111 63 0 6422 0
vsize: 25940
[startup+680.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 897470 0 0 0 65756 2254 0 0 25 0 1 0 907066516 26337280 5755 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6430 5755 1111 63 0 6367 0
vsize: 25720
[startup+690.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 905142 0 0 0 66737 2273 0 0 25 0 1 0 907066516 26038272 5670 4294967295 134512640 134716908 3221224576 3221222576 1074917162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6357 5670 1111 63 0 6294 0
vsize: 25428
[startup+700.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 920553 0 0 0 67699 2311 0 0 25 0 1 0 907066516 26304512 5737 4294967295 134512640 134716908 3221224576 3221222576 1074916750 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6422 5737 1111 63 0 6359 0
vsize: 25688
[startup+710.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 933780 0 0 0 68666 2345 0 0 25 0 1 0 907066516 26546176 5806 4294967295 134512640 134716908 3221224576 3221223040 1074121067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6481 5806 1111 63 0 6418 0
vsize: 25924
[startup+720.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 946835 0 0 0 69636 2375 0 0 25 0 1 0 907066516 26791936 5859 4294967295 134512640 134716908 3221224576 3221222928 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6541 5859 1111 63 0 6478 0
vsize: 26164
[startup+730.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 959089 0 0 0 70604 2408 0 0 25 0 1 0 907066516 27860992 5900 4294967295 134512640 134716908 3221224576 3221221640 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6802 5900 1111 63 0 6739 0
vsize: 27208
[startup+740.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 974666 0 0 0 71565 2447 0 0 25 0 1 0 907066516 26980352 5912 4294967295 134512640 134716908 3221224576 3221222832 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6587 5912 1111 63 0 6524 0
vsize: 26348
[startup+750.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 986733 0 0 0 72535 2476 0 0 25 0 1 0 907066516 28856320 6183 4294967295 134512640 134716908 3221224576 3221221344 1076083429 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7045 6183 1111 63 0 6982 0
vsize: 28180
[startup+760.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1001046 0 0 0 73499 2513 0 0 25 0 1 0 907066516 27561984 6054 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6729 6054 1111 63 0 6666 0
vsize: 26916
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1013688 0 0 0 74467 2545 0 0 25 0 1 0 907066516 28323840 6201 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6915 6201 1111 63 0 6852 0
vsize: 27660
[startup+780.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1025035 0 0 0 75439 2574 0 0 25 0 1 0 907066516 27787264 6109 4294967295 134512640 134716908 3221224576 3221222960 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6784 6109 1111 63 0 6721 0
vsize: 27136
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1037736 0 0 0 76405 2608 0 0 25 0 1 0 907066516 28200960 6179 4294967295 134512640 134716908 3221224576 3221222864 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6885 6179 1111 63 0 6822 0
vsize: 27540
[startup+800.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1051050 0 0 0 77370 2642 0 0 25 0 1 0 907066516 28303360 6235 4294967295 134512640 134716908 3221224576 3221222224 1074247421 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6910 6235 1111 63 0 6847 0
vsize: 27640
[startup+810.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1060441 0 0 0 78346 2667 0 0 25 0 1 0 907066516 28803072 6353 4294967295 134512640 134716908 3221224576 3221222512 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7032 6353 1111 63 0 6969 0
vsize: 28128
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1072296 0 0 0 79320 2693 0 0 25 0 1 0 907066516 28434432 6267 4294967295 134512640 134716908 3221224576 3221222880 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6942 6267 1111 63 0 6879 0
vsize: 27768
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1085980 0 0 0 80288 2725 0 0 25 0 1 0 907066516 28733440 6340 4294967295 134512640 134716908 3221224576 3221223224 134543568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7015 6340 1111 63 0 6952 0
vsize: 28060
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1099175 0 0 0 81255 2758 0 0 25 0 1 0 907066516 31535104 6735 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7699 6735 1111 63 0 7636 0
vsize: 30796
[startup+850.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1111957 0 0 0 82226 2787 0 0 25 0 1 0 907066516 28995584 6404 4294967295 134512640 134716908 3221224576 3221223032 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7079 6404 1111 63 0 7016 0
vsize: 28316
[startup+860.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1125475 0 0 0 83195 2819 0 0 25 0 1 0 907066516 29614080 6531 4294967295 134512640 134716908 3221224576 3221222688 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7205 6527 1111 63 0 7142 0
vsize: 28920
[startup+870.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1136793 0 0 0 84167 2847 0 0 25 0 1 0 907066516 30756864 6610 4294967295 134512640 134716908 3221224576 3221221108 1075863609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7509 6610 1111 63 0 7446 0
vsize: 30036
[startup+880.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1148990 0 0 0 85137 2877 0 0 25 0 1 0 907066516 29728768 6583 4294967295 134512640 134716908 3221224576 3221222320 1075640218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7258 6583 1111 63 0 7195 0
vsize: 29032
[startup+890.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1163119 0 0 0 86102 2912 0 0 25 0 1 0 907066516 30904320 6639 4294967295 134512640 134716908 3221224576 3221222204 1074619284 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7545 6639 1111 63 0 7482 0
vsize: 30180
[startup+900.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1173420 0 0 0 87079 2935 0 0 25 0 1 0 907066516 31752192 6881 4294967295 134512640 134716908 3221224576 3221221232 1075969188 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7752 6881 1111 63 0 7689 0
vsize: 31008
[startup+910.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1186333 0 0 0 88049 2965 0 0 25 0 1 0 907066516 30281728 6718 4294967295 134512640 134716908 3221224576 3221222812 1077404755 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7393 6718 1111 63 0 7330 0
vsize: 29572
[startup+920.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1202633 0 0 0 89009 3006 0 0 25 0 1 0 907066516 32260096 6835 4294967295 134512640 134716908 3221224576 3221221168 1074887946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7876 6835 1111 63 0 7813 0
vsize: 31504
[startup+930.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1214751 0 0 0 89981 3034 0 0 25 0 1 0 907066516 31789056 6859 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7761 6872 1111 63 0 7698 0
vsize: 31044
[startup+940.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1227348 0 0 0 90951 3065 0 0 25 0 1 0 907066516 32878592 7023 4294967295 134512640 134716908 3221224576 3221220848 1074960837 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8027 7023 1111 63 0 7964 0
vsize: 32108
[startup+950.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1240997 0 0 0 91919 3097 0 0 25 0 1 0 907066516 31227904 6938 4294967295 134512640 134716908 3221224576 3221222856 1074138277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7624 6938 1111 63 0 7561 0
vsize: 30496
[startup+960.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1254225 0 0 0 92887 3129 0 0 25 0 1 0 907066516 31694848 7034 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7738 7034 1111 63 0 7675 0
vsize: 30952
[startup+970.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1265412 0 0 0 93863 3153 0 0 25 0 1 0 907066516 31801344 7043 4294967295 134512640 134716908 3221224576 3221221768 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7764 7054 1111 63 0 7701 0
vsize: 31056
[startup+980.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1278712 0 0 0 94833 3183 0 0 25 0 1 0 907066516 31633408 7048 4294967295 134512640 134716908 3221224576 3221222912 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7723 7048 1111 63 0 7660 0
vsize: 30892
[startup+990.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1294387 0 0 0 95796 3220 0 0 25 0 1 0 907066516 33546240 7280 4294967295 134512640 134716908 3221224576 3221220736 1075095371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8190 7289 1111 63 0 8127 0
vsize: 32760
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1308664 0 0 0 96763 3254 0 0 25 0 1 0 907066516 34492416 7470 4294967295 134512640 134716908 3221224576 3221220804 1075115043 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8421 7470 1111 63 0 8358 0
vsize: 33684
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1322264 0 0 0 97730 3286 0 0 25 0 1 0 907066516 32129024 7169 4294967295 134512640 134716908 3221224576 3221223176 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7844 7169 1111 63 0 7781 0
vsize: 31376
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1336172 0 0 0 98698 3318 0 0 25 0 1 0 907066516 32555008 7273 4294967295 134512640 134716908 3221224576 3221222880 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7948 7273 1111 63 0 7885 0
vsize: 31792
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1348855 0 0 0 99669 3348 0 0 25 0 1 0 907066516 34721792 7506 4294967295 134512640 134716908 3221224576 3221221648 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8477 7506 1111 63 0 8414 0
vsize: 33908
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1363831 0 0 0 100631 3386 0 0 25 0 1 0 907066516 33116160 7410 4294967295 134512640 134716908 3221224576 3221222784 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8085 7410 1111 63 0 8022 0
vsize: 32340
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1374874 0 0 0 101606 3411 0 0 25 0 1 0 907066516 34824192 7515 4294967295 134512640 134716908 3221224576 3221221520 1074620277 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8502 7515 1111 63 0 8439 0
vsize: 34008
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1386613 0 0 0 102578 3440 0 0 25 0 1 0 907066516 33693696 7551 4294967295 134512640 134716908 3221224576 3221222960 1074153792 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8226 7551 1111 63 0 8163 0
vsize: 32904
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1399004 0 0 0 103550 3468 0 0 25 0 1 0 907066516 33693696 7551 4294967295 134512640 134716908 3221224576 3221223156 134543092 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8226 7551 1111 63 0 8163 0
vsize: 32904
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1410931 0 0 0 104522 3496 0 0 25 0 1 0 907066516 34402304 7702 4294967295 134512640 134716908 3221224576 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8399 7702 1111 63 0 8336 0
vsize: 33596
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1416320 0 0 0 105510 3508 0 0 25 0 1 0 907066516 33992704 7624 4294967295 134512640 134716908 3221224576 3221222928 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8299 7624 1111 63 0 8236 0
vsize: 33196
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1428893 0 0 0 106483 3536 0 0 25 0 1 0 907066516 33931264 7609 4294967295 134512640 134716908 3221224576 3221222600 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8284 7609 1111 63 0 8221 0
vsize: 33136
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1438894 0 0 0 107459 3560 0 0 25 0 1 0 907066516 34185216 7659 4294967295 134512640 134716908 3221224576 3221222576 1074919272 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8346 7659 1111 63 0 8283 0
vsize: 33384
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1450070 0 0 0 108434 3585 0 0 25 0 1 0 907066516 34979840 7856 4294967295 134512640 134716908 3221224576 3221222576 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8540 7856 1111 63 0 8477 0
vsize: 34160
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1461232 0 0 0 109407 3612 0 0 25 0 1 0 907066516 35127296 7860 4294967295 134512640 134716908 3221224576 3221222828 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8576 7860 1111 63 0 8513 0
vsize: 34304
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1472042 0 0 0 110384 3635 0 0 25 0 1 0 907066516 35913728 7868 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8768 7872 1111 63 0 8705 0
vsize: 35072
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1482998 0 0 0 111359 3660 0 0 25 0 1 0 907066516 35074048 7888 4294967295 134512640 134716908 3221224576 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8563 7888 1111 63 0 8500 0
vsize: 34252
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1492293 0 0 0 112338 3682 0 0 25 0 1 0 907066516 34897920 7830 4294967295 134512640 134716908 3221224576 3221222688 1074867308 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8520 7830 1111 63 0 8457 0
vsize: 34080
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1504489 0 0 0 113309 3711 0 0 25 0 1 0 907066516 34889728 7843 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8518 7843 1111 63 0 8455 0
vsize: 34072
[startup+1176.44 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 19157
Raw data (stat): 19157 (bsolo_lpr_cuts-) R 19156 31399 31398 0 -1 0 1504489 0 0 0 113309 3711 0 0 25 0 1 0 907066516 34889728 7843 4294967295 134512640 134716908 3221224576 3221222816 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8518 7843 1111 63 0 8455 0
vsize: 0

Child status: 10
Real time (s): 1176.44
CPU time (s): 1176.61
CPU user time (s): 1139.27
CPU system time (s): 37.3363
CPU usage (%): 100.015
Max. virtual memory (Kb): 35072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
Verifier:	OK	30
#### END VERIFIER DATA ####