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/miplib/normalized-mps-v2-13-7-lp4l.opb
MD5SUM	3c39e3c2b993ee2185e2a1a3e73b9723
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	3684
Optimality of the best value was proved	NO
Number of terms in the objective function	1086
Biggest coefficient in the objective function	283
Number of bits for the biggest coefficient in the objective function	9
Sum of the numbers in the objective function	197191
Number of bits of the sum of numbers in the objective function	18
Biggest number in a constraint	283
Number of bits of the biggest number in a constraint	9
Biggest sum of numbers in a constraint	197191
Number of bits of the biggest sum of numbers	18
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1175.3
Number of variables	1086
Total number of constraints	1171
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	1170
Number of constraints which are nor clauses,nor cardinality constraints	1
Minimum length of a constraint	1
Maximum length of a constraint	1086
Trace number 41462

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        840712 kB
Buffers:         16448 kB
Cached:         156900 kB
SwapCached:       1480 kB
Active:          26676 kB
Inactive:       148724 kB
HighTotal:      131008 kB
HighFree:         5180 kB
LowTotal:       903652 kB
LowFree:        835532 kB
SwapTotal:     2097136 kB
SwapFree:      2094616 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4968 kB
Slab:            12864 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 13:10:47 (client local time) WITH STATUS 0 IN 1175.06 SECONDS
stats: 29517 7 1175.06 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1086 variables and 169 constraints.
c After prepocess the problem consists of 1086 variables and 987 constraints.
c preprocess terminated 62.859 s
c Initial Lower Bound: 2943
c Lower Bound Elapsed time: 1.478
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.91 0.95 0.90 2/54 28315
Raw data (stat): 28315 (runsolver) R 28314 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 910416818 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.0005 s]
Raw data (loadavg): 0.93 0.95 0.90 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8590 0 0 0 979 18 0 0 25 0 1 0 910416818 38318080 8504 4294967295 134512640 134716908 3221224560 3221223232 134627268 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9355 8504 1111 63 0 9292 0
vsize: 37420
[startup+20.0015 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8656 0 0 0 1980 18 0 0 25 0 1 0 910416818 38588416 8570 4294967295 134512640 134716908 3221224560 3221223212 134558493 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9421 8570 1111 63 0 9358 0
vsize: 37684
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8712 0 0 0 2980 18 0 0 25 0 1 0 910416818 38862848 8626 4294967295 134512640 134716908 3221224560 3221223216 134627214 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9488 8626 1111 63 0 9425 0
vsize: 37952
[startup+40.0006 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8777 0 0 0 3980 18 0 0 25 0 1 0 910416818 38998016 8691 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9521 8691 1111 63 0 9458 0
vsize: 38084
[startup+50.0006 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8835 0 0 0 4980 18 0 0 25 0 1 0 910416818 39268352 8749 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9587 8749 1111 63 0 9524 0
vsize: 38348
[startup+60.001 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 8890 0 0 0 5980 18 0 0 25 0 1 0 910416818 39542784 8804 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9654 8804 1111 63 0 9591 0
vsize: 38616
[startup+70.002 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 9876 0 0 0 6977 21 0 0 25 0 1 0 910416818 41332736 9386 4294967295 134512640 134716908 3221224560 3221223232 1076647554 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10091 9386 1111 63 0 10028 0
vsize: 40364
[startup+80.0017 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 9984 0 0 0 7975 23 0 0 25 0 1 0 910416818 41689088 9494 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10178 9494 1111 63 0 10115 0
vsize: 40712
[startup+90.0021 s]
Raw data (loadavg): 1.06 0.98 0.91 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10138 0 0 0 8974 24 0 0 25 0 1 0 910416818 42364928 9648 4294967295 134512640 134716908 3221224560 3221223304 134558477 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10343 9648 1111 63 0 10280 0
vsize: 41372
[startup+100.002 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10221 0 0 0 9974 25 0 0 25 0 1 0 910416818 42631168 9731 4294967295 134512640 134716908 3221224560 3221223288 134543796 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10408 9731 1111 63 0 10345 0
vsize: 41632
[startup+110.003 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10323 0 0 0 10973 26 0 0 25 0 1 0 910416818 43171840 9833 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10540 9833 1111 63 0 10477 0
vsize: 42160
[startup+120.003 s]
Raw data (loadavg): 1.09 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10430 0 0 0 11972 27 0 0 25 0 1 0 910416818 43577344 9940 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10639 9940 1111 63 0 10576 0
vsize: 42556
[startup+130.003 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10547 0 0 0 12971 28 0 0 25 0 1 0 910416818 44044288 10057 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10753 10057 1111 63 0 10690 0
vsize: 43012
[startup+140.004 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10600 0 0 0 13970 29 0 0 25 0 1 0 910416818 44179456 10110 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10786 10110 1111 63 0 10723 0
vsize: 43144
[startup+150.004 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10647 0 0 0 14970 30 0 0 25 0 1 0 910416818 44449792 10157 4294967295 134512640 134716908 3221224560 3221223136 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10852 10157 1111 63 0 10789 0
vsize: 43408
[startup+160.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10703 0 0 0 15970 30 0 0 25 0 1 0 910416818 44720128 10213 4294967295 134512640 134716908 3221224560 3221223168 134543759 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10918 10213 1111 63 0 10855 0
vsize: 43672
[startup+170.005 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10733 0 0 0 16969 31 0 0 25 0 1 0 910416818 44720128 10243 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10918 10243 1111 63 0 10855 0
vsize: 43672
[startup+180.004 s]
Raw data (loadavg): 1.11 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10762 0 0 0 17968 32 0 0 25 0 1 0 910416818 44855296 10272 4294967295 134512640 134716908 3221224560 3221223248 134523953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10951 10272 1111 63 0 10888 0
vsize: 43804
[startup+190.005 s]
Raw data (loadavg): 1.17 1.03 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10782 0 0 0 18968 32 0 0 25 0 1 0 910416818 44990464 10292 4294967295 134512640 134716908 3221224560 3221222992 1076999584 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10984 10292 1111 63 0 10921 0
vsize: 43936
[startup+200.005 s]
Raw data (loadavg): 1.14 1.03 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10782 0 0 0 19968 33 0 0 25 0 1 0 910416818 44974080 10292 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10980 10292 1111 63 0 10917 0
vsize: 43920
[startup+210.006 s]
Raw data (loadavg): 1.12 1.03 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10802 0 0 0 20967 34 0 0 25 0 1 0 910416818 44982272 10307 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10982 10307 1111 63 0 10919 0
vsize: 43928
[startup+220.006 s]
Raw data (loadavg): 1.10 1.03 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10845 0 0 0 21967 34 0 0 25 0 1 0 910416818 45154304 10322 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11024 10322 1111 63 0 10961 0
vsize: 44096
[startup+230.006 s]
Raw data (loadavg): 1.08 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 10965 0 0 0 22966 35 0 0 25 0 1 0 910416818 45666304 10442 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11149 10442 1111 63 0 11086 0
vsize: 44596
[startup+240.007 s]
Raw data (loadavg): 1.07 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11013 0 0 0 23966 36 0 0 25 0 1 0 910416818 45760512 10490 4294967295 134512640 134716908 3221224560 3221223120 134542344 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11172 10490 1111 63 0 11109 0
vsize: 44688
[startup+250.007 s]
Raw data (loadavg): 1.06 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11091 0 0 0 24965 37 0 0 25 0 1 0 910416818 46166016 10568 4294967295 134512640 134716908 3221224560 3221223156 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11271 10568 1111 63 0 11208 0
vsize: 45084
[startup+260.007 s]
Raw data (loadavg): 1.05 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11195 0 0 0 25964 38 0 0 25 0 1 0 910416818 46526464 10672 4294967295 134512640 134716908 3221224560 3221223216 134536600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11359 10672 1111 63 0 11296 0
vsize: 45436
[startup+270.008 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11306 0 0 0 26963 40 0 0 25 0 1 0 910416818 47058944 10783 4294967295 134512640 134716908 3221224560 3221223368 134558593 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11489 10783 1111 63 0 11426 0
vsize: 45956
[startup+280.007 s]
Raw data (loadavg): 1.04 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11458 0 0 0 27962 41 0 0 25 0 1 0 910416818 47599616 10935 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11621 10935 1111 63 0 11558 0
vsize: 46484
[startup+290.009 s]
Raw data (loadavg): 1.03 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11547 0 0 0 28961 42 0 0 25 0 1 0 910416818 47869952 11012 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11687 11012 1111 63 0 11624 0
vsize: 46748
[startup+300.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11616 0 0 0 29961 42 0 0 25 0 1 0 910416818 48201728 11081 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11768 11081 1111 63 0 11705 0
vsize: 47072
[startup+310.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11702 0 0 0 30960 43 0 0 25 0 1 0 910416818 48553984 11167 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11854 11167 1111 63 0 11791 0
vsize: 47416
[startup+320.008 s]
Raw data (loadavg): 1.02 1.02 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11744 0 0 0 31960 43 0 0 25 0 1 0 910416818 48689152 11209 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11887 11209 1111 63 0 11824 0
vsize: 47548
[startup+330.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11807 0 0 0 32959 44 0 0 25 0 1 0 910416818 48943104 11269 4294967295 134512640 134716908 3221224560 3221223228 134543615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11949 11269 1111 63 0 11886 0
vsize: 47796
[startup+340.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11874 0 0 0 33958 45 0 0 25 0 1 0 910416818 49319936 11336 4294967295 134512640 134716908 3221224560 3221223200 134536698 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12041 11336 1111 63 0 11978 0
vsize: 48164
[startup+350.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 11945 0 0 0 34957 46 0 0 25 0 1 0 910416818 49590272 11407 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12107 11407 1111 63 0 12044 0
vsize: 48428
[startup+360.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12256 0 0 0 35956 48 0 0 25 0 1 0 910416818 50802688 11718 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12403 11718 1111 63 0 12340 0
vsize: 49612
[startup+370.008 s]
Raw data (loadavg): 1.01 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12336 0 0 0 36955 49 0 0 25 0 1 0 910416818 51130368 11798 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12483 11798 1111 63 0 12420 0
vsize: 49932
[startup+380.11 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12379 0 0 0 37964 50 0 0 25 0 1 0 910416818 51265536 11841 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12516 11841 1111 63 0 12453 0
vsize: 50064
[startup+390.11 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12519 0 0 0 38964 51 0 0 25 0 1 0 910416818 51937280 11981 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12680 11981 1111 63 0 12617 0
vsize: 50720
[startup+400.111 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12731 0 0 0 39962 53 0 0 25 0 1 0 910416818 52748288 12193 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12878 12193 1111 63 0 12815 0
vsize: 51512
[startup+410.112 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 12781 0 0 0 40962 53 0 0 25 0 1 0 910416818 52965376 12243 4294967295 134512640 134716908 3221224560 3221223224 134543609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12931 12243 1111 63 0 12868 0
vsize: 51724
[startup+420.113 s]
Raw data (loadavg): 1.00 1.01 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13098 0 0 0 41959 56 0 0 25 0 1 0 910416818 54296576 12560 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13256 12560 1111 63 0 13193 0
vsize: 53024
[startup+430.113 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13190 0 0 0 42958 57 0 0 25 0 1 0 910416818 54697984 12652 4294967295 134512640 134716908 3221224560 3221223232 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13354 12652 1111 63 0 13291 0
vsize: 53416
[startup+440.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13557 0 0 0 43957 59 0 0 25 0 1 0 910416818 56184832 13019 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13717 13019 1111 63 0 13654 0
vsize: 54868
[startup+450.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13657 0 0 0 44956 59 0 0 25 0 1 0 910416818 56590336 13119 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13816 13119 1111 63 0 13753 0
vsize: 55264
[startup+460.114 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13719 0 0 0 45956 60 0 0 25 0 1 0 910416818 56860672 13181 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13882 13181 1111 63 0 13819 0
vsize: 55528
[startup+470.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13746 0 0 0 46955 60 0 0 25 0 1 0 910416818 56975360 13208 4294967295 134512640 134716908 3221224560 3221223156 134543703 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13910 13208 1111 63 0 13847 0
vsize: 55640
[startup+480.115 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 13776 0 0 0 47955 61 0 0 25 0 1 0 910416818 57110528 13238 4294967295 134512640 134716908 3221224560 3221223248 134543671 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13943 13238 1111 63 0 13880 0
vsize: 55772
[startup+490.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 14119 0 0 0 48953 63 0 0 25 0 1 0 910416818 58421248 13581 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14263 13581 1111 63 0 14200 0
vsize: 57052
[startup+500.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 14388 0 0 0 49952 64 0 0 25 0 1 0 910416818 59604992 13850 4294967295 134512640 134716908 3221224560 3221223236 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14552 13850 1111 63 0 14489 0
vsize: 58208
[startup+510.117 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 14799 0 0 0 50951 66 0 0 25 0 1 0 910416818 61198336 14261 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14941 14261 1111 63 0 14878 0
vsize: 59764
[startup+520.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 15027 0 0 0 51950 67 0 0 25 0 1 0 910416818 62136320 14489 4294967295 134512640 134716908 3221224560 3221223316 134592437 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15170 14490 1111 63 0 15107 0
vsize: 60680
[startup+530.116 s]
Raw data (loadavg): 1.00 1.00 0.93 2/54 28315
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 15626 0 0 0 52948 69 0 0 25 0 1 0 910416818 64679936 15088 4294967295 134512640 134716908 3221224560 3221223296 134535740 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15791 15088 1111 63 0 15728 0
vsize: 63164
[startup+540.117 s]
Raw data (loadavg): 1.15 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 15710 0 0 0 53947 70 0 0 25 0 1 0 910416818 64962560 15171 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15860 15171 1111 63 0 15797 0
vsize: 63440
[startup+550.117 s]
Raw data (loadavg): 1.12 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 15935 0 0 0 54946 71 0 0 25 0 1 0 910416818 65888256 15396 4294967295 134512640 134716908 3221224560 3221223228 134543588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16086 15396 1111 63 0 16023 0
vsize: 64344
[startup+560.117 s]
Raw data (loadavg): 1.10 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16334 0 0 0 55944 73 0 0 25 0 1 0 910416818 67510272 15795 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16482 15795 1111 63 0 16419 0
vsize: 65928
[startup+570.118 s]
Raw data (loadavg): 1.09 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16524 0 0 0 56944 74 0 0 25 0 1 0 910416818 68321280 15985 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16680 15985 1111 63 0 16617 0
vsize: 66720
[startup+580.117 s]
Raw data (loadavg): 1.07 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16549 0 0 0 57943 74 0 0 25 0 1 0 910416818 68313088 16003 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16678 16003 1111 63 0 16615 0
vsize: 66712
[startup+590.117 s]
Raw data (loadavg): 1.06 1.03 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16549 0 0 0 58943 75 0 0 25 0 1 0 910416818 68243456 15986 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16661 15986 1111 63 0 16598 0
vsize: 66644
[startup+600.117 s]
Raw data (loadavg): 1.05 1.02 0.94 2/54 28368
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16579 0 0 0 59942 76 0 0 25 0 1 0 910416818 68378624 16016 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16694 16016 1111 63 0 16631 0
vsize: 66776
[startup+610.118 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16602 0 0 0 60941 77 0 0 25 0 1 0 910416818 68513792 16039 4294967295 134512640 134716908 3221224560 3221223168 134523359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16727 16039 1111 63 0 16664 0
vsize: 66908
[startup+620.119 s]
Raw data (loadavg): 1.04 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16663 0 0 0 61941 77 0 0 25 0 1 0 910416818 68784128 16100 4294967295 134512640 134716908 3221224560 3221223200 134539382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16793 16100 1111 63 0 16730 0
vsize: 67172
[startup+630.118 s]
Raw data (loadavg): 1.03 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16663 0 0 0 62940 78 0 0 25 0 1 0 910416818 68784128 16100 4294967295 134512640 134716908 3221224560 3221223280 134535790 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16793 16100 1111 63 0 16730 0
vsize: 67172
[startup+640.119 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 16872 0 0 0 63939 79 0 0 25 0 1 0 910416818 69595136 16309 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16991 16309 1111 63 0 16928 0
vsize: 67964
[startup+650.119 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 17073 0 0 0 64939 80 0 0 25 0 1 0 910416818 70463488 16510 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17203 16510 1111 63 0 17140 0
vsize: 68812
[startup+660.119 s]
Raw data (loadavg): 1.02 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 17284 0 0 0 65938 81 0 0 25 0 1 0 910416818 71270400 16721 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17400 16721 1111 63 0 17337 0
vsize: 69600
[startup+670.119 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 17677 0 0 0 66937 83 0 0 25 0 1 0 910416818 72896512 17114 4294967295 134512640 134716908 3221224560 3221223324 134552651 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17797 17114 1111 63 0 17734 0
vsize: 71188
[startup+680.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 17985 0 0 0 67935 84 0 0 25 0 1 0 910416818 74211328 17422 4294967295 134512640 134716908 3221224560 3221223168 134523393 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18118 17422 1111 63 0 18055 0
vsize: 72472
[startup+690.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 18465 0 0 0 68933 86 0 0 25 0 1 0 910416818 76099584 17902 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18579 17902 1111 63 0 18516 0
vsize: 74316
[startup+700.12 s]
Raw data (loadavg): 1.01 1.02 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 18622 0 0 0 69933 87 0 0 25 0 1 0 910416818 76775424 18059 4294967295 134512640 134716908 3221224560 3221223100 134539254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18744 18059 1111 63 0 18681 0
vsize: 74976
[startup+710.121 s]
Raw data (loadavg): 1.01 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 18889 0 0 0 70931 89 0 0 25 0 1 0 910416818 77852672 18326 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19007 18326 1111 63 0 18944 0
vsize: 76028
[startup+720.121 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 19408 0 0 0 71930 90 0 0 25 0 1 0 910416818 80015360 18845 4294967295 134512640 134716908 3221224560 3221223356 134554907 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18845 1111 63 0 19472 0
vsize: 78140
[startup+730.121 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 19408 0 0 0 72930 91 0 0 25 0 1 0 910416818 80015360 18845 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19535 18845 1111 63 0 19472 0
vsize: 78140
[startup+740.122 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 19442 0 0 0 73930 91 0 0 25 0 1 0 910416818 80150528 18879 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19568 18879 1111 63 0 19505 0
vsize: 78272
[startup+750.122 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 19703 0 0 0 74929 92 0 0 25 0 1 0 910416818 81227776 19140 4294967295 134512640 134716908 3221224560 3221223196 134523384 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19831 19140 1111 63 0 19768 0
vsize: 79324
[startup+760.123 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 19784 0 0 0 75928 93 0 0 25 0 1 0 910416818 81498112 19221 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19897 19221 1111 63 0 19834 0
vsize: 79588
[startup+770.123 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 20117 0 0 0 76927 94 0 0 25 0 1 0 910416818 82989056 19554 4294967295 134512640 134716908 3221224560 3221223312 134592345 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20261 19554 1111 63 0 20198 0
vsize: 81044
[startup+780.123 s]
Raw data (loadavg): 1.00 1.01 0.94 3/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 20314 0 0 0 77926 96 0 0 25 0 1 0 910416818 83775488 19751 4294967295 134512640 134716908 3221224560 3221223304 134675309 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20453 19751 1111 63 0 20390 0
vsize: 81812
[startup+790.124 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 20748 0 0 0 78924 98 0 0 25 0 1 0 910416818 85471232 20185 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20867 20185 1111 63 0 20804 0
vsize: 83468
[startup+800.123 s]
Raw data (loadavg): 1.00 1.01 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 20989 0 0 0 79923 99 0 0 25 0 1 0 910416818 86548480 20426 4294967295 134512640 134716908 3221224560 3221223292 134532440 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21130 20426 1111 63 0 21067 0
vsize: 84520
[startup+810.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 20997 0 0 0 80923 99 0 0 25 0 1 0 910416818 86548480 20434 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21130 20434 1111 63 0 21067 0
vsize: 84520
[startup+820.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21036 0 0 0 81923 99 0 0 25 0 1 0 910416818 86683648 20473 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21163 20473 1111 63 0 21100 0
vsize: 84652
[startup+830.124 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21092 0 0 0 82923 100 0 0 25 0 1 0 910416818 86953984 20529 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21229 20529 1111 63 0 21166 0
vsize: 84916
[startup+840.125 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21116 0 0 0 83922 100 0 0 25 0 1 0 910416818 86953984 20553 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21229 20553 1111 63 0 21166 0
vsize: 84916
[startup+850.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21116 0 0 0 84922 101 0 0 25 0 1 0 910416818 86953984 20553 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21229 20553 1111 63 0 21166 0
vsize: 84916
[startup+860.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21224 0 0 0 85922 102 0 0 25 0 1 0 910416818 87486464 20660 4294967295 134512640 134716908 3221224560 3221222956 1077379876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21359 20660 1111 63 0 21296 0
vsize: 85436
[startup+870.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21469 0 0 0 86921 102 0 0 25 0 1 0 910416818 88432640 20905 4294967295 134512640 134716908 3221224560 3221223200 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21590 20905 1111 63 0 21527 0
vsize: 86360
[startup+880.126 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21567 0 0 0 87921 103 0 0 25 0 1 0 910416818 88838144 21003 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21689 21003 1111 63 0 21626 0
vsize: 86756
[startup+890.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21842 0 0 0 88919 104 0 0 25 0 1 0 910416818 89919488 21278 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21953 21278 1111 63 0 21890 0
vsize: 87812
[startup+900.127 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28370
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 21842 0 0 0 89919 105 0 0 25 0 1 0 910416818 89919488 21278 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21953 21278 1111 63 0 21890 0
vsize: 87812
[startup+910.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 22170 0 0 0 90918 106 0 0 25 0 1 0 910416818 91271168 21606 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22283 21606 1111 63 0 22220 0
vsize: 89132
[startup+920.129 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 22475 0 0 0 91917 107 0 0 25 0 1 0 910416818 92622848 21911 4294967295 134512640 134716908 3221224560 3221223084 134535626 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22613 21911 1111 63 0 22550 0
vsize: 90452
[startup+930.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 22615 0 0 0 92917 108 0 0 25 0 1 0 910416818 93163520 22051 4294967295 134512640 134716908 3221224560 3221222884 134699548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22745 22051 1111 63 0 22682 0
vsize: 90980
[startup+940.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 23043 0 0 0 93915 110 0 0 25 0 1 0 910416818 94916608 22479 4294967295 134512640 134716908 3221224560 3221223368 134558576 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23173 22479 1111 63 0 23110 0
vsize: 92692
[startup+950.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 23690 0 0 0 94913 112 0 0 25 0 1 0 910416818 97624064 23126 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23834 23126 1111 63 0 23771 0
vsize: 95336
[startup+960.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 24110 0 0 0 95912 113 0 0 25 0 1 0 910416818 99246080 23546 4294967295 134512640 134716908 3221224560 3221223120 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24230 23546 1111 63 0 24167 0
vsize: 96920
[startup+970.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 24390 0 0 0 96911 115 0 0 25 0 1 0 910416818 100462592 23826 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24527 23826 1111 63 0 24464 0
vsize: 98108
[startup+980.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 24861 0 0 0 97909 117 0 0 25 0 1 0 910416818 102354944 24297 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24989 24297 1111 63 0 24926 0
vsize: 99956
[startup+990.128 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25279 0 0 0 98907 119 0 0 25 0 1 0 910416818 104112128 24715 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25418 24715 1111 63 0 25355 0
vsize: 101672
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25300 0 0 0 99906 120 0 0 25 0 1 0 910416818 104112128 24736 4294967295 134512640 134716908 3221224560 3221223344 134529200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25418 24736 1111 63 0 25355 0
vsize: 101672
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25315 0 0 0 100906 120 0 0 25 0 1 0 910416818 104247296 24751 4294967295 134512640 134716908 3221224560 3221223184 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25451 24751 1111 63 0 25388 0
vsize: 101804
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25493 0 0 0 101906 121 0 0 25 0 1 0 910416818 104919040 24929 4294967295 134512640 134716908 3221224560 3221223164 134536828 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25615 24929 1111 63 0 25552 0
vsize: 102460
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25736 0 0 0 102904 122 0 0 25 0 1 0 910416818 106000384 25172 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25879 25172 1111 63 0 25816 0
vsize: 103516
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 25978 0 0 0 103904 123 0 0 25 0 1 0 910416818 106946560 25414 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26110 25414 1111 63 0 26047 0
vsize: 104440
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 26218 0 0 0 104903 124 0 0 25 0 1 0 910416818 107896832 25654 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26342 25654 1111 63 0 26279 0
vsize: 105368
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 26687 0 0 0 105901 126 0 0 25 0 1 0 910416818 109776896 26123 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26801 26123 1111 63 0 26738 0
vsize: 107204
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27060 0 0 0 106899 128 0 0 25 0 1 0 910416818 111394816 26496 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27196 26496 1111 63 0 27133 0
vsize: 108784
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27480 0 0 0 107898 129 0 0 25 0 1 0 910416818 113143808 26916 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27623 26916 1111 63 0 27560 0
vsize: 110492
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27480 0 0 0 108898 129 0 0 25 0 1 0 910416818 113143808 26916 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27623 26916 1111 63 0 27560 0
vsize: 110492
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27513 0 0 0 109898 130 0 0 25 0 1 0 910416818 113274880 26949 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27655 26949 1111 63 0 27592 0
vsize: 110620
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27558 0 0 0 110897 131 0 0 25 0 1 0 910416818 113410048 26994 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27688 26994 1111 63 0 27625 0
vsize: 110752
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27560 0 0 0 111897 131 0 0 25 0 1 0 910416818 113410048 26996 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27688 26996 1111 63 0 27625 0
vsize: 110752
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27560 0 0 0 112897 131 0 0 25 0 1 0 910416818 113410048 26996 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27688 26996 1111 63 0 27625 0
vsize: 110752
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27560 0 0 0 113897 132 0 0 25 0 1 0 910416818 113410048 26996 4294967295 134512640 134716908 3221224560 3221223168 134543728 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27688 26996 1111 63 0 27625 0
vsize: 110752
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27562 0 0 0 114897 132 0 0 25 0 1 0 910416818 113410048 26998 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27688 26998 1111 63 0 27625 0
vsize: 110752
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27578 0 0 0 115897 132 0 0 25 0 1 0 910416818 113545216 27014 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27721 27014 1111 63 0 27658 0
vsize: 110884
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.94 2/54 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27605 0 0 0 116897 133 0 0 25 0 1 0 910416818 113545216 27041 4294967295 134512640 134716908 3221224560 3221223300 134594993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27721 27041 1111 63 0 27658 0
vsize: 110884
[startup+1174.89 s]
Raw data (loadavg): 1.00 1.00 0.94 1/53 28372
Raw data (stat): 28315 (bsolo_lpr_cuts-) R 28314 31399 31398 0 -1 0 27605 0 0 0 116897 133 0 0 25 0 1 0 910416818 113545216 27041 4294967295 134512640 134716908 3221224560 3221223300 134594993 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27721 27041 1111 63 0 27658 0
vsize: 0

Child status: 0
Real time (s): 1174.89
CPU time (s): 1175.06
CPU user time (s): 1173.68
CPU system time (s): 1.38679
CPU usage (%): 100.015
Max. virtual memory (Kb): 110884
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####