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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B2C1S1.opb
MD5SUM	2da614f2ff412c1e07d8c65342ffb362
Bench Category	optimization, medium integers (OPTMEDINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 41688

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-09 19:52:41 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29748 boxname=wulflinc1 idbench=1532 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  2da614f2ff412c1e07d8c65342ffb362  /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-B2C1S1.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-mps-v2-13-7-B2C1S1.opb
IDLAUNCH: 29748
/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:        920384 kB
Buffers:          3396 kB
Cached:          87100 kB
SwapCached:       1100 kB
Active:          28908 kB
Inactive:        63760 kB
HighTotal:      131008 kB
HighFree:        40572 kB
LowTotal:       903652 kB
LowFree:        879812 kB
SwapTotal:     2097136 kB
SwapFree:      2094840 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5216 kB
Slab:            15576 kB
Committed_AS:    92684 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 20:12:17 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 29748 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5909 constraints.
c preprocess terminated 283.088 s
c Initial Lower Bound: 54226794
c Lower Bound Elapsed time: 98.4321
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.98 1.02 0.93 2/55 9453
Raw data (stat): 9453 (runsolver) R 9452 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 856085437 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0011 s]
Raw data (loadavg): 0.98 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1611 0 0 0 994 4 0 0 25 0 1 0 856085437 19177472 1531 4294967295 134512640 134716908 3221224560 3221222788 1077414388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4682 1531 1111 63 0 4619 0
vsize: 18728
[startup+20.0015 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 2694 0 0 0 1992 6 0 0 25 0 1 0 856085437 23691264 2614 4294967295 134512640 134716908 3221224560 3221222788 1077414363 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5784 2614 1111 63 0 5721 0
vsize: 23136
[startup+30.0013 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 3859 0 0 0 2990 8 0 0 25 0 1 0 856085437 28512256 3779 4294967295 134512640 134716908 3221224560 3221222788 1077414408 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6961 3779 1111 63 0 6898 0
vsize: 27844
[startup+40.0014 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 5097 0 0 0 3988 10 0 0 25 0 1 0 856085437 33456128 5017 4294967295 134512640 134716908 3221224560 3221222788 1077414410 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8168 5017 1111 63 0 8105 0
vsize: 32672
[startup+50.0008 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 6432 0 0 0 4985 13 0 0 25 0 1 0 856085437 38969344 6352 4294967295 134512640 134716908 3221224560 3221222788 1077414395 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9514 6352 1111 63 0 9451 0
vsize: 38056
[startup+60.0006 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 7809 0 0 0 5983 15 0 0 25 0 1 0 856085437 44621824 7729 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10894 7729 1111 63 0 10831 0
vsize: 43576
[startup+70.0008 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 9281 0 0 0 6980 18 0 0 25 0 1 0 856085437 50692096 9201 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12376 9201 1111 63 0 12313 0
vsize: 49504
[startup+80.0012 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 10802 0 0 0 7978 20 0 0 25 0 1 0 856085437 56901632 10722 4294967295 134512640 134716908 3221224560 3221222788 1077414435 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13892 10722 1111 63 0 13829 0
vsize: 55568
[startup+90.001 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 12540 0 0 0 8975 24 0 0 25 0 1 0 856085437 64040960 12460 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15635 12460 1111 63 0 15572 0
vsize: 62540
[startup+100.001 s]
Raw data (loadavg): 0.99 1.01 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 14377 0 0 0 9972 27 0 0 25 0 1 0 856085437 71663616 14297 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17496 14297 1111 63 0 17433 0
vsize: 69984
[startup+110.002 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 16362 0 0 0 10968 31 0 0 25 0 1 0 856085437 79716352 16282 4294967295 134512640 134716908 3221224560 3221223216 134527946 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19462 16282 1111 63 0 19399 0
vsize: 77848
[startup+120.001 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 19628 0 0 0 11963 36 0 0 25 0 1 0 856085437 93126656 19548 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22736 19548 1111 63 0 22673 0
vsize: 90944
[startup+130.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 40280 0 0 0 12917 83 0 0 25 0 1 0 856085437 177664000 40200 4294967295 134512640 134716908 3221224560 3221222848 134566780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43375 40200 1111 63 0 43312 0
vsize: 173500
[startup+140.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 57558 0 0 0 13883 116 0 0 25 0 1 0 856085437 247693312 57140 4294967295 134512640 134716908 3221224560 3221223056 134538962 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60472 57140 1111 63 0 60409 0
vsize: 241888
[startup+150.003 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 64388 0 0 0 14867 132 0 0 25 0 1 0 856085437 267337728 63831 4294967295 134512640 134716908 3221224560 3221223288 134675281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65268 63831 1111 63 0 65205 0
vsize: 261072
[startup+160.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 72875 0 0 0 15850 149 0 0 25 0 1 0 856085437 273338368 65289 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66733 65289 1111 63 0 66670 0
vsize: 266932
[startup+170.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 72986 0 0 0 16849 149 0 0 25 0 1 0 856085437 273743872 65400 4294967295 134512640 134716908 3221224560 3221223296 134630852 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66832 65400 1111 63 0 66769 0
vsize: 267328
[startup+180.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 73046 0 0 0 17849 150 0 0 25 0 1 0 856085437 274014208 65460 4294967295 134512640 134716908 3221224560 3221223312 134630811 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66898 65460 1111 63 0 66835 0
vsize: 267592
[startup+190.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 86429 0 0 0 18822 177 0 0 25 0 1 0 856085437 275021824 65637 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67144 65644 1111 63 0 67081 0
vsize: 268576
[startup+200.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 239885 0 0 0 19490 509 0 0 25 0 1 0 856085437 274280448 65520 4294967295 134512640 134716908 3221224560 3221223288 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 66963 65520 1111 63 0 66900 0
vsize: 267852
[startup+210.004 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 395100 0 0 0 20122 878 0 0 25 0 1 0 856085437 277032960 66097 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67635 66104 1111 63 0 67572 0
vsize: 270540
[startup+220.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 483427 0 0 0 20931 1068 0 0 25 0 1 0 856085437 275423232 65816 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67171 65745 1111 63 0 67108 0
vsize: 268968
[startup+230.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 21873 1127 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627186 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+240.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 22873 1127 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+250.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 23873 1127 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+260.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 24873 1127 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223208 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+270.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 25873 1127 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627247 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+280.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 509561 0 0 0 26873 1128 0 0 25 0 1 0 856085437 275116032 65751 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67167 65751 1111 63 0 67104 0
vsize: 268668
[startup+290.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 608839 0 0 0 27654 1347 0 0 25 0 1 0 856085437 290758656 69326 4294967295 134512640 134716908 3221224560 3221222760 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 70986 69331 1111 63 0 70923 0
vsize: 283944
[startup+300.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 739077 0 0 0 28361 1639 0 0 25 0 1 0 856085437 290938880 69353 4294967295 134512640 134716908 3221224560 3221222680 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71030 69358 1111 63 0 70967 0
vsize: 284120
[startup+310.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 861710 0 0 0 29085 1915 0 0 25 0 1 0 856085437 291311616 69442 4294967295 134512640 134716908 3221224560 3221222536 1074138158 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71121 69447 1111 63 0 71058 0
vsize: 284484
[startup+320.005 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 973018 0 0 0 29837 2164 0 0 25 0 1 0 856085437 291213312 69494 4294967295 134512640 134716908 3221224560 3221222608 1074153672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71097 69494 1111 63 0 71034 0
vsize: 284388
[startup+330.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1069723 0 0 0 30610 2392 0 0 25 0 1 0 856085437 291409920 69551 4294967295 134512640 134716908 3221224560 3221222336 1074153736 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71145 69551 1111 63 0 71082 0
vsize: 284580
[startup+340.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1152204 0 0 0 31411 2590 0 0 25 0 1 0 856085437 291905536 69673 4294967295 134512640 134716908 3221224560 3221222032 1074153770 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71266 69673 1111 63 0 71203 0
vsize: 285064
[startup+350.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1222606 0 0 0 32243 2759 0 0 25 0 1 0 856085437 292368384 69786 4294967295 134512640 134716908 3221224560 3221222032 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71379 69786 1111 63 0 71316 0
vsize: 285516
[startup+360.006 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1285317 0 0 0 33086 2916 0 0 25 0 1 0 856085437 292728832 69875 4294967295 134512640 134716908 3221224560 3221222048 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71467 69875 1111 63 0 71404 0
vsize: 285868
[startup+370.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1342481 0 0 0 33948 3053 0 0 25 0 1 0 856085437 293056512 69955 4294967295 134512640 134716908 3221224560 3221222032 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71547 69955 1111 63 0 71484 0
vsize: 286188
[startup+380.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364776 0 0 0 34897 3105 0 0 25 0 1 0 856085437 309571584 73360 4294967295 134512640 134716908 3221224560 3221220684 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75579 73360 1111 63 0 75516 0
vsize: 302316
[startup+390.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364796 0 0 0 35897 3105 0 0 25 0 1 0 856085437 309571584 73380 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75579 73380 1111 63 0 75516 0
vsize: 302316
[startup+400.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364802 0 0 0 36897 3105 0 0 25 0 1 0 856085437 309571584 73386 4294967295 134512640 134716908 3221224560 3221220684 1075116489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75579 73386 1111 63 0 75516 0
vsize: 302316
[startup+410.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364819 0 0 0 37897 3105 0 0 25 0 1 0 856085437 310312960 73403 4294967295 134512640 134716908 3221224560 3221220668 1075563855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73403 1111 63 0 75697 0
vsize: 303040
[startup+420.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364819 0 0 0 38897 3105 0 0 25 0 1 0 856085437 310312960 73403 4294967295 134512640 134716908 3221224560 3221220668 1075563861 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73403 1111 63 0 75697 0
vsize: 303040
[startup+430.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364819 0 0 0 39898 3105 0 0 25 0 1 0 856085437 310312960 73403 4294967295 134512640 134716908 3221224560 3221220672 1076111660 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73403 1111 63 0 75697 0
vsize: 303040
[startup+440.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9453
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364820 0 0 0 40898 3105 0 0 25 0 1 0 856085437 310312960 73404 4294967295 134512640 134716908 3221224560 3221220800 1075113511 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73404 1111 63 0 75697 0
vsize: 303040
[startup+450.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9506
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 41895 3108 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220684 1075116498 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+460.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9506
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 42895 3108 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+470.007 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9506
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 43895 3108 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+480.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9506
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 44895 3108 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+490.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9506
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 45895 3108 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+500.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9508
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1364821 0 0 0 46895 3109 0 0 25 0 1 0 856085437 310312960 73405 4294967295 134512640 134716908 3221224560 3221220460 1074860987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75760 73405 1111 63 0 75697 0
vsize: 303040
[startup+510.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1367046 0 0 0 47888 3115 0 0 25 0 1 0 856085437 294883328 70511 4294967295 134512640 134716908 3221224560 3221222816 1074115298 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71993 70511 1111 63 0 71930 0
vsize: 287972
[startup+520.008 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386097 0 0 0 48845 3158 0 0 25 0 1 0 856085437 316739584 75156 4294967295 134512640 134716908 3221224560 3221220684 1075116478 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77329 75156 1111 63 0 77266 0
vsize: 309316
[startup+530.009 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386103 0 0 0 49845 3158 0 0 25 0 1 0 856085437 316739584 75162 4294967295 134512640 134716908 3221224560 3221220684 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77329 75162 1111 63 0 77266 0
vsize: 309316
[startup+540.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386105 0 0 0 50845 3158 0 0 25 0 1 0 856085437 316739584 75164 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77329 75164 1111 63 0 77266 0
vsize: 309316
[startup+550.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386119 0 0 0 51845 3159 0 0 25 0 1 0 856085437 317480960 75178 4294967295 134512640 134716908 3221224560 3221220460 1074860977 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77510 75178 1111 63 0 77447 0
vsize: 310040
[startup+560.01 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386136 0 0 0 52845 3159 0 0 25 0 1 0 856085437 317480960 75195 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77510 75195 1111 63 0 77447 0
vsize: 310040
[startup+570.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386136 0 0 0 53845 3159 0 0 25 0 1 0 856085437 317480960 75195 4294967295 134512640 134716908 3221224560 3221221504 1075971413 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77510 75195 1111 63 0 77447 0
vsize: 310040
[startup+580.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1386144 0 0 0 54845 3159 0 0 25 0 1 0 856085437 317480960 75203 4294967295 134512640 134716908 3221224560 3221220668 1075563855 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77510 75203 1111 63 0 77447 0
vsize: 310040
[startup+590.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406482 0 0 0 55799 3205 0 0 25 0 1 0 856085437 316960768 75215 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75215 1111 63 0 77320 0
vsize: 309532
[startup+600.011 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406492 0 0 0 56799 3205 0 0 25 0 1 0 856085437 316960768 75225 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75225 1111 63 0 77320 0
vsize: 309532
[startup+610.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406492 0 0 0 57799 3205 0 0 25 0 1 0 856085437 316960768 75225 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75225 1111 63 0 77320 0
vsize: 309532
[startup+620.012 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406493 0 0 0 58799 3205 0 0 25 0 1 0 856085437 316960768 75226 4294967295 134512640 134716908 3221224560 3221220428 1074860664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+630.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406493 0 0 0 59800 3205 0 0 25 0 1 0 856085437 316960768 75226 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77383 75226 1111 63 0 77320 0
vsize: 309532
[startup+640.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406506 0 0 0 60800 3206 0 0 25 0 1 0 856085437 317702144 75239 4294967295 134512640 134716908 3221224560 3221220460 1074860953 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77564 75239 1111 63 0 77501 0
vsize: 310256
[startup+650.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406506 0 0 0 61800 3206 0 0 25 0 1 0 856085437 317702144 75239 4294967295 134512640 134716908 3221224560 3221220428 1074860598 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77564 75239 1111 63 0 77501 0
vsize: 310256
[startup+660.013 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406508 0 0 0 62799 3206 0 0 25 0 1 0 856085437 317702144 75241 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77564 75241 1111 63 0 77501 0
vsize: 310256
[startup+670.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1406508 0 0 0 63800 3206 0 0 25 0 1 0 856085437 317702144 75241 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77564 75241 1111 63 0 77501 0
vsize: 310256
[startup+680.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1415063 0 0 0 64780 3226 0 0 25 0 1 0 856085437 306577408 73262 4294967295 134512640 134716908 3221224560 3221222956 134558496 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74848 73262 1111 63 0 74785 0
vsize: 299392
[startup+690.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429035 0 1 0 65726 3257 0 0 25 0 1 0 856085437 317558784 75370 4294967295 134512640 134716908 3221224560 3221220468 1074875817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75370 1111 63 0 77466 0
vsize: 310116
[startup+700.014 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429050 0 1 0 66726 3257 0 0 25 0 1 0 856085437 317558784 75385 4294967295 134512640 134716908 3221224560 3221220568 1074798278 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75385 1111 63 0 77466 0
vsize: 310116
[startup+710.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429051 0 1 0 67726 3257 0 0 25 0 1 0 856085437 317558784 75386 4294967295 134512640 134716908 3221224560 3221220680 1075560351 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75386 1111 63 0 77466 0
vsize: 310116
[startup+720.015 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429055 0 1 0 68726 3257 0 0 25 0 1 0 856085437 317558784 75390 4294967295 134512640 134716908 3221224560 3221220428 1074860617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75390 1111 63 0 77466 0
vsize: 310116
[startup+730.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429057 0 1 0 69726 3257 0 0 25 0 1 0 856085437 317558784 75392 4294967295 134512640 134716908 3221224560 3221220536 1074950204 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75392 1111 63 0 77466 0
vsize: 310116
[startup+740.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429060 0 1 0 70726 3257 0 0 25 0 1 0 856085437 317558784 75395 4294967295 134512640 134716908 3221224560 3221220684 1075116508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75395 1111 63 0 77466 0
vsize: 310116
[startup+750.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429062 0 1 0 71726 3258 0 0 25 0 1 0 856085437 317558784 75397 4294967295 134512640 134716908 3221224560 3221220428 1074860632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75397 1111 63 0 77466 0
vsize: 310116
[startup+760.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9510
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429062 0 1 0 72726 3258 0 0 25 0 1 0 856085437 317558784 75397 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77529 75397 1111 63 0 77466 0
vsize: 310116
[startup+770.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429075 0 1 0 73725 3258 0 0 25 0 1 0 856085437 318300160 75410 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77710 75410 1111 63 0 77647 0
vsize: 310840
[startup+780.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429075 0 1 0 74725 3259 0 0 25 0 1 0 856085437 318300160 75410 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77710 75410 1111 63 0 77647 0
vsize: 310840
[startup+790.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1429078 0 1 0 75725 3259 0 0 25 0 1 0 856085437 318300160 75413 4294967295 134512640 134716908 3221224560 3221220624 1074794536 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77710 75413 1111 63 0 77647 0
vsize: 310840
[startup+800.016 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452022 0 1 0 76673 3310 0 0 25 0 1 0 856085437 317878272 75381 4294967295 134512640 134716908 3221224560 3221220428 1074787739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77607 75381 1111 63 0 77544 0
vsize: 310428
[startup+810.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452095 0 1 0 77673 3311 0 0 25 0 1 0 856085437 317878272 75454 4294967295 134512640 134716908 3221224560 3221220684 1075116564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77607 75454 1111 63 0 77544 0
vsize: 310428
[startup+820.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452096 0 1 0 78673 3311 0 0 25 0 1 0 856085437 317878272 75455 4294967295 134512640 134716908 3221224560 3221220684 1075116767 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77607 75455 1111 63 0 77544 0
vsize: 310428
[startup+830.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452109 0 1 0 79673 3311 0 0 25 0 1 0 856085437 318619648 75468 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77788 75468 1111 63 0 77725 0
vsize: 311152
[startup+840.017 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452120 0 1 0 80673 3312 0 0 25 0 1 0 856085437 318619648 75479 4294967295 134512640 134716908 3221224560 3221221296 1075115406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77788 75479 1111 63 0 77725 0
vsize: 311152
[startup+850.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452123 0 1 0 81673 3312 0 0 25 0 1 0 856085437 318619648 75482 4294967295 134512640 134716908 3221224560 3221221120 1075967892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77788 75482 1111 63 0 77725 0
vsize: 311152
[startup+860.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452125 0 1 0 82673 3312 0 0 25 0 1 0 856085437 318619648 75484 4294967295 134512640 134716908 3221224560 3221221456 1075338848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77788 75484 1111 63 0 77725 0
vsize: 311152
[startup+870.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452470 0 1 0 83672 3312 0 0 25 0 1 0 856085437 320102400 75829 4294967295 134512640 134716908 3221224560 3221221248 1074793550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75829 1111 63 0 78087 0
vsize: 312600
[startup+880.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452470 0 1 0 84673 3312 0 0 25 0 1 0 856085437 320102400 75829 4294967295 134512640 134716908 3221224560 3221221160 1074950114 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75829 1111 63 0 78087 0
vsize: 312600
[startup+890.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 85672 3313 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221221248 1074793641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+900.018 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 86672 3313 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221220956 1074787806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+910.019 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 87672 3313 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221220856 1076119993 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+920.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 88672 3313 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221221012 1075115035 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+930.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 89672 3314 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221221248 1074793528 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+940.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 90672 3314 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221221248 1074793540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+950.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1452472 0 1 0 91672 3314 0 0 25 0 1 0 856085437 320102400 75831 4294967295 134512640 134716908 3221224560 3221221248 1074793550 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78150 75831 1111 63 0 78087 0
vsize: 312600
[startup+960.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1478784 0 1 0 92614 3373 0 0 25 0 1 0 856085437 316260352 74251 4294967295 134512640 134716908 3221224560 3221221744 1074140026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77212 74251 1111 63 0 77149 0
vsize: 308848
[startup+970.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1481089 0 1 0 93610 3377 0 0 25 0 1 0 856085437 318136320 75523 4294967295 134512640 134716908 3221224560 3221221120 1075967945 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77670 75523 1111 63 0 77607 0
vsize: 310680
[startup+980.021 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1481094 0 1 0 94609 3377 0 0 25 0 1 0 856085437 318136320 75528 4294967295 134512640 134716908 3221224560 3221220928 1075602651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77670 75528 1111 63 0 77607 0
vsize: 310680
[startup+990.022 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1481095 0 1 0 95609 3377 0 0 25 0 1 0 856085437 318136320 75529 4294967295 134512640 134716908 3221224560 3221221392 1075960434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77670 75529 1111 63 0 77607 0
vsize: 310680
[startup+1000.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1481095 0 1 0 96610 3377 0 0 25 0 1 0 856085437 318136320 75529 4294967295 134512640 134716908 3221224560 3221220460 1074860942 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77670 75529 1111 63 0 77607 0
vsize: 310680
[startup+1010.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1505261 0 1 0 97555 3432 0 0 25 0 1 0 856085437 318574592 75594 4294967295 134512640 134716908 3221224560 3221220624 1075084533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77777 75594 1111 63 0 77714 0
vsize: 311108
[startup+1020.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1530154 0 1 0 98499 3489 0 0 25 0 1 0 856085437 319139840 75200 4294967295 134512640 134716908 3221224560 3221221656 1074138303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77915 75200 1111 63 0 77852 0
vsize: 311660
[startup+1030.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1531397 0 1 0 99496 3491 0 0 25 0 1 0 856085437 318873600 75686 4294967295 134512640 134716908 3221224560 3221220536 1074950210 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77850 75686 1111 63 0 77787 0
vsize: 311400
[startup+1040.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1531399 0 1 0 100496 3492 0 0 25 0 1 0 856085437 318873600 75688 4294967295 134512640 134716908 3221224560 3221220428 1074860626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77850 75688 1111 63 0 77787 0
vsize: 311400
[startup+1050.02 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1531417 0 1 0 101496 3492 0 0 25 0 1 0 856085437 319627264 75706 4294967295 134512640 134716908 3221224560 3221220608 1074950928 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78034 75706 1111 63 0 77971 0
vsize: 312136
[startup+1060.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1531418 0 1 0 102498 3492 0 0 25 0 1 0 856085437 319627264 75707 4294967295 134512640 134716908 3221224560 3221220428 1074860653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78034 75707 1111 63 0 77971 0
vsize: 312136
[startup+1070.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536323 0 1 0 103490 3500 0 0 25 0 1 0 856085437 312995840 74234 4294967295 134512640 134716908 3221224560 3221220460 1074860959 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76415 74234 1111 63 0 76352 0
vsize: 305660
[startup+1080.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 104490 3500 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1090.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 105490 3500 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1100.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 106490 3501 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1110.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 107490 3501 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1120.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 108490 3501 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1130.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536324 0 1 0 109490 3501 0 0 25 0 1 0 856085437 302215168 72346 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72346 1111 63 0 73720 0
vsize: 295132
[startup+1140.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536326 0 1 0 110489 3502 0 0 25 0 1 0 856085437 302215168 72348 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72348 1111 63 0 73720 0
vsize: 295132
[startup+1150.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536326 0 1 0 111489 3502 0 0 25 0 1 0 856085437 302215168 72348 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72348 1111 63 0 73720 0
vsize: 295132
[startup+1160.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536326 0 1 0 112489 3502 0 0 25 0 1 0 856085437 302215168 72348 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72348 1111 63 0 73720 0
vsize: 295132
[startup+1170.04 s]
Raw data (loadavg): 0.99 1.00 0.93 2/55 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536326 0 1 0 113489 3502 0 0 25 0 1 0 856085437 302215168 72348 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72348 1111 63 0 73720 0
vsize: 295132
[startup+1175.32 s]
Raw data (loadavg): 0.99 1.00 0.93 1/54 9512
Raw data (stat): 9453 (bsolo_lpr_cuts-) R 9452 8378 8377 0 -1 0 1536326 0 1 0 113489 3502 0 0 25 0 1 0 856085437 302215168 72348 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73783 72348 1111 63 0 73720 0
vsize: 0

Child status: 0
Real time (s): 1175.32
CPU time (s): 1175.19
CPU user time (s): 1140.03
CPU system time (s): 35.1647
CPU usage (%): 99.9896
Max. virtual memory (Kb): 312600
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####