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/submitted/manquinho/primes-dimacs-cnf/normalized-par32-4-c.opb
MD5SUM	3d2c3109962e8068c6ff1a393a02942b
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	2666
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	2666
Number of bits of the sum of numbers in the objective function	12
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	2666
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	2666
Total number of constraints	6659
Number of constraints which are clauses	6659
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 24183

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-08 22:26:26 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=1874 boxname=wulflinc31 idbench=209 idsolver=2 numberseed=0
MD5SUM SOLVER: 754786be69defe53c030aa54f111e0a7  /oldhome/oroussel/solvers/bsolo_lpr_cuts
MD5SUM BENCH:  3d2c3109962e8068c6ff1a393a02942b  /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
REAL COMMAND:  bsolo_lpr_cuts /oldhome/oroussel/tmp/wulflinc31/normalized-par32-4-c.opb
IDLAUNCH: 1874
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        136780 kB
Buffers:         42460 kB
Cached:         820904 kB
SwapCached:        644 kB
Active:         494756 kB
Inactive:       370904 kB
HighTotal:      131008 kB
HighFree:          728 kB
LowTotal:       903652 kB
LowFree:        136052 kB
SwapTotal:     2097892 kB
SwapFree:      2096612 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5608 kB
Slab:            26508 kB
Committed_AS:    63648 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-08 22:46:01 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 1874 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 2666 variables and 6659 constraints.
c After prepocess the problem consists of 2601 variables and 8508 constraints.
c preprocess terminated 58.542 s
c Initial Lower Bound: 818
c Lower Bound Elapsed time: 17.6851
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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
Raw data (loadavg): 0.92 0.95 0.98 2/54 18011
Raw data (stat): 18011 (runsolver) R 18010 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 695552349 1056768 100 4294967295 134512640 135381576 3221221680 3221216896 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0001 s]
Raw data (loadavg): 0.93 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 6276 0 0 0 978 18 0 0 25 0 1 0 695552349 18235392 3609 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3609 1111 63 0 4389 0
vsize: 17808
[startup+20.001 s]
Raw data (loadavg): 0.94 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 6276 0 0 0 1978 18 0 0 25 0 1 0 695552349 18235392 3609 4294967295 134512640 134714508 3221221776 3221220448 134627187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4452 3609 1111 63 0 4389 0
vsize: 17808
[startup+30.002 s]
Raw data (loadavg): 0.95 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 6279 0 0 0 2978 18 0 0 25 0 1 0 695552349 18370560 3612 4294967295 134512640 134714508 3221221776 3221220448 134627250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4485 3612 1111 63 0 4422 0
vsize: 17940
[startup+40.0019 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 6431 0 0 0 3977 19 0 0 25 0 1 0 695552349 18911232 3764 4294967295 134512640 134714508 3221221776 3221220436 134627197 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4617 3764 1111 63 0 4554 0
vsize: 18468
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 6553 0 0 0 4976 20 0 0 25 0 1 0 695552349 19451904 3886 4294967295 134512640 134714508 3221221776 3221220428 134558476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4749 3886 1111 63 0 4686 0
vsize: 18996
[startup+60.0029 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 7693 0 0 0 5973 23 0 0 25 0 1 0 695552349 24068096 5026 4294967295 134512640 134714508 3221221776 3221220080 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5876 5026 1111 63 0 5813 0
vsize: 23504
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9168 0 0 0 6969 27 0 0 25 0 1 0 695552349 30789632 6191 4294967295 134512640 134714508 3221221776 3221217916 1075116784 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6191 1111 63 0 7454 0
vsize: 30068
[startup+80.0046 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9215 0 0 0 7969 27 0 0 25 0 1 0 695552349 30789632 6238 4294967295 134512640 134714508 3221221776 3221217916 1075116564 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7517 6238 1111 63 0 7454 0
vsize: 30068
[startup+90.0045 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9226 0 0 0 8970 27 0 0 25 0 1 0 695552349 30789632 6249 4294967295 134512640 134714508 3221221776 3221217916 1075116584 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7517 6249 1111 63 0 7454 0
vsize: 30068
[startup+100.004 s]
Raw data (loadavg): 0.98 0.96 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9228 0 0 0 9970 27 0 0 25 0 1 0 695552349 30789632 6251 4294967295 134512640 134714508 3221221776 3221218076 1075113300 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7517 6251 1111 63 0 7454 0
vsize: 30068
[startup+110.004 s]
Raw data (loadavg): 0.98 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9443 0 0 0 10969 28 0 0 25 0 1 0 695552349 29687808 6195 4294967295 134512640 134714508 3221221776 3221218768 1074867337 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7248 6195 1111 63 0 7185 0
vsize: 28992
[startup+120.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9479 0 0 0 11969 28 0 0 25 0 1 0 695552349 29917184 6231 4294967295 134512640 134714508 3221221776 3221217580 1074788968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7304 6231 1111 63 0 7241 0
vsize: 29216
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 9634 0 0 0 12968 29 0 0 25 0 1 0 695552349 31133696 6386 4294967295 134512640 134714508 3221221776 3221218352 1075969308 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7601 6386 1111 63 0 7538 0
vsize: 30404
[startup+140.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 12355 0 0 0 13962 35 0 0 25 0 1 0 695552349 31428608 6144 4294967295 134512640 134714508 3221221776 3221218352 1075969075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7673 6149 1111 63 0 7610 0
vsize: 30692
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 18539 0 0 0 14949 49 0 0 25 0 1 0 695552349 31944704 6695 4294967295 134512640 134714508 3221221776 3221217900 1075564165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7799 6695 1111 63 0 7736 0
vsize: 31196
[startup+160.005 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 21411 0 0 0 15942 56 0 0 25 0 1 0 695552349 32141312 6412 4294967295 134512640 134714508 3221221776 3221217916 1075116767 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7847 6412 1111 63 0 7784 0
vsize: 31388
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 21806 0 0 0 16941 57 0 0 25 0 1 0 695552349 31260672 6501 4294967295 134512640 134714508 3221221776 3221218064 1075894487 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7632 6501 1111 63 0 7569 0
vsize: 30528
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 25157 0 0 0 17934 65 0 0 25 0 1 0 695552349 31322112 6556 4294967295 134512640 134714508 3221221776 3221217604 1074786528 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7647 6556 1111 63 0 7584 0
vsize: 30588
[startup+190.006 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 25220 0 0 0 18934 65 0 0 25 0 1 0 695552349 31465472 6619 4294967295 134512640 134714508 3221221776 3221218244 1075115046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7682 6619 1111 63 0 7619 0
vsize: 30728
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 30279 0 0 0 19923 76 0 0 25 0 1 0 695552349 27709440 6018 4294967295 134512640 134714508 3221221776 3221219996 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6765 6018 1111 63 0 6702 0
vsize: 27060
[startup+210.007 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 31959 0 0 0 20919 80 0 0 25 0 1 0 695552349 31633408 6648 4294967295 134512640 134714508 3221221776 3221217580 1074788959 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7723 6648 1111 63 0 7660 0
vsize: 30892
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 33909 0 0 0 21915 84 0 0 25 0 1 0 695552349 27926528 6072 4294967295 134512640 134714508 3221221776 3221219908 1075964214 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6818 6072 1111 63 0 6755 0
vsize: 27272
[startup+230.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 35565 0 0 0 22910 89 0 0 25 0 1 0 695552349 31907840 6718 4294967295 134512640 134714508 3221221776 3221217856 1075093350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7790 6718 1111 63 0 7727 0
vsize: 31160
[startup+240.009 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 39924 0 0 0 23900 100 0 0 25 0 1 0 695552349 26558464 5772 4294967295 134512640 134714508 3221221776 3221220316 134539306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6484 5772 1111 63 0 6421 0
vsize: 25936
[startup+250.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 39928 0 0 0 24899 101 0 0 25 0 1 0 695552349 26693632 5776 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6517 5776 1111 63 0 6454 0
vsize: 26068
[startup+260.01 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40110 0 0 0 25898 102 0 0 25 0 1 0 695552349 27369472 5958 4294967295 134512640 134714508 3221221776 3221220416 134539462 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6682 5958 1111 63 0 6619 0
vsize: 26728
[startup+270.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40269 0 0 0 26896 104 0 0 25 0 1 0 695552349 28045312 6117 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6847 6117 1111 63 0 6784 0
vsize: 27388
[startup+280.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40447 0 0 0 27895 105 0 0 25 0 1 0 695552349 28721152 6295 4294967295 134512640 134714508 3221221776 3221220260 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7012 6295 1111 63 0 6949 0
vsize: 28048
[startup+290.011 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40598 0 0 0 28894 106 0 0 25 0 1 0 695552349 29396992 6446 4294967295 134512640 134714508 3221221776 3221220552 134613542 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7177 6446 1111 63 0 7114 0
vsize: 28708
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40771 0 0 0 29893 107 0 0 25 0 1 0 695552349 30081024 6619 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7344 6619 1111 63 0 7281 0
vsize: 29376
[startup+310.012 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 40920 0 0 0 30892 109 0 0 25 0 1 0 695552349 30756864 6768 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7509 6768 1111 63 0 7446 0
vsize: 30036
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41112 0 0 0 31891 110 0 0 25 0 1 0 695552349 31436800 6960 4294967295 134512640 134714508 3221221776 3221220568 134597609 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7675 6960 1111 63 0 7612 0
vsize: 30700
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41277 0 0 0 32891 110 0 0 25 0 1 0 695552349 32112640 7125 4294967295 134512640 134714508 3221221776 3221220544 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7840 7125 1111 63 0 7777 0
vsize: 31360
[startup+340.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41382 0 0 0 33890 111 0 0 25 0 1 0 695552349 32653312 7230 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7972 7230 1111 63 0 7909 0
vsize: 31888
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41504 0 0 0 34890 112 0 0 25 0 1 0 695552349 33058816 7352 4294967295 134512640 134714508 3221221776 3221220576 134597698 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8071 7352 1111 63 0 8008 0
vsize: 32284
[startup+360.014 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41637 0 0 0 35889 113 0 0 25 0 1 0 695552349 33599488 7485 4294967295 134512640 134714508 3221221776 3221220452 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8203 7485 1111 63 0 8140 0
vsize: 32812
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41753 0 0 0 36887 114 0 0 25 0 1 0 695552349 34140160 7601 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8335 7601 1111 63 0 8272 0
vsize: 33340
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 41874 0 0 0 37887 115 0 0 25 0 1 0 695552349 34680832 7722 4294967295 134512640 134714508 3221221776 3221220532 134652880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8467 7722 1111 63 0 8404 0
vsize: 33868
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42003 0 0 0 38886 117 0 0 25 0 1 0 695552349 35086336 7851 4294967295 134512640 134714508 3221221776 3221220540 134543556 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8566 7851 1111 63 0 8503 0
vsize: 34264
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42133 0 0 0 39885 118 0 0 25 0 1 0 695552349 35627008 7981 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8698 7981 1111 63 0 8635 0
vsize: 34792
[startup+410.015 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42261 0 0 0 40883 119 0 0 25 0 1 0 695552349 36171776 8109 4294967295 134512640 134714508 3221221776 3221220528 134594970 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8831 8109 1111 63 0 8768 0
vsize: 35324
[startup+420.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42400 0 0 0 41883 120 0 0 25 0 1 0 695552349 36712448 8248 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8963 8248 1111 63 0 8900 0
vsize: 35852
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42529 0 0 0 42882 121 0 0 25 0 1 0 695552349 37253120 8377 4294967295 134512640 134714508 3221221776 3221220488 134543665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9095 8377 1111 63 0 9032 0
vsize: 36380
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42668 0 0 0 43882 121 0 0 25 0 1 0 695552349 37928960 8516 4294967295 134512640 134714508 3221221776 3221220448 134542934 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9260 8516 1111 63 0 9197 0
vsize: 37040
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42804 0 0 0 44881 122 0 0 25 0 1 0 695552349 38469632 8652 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9392 8652 1111 63 0 9329 0
vsize: 37568
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 42943 0 0 0 45880 123 0 0 25 0 1 0 695552349 39006208 8791 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9523 8791 1111 63 0 9460 0
vsize: 38092
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43086 0 0 0 46880 124 0 0 25 0 1 0 695552349 39542784 8934 4294967295 134512640 134714508 3221221776 3221220584 134558490 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9654 8934 1111 63 0 9591 0
vsize: 38616
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43244 0 0 0 47879 125 0 0 25 0 1 0 695552349 40214528 9092 4294967295 134512640 134714508 3221221776 3221220316 134539237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9818 9092 1111 63 0 9755 0
vsize: 39272
[startup+490.018 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43380 0 0 0 48879 125 0 0 25 0 1 0 695552349 40755200 9228 4294967295 134512640 134714508 3221221776 3221220364 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9950 9228 1111 63 0 9887 0
vsize: 39800
[startup+500.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43519 0 0 0 49878 126 0 0 25 0 1 0 695552349 41295872 9367 4294967295 134512640 134714508 3221221776 3221220332 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10082 9367 1111 63 0 10019 0
vsize: 40328
[startup+510.019 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43683 0 0 0 50878 127 0 0 25 0 1 0 695552349 41971712 9531 4294967295 134512640 134714508 3221221776 3221220400 134536675 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10247 9531 1111 63 0 10184 0
vsize: 40988
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43821 0 0 0 51878 127 0 0 25 0 1 0 695552349 42647552 9669 4294967295 134512640 134714508 3221221776 3221220432 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10412 9669 1111 63 0 10349 0
vsize: 41648
[startup+530.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 43957 0 0 0 52876 128 0 0 25 0 1 0 695552349 43188224 9805 4294967295 134512640 134714508 3221221776 3221220540 134552651 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10544 9805 1111 63 0 10481 0
vsize: 42176
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44109 0 0 0 53876 129 0 0 25 0 1 0 695552349 43728896 9957 4294967295 134512640 134714508 3221221776 3221220336 134542347 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10676 9957 1111 63 0 10613 0
vsize: 42704
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44242 0 0 0 54875 130 0 0 25 0 1 0 695552349 44265472 10090 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10807 10090 1111 63 0 10744 0
vsize: 43228
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44358 0 0 0 55875 131 0 0 25 0 1 0 695552349 44806144 10206 4294967295 134512640 134714508 3221221776 3221220444 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 10939 10206 1111 63 0 10876 0
vsize: 43756
[startup+570.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44514 0 0 0 56875 131 0 0 25 0 1 0 695552349 45477888 10362 4294967295 134512640 134714508 3221221776 3221220400 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11103 10362 1111 63 0 11040 0
vsize: 44412
[startup+580.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44644 0 0 0 57874 132 0 0 25 0 1 0 695552349 46018560 10492 4294967295 134512640 134714508 3221221776 3221220368 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11235 10492 1111 63 0 11172 0
vsize: 44940
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44749 0 0 0 58874 132 0 0 25 0 1 0 695552349 46419968 10597 4294967295 134512640 134714508 3221221776 3221220496 134523869 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11333 10597 1111 63 0 11270 0
vsize: 45332
[startup+600.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44848 0 0 0 59874 132 0 0 25 0 1 0 695552349 46821376 10696 4294967295 134512640 134714508 3221221776 3221220260 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11431 10696 1111 63 0 11368 0
vsize: 45724
[startup+610.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 44957 0 0 0 60874 133 0 0 25 0 1 0 695552349 47226880 10805 4294967295 134512640 134714508 3221221776 3221220428 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11530 10805 1111 63 0 11467 0
vsize: 46120
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45065 0 0 0 61873 133 0 0 25 0 1 0 695552349 47632384 10913 4294967295 134512640 134714508 3221221776 3221220464 134542876 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11629 10913 1111 63 0 11566 0
vsize: 46516
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45157 0 0 0 62873 134 0 0 25 0 1 0 695552349 48037888 11005 4294967295 134512640 134714508 3221221776 3221220368 134549527 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11728 11005 1111 63 0 11665 0
vsize: 46912
[startup+640.023 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45272 0 0 0 63872 135 0 0 25 0 1 0 695552349 48578560 11120 4294967295 134512640 134714508 3221221776 3221220324 134696398 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11860 11120 1111 63 0 11797 0
vsize: 47440
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45385 0 0 0 64872 135 0 0 25 0 1 0 695552349 48984064 11233 4294967295 134512640 134714508 3221221776 3221220444 134542288 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 11959 11233 1111 63 0 11896 0
vsize: 47836
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45514 0 0 0 65871 136 0 0 25 0 1 0 695552349 49524736 11362 4294967295 134512640 134714508 3221221776 3221220432 134536736 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12091 11362 1111 63 0 12028 0
vsize: 48364
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45634 0 0 0 66871 136 0 0 25 0 1 0 695552349 50065408 11482 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12223 11482 1111 63 0 12160 0
vsize: 48892
[startup+680.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45740 0 0 0 67871 137 0 0 25 0 1 0 695552349 50479104 11588 4294967295 134512640 134714508 3221221776 3221220392 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12324 11588 1111 63 0 12261 0
vsize: 49296
[startup+690.026 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 45888 0 0 0 68871 137 0 0 25 0 1 0 695552349 51019776 11736 4294967295 134512640 134714508 3221221776 3221220432 134536724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12456 11736 1111 63 0 12393 0
vsize: 49824
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46012 0 0 0 69870 138 0 0 25 0 1 0 695552349 51560448 11860 4294967295 134512640 134714508 3221221776 3221220400 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12588 11860 1111 63 0 12525 0
vsize: 50352
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46123 0 0 0 70870 139 0 0 25 0 1 0 695552349 52113408 11971 4294967295 134512640 134714508 3221221776 3221220464 134551897 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12723 11971 1111 63 0 12660 0
vsize: 50892
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46222 0 0 0 71870 139 0 0 25 0 1 0 695552349 52518912 12070 4294967295 134512640 134714508 3221221776 3221220416 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12822 12070 1111 63 0 12759 0
vsize: 51288
[startup+730.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46320 0 0 0 72869 140 0 0 25 0 1 0 695552349 52789248 12168 4294967295 134512640 134714508 3221221776 3221220416 134536650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12888 12168 1111 63 0 12825 0
vsize: 51552
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46424 0 0 0 73868 141 0 0 25 0 1 0 695552349 53329920 12272 4294967295 134512640 134714508 3221221776 3221220428 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13020 12272 1111 63 0 12957 0
vsize: 52080
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46542 0 0 0 74868 141 0 0 25 0 1 0 695552349 53735424 12390 4294967295 134512640 134714508 3221221776 3221220564 134597574 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13119 12390 1111 63 0 13056 0
vsize: 52476
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46667 0 0 0 75867 142 0 0 25 0 1 0 695552349 54276096 12515 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13251 12515 1111 63 0 13188 0
vsize: 53004
[startup+770.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46786 0 0 0 76867 143 0 0 25 0 1 0 695552349 54816768 12634 4294967295 134512640 134714508 3221221776 3221220416 134542297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13383 12634 1111 63 0 13320 0
vsize: 53532
[startup+780.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 46890 0 0 0 77867 143 0 0 25 0 1 0 695552349 55222272 12738 4294967295 134512640 134714508 3221221776 3221220364 134543588 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13482 12738 1111 63 0 13419 0
vsize: 53928
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47014 0 0 0 78866 144 0 0 25 0 1 0 695552349 55627776 12862 4294967295 134512640 134714508 3221221776 3221220432 134536614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13581 12862 1111 63 0 13518 0
vsize: 54324
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47127 0 0 0 79866 144 0 0 25 0 1 0 695552349 56168448 12975 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13713 12975 1111 63 0 13650 0
vsize: 54852
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47235 0 0 0 80866 145 0 0 25 0 1 0 695552349 56573952 13083 4294967295 134512640 134714508 3221221776 3221220368 134543684 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13812 13083 1111 63 0 13749 0
vsize: 55248
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47353 0 0 0 81865 145 0 0 25 0 1 0 695552349 57114624 13201 4294967295 134512640 134714508 3221221776 3221220512 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13944 13201 1111 63 0 13881 0
vsize: 55776
[startup+830.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47448 0 0 0 82866 145 0 0 25 0 1 0 695552349 57520128 13296 4294967295 134512640 134714508 3221221776 3221220416 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14043 13296 1111 63 0 13980 0
vsize: 56172
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47561 0 0 0 83865 146 0 0 25 0 1 0 695552349 57925632 13409 4294967295 134512640 134714508 3221221776 3221220360 134542289 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14142 13409 1111 63 0 14079 0
vsize: 56568
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47693 0 0 0 84864 147 0 0 25 0 1 0 695552349 58474496 13541 4294967295 134512640 134714508 3221221776 3221220336 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14276 13541 1111 63 0 14213 0
vsize: 57104
[startup+860.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47799 0 0 0 85864 147 0 0 25 0 1 0 695552349 58880000 13647 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14375 13647 1111 63 0 14312 0
vsize: 57500
[startup+870.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 47914 0 0 0 86864 148 0 0 25 0 1 0 695552349 59420672 13762 4294967295 134512640 134714508 3221221776 3221220020 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14507 13762 1111 63 0 14444 0
vsize: 58028
[startup+880.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48042 0 0 0 87863 149 0 0 25 0 1 0 695552349 59961344 13890 4294967295 134512640 134714508 3221221776 3221220336 134542359 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14639 13890 1111 63 0 14576 0
vsize: 58556
[startup+890.035 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48150 0 0 0 88862 150 0 0 25 0 1 0 695552349 60366848 13998 4294967295 134512640 134714508 3221221776 3221220432 134543744 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14738 13998 1111 63 0 14675 0
vsize: 58952
[startup+900.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48262 0 0 0 89862 150 0 0 25 0 1 0 695552349 60911616 14109 4294967295 134512640 134714508 3221221776 3221220416 134542325 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14871 14109 1111 63 0 14808 0
vsize: 59484
[startup+910.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48360 0 0 0 90861 151 0 0 25 0 1 0 695552349 61181952 14207 4294967295 134512640 134714508 3221221776 3221220432 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14937 14207 1111 63 0 14874 0
vsize: 59748
[startup+920.036 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48476 0 0 0 91861 151 0 0 25 0 1 0 695552349 61722624 14323 4294967295 134512640 134714508 3221221776 3221220480 134528595 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15069 14323 1111 63 0 15006 0
vsize: 60276
[startup+930.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48581 0 0 0 92861 152 0 0 25 0 1 0 695552349 62128128 14428 4294967295 134512640 134714508 3221221776 3221220416 134539376 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15168 14428 1111 63 0 15105 0
vsize: 60672
[startup+940.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48671 0 0 0 93861 152 0 0 25 0 1 0 695552349 62529536 14518 4294967295 134512640 134714508 3221221776 3221220340 134542296 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15266 14518 1111 63 0 15203 0
vsize: 61064
[startup+950.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48793 0 0 0 94860 153 0 0 25 0 1 0 695552349 63070208 14640 4294967295 134512640 134714508 3221221776 3221220316 134539265 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15398 14640 1111 63 0 15335 0
vsize: 61592
[startup+960.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48911 0 0 0 95859 154 0 0 25 0 1 0 695552349 63475712 14758 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15497 14758 1111 63 0 15434 0
vsize: 61988
[startup+970.037 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 48997 0 0 0 96859 154 0 0 25 0 1 0 695552349 63881216 14844 4294967295 134512640 134714508 3221221776 3221220544 134529276 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15596 14844 1111 63 0 15533 0
vsize: 62384
[startup+980.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49117 0 0 0 97859 155 0 0 25 0 1 0 695552349 64286720 14964 4294967295 134512640 134714508 3221221776 3221220252 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15695 14964 1111 63 0 15632 0
vsize: 62780
[startup+990.038 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49224 0 0 0 98858 155 0 0 25 0 1 0 695552349 64827392 15071 4294967295 134512640 134714508 3221221776 3221220500 134535756 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15827 15071 1111 63 0 15764 0
vsize: 63308
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49327 0 0 0 99858 156 0 0 25 0 1 0 695552349 65228800 15174 4294967295 134512640 134714508 3221221776 3221220440 134543600 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15925 15174 1111 63 0 15862 0
vsize: 63700
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49430 0 0 0 100858 156 0 0 25 0 1 0 695552349 65634304 15277 4294967295 134512640 134714508 3221221776 3221220316 134539243 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16024 15277 1111 63 0 15961 0
vsize: 64096
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49527 0 0 0 101858 157 0 0 25 0 1 0 695552349 66039808 15374 4294967295 134512640 134714508 3221221776 3221220332 134535649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16123 15374 1111 63 0 16060 0
vsize: 64492
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49626 0 0 0 102857 157 0 0 25 0 1 0 695552349 66445312 15473 4294967295 134512640 134714508 3221221776 3221220248 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16222 15473 1111 63 0 16159 0
vsize: 64888
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49734 0 0 0 103857 157 0 0 25 0 1 0 695552349 66863104 15581 4294967295 134512640 134714508 3221221776 3221220336 134696724 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16324 15581 1111 63 0 16261 0
vsize: 65296
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49834 0 0 0 104857 158 0 0 25 0 1 0 695552349 67268608 15681 4294967295 134512640 134714508 3221221776 3221220412 134543664 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16423 15681 1111 63 0 16360 0
vsize: 65692
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 49931 0 0 0 105857 158 0 0 25 0 1 0 695552349 67674112 15778 4294967295 134512640 134714508 3221221776 3221220316 134539217 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16522 15778 1111 63 0 16459 0
vsize: 66088
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50017 0 0 0 106857 159 0 0 25 0 1 0 695552349 68079616 15864 4294967295 134512640 134714508 3221221776 3221220320 134549852 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16621 15864 1111 63 0 16558 0
vsize: 66484
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50128 0 0 0 107856 159 0 0 25 0 1 0 695552349 68485120 15975 4294967295 134512640 134714508 3221221776 3221220348 134543615 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16720 15975 1111 63 0 16657 0
vsize: 66880
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50222 0 0 0 108856 159 0 0 25 0 1 0 695552349 68890624 16069 4294967295 134512640 134714508 3221221776 3221220444 134543616 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16819 16069 1111 63 0 16756 0
vsize: 67276
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50303 0 0 0 109856 160 0 0 25 0 1 0 695552349 69296128 16150 4294967295 134512640 134714508 3221221776 3221220100 134697327 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16918 16150 1111 63 0 16855 0
vsize: 67672
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50386 0 0 0 110856 160 0 0 25 0 1 0 695552349 69582848 16233 4294967295 134512640 134714508 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16988 16233 1111 63 0 16925 0
vsize: 67952
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50481 0 0 0 111855 161 0 0 25 0 1 0 695552349 69988352 16328 4294967295 134512640 134714508 3221221776 3221220404 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17087 16328 1111 63 0 17024 0
vsize: 68348
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50569 0 0 0 112855 161 0 0 25 0 1 0 695552349 70393856 16416 4294967295 134512640 134714508 3221221776 3221220408 134696001 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17186 16416 1111 63 0 17123 0
vsize: 68744
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50649 0 0 0 113854 162 0 0 25 0 1 0 695552349 70664192 16496 4294967295 134512640 134714508 3221221776 3221220380 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17252 16496 1111 63 0 17189 0
vsize: 69008
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50734 0 0 0 114855 162 0 0 25 0 1 0 695552349 71077888 16581 4294967295 134512640 134714508 3221221776 3221220168 134613965 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17353 16581 1111 63 0 17290 0
vsize: 69412
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50822 0 0 0 115854 163 0 0 25 0 1 0 695552349 71348224 16669 4294967295 134512640 134714508 3221221776 3221220464 134542848 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17419 16669 1111 63 0 17356 0
vsize: 69676
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.98 2/54 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50910 0 0 0 116854 163 0 0 25 0 1 0 695552349 71753728 16757 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17518 16757 1111 63 0 17455 0
vsize: 70072
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.97 0.98 1/53 18011
Raw data (stat): 18011 (bsolo_lpr_cuts) R 18010 7876 7672 0 -1 0 50910 0 0 0 116854 163 0 0 25 0 1 0 695552349 71753728 16757 4294967295 134512640 134714508 3221221776 3221220560 134529237 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17518 16757 1111 63 0 17455 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.09
CPU user time (s): 1173.43
CPU system time (s): 1.66675
CPU usage (%): 100.012
Max. virtual memory (Kb): 70072
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####