PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

Name	normalized-opb/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-lseu.opb
MD5SUM	99657262afbbfce7034a3ec6b29d9b3b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	1120
Optimality of the best value was proved	NO
Number of terms in the objective function	85
Biggest coefficient in the objective function	517
Number of bits for the biggest coefficient in the objective function	10
Sum of the numbers in the objective function	15494
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1656
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	15494
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.02984
Number of variables	89
Total number of constraints	117
Number of constraints which are clauses	2
Number of constraints which are cardinality constraints (but not clauses)	104
Number of constraints which are nor clauses,nor cardinality constraints	11
Minimum length of a constraint	1
Maximum length of a constraint	47
Trace number 41197

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        918016 kB
Buffers:         15356 kB
Cached:          81236 kB
SwapCached:        716 kB
Active:          27456 kB
Inactive:        71136 kB
HighTotal:      131008 kB
HighFree:        54376 kB
LowTotal:       903652 kB
LowFree:        863640 kB
SwapTotal:     2097136 kB
SwapFree:      2095372 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5036 kB
Slab:            12272 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:01:39 (client local time) WITH STATUS 0 IN 1200.24 SECONDS
stats: 29255 7 1200.24 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 89 variables and 28 constraints.
c After prepocess the problem consists of 89 variables and 28 constraints.
c preprocess terminated 0.075 s
c Initial Lower Bound: 774
c Lower Bound Elapsed time: 0.013
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2874 @ 0.434
c NEW SOLUTION FOUND: 2823 @ 0.779
c NEW SOLUTION FOUND: 2727 @ 1.164
c NEW SOLUTION FOUND: 2668 @ 3.97
c NEW SOLUTION FOUND: 2665 @ 4.007
c NEW SOLUTION FOUND: 2663 @ 6.34
c NEW SOLUTION FOUND: 2641 @ 6.962
c NEW SOLUTION FOUND: 2638 @ 7.265
c NEW SOLUTION FOUND: 2603 @ 8.128
c NEW SOLUTION FOUND: 2573 @ 11.036
c NEW SOLUTION FOUND: 2546 @ 16.682
c NEW SOLUTION FOUND: 2490 @ 23.15
c NEW SOLUTION FOUND: 2415 @ 27.581
c NEW SOLUTION FOUND: 2405 @ 28.657
c NEW SOLUTION FOUND: 2403 @ 49.603
c NEW SOLUTION FOUND: 2367 @ 70.146
c NEW SOLUTION FOUND: 2353 @ 78.591
c NEW SOLUTION FOUND: 2343 @ 86.49
c NEW SOLUTION FOUND: 2310 @ 89.442
c NEW SOLUTION FOUND: 2293 @ 89.463
c NEW SOLUTION FOUND: 2220 @ 93.675
c NEW SOLUTION FOUND: 2134 @ 94.752
c NEW SOLUTION FOUND: 2101 @ 135.743
c NEW SOLUTION FOUND: 2066 @ 162.701
c NEW SOLUTION FOUND: 2062 @ 180.437
c NEW SOLUTION FOUND: 1976 @ 180.823
c NEW SOLUTION FOUND: 1949 @ 219.77
#### 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.94 0.90 2/54 5750
Raw data (stat): 5750 (runsolver) R 5749 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908546712 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.0001 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 8390 0 0 0 961 35 0 0 25 0 1 0 908546712 12726272 2429 4294967295 134512640 134716908 3221224560 3221223360 134622654 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3107 2429 1111 63 0 3044 0
vsize: 12428
[startup+20.0002 s]
Raw data (loadavg): 0.94 0.94 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 35819 0 0 0 1898 98 0 0 25 0 1 0 908546712 15998976 3215 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3906 3215 1111 63 0 3843 0
vsize: 15624
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 57550 0 0 0 2847 149 0 0 25 0 1 0 908546712 18247680 3759 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4455 3759 1111 63 0 4392 0
vsize: 17820
[startup+40.0005 s]
Raw data (loadavg): 0.95 0.94 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 61146 0 0 0 3839 157 0 0 25 0 1 0 908546712 20111360 4222 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4910 4222 1111 63 0 4847 0
vsize: 19640
[startup+50.0017 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 68772 0 0 0 4820 175 0 0 25 0 1 0 908546712 18763776 3874 4294967295 134512640 134716908 3221224560 3221222672 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4581 3875 1111 63 0 4518 0
vsize: 18324
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 75572 0 0 0 5803 193 0 0 25 0 1 0 908546712 19673088 4121 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4803 4121 1111 63 0 4740 0
vsize: 19212
[startup+70.0011 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 81702 0 0 0 6788 208 0 0 25 0 1 0 908546712 19206144 4010 4294967295 134512640 134716908 3221224560 3221223152 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4689 4010 1111 63 0 4626 0
vsize: 18756
[startup+80.0022 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 117373 0 0 0 7706 290 0 0 25 0 1 0 908546712 24825856 5319 4294967295 134512640 134716908 3221224560 3221222764 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6061 5319 1111 63 0 5998 0
vsize: 24244
[startup+90.0021 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 149329 0 0 0 8635 361 0 0 25 0 1 0 908546712 29597696 6458 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7226 6458 1111 63 0 7163 0
vsize: 28904
[startup+100.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 175178 0 0 0 9575 422 0 0 25 0 1 0 908546712 32489472 7153 4294967295 134512640 134716908 3221224560 3221222392 1077380592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7932 7153 1111 63 0 7869 0
vsize: 31728
[startup+110.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 192086 0 0 0 10535 462 0 0 25 0 1 0 908546712 34205696 7565 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8351 7565 1111 63 0 8288 0
vsize: 33404
[startup+120.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 219524 0 0 0 11473 525 0 0 25 0 1 0 908546712 36995072 8210 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9032 8210 1111 63 0 8969 0
vsize: 36128
[startup+130.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 239463 0 0 0 12429 568 0 0 25 0 1 0 908546712 39317504 8765 4294967295 134512640 134716908 3221224560 3221222960 1074153669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9599 8765 1111 63 0 9536 0
vsize: 38396
[startup+140.004 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 277920 0 0 0 13341 657 0 0 25 0 1 0 908546712 44298240 9934 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10905 9937 1111 63 0 10842 0
vsize: 43260
[startup+150.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 322263 0 0 0 14243 755 0 0 25 0 1 0 908546712 49889280 11280 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12360 11286 1111 63 0 12297 0
vsize: 48720
[startup+160.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 356344 0 0 0 15164 834 0 0 25 0 1 0 908546712 54718464 12372 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13359 12372 1111 63 0 13296 0
vsize: 53436
[startup+170.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 380316 0 0 0 16110 889 0 0 25 0 1 0 908546712 57651200 13104 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14075 13104 1111 63 0 14012 0
vsize: 56300
[startup+180.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 396246 0 0 0 17075 924 0 0 25 0 1 0 908546712 58036224 13209 4294967295 134512640 134716908 3221224560 3221223456 134621531 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14169 13209 1111 63 0 14106 0
vsize: 56676
[startup+190.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 406644 0 0 0 18051 947 0 0 25 0 1 0 908546712 60743680 13831 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14830 13831 1111 63 0 14767 0
vsize: 59320
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 413302 0 0 0 19035 964 0 0 25 0 1 0 908546712 59445248 13529 4294967295 134512640 134716908 3221224560 3221222288 1075828447 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14513 13529 1111 63 0 14450 0
vsize: 58052
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 421222 0 0 0 20017 982 0 0 25 0 1 0 908546712 59768832 13611 4294967295 134512640 134716908 3221224560 3221222472 1074138316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14592 13616 1111 63 0 14529 0
vsize: 58368
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 431187 0 0 0 20995 1004 0 0 25 0 1 0 908546712 60682240 13700 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14815 13700 1111 63 0 14752 0
vsize: 59260
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 443547 0 0 0 21967 1032 0 0 25 0 1 0 908546712 61566976 14057 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15031 14057 1111 63 0 14968 0
vsize: 60124
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 451797 0 0 0 22947 1053 0 0 25 0 1 0 908546712 62889984 14372 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15354 14372 1111 63 0 15291 0
vsize: 61416
[startup+250.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 451926 0 0 0 23945 1054 0 0 25 0 1 0 908546712 63414272 14500 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15482 14500 1111 63 0 15419 0
vsize: 61928
[startup+260.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 452015 0 0 0 24945 1055 0 0 25 0 1 0 908546712 63909888 14589 4294967295 134512640 134716908 3221224560 3221222624 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15603 14589 1111 63 0 15540 0
vsize: 62412
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 452108 0 0 0 25944 1056 0 0 25 0 1 0 908546712 64192512 14682 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15672 14682 1111 63 0 15609 0
vsize: 62688
[startup+280.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 452183 0 0 0 26943 1057 0 0 25 0 1 0 908546712 64598016 14757 4294967295 134512640 134716908 3221224560 3221222608 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15771 14757 1111 63 0 15708 0
vsize: 63084
[startup+290.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 452228 0 0 0 27943 1057 0 0 25 0 1 0 908546712 64782336 14802 4294967295 134512640 134716908 3221224560 3221222768 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15816 14802 1111 63 0 15753 0
vsize: 63264
[startup+300.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 28940 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+310.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 29940 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+320.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 30940 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+330.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 31940 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+340.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 32941 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+350.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 454038 0 0 0 33941 1061 0 0 25 0 1 0 908546712 69648384 16018 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17004 16018 1111 63 0 16941 0
vsize: 68016
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 459853 0 0 0 34929 1073 0 0 25 0 1 0 908546712 64798720 14838 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+370.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 459853 0 0 0 35929 1073 0 0 25 0 1 0 908546712 64798720 14838 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15820 14838 1111 63 0 15757 0
vsize: 63280
[startup+380.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 460023 0 0 0 36929 1074 0 0 25 0 1 0 908546712 63098880 14423 4294967295 134512640 134716908 3221224560 3221222720 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15405 14423 1111 63 0 15342 0
vsize: 61620
[startup+390.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 460149 0 0 0 37928 1075 0 0 25 0 1 0 908546712 63614976 14549 4294967295 134512640 134716908 3221224560 3221222656 1074153779 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15531 14549 1111 63 0 15468 0
vsize: 62124
[startup+400.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 460227 0 0 0 38927 1076 0 0 25 0 1 0 908546712 63934464 14627 4294967295 134512640 134716908 3221224560 3221222704 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15609 14627 1111 63 0 15546 0
vsize: 62436
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 461457 0 0 0 39924 1080 0 0 25 0 1 0 908546712 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 461457 0 0 0 40924 1080 0 0 25 0 1 0 908546712 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 461457 0 0 0 41924 1080 0 0 25 0 1 0 908546712 67313664 15444 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16434 15444 1111 63 0 16371 0
vsize: 65736
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 473944 0 0 0 42896 1108 0 0 25 0 1 0 908546712 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+450.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 473944 0 0 0 43896 1108 0 0 25 0 1 0 908546712 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+460.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 473944 0 0 0 44897 1108 0 0 25 0 1 0 908546712 67452928 15477 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16468 15477 1111 63 0 16405 0
vsize: 65872
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 479708 0 0 0 45884 1120 0 0 25 0 1 0 908546712 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074916850 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 479708 0 0 0 46884 1120 0 0 25 0 1 0 908546712 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 479708 0 0 0 47884 1120 0 0 25 0 1 0 908546712 67518464 15494 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16484 15494 1111 63 0 16421 0
vsize: 65936
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 483511 0 0 0 48875 1130 0 0 25 0 1 0 908546712 64135168 14676 4294967295 134512640 134716908 3221224560 3221223352 134536921 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 483511 0 0 0 49876 1130 0 0 25 0 1 0 908546712 64135168 14676 4294967295 134512640 134716908 3221224560 3221223376 134622264 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15658 14676 1111 63 0 15595 0
vsize: 62632
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 486327 0 0 0 50868 1137 0 0 25 0 1 0 908546712 62767104 14342 4294967295 134512640 134716908 3221224560 3221222672 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15324 14342 1111 63 0 15261 0
vsize: 61296
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 487016 0 0 0 51866 1140 0 0 25 0 1 0 908546712 64815104 14842 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15824 14842 1111 63 0 15761 0
vsize: 63296
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 490179 0 0 0 52859 1147 0 0 25 0 1 0 908546712 64045056 14623 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15636 14623 1111 63 0 15573 0
vsize: 62544
[startup+550.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 493174 0 0 0 53851 1155 0 0 25 0 1 0 908546712 64290816 14714 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15696 14714 1111 63 0 15633 0
vsize: 62784
[startup+560.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 497686 0 0 0 54842 1164 0 0 25 0 1 0 908546712 63086592 14420 4294967295 134512640 134716908 3221224560 3221223356 134542400 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15402 14420 1111 63 0 15339 0
vsize: 61608
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 500849 0 0 0 55834 1172 0 0 25 0 1 0 908546712 64217088 14696 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15678 14696 1111 63 0 15615 0
vsize: 62712
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 509151 0 0 0 56813 1194 0 0 25 0 1 0 908546712 62885888 14363 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15353 14363 1111 63 0 15290 0
vsize: 61412
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 528137 0 0 0 57769 1238 0 0 25 0 1 0 908546712 62672896 14299 4294967295 134512640 134716908 3221224560 3221222704 1074153786 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15301 14299 1111 63 0 15238 0
vsize: 61204
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 539812 0 0 0 58741 1266 0 0 25 0 1 0 908546712 63066112 14419 4294967295 134512640 134716908 3221224560 3221222608 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15397 14419 1111 63 0 15334 0
vsize: 61588
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540023 0 0 0 59740 1267 0 0 25 0 1 0 908546712 63930368 14630 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15608 14630 1111 63 0 15545 0
vsize: 62432
[startup+620.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540117 0 0 0 60740 1267 0 0 25 0 1 0 908546712 64446464 14724 4294967295 134512640 134716908 3221224560 3221222848 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15734 14724 1111 63 0 15671 0
vsize: 62936
[startup+630.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540213 0 0 0 61739 1268 0 0 25 0 1 0 908546712 64741376 14820 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15806 14820 1111 63 0 15743 0
vsize: 63224
[startup+640.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540287 0 0 0 62738 1269 0 0 25 0 1 0 908546712 65142784 14894 4294967295 134512640 134716908 3221224560 3221222624 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15904 14894 1111 63 0 15841 0
vsize: 63616
[startup+650.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540342 0 0 0 63738 1270 0 0 25 0 1 0 908546712 65368064 14949 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15959 14949 1111 63 0 15896 0
vsize: 63836
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 540433 0 0 0 64738 1270 0 0 25 0 1 0 908546712 65740800 15040 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16050 15040 1111 63 0 15987 0
vsize: 64200
[startup+670.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 65734 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+680.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 66734 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+690.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 67734 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+700.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 68734 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+710.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 69734 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+720.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 70735 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+730.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 71735 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+740.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 72735 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+750.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 73735 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+760.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 542390 0 0 0 74735 1275 0 0 25 0 1 0 908546712 70987776 16337 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17331 16337 1111 63 0 17268 0
vsize: 69324
[startup+770.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 550365 0 0 0 75718 1292 0 0 25 0 1 0 908546712 67710976 15509 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+780.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 550365 0 0 0 76719 1292 0 0 25 0 1 0 908546712 67710976 15509 4294967295 134512640 134716908 3221224560 3221223272 134543125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+790.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 550365 0 0 0 77719 1292 0 0 25 0 1 0 908546712 67710976 15509 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16531 15509 1111 63 0 16468 0
vsize: 66124
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 550629 0 0 0 78717 1294 0 0 25 0 1 0 908546712 66174976 15162 4294967295 134512640 134716908 3221224560 3221222576 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16156 15162 1111 63 0 16093 0
vsize: 64624
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 551522 0 0 0 79714 1297 0 0 25 0 1 0 908546712 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+820.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 551522 0 0 0 80714 1297 0 0 25 0 1 0 908546712 67280896 15434 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16426 15434 1111 63 0 16363 0
vsize: 65704
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 552834 0 0 0 81712 1300 0 0 25 0 1 0 908546712 76984320 16027 4294967295 134512640 134716908 3221224560 3221221604 1074846160 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18795 16027 1111 63 0 18732 0
vsize: 75180
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 555546 0 0 0 82706 1306 0 0 25 0 1 0 908546712 65851392 15090 4294967295 134512640 134716908 3221224560 3221223288 134622873 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16077 15090 1111 63 0 16014 0
vsize: 64308
[startup+850.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 555708 0 0 0 83705 1307 0 0 25 0 1 0 908546712 65220608 14944 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15923 14944 1111 63 0 15860 0
vsize: 63692
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 556532 0 0 0 84704 1309 0 0 25 0 1 0 908546712 66822144 15335 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16314 15335 1111 63 0 16251 0
vsize: 65256
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 563233 0 0 0 85689 1323 0 0 25 0 1 0 908546712 70156288 14733 4294967295 134512640 134716908 3221224560 3221220720 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17128 14734 1111 63 0 17065 0
vsize: 68512
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 563784 0 0 0 86687 1326 0 0 25 0 1 0 908546712 64602112 14795 4294967295 134512640 134716908 3221224560 3221222720 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15772 14795 1111 63 0 15709 0
vsize: 63088
[startup+890.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 564668 0 0 0 87684 1328 0 0 25 0 1 0 908546712 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 564668 0 0 0 88685 1328 0 0 25 0 1 0 908546712 67051520 15385 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16370 15385 1111 63 0 16307 0
vsize: 65480
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 568692 0 0 0 89677 1337 0 0 25 0 1 0 908546712 65961984 15049 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16104 15049 1111 63 0 16041 0
vsize: 64416
[startup+920.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 568925 0 0 0 90676 1337 0 0 25 0 1 0 908546712 64851968 14835 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15833 14835 1111 63 0 15770 0
vsize: 63332
[startup+930.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 576932 0 0 0 91658 1356 0 0 25 0 1 0 908546712 63885312 14621 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15597 14621 1111 63 0 15534 0
vsize: 62388
[startup+940.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 583234 0 0 0 92642 1372 0 0 25 0 1 0 908546712 64245760 14714 4294967295 134512640 134716908 3221224560 3221222848 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15685 14714 1111 63 0 15622 0
vsize: 62740
[startup+950.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 593656 0 0 0 93615 1398 0 0 25 0 1 0 908546712 64651264 14812 4294967295 134512640 134716908 3221224560 3221222416 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15784 14812 1111 63 0 15721 0
vsize: 63136
[startup+960.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 599117 0 0 0 94603 1411 0 0 25 0 1 0 908546712 64782336 14816 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15816 14816 1111 63 0 15753 0
vsize: 63264
[startup+970.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 621862 0 0 0 95548 1466 0 0 25 0 1 0 908546712 65265664 14952 4294967295 134512640 134716908 3221224560 3221222748 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15934 14952 1111 63 0 15871 0
vsize: 63736
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 659935 0 0 0 96458 1557 0 0 25 0 1 0 908546712 66494464 15212 4294967295 134512640 134716908 3221224560 3221222796 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17765 15218 1111 63 0 17702 0
vsize: 64936
[startup+990.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 707139 0 0 0 97351 1664 0 0 25 0 1 0 908546712 75190272 15836 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18357 15841 1111 63 0 18294 0
vsize: 73428
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 756104 0 0 0 98230 1785 0 0 25 0 1 0 908546712 73101312 16681 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18230 16681 1111 63 0 18167 0
vsize: 71388
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 801329 0 0 0 99112 1904 0 0 25 0 1 0 908546712 84578304 17980 4294967295 134512640 134716908 3221224560 3221220720 1074794568 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20649 17980 1111 63 0 20586 0
vsize: 82596
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 852034 0 0 0 99978 2037 0 0 25 0 1 0 908546712 84594688 19396 4294967295 134512640 134716908 3221224560 3221221672 1077377851 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22184 19402 1111 63 0 22121 0
vsize: 82612
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 870408 0 0 0 100934 2081 0 0 25 0 1 0 908546712 86458368 19872 4294967295 134512640 134716908 3221224560 3221222560 1074918607 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21108 19872 1111 63 0 21045 0
vsize: 84432
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 912083 0 0 0 101831 2184 0 0 25 0 1 0 908546712 87740416 20189 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21421 20189 1111 63 0 21358 0
vsize: 85684
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 954418 0 0 0 102730 2285 0 0 25 0 1 0 908546712 89698304 20657 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21899 20657 1111 63 0 21836 0
vsize: 87596
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 987245 0 0 0 103653 2363 0 0 25 0 1 0 908546712 91197440 21025 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22265 21025 1111 63 0 22202 0
vsize: 89060
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1007422 0 0 0 104605 2411 0 0 25 0 1 0 908546712 91803648 21152 4294967295 134512640 134716908 3221224560 3221222560 1074918576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22413 21152 1111 63 0 22350 0
vsize: 89652
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1044201 0 0 0 105517 2499 0 0 25 0 1 0 908546712 93700096 21603 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22874 21603 1111 63 0 22811 0
vsize: 91504
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1068038 0 0 0 106463 2554 0 0 25 0 1 0 908546712 94687232 21856 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23117 21856 1111 63 0 23054 0
vsize: 92468
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 5750
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1088400 0 0 0 107412 2605 0 0 25 0 1 0 908546712 95780864 22131 4294967295 134512640 134716908 3221224560 3221222268 1077404742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23384 22131 1111 63 0 23321 0
vsize: 93536
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 3/57 5785
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1088682 0 0 0 108410 2607 0 0 25 0 1 0 908546712 97058816 22413 4294967295 134512640 134716908 3221224560 3221222560 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23696 22413 1111 63 0 23633 0
vsize: 94784
[startup+1120.04 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1088785 0 0 0 109408 2609 0 0 25 0 1 0 908546712 97472512 22516 4294967295 134512640 134716908 3221224560 3221222704 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23797 22516 1111 63 0 23734 0
vsize: 95188
[startup+1130.04 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1088860 0 0 0 110408 2609 0 0 25 0 1 0 908546712 97771520 22591 4294967295 134512640 134716908 3221224560 3221222704 1074153773 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23870 22591 1111 63 0 23807 0
vsize: 95480
[startup+1140.04 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1088945 0 0 0 111407 2610 0 0 25 0 1 0 908546712 98050048 22676 4294967295 134512640 134716908 3221224560 3221222656 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23938 22676 1111 63 0 23875 0
vsize: 95752
[startup+1150.04 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1089002 0 0 0 112406 2611 0 0 25 0 1 0 908546712 98283520 22733 4294967295 134512640 134716908 3221224560 3221222864 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23995 22733 1111 63 0 23932 0
vsize: 95980
[startup+1160.04 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1089086 0 0 0 113405 2613 0 0 25 0 1 0 908546712 98648064 22817 4294967295 134512640 134716908 3221224560 3221222720 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24084 22817 1111 63 0 24021 0
vsize: 96336
[startup+1170.05 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1089137 0 0 0 114405 2613 0 0 25 0 1 0 908546712 98856960 22868 4294967295 134512640 134716908 3221224560 3221222624 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24135 22868 1111 63 0 24072 0
vsize: 96540
[startup+1180.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5803
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1089173 0 0 0 115404 2614 0 0 25 0 1 0 908546712 99004416 22904 4294967295 134512640 134716908 3221224560 3221222720 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24171 22904 1111 63 0 24108 0
vsize: 96684
[startup+1190.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5805
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1091538 0 0 0 116400 2619 0 0 25 0 1 0 908546712 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
[startup+1200.05 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 5805
Raw data (stat): 5750 (bsolo_lpr_cuts-) R 5749 20224 20223 0 -1 0 1091538 0 0 0 117400 2619 0 0 25 0 1 0 908546712 105308160 24442 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25710 24442 1111 63 0 25647 0
vsize: 102840
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.09 s]
Raw data (loadavg): 1.02 0.99 0.91 1/54 5805
Raw data (stat): 5750 (bsolo_lpr_cuts-) Z 5749 20224 20223 0 -1 1036 1091538 0 0 0 117400 2623 0 0 25 0 1 0 908546712 0 0 4294967295 0 0 0 0 0 0 0 7 0 3222412051 0 0 17 1 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.09
CPU time (s): 1200.24
CPU user time (s): 1174
CPU system time (s): 26.239
CPU usage (%): 100.012
Max. virtual memory (Kb): 102840
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####