PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-fiber.opb
MD5SUM	cc38717029ffa5880438a73ef1ac0ab0
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	108097879
Optimality of the best value was proved	NO
Number of terms in the objective function	1254
Biggest coefficient in the objective function	72966962
Number of bits for the biggest coefficient in the objective function	27
Sum of the numbers in the objective function	4807778524
Number of bits of the sum of numbers in the objective function	33
Biggest number in a constraint	72966962
Number of bits of the biggest number in a constraint	27
Biggest sum of numbers in a constraint	4807778524
Number of bits of the biggest sum of numbers	33
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	90.2693
Number of variables	2134
Total number of constraints	1617
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1290
Number of constraints which are nor clauses,nor cardinality constraints	327
Minimum length of a constraint	1
Maximum length of a constraint	51
Trace number 41566

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 15:51:47 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29627 boxname=wulflinc1 idbench=1411 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  cc38717029ffa5880438a73ef1ac0ab0  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fiber.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-fiber.opb
IDLAUNCH: 29627
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.053
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.053
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:        919112 kB
Buffers:          6428 kB
Cached:          85400 kB
SwapCached:       1128 kB
Active:          24832 kB
Inactive:        69128 kB
HighTotal:      131008 kB
HighFree:        43036 kB
LowTotal:       903652 kB
LowFree:        876076 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5268 kB
Slab:            15708 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:11:49 (client local time) WITH STATUS 0 IN 1200.17 SECONDS
stats: 29627 7 1200.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2134 variables and 711 constraints.
c After prepocess the problem consists of 1934 variables and 590 constraints.
c preprocess terminated 1.238 s
c Initial Lower Bound: 19367463
c Lower Bound Elapsed time: 0.2435
c Use computed LB before first solution.
#### 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/55 7822
Raw data (stat): 7822 (runsolver) R 7821 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 854639839 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.0003 s]
Raw data (loadavg): 0.93 0.95 0.90 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 12087 0 0 0 971 26 0 0 25 0 1 0 854639839 42721280 9731 4294967295 134512640 134716908 3221224560 3221222944 1074153800 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10430 9731 1111 63 0 10367 0
vsize: 41720
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 14011 0 0 0 1966 31 0 0 25 0 1 0 854639839 43372544 9783 4294967295 134512640 134716908 3221224560 3221220632 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10589 9783 1111 63 0 10526 0
vsize: 42356
[startup+30.0018 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 17328 0 0 0 2956 42 0 0 25 0 1 0 854639839 43335680 9853 4294967295 134512640 134716908 3221224560 3221223040 1074031952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10580 9853 1111 63 0 10517 0
vsize: 42320
[startup+40.0017 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 20883 0 0 0 3946 52 0 0 25 0 1 0 854639839 43180032 9847 4294967295 134512640 134716908 3221224560 3221222912 1074153822 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10542 9847 1111 63 0 10479 0
vsize: 42168
[startup+50.0024 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 25497 0 0 0 4933 65 0 0 25 0 1 0 854639839 44658688 10146 4294967295 134512640 134716908 3221224560 3221220764 1075564301 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10903 10146 1111 63 0 10840 0
vsize: 43612
[startup+60.0037 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 31507 0 0 0 5918 80 0 0 25 0 1 0 854639839 44322816 10127 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10821 10127 1111 63 0 10758 0
vsize: 43284
[startup+70.004 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 36066 0 0 0 6907 92 0 0 25 0 1 0 854639839 45690880 10408 4294967295 134512640 134716908 3221224560 3221220436 1074786547 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11155 10408 1111 63 0 11092 0
vsize: 44620
[startup+80.0048 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 39751 0 0 0 7897 102 0 0 25 0 1 0 854639839 45895680 10452 4294967295 134512640 134716908 3221224560 3221220720 1074794582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11205 10452 1111 63 0 11142 0
vsize: 44820
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 44788 0 0 0 8884 114 0 0 25 0 1 0 854639839 46301184 10579 4294967295 134512640 134716908 3221224560 3221220564 1074875793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11304 10579 1111 63 0 11241 0
vsize: 45216
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 48947 0 0 0 9875 124 0 0 25 0 1 0 854639839 46817280 10716 4294967295 134512640 134716908 3221224560 3221220440 1074788427 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11430 10716 1111 63 0 11367 0
vsize: 45720
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 52283 0 0 0 10865 134 0 0 25 0 1 0 854639839 46817280 10622 4294967295 134512640 134716908 3221224560 3221220704 1074969499 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11430 10622 1111 63 0 11367 0
vsize: 45720
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 54973 0 0 0 11857 142 0 0 25 0 1 0 854639839 46862336 10719 4294967295 134512640 134716908 3221224560 3221221480 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11441 10719 1111 63 0 11378 0
vsize: 45764
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 57682 0 0 0 12850 149 0 0 25 0 1 0 854639839 45936640 10470 4294967295 134512640 134716908 3221224560 3221222304 1075636586 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11215 10470 1111 63 0 11152 0
vsize: 44860
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 61004 0 0 0 13843 157 0 0 25 0 1 0 854639839 46866432 10714 4294967295 134512640 134716908 3221224560 3221220788 1075115039 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11442 10714 1111 63 0 11379 0
vsize: 45768
[startup+150.006 s]
Raw data (loadavg): 1.06 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 64120 0 0 0 14834 166 0 0 25 0 1 0 854639839 45453312 10403 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11097 10403 1111 63 0 11034 0
vsize: 44388
[startup+160.007 s]
Raw data (loadavg): 1.05 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 67395 0 0 0 15825 175 0 0 25 0 1 0 854639839 47071232 10720 4294967295 134512640 134716908 3221224560 3221220892 1075112881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11492 10720 1111 63 0 11429 0
vsize: 45968
[startup+170.007 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 69344 0 0 0 16821 179 0 0 25 0 1 0 854639839 47083520 10763 4294967295 134512640 134716908 3221224560 3221220444 1074788959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11495 10763 1111 63 0 11432 0
vsize: 45980
[startup+180.008 s]
Raw data (loadavg): 1.04 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 73822 0 0 0 17809 191 0 0 25 0 1 0 854639839 46280704 10604 4294967295 134512640 134716908 3221224560 3221222560 1074918929 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11299 10604 1111 63 0 11236 0
vsize: 45196
[startup+190.008 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 76672 0 0 0 18802 198 0 0 25 0 1 0 854639839 45993984 10499 4294967295 134512640 134716908 3221224560 3221222712 1074950102 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11229 10499 1111 63 0 11166 0
vsize: 44916
[startup+200.008 s]
Raw data (loadavg): 1.03 0.98 0.91 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 80278 0 0 0 19792 208 0 0 25 0 1 0 854639839 46018560 10512 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11235 10512 1111 63 0 11172 0
vsize: 44940
[startup+210.009 s]
Raw data (loadavg): 1.18 1.02 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 83942 0 0 0 20783 218 0 0 25 0 1 0 854639839 45469696 10407 4294967295 134512640 134716908 3221224560 3221222944 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11101 10407 1111 63 0 11038 0
vsize: 44404
[startup+220.01 s]
Raw data (loadavg): 1.15 1.02 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 87981 0 0 0 21773 228 0 0 25 0 1 0 854639839 47308800 10733 4294967295 134512640 134716908 3221224560 3221220632 1074950198 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11550 10733 1111 63 0 11487 0
vsize: 46200
[startup+230.011 s]
Raw data (loadavg): 1.12 1.02 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 91651 0 0 0 22763 238 0 0 25 0 1 0 854639839 47423488 10767 4294967295 134512640 134716908 3221224560 3221221592 1077410279 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11578 10767 1111 63 0 11515 0
vsize: 46312
[startup+240.011 s]
Raw data (loadavg): 1.10 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 94274 0 0 0 23757 245 0 0 25 0 1 0 854639839 47362048 10830 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11563 10830 1111 63 0 11500 0
vsize: 46252
[startup+250.01 s]
Raw data (loadavg): 1.09 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 97482 0 0 0 24748 254 0 0 25 0 1 0 854639839 46116864 10562 4294967295 134512640 134716908 3221224560 3221222344 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11259 10562 1111 63 0 11196 0
vsize: 45036
[startup+260.011 s]
Raw data (loadavg): 1.07 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 101631 0 0 0 25737 265 0 0 25 0 1 0 854639839 46837760 10741 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11435 10741 1111 63 0 11372 0
vsize: 45740
[startup+270.011 s]
Raw data (loadavg): 1.06 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 105211 0 0 0 26727 275 0 0 25 0 1 0 854639839 46170112 10584 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11272 10584 1111 63 0 11209 0
vsize: 45088
[startup+280.01 s]
Raw data (loadavg): 1.05 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 107187 0 0 0 27722 280 0 0 25 0 1 0 854639839 47546368 10913 4294967295 134512640 134716908 3221224560 3221220788 1075115084 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11608 10913 1111 63 0 11545 0
vsize: 46432
[startup+290.011 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 111216 0 0 0 28712 290 0 0 25 0 1 0 854639839 47714304 10938 4294967295 134512640 134716908 3221224560 3221220496 1075965237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11649 10938 1111 63 0 11586 0
vsize: 46596
[startup+300.012 s]
Raw data (loadavg): 1.04 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 115207 0 0 0 29701 301 0 0 25 0 1 0 854639839 47738880 10920 4294967295 134512640 134716908 3221224560 3221220616 1074789815 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11655 10920 1111 63 0 11592 0
vsize: 46620
[startup+310.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 117242 0 0 0 30695 307 0 0 25 0 1 0 854639839 46178304 10586 4294967295 134512640 134716908 3221224560 3221222944 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11274 10586 1111 63 0 11211 0
vsize: 45096
[startup+320.012 s]
Raw data (loadavg): 1.03 1.01 0.93 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 124140 0 0 0 31678 324 0 0 25 0 1 0 854639839 46821376 10681 4294967295 134512640 134716908 3221224560 3221223148 134654481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10681 1111 63 0 11368 0
vsize: 45724
[startup+330.011 s]
Raw data (loadavg): 1.17 1.04 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 128950 0 0 0 32667 336 0 0 25 0 1 0 854639839 46989312 10715 4294967295 134512640 134716908 3221224560 3221222704 1074790218 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11472 10715 1111 63 0 11409 0
vsize: 45888
[startup+340.011 s]
Raw data (loadavg): 1.15 1.04 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 132959 0 0 0 33657 345 0 0 25 0 1 0 854639839 48304128 11042 4294967295 134512640 134716908 3221224560 3221220604 1074873439 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 11042 1111 63 0 11730 0
vsize: 47172
[startup+350.011 s]
Raw data (loadavg): 1.12 1.04 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 137386 0 0 0 34646 357 0 0 25 0 1 0 854639839 48234496 11068 4294967295 134512640 134716908 3221224560 3221220604 1074873504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11776 11068 1111 63 0 11713 0
vsize: 47104
[startup+360.012 s]
Raw data (loadavg): 1.10 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 141865 0 0 0 35634 369 0 0 25 0 1 0 854639839 48402432 10994 4294967295 134512640 134716908 3221224560 3221220720 1074794542 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11817 10994 1111 63 0 11754 0
vsize: 47268
[startup+370.013 s]
Raw data (loadavg): 1.09 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 144925 0 0 0 36627 376 0 0 25 0 1 0 854639839 48414720 11061 4294967295 134512640 134716908 3221224560 3221220532 1074786482 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11820 11061 1111 63 0 11757 0
vsize: 47280
[startup+380.012 s]
Raw data (loadavg): 1.07 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 147870 0 0 0 37620 384 0 0 25 0 1 0 854639839 48328704 11095 4294967295 134512640 134716908 3221224560 3221220736 1074882630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11799 11095 1111 63 0 11736 0
vsize: 47196
[startup+390.013 s]
Raw data (loadavg): 1.06 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 153079 0 0 0 38607 397 0 0 25 0 1 0 854639839 47890432 10951 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11692 10951 1111 63 0 11629 0
vsize: 46768
[startup+400.013 s]
Raw data (loadavg): 1.05 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 156807 0 0 0 39597 407 0 0 25 0 1 0 854639839 48488448 11134 4294967295 134512640 134716908 3221224560 3221220604 1074873478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11838 11134 1111 63 0 11775 0
vsize: 47352
[startup+410.014 s]
Raw data (loadavg): 1.04 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 162254 0 0 0 40583 421 0 0 25 0 1 0 854639839 46608384 10691 4294967295 134512640 134716908 3221224560 3221222576 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11379 10691 1111 63 0 11316 0
vsize: 45516
[startup+420.014 s]
Raw data (loadavg): 1.04 1.03 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 164614 0 0 0 41576 428 0 0 25 0 1 0 854639839 48586752 11070 4294967295 134512640 134716908 3221224560 3221220892 1075113066 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11862 11070 1111 63 0 11799 0
vsize: 47448
[startup+430.014 s]
Raw data (loadavg): 1.03 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 167685 0 0 0 42568 436 0 0 25 0 1 0 854639839 48705536 11064 4294967295 134512640 134716908 3221224560 3221220896 1075113481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11891 11064 1111 63 0 11828 0
vsize: 47564
[startup+440.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 172426 0 0 0 43556 448 0 0 25 0 1 0 854639839 48816128 11211 4294967295 134512640 134716908 3221224560 3221220604 1074873486 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11918 11211 1111 63 0 11855 0
vsize: 47672
[startup+450.014 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 178706 0 0 0 44541 463 0 0 25 0 1 0 854639839 48164864 11067 4294967295 134512640 134716908 3221224560 3221222920 1077799185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11672 10980 1111 63 0 11609 0
vsize: 47036
[startup+460.015 s]
Raw data (loadavg): 1.02 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 182888 0 0 0 45532 472 0 0 25 0 1 0 854639839 48545792 11164 4294967295 134512640 134716908 3221224560 3221222288 1075828211 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11852 11164 1111 63 0 11789 0
vsize: 47408
[startup+470.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 186179 0 0 0 46522 482 0 0 25 0 1 0 854639839 49213440 11305 4294967295 134512640 134716908 3221224560 3221220708 1075964416 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12015 11305 1111 63 0 11952 0
vsize: 48060
[startup+480.014 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 187575 0 0 0 47518 486 0 0 25 0 1 0 854639839 49213440 11317 4294967295 134512640 134716908 3221224560 3221221128 1076048526 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12015 11317 1111 63 0 11952 0
vsize: 48060
[startup+490.015 s]
Raw data (loadavg): 1.01 1.02 0.94 2/55 7822
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 191927 0 0 0 48507 498 0 0 25 0 1 0 854639839 49647616 11360 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12121 11360 1111 63 0 12058 0
vsize: 48484
[startup+500.015 s]
Raw data (loadavg): 1.17 1.05 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 194790 0 0 0 49500 504 0 0 25 0 1 0 854639839 49635328 11347 4294967295 134512640 134716908 3221224560 3221220832 1074961363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12118 11347 1111 63 0 12055 0
vsize: 48472
[startup+510.014 s]
Raw data (loadavg): 1.14 1.05 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 197715 0 0 0 50493 512 0 0 25 0 1 0 854639839 49639424 11365 4294967295 134512640 134716908 3221224560 3221220520 1074789767 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12119 11365 1111 63 0 12056 0
vsize: 48476
[startup+520.014 s]
Raw data (loadavg): 1.12 1.05 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 201419 0 0 0 51483 522 0 0 25 0 1 0 854639839 47620096 10938 4294967295 134512640 134716908 3221224560 3221222304 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11626 10938 1111 63 0 11563 0
vsize: 46504
[startup+530.014 s]
Raw data (loadavg): 1.10 1.04 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 203031 0 0 0 52479 526 0 0 25 0 1 0 854639839 47890432 10972 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11692 10972 1111 63 0 11629 0
vsize: 46768
[startup+540.014 s]
Raw data (loadavg): 1.08 1.04 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 205455 0 0 0 53473 532 0 0 25 0 1 0 854639839 49795072 11395 4294967295 134512640 134716908 3221224560 3221220896 1075113481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12157 11395 1111 63 0 12094 0
vsize: 48628
[startup+550.014 s]
Raw data (loadavg): 1.07 1.04 0.95 2/55 7875
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 208526 0 0 0 54465 540 0 0 25 0 1 0 854639839 49840128 11393 4294967295 134512640 134716908 3221224560 3221220688 1075561184 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12168 11393 1111 63 0 12105 0
vsize: 48672
[startup+560.013 s]
Raw data (loadavg): 1.06 1.04 0.95 2/55 7877
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 211696 0 0 0 55457 548 0 0 25 0 1 0 854639839 49844224 11397 4294967295 134512640 134716908 3221224560 3221220456 1074789806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12169 11397 1111 63 0 12106 0
vsize: 48676
[startup+570.014 s]
Raw data (loadavg): 1.05 1.04 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 214915 0 0 0 56449 556 0 0 25 0 1 0 854639839 49885184 11457 4294967295 134512640 134716908 3221224560 3221220404 1074786562 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12179 11457 1111 63 0 12116 0
vsize: 48716
[startup+580.014 s]
Raw data (loadavg): 1.04 1.04 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 215675 0 0 0 57448 558 0 0 25 0 1 0 854639839 48017408 11003 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11723 11003 1111 63 0 11660 0
vsize: 46892
[startup+590.014 s]
Raw data (loadavg): 1.04 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 221366 0 0 0 58436 570 0 0 25 0 1 0 854639839 49926144 11373 4294967295 134512640 134716908 3221224560 3221220788 1075115141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12189 11373 1111 63 0 12126 0
vsize: 48756
[startup+600.014 s]
Raw data (loadavg): 1.03 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 224858 0 0 0 59427 579 0 0 25 0 1 0 854639839 50077696 11500 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12226 11500 1111 63 0 12163 0
vsize: 48904
[startup+610.014 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 228320 0 0 0 60419 587 0 0 25 0 1 0 854639839 50204672 11527 4294967295 134512640 134716908 3221224560 3221221680 1074834317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 11527 1111 63 0 12194 0
vsize: 49028
[startup+620.014 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 230075 0 0 0 61414 592 0 0 25 0 1 0 854639839 50151424 11466 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12244 11466 1111 63 0 12181 0
vsize: 48976
[startup+630.014 s]
Raw data (loadavg): 1.02 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 233436 0 0 0 62406 601 0 0 25 0 1 0 854639839 50110464 11361 4294967295 134512640 134716908 3221224560 3221220524 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12234 11361 1111 63 0 12171 0
vsize: 48936
[startup+640.015 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 239444 0 0 0 63394 613 0 0 25 0 1 0 854639839 47693824 10963 4294967295 134512640 134716908 3221224560 3221221680 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11644 10963 1111 63 0 11581 0
vsize: 46576
[startup+650.014 s]
Raw data (loadavg): 1.01 1.03 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 242901 0 0 0 64387 620 0 0 25 0 1 0 854639839 47734784 10973 4294967295 134512640 134716908 3221224560 3221222544 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11654 10973 1111 63 0 11591 0
vsize: 46616
[startup+660.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 246371 0 0 0 65379 628 0 0 25 0 1 0 854639839 48287744 11076 4294967295 134512640 134716908 3221224560 3221222712 1074950114 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11789 11076 1111 63 0 11726 0
vsize: 47156
[startup+670.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 248982 0 0 0 66374 634 0 0 25 0 1 0 854639839 50118656 11431 4294967295 134512640 134716908 3221224560 3221220604 1074873474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12236 11431 1111 63 0 12173 0
vsize: 48944
[startup+680.015 s]
Raw data (loadavg): 1.01 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 251615 0 0 0 67367 640 0 0 25 0 1 0 854639839 48214016 11069 4294967295 134512640 134716908 3221224560 3221222712 1074950119 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11771 11069 1111 63 0 11708 0
vsize: 47084
[startup+690.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 256967 0 0 0 68354 653 0 0 25 0 1 0 854639839 47972352 11031 4294967295 134512640 134716908 3221224560 3221222912 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11712 11031 1111 63 0 11649 0
vsize: 46848
[startup+700.014 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 261242 0 0 0 69344 662 0 0 25 0 1 0 854639839 50143232 11408 4294967295 134512640 134716908 3221224560 3221220508 1074788968 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12242 11408 1111 63 0 12179 0
vsize: 48968
[startup+710.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 264785 0 0 0 70335 671 0 0 25 0 1 0 854639839 50167808 11491 4294967295 134512640 134716908 3221224560 3221220768 1074815265 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12248 11491 1111 63 0 12185 0
vsize: 48992
[startup+720.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 268303 0 0 0 71328 679 0 0 25 0 1 0 854639839 50180096 11544 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12251 11544 1111 63 0 12188 0
vsize: 49004
[startup+730.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 271780 0 0 0 72319 688 0 0 25 0 1 0 854639839 50204672 11467 4294967295 134512640 134716908 3221224560 3221220892 1075113125 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12257 11467 1111 63 0 12194 0
vsize: 49028
[startup+740.016 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 275353 0 0 0 73309 698 0 0 25 0 1 0 854639839 50360320 11483 4294967295 134512640 134716908 3221224560 3221220788 1075115076 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12295 11483 1111 63 0 12232 0
vsize: 49180
[startup+750.015 s]
Raw data (loadavg): 1.00 1.02 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 277207 0 0 0 74305 702 0 0 25 0 1 0 854639839 50348032 11496 4294967295 134512640 134716908 3221224560 3221220604 1074873490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12292 11496 1111 63 0 12229 0
vsize: 49168
[startup+760.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 277292 0 0 0 75305 703 0 0 25 0 1 0 854639839 50348032 11578 4294967295 134512640 134716908 3221224560 3221221372 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12292 11578 1111 63 0 12229 0
vsize: 49168
[startup+770.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 279169 0 0 0 76301 707 0 0 25 0 1 0 854639839 50397184 11576 4294967295 134512640 134716908 3221224560 3221221600 1075971413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12304 11576 1111 63 0 12241 0
vsize: 49216
[startup+780.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 282796 0 0 0 77293 715 0 0 25 0 1 0 854639839 50413568 11505 4294967295 134512640 134716908 3221224560 3221220428 1074787806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12308 11505 1111 63 0 12245 0
vsize: 49232
[startup+790.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 284674 0 0 0 78288 720 0 0 25 0 1 0 854639839 50388992 11518 4294967295 134512640 134716908 3221224560 3221220604 1074873471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12302 11518 1111 63 0 12239 0
vsize: 49208
[startup+800.015 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 288351 0 0 0 79280 728 0 0 25 0 1 0 854639839 50446336 11530 4294967295 134512640 134716908 3221224560 3221220508 1074788950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12316 11530 1111 63 0 12253 0
vsize: 49264
[startup+810.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7879
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 289718 0 0 0 80276 731 0 0 25 0 1 0 854639839 48807936 11196 4294967295 134512640 134716908 3221224560 3221221904 1074839045 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11916 11196 1111 63 0 11853 0
vsize: 47664
[startup+820.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 293023 0 0 0 81268 739 0 0 25 0 1 0 854639839 47915008 11017 4294967295 134512640 134716908 3221224560 3221222896 1074153760 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11698 11017 1111 63 0 11635 0
vsize: 46792
[startup+830.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 294951 0 0 0 82264 743 0 0 25 0 1 0 854639839 48594944 11140 4294967295 134512640 134716908 3221224560 3221223160 134646233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11864 11140 1111 63 0 11801 0
vsize: 47456
[startup+840.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 300185 0 0 0 83252 755 0 0 25 0 1 0 854639839 47874048 11007 4294967295 134512640 134716908 3221224560 3221221480 1074138162 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11688 11007 1111 63 0 11625 0
vsize: 46752
[startup+850.016 s]
Raw data (loadavg): 1.00 1.01 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 303889 0 0 0 84244 764 0 0 25 0 1 0 854639839 48078848 11057 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11738 11057 1111 63 0 11675 0
vsize: 46952
[startup+860.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 307617 0 0 0 85236 772 0 0 25 0 1 0 854639839 48103424 11063 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11744 11063 1111 63 0 11681 0
vsize: 46976
[startup+870.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 309009 0 0 0 86233 775 0 0 25 0 1 0 854639839 49139712 11206 4294967295 134512640 134716908 3221224560 3221221840 1074140041 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11997 11210 1111 63 0 11934 0
vsize: 47988
[startup+880.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 312459 0 0 0 87225 783 0 0 25 0 1 0 854639839 50683904 11650 4294967295 134512640 134716908 3221224560 3221220428 1074787518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12374 11650 1111 63 0 12311 0
vsize: 49496
[startup+890.015 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 314301 0 0 0 88221 788 0 0 25 0 1 0 854639839 50720768 11642 4294967295 134512640 134716908 3221224560 3221220788 1075115003 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12383 11642 1111 63 0 12320 0
vsize: 49532
[startup+900.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 315150 0 0 0 89219 790 0 0 25 0 1 0 854639839 48246784 11098 4294967295 134512640 134716908 3221224560 3221222592 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11779 11098 1111 63 0 11716 0
vsize: 47116
[startup+910.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 318677 0 0 0 90211 798 0 0 25 0 1 0 854639839 48168960 11079 4294967295 134512640 134716908 3221224560 3221221552 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11760 11079 1111 63 0 11697 0
vsize: 47040
[startup+920.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 319732 0 0 0 91208 801 0 0 25 0 1 0 854639839 50679808 11658 4294967295 134512640 134716908 3221224560 3221220460 1074787518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12373 11658 1111 63 0 12310 0
vsize: 49492
[startup+930.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 321608 0 0 0 92204 805 0 0 25 0 1 0 854639839 50827264 11660 4294967295 134512640 134716908 3221224560 3221220788 1075115046 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12409 11660 1111 63 0 12346 0
vsize: 49636
[startup+940.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 326964 0 0 0 93192 817 0 0 25 0 1 0 854639839 50839552 11633 4294967295 134512640 134716908 3221224560 3221220800 1075115696 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12412 11633 1111 63 0 12349 0
vsize: 49648
[startup+950.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 330663 0 0 0 94183 826 0 0 25 0 1 0 854639839 50831360 11619 4294967295 134512640 134716908 3221224560 3221220508 1074788959 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 11619 1111 63 0 12347 0
vsize: 49640
[startup+960.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 330760 0 0 0 95183 827 0 0 25 0 1 0 854639839 50831360 11713 4294967295 134512640 134716908 3221224560 3221220528 1074872793 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12410 11713 1111 63 0 12347 0
vsize: 49640
[startup+970.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 334442 0 0 0 96174 836 0 0 25 0 1 0 854639839 50974720 11660 4294967295 134512640 134716908 3221224560 3221220604 1074873512 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12445 11660 1111 63 0 12382 0
vsize: 49780
[startup+980.016 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 336401 0 0 0 97169 841 0 0 25 0 1 0 854639839 50970624 11722 4294967295 134512640 134716908 3221224560 3221221216 1075967941 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12444 11722 1111 63 0 12381 0
vsize: 49776
[startup+990.017 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 337282 0 0 0 98167 843 0 0 25 0 1 0 854639839 48467968 11152 4294967295 134512640 134716908 3221224560 3221222256 1077814665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11833 11152 1111 63 0 11770 0
vsize: 47332
[startup+1000.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 338340 0 0 0 99165 845 0 0 25 0 1 0 854639839 50913280 11732 4294967295 134512640 134716908 3221224560 3221220528 1074791002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12430 11732 1111 63 0 12367 0
vsize: 49720
[startup+1010.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 342165 0 0 0 100157 853 0 0 25 0 1 0 854639839 51073024 11728 4294967295 134512640 134716908 3221224560 3221220764 1075564289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12469 11728 1111 63 0 12406 0
vsize: 49876
[startup+1020.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 345848 0 0 0 101150 861 0 0 25 0 1 0 854639839 51060736 11621 4294967295 134512640 134716908 3221224560 3221220632 1074950189 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12466 11621 1111 63 0 12403 0
vsize: 49864
[startup+1030.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 345978 0 0 0 102150 861 0 0 25 0 1 0 854639839 51060736 11748 4294967295 134512640 134716908 3221224560 3221220880 1075169890 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12466 11748 1111 63 0 12403 0
vsize: 49864
[startup+1040.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 350648 0 0 0 103139 872 0 0 25 0 1 0 854639839 48562176 11147 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11856 11147 1111 63 0 11793 0
vsize: 47424
[startup+1050.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 351959 0 0 0 104136 875 0 0 25 0 1 0 854639839 48586752 11181 4294967295 134512640 134716908 3221224560 3221222976 1074117068 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11862 11181 1111 63 0 11799 0
vsize: 47448
[startup+1060.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 355564 0 0 0 105128 884 0 0 25 0 1 0 854639839 51105792 11747 4294967295 134512640 134716908 3221224560 3221220604 1074873520 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12477 11747 1111 63 0 12414 0
vsize: 49908
[startup+1070.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 356449 0 0 0 106126 886 0 0 25 0 1 0 854639839 48447488 11147 4294967295 134512640 134716908 3221224560 3221222368 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11828 11147 1111 63 0 11765 0
vsize: 47312
[startup+1080.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 358368 0 0 0 107122 890 0 0 25 0 1 0 854639839 48537600 11169 4294967295 134512640 134716908 3221224560 3221222512 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11850 11169 1111 63 0 11787 0
vsize: 47400
[startup+1090.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 362027 0 0 0 108114 898 0 0 25 0 1 0 854639839 49217536 11303 4294967295 134512640 134716908 3221224560 3221222712 1074950119 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12016 11303 1111 63 0 11953 0
vsize: 48064
[startup+1100.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 366309 0 0 0 109105 908 0 0 25 0 1 0 854639839 50409472 11626 4294967295 134512640 134716908 3221224560 3221221312 1074247404 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12307 11626 1111 63 0 12244 0
vsize: 49228
[startup+1110.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 369311 0 0 0 110098 914 0 0 25 0 1 0 854639839 48943104 11268 4294967295 134512640 134716908 3221224560 3221222944 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11949 11268 1111 63 0 11886 0
vsize: 47796
[startup+1120.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 370322 0 0 0 111096 917 0 0 25 0 1 0 854639839 51269632 11792 4294967295 134512640 134716908 3221224560 3221220604 1074873456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12517 11792 1111 63 0 12454 0
vsize: 50068
[startup+1130.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 372198 0 0 0 112091 922 0 0 25 0 1 0 854639839 51269632 11785 4294967295 134512640 134716908 3221224560 3221220720 1075094220 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12517 11785 1111 63 0 12454 0
vsize: 50068
[startup+1140.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 374034 0 0 0 113088 925 0 0 25 0 1 0 854639839 51290112 11743 4294967295 134512640 134716908 3221224560 3221220688 1075561218 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12522 11743 1111 63 0 12459 0
vsize: 50088
[startup+1150.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 377663 0 0 0 114080 933 0 0 25 0 1 0 854639839 51179520 11770 4294967295 134512640 134716908 3221224560 3221220604 1074873495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12495 11770 1111 63 0 12432 0
vsize: 49980
[startup+1160.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 379556 0 0 0 115075 938 0 0 25 0 1 0 854639839 51314688 11800 4294967295 134512640 134716908 3221224560 3221220736 1074882610 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12528 11800 1111 63 0 12465 0
vsize: 50112
[startup+1170.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 381438 0 0 0 116071 943 0 0 25 0 1 0 854639839 51372032 11788 4294967295 134512640 134716908 3221224560 3221220832 1074961293 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12542 11788 1111 63 0 12479 0
vsize: 50168
[startup+1180.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 385174 0 0 0 117062 952 0 0 25 0 1 0 854639839 51355648 11786 4294967295 134512640 134716908 3221224560 3221220720 1074794655 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12538 11786 1111 63 0 12475 0
vsize: 50152
[startup+1190.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 387106 0 0 0 118057 957 0 0 25 0 1 0 854639839 51355648 11815 4294967295 134512640 134716908 3221224560 3221220604 1074873465 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12538 11815 1111 63 0 12475 0
vsize: 50152
[startup+1200.02 s]
Raw data (loadavg): 1.00 1.00 0.95 2/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) R 7821 8378 8377 0 -1 0 388979 0 0 0 119053 961 0 0 25 0 1 0 854639839 51179520 11769 4294967295 134512640 134716908 3221224560 3221220532 1074786547 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12495 11769 1111 63 0 12432 0
vsize: 49980
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.04 s]
Raw data (loadavg): 1.00 1.00 0.95 1/55 7881
Raw data (stat): 7822 (bsolo_lpr_cuts-) Z 7821 8378 8377 0 -1 1036 388979 0 0 0 119053 963 0 0 25 0 1 0 854639839 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.04
CPU time (s): 1200.17
CPU user time (s): 1190.53
CPU system time (s): 9.63654
CPU usage (%): 100.011
Max. virtual memory (Kb): 50168
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####