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/web/uclid_pb_benchmarks/normalized-blast-tlan2.ucl.opb
MD5SUM	7100a312d793a62875e04da08d79c5f4
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	641
Number of bits of the biggest number in a constraint	10
Biggest sum of numbers in a constraint	2174
Number of bits of the biggest sum of numbers	12
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.350946
Number of variables	2221
Total number of constraints	3050
Number of constraints which are clauses	2330
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	720
Minimum length of a constraint	1
Maximum length of a constraint	19
Trace number 40832

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        730344 kB
Buffers:         30548 kB
Cached:         253428 kB
SwapCached:        808 kB
Active:          47996 kB
Inactive:       238072 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        730092 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12472 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 22:56:27 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 28878 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 2221 variables and 3050 constraints.
c After prepocess the problem consists of 1732 variables and 2164 constraints.
c preprocess terminated 124.017 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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): 1.08 0.99 0.91 2/54 674
Raw data (stat): 674 (runsolver) R 673 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 905277900 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 3767 0 0 0 988 9 0 0 25 0 1 0 905277900 18653184 3685 4294967295 134512640 134716908 3221224560 3221222984 1077377382 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4554 3685 1111 63 0 4491 0
vsize: 18216
[startup+20.0016 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 3789 0 0 0 1987 9 0 0 25 0 1 0 905277900 18653184 3707 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4554 3707 1111 63 0 4491 0
vsize: 18216
[startup+30.0021 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 3867 0 0 0 2987 9 0 0 25 0 1 0 905277900 19005440 3785 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3785 1111 63 0 4577 0
vsize: 18560
[startup+40.0023 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 3867 0 0 0 3987 10 0 0 25 0 1 0 905277900 19005440 3785 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4640 3785 1111 63 0 4577 0
vsize: 18560
[startup+50.0032 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 4987 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+60.0037 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 5987 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+70.0039 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 6987 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+80.0047 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 7988 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+90.0042 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 8988 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+100.005 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4023 0 0 0 9988 10 0 0 25 0 1 0 905277900 19603456 3941 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3941 1111 63 0 4723 0
vsize: 19144
[startup+110.006 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4025 0 0 0 10988 10 0 0 25 0 1 0 905277900 19603456 3943 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4786 3943 1111 63 0 4723 0
vsize: 19144
[startup+120.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4033 0 0 0 11988 10 0 0 25 0 1 0 905277900 19701760 3951 4294967295 134512640 134716908 3221224560 3221223232 134607134 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4810 3951 1111 63 0 4747 0
vsize: 19240
[startup+130.007 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 4801 0 0 0 12985 13 0 0 25 0 1 0 905277900 22810624 4719 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5569 4720 1111 63 0 5506 0
vsize: 22276
[startup+140.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 5975 0 0 0 13981 17 0 0 25 0 1 0 905277900 27545600 5893 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6725 5893 1111 63 0 6662 0
vsize: 26900
[startup+150.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 6817 0 0 0 14978 21 0 0 25 0 1 0 905277900 31059968 6735 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7583 6735 1111 63 0 7520 0
vsize: 30332
[startup+160.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 7672 0 0 0 15974 24 0 0 25 0 1 0 905277900 34578432 7590 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8442 7590 1111 63 0 8379 0
vsize: 33768
[startup+170.007 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 8623 0 0 0 16971 28 0 0 25 0 1 0 905277900 38502400 8541 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9400 8541 1111 63 0 9337 0
vsize: 37600
[startup+180.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 9710 0 0 0 17967 32 0 0 25 0 1 0 905277900 42962944 9628 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10489 9628 1111 63 0 10426 0
vsize: 41956
[startup+190.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 10725 0 0 0 18963 36 0 0 25 0 1 0 905277900 47165440 10643 4294967295 134512640 134716908 3221224560 3221223248 134542848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11515 10643 1111 63 0 11452 0
vsize: 46060
[startup+200.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 11594 0 0 0 19960 39 0 0 25 0 1 0 905277900 50704384 11511 4294967295 134512640 134716908 3221224560 3221223344 134528840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12379 11511 1111 63 0 12316 0
vsize: 49516
[startup+210.008 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 12692 0 0 0 20957 43 0 0 25 0 1 0 905277900 55164928 12609 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13468 12609 1111 63 0 13405 0
vsize: 53872
[startup+220.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 13690 0 0 0 21953 46 0 0 25 0 1 0 905277900 59355136 13606 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14491 13606 1111 63 0 14428 0
vsize: 57964
[startup+230.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 14572 0 0 0 22950 49 0 0 25 0 1 0 905277900 62869504 14488 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15349 14488 1111 63 0 15286 0
vsize: 61396
[startup+240.009 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 15637 0 0 0 23947 53 0 0 25 0 1 0 905277900 67358720 15551 4294967295 134512640 134716908 3221224560 3221223144 134543589 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16445 15551 1111 63 0 16382 0
vsize: 65780
[startup+250.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 16345 0 0 0 24944 56 0 0 25 0 1 0 905277900 70369280 16259 4294967295 134512640 134716908 3221224560 3221223296 134523932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16259 1111 63 0 17117 0
vsize: 68720
[startup+260.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 16850 0 0 0 25943 58 0 0 25 0 1 0 905277900 72429568 16762 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17683 16762 1111 63 0 17620 0
vsize: 70732
[startup+270.01 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 17195 0 0 0 26941 59 0 0 25 0 1 0 905277900 73809920 17105 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18020 17105 1111 63 0 17957 0
vsize: 72080
[startup+280.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 17513 0 0 0 27941 60 0 0 25 0 1 0 905277900 75198464 17421 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18359 17421 1111 63 0 18296 0
vsize: 73436
[startup+290.011 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 17860 0 0 0 28940 61 0 0 25 0 1 0 905277900 76730368 17766 4294967295 134512640 134716908 3221224560 3221223344 134529184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18733 17766 1111 63 0 18670 0
vsize: 74932
[startup+300.012 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 18250 0 0 0 29939 63 0 0 25 0 1 0 905277900 78372864 18152 4294967295 134512640 134716908 3221224560 3221223184 134549742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19134 18152 1111 63 0 19071 0
vsize: 76536
[startup+310.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 18573 0 0 0 30937 64 0 0 25 0 1 0 905277900 79724544 18475 4294967295 134512640 134716908 3221224560 3221223044 134699713 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19464 18475 1111 63 0 19401 0
vsize: 77856
[startup+320.013 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 18815 0 0 0 31937 65 0 0 25 0 1 0 905277900 80670720 18717 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19695 18717 1111 63 0 19632 0
vsize: 78780
[startup+330.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 18969 0 0 0 32937 65 0 0 25 0 1 0 905277900 81346560 18871 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19860 18871 1111 63 0 19797 0
vsize: 79440
[startup+340.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19068 0 0 0 33936 66 0 0 25 0 1 0 905277900 81752064 18970 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19959 18970 1111 63 0 19896 0
vsize: 79836
[startup+350.014 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19238 0 0 0 34935 67 0 0 25 0 1 0 905277900 82427904 19140 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20124 19140 1111 63 0 20061 0
vsize: 80496
[startup+360.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19354 0 0 0 35935 68 0 0 25 0 1 0 905277900 82833408 19256 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20223 19256 1111 63 0 20160 0
vsize: 80892
[startup+370.015 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19438 0 0 0 36935 68 0 0 25 0 1 0 905277900 83238912 19340 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20322 19340 1111 63 0 20259 0
vsize: 81288
[startup+380.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19588 0 0 0 37934 68 0 0 25 0 1 0 905277900 83783680 19490 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20455 19490 1111 63 0 20392 0
vsize: 81820
[startup+390.016 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19737 0 0 0 38933 70 0 0 25 0 1 0 905277900 84459520 19639 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20620 19639 1111 63 0 20557 0
vsize: 82480
[startup+400.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19828 0 0 0 39933 70 0 0 25 0 1 0 905277900 84865024 19730 4294967295 134512640 134716908 3221224560 3221223184 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20719 19730 1111 63 0 20656 0
vsize: 82876
[startup+410.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 19972 0 0 0 40933 71 0 0 25 0 1 0 905277900 85405696 19874 4294967295 134512640 134716908 3221224560 3221223116 134535671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20851 19874 1111 63 0 20788 0
vsize: 83404
[startup+420.017 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 20091 0 0 0 41932 71 0 0 25 0 1 0 905277900 85946368 19993 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20983 19993 1111 63 0 20920 0
vsize: 83932
[startup+430.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 20214 0 0 0 42932 72 0 0 25 0 1 0 905277900 86351872 20116 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21082 20116 1111 63 0 21019 0
vsize: 84328
[startup+440.018 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 20385 0 0 0 43931 73 0 0 25 0 1 0 905277900 87162880 20287 4294967295 134512640 134716908 3221224560 3221223248 134551950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21280 20287 1111 63 0 21217 0
vsize: 85120
[startup+450.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 20521 0 0 0 44931 74 0 0 25 0 1 0 905277900 87703552 20423 4294967295 134512640 134716908 3221224560 3221223200 134542362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21412 20423 1111 63 0 21349 0
vsize: 85648
[startup+460.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 20887 0 0 0 45929 75 0 0 25 0 1 0 905277900 89190400 20789 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21775 20789 1111 63 0 21712 0
vsize: 87100
[startup+470.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21086 0 0 0 46928 76 0 0 25 0 1 0 905277900 90001408 20988 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21973 20988 1111 63 0 21910 0
vsize: 87892
[startup+480.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21223 0 0 0 47928 77 0 0 25 0 1 0 905277900 90542080 21125 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22105 21125 1111 63 0 22042 0
vsize: 88420
[startup+490.019 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21322 0 0 0 48928 77 0 0 25 0 1 0 905277900 90947584 21224 4294967295 134512640 134716908 3221224560 3221223232 134543728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22204 21224 1111 63 0 22141 0
vsize: 88816
[startup+500.02 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21462 0 0 0 49928 78 0 0 25 0 1 0 905277900 91488256 21364 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22336 21364 1111 63 0 22273 0
vsize: 89344
[startup+510.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21583 0 0 0 50928 78 0 0 25 0 1 0 905277900 92028928 21485 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22468 21485 1111 63 0 22405 0
vsize: 89872
[startup+520.021 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21702 0 0 0 51927 78 0 0 25 0 1 0 905277900 92434432 21604 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22567 21604 1111 63 0 22504 0
vsize: 90268
[startup+530.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21829 0 0 0 52927 79 0 0 25 0 1 0 905277900 92975104 21731 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22699 21731 1111 63 0 22636 0
vsize: 90796
[startup+540.022 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 21933 0 0 0 53927 79 0 0 25 0 1 0 905277900 93380608 21835 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22798 21835 1111 63 0 22735 0
vsize: 91192
[startup+550.023 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22080 0 0 0 54926 80 0 0 25 0 1 0 905277900 94056448 21982 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22963 21982 1111 63 0 22900 0
vsize: 91852
[startup+560.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22199 0 0 0 55926 81 0 0 25 0 1 0 905277900 94461952 22101 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23062 22101 1111 63 0 22999 0
vsize: 92248
[startup+570.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22314 0 0 0 56926 81 0 0 25 0 1 0 905277900 95019008 22216 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23198 22216 1111 63 0 23135 0
vsize: 92792
[startup+580.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22409 0 0 0 57925 82 0 0 25 0 1 0 905277900 95424512 22311 4294967295 134512640 134716908 3221224560 3221223200 134539446 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23297 22311 1111 63 0 23234 0
vsize: 93188
[startup+590.024 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22496 0 0 0 58925 82 0 0 25 0 1 0 905277900 95694848 22398 4294967295 134512640 134716908 3221224560 3221223120 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23363 22398 1111 63 0 23300 0
vsize: 93452
[startup+600.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 22762 0 0 0 59924 83 0 0 25 0 1 0 905277900 96776192 22664 4294967295 134512640 134716908 3221224560 3221223328 134528789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23627 22664 1111 63 0 23564 0
vsize: 94508
[startup+610.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23131 0 0 0 60923 84 0 0 25 0 1 0 905277900 98398208 23033 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24023 23033 1111 63 0 23960 0
vsize: 96092
[startup+620.025 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23241 0 0 0 61923 85 0 0 25 0 1 0 905277900 98803712 23143 4294967295 134512640 134716908 3221224560 3221223248 134542958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24122 23143 1111 63 0 24059 0
vsize: 96488
[startup+630.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23355 0 0 0 62923 85 0 0 25 0 1 0 905277900 99344384 23257 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24254 23257 1111 63 0 24191 0
vsize: 97016
[startup+640.026 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23459 0 0 0 63922 86 0 0 25 0 1 0 905277900 99749888 23361 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24353 23361 1111 63 0 24290 0
vsize: 97412
[startup+650.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23578 0 0 0 64922 86 0 0 25 0 1 0 905277900 100155392 23480 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24452 23480 1111 63 0 24389 0
vsize: 97808
[startup+660.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23693 0 0 0 65922 86 0 0 25 0 1 0 905277900 100696064 23595 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24584 23595 1111 63 0 24521 0
vsize: 98336
[startup+670.027 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23804 0 0 0 66922 87 0 0 25 0 1 0 905277900 101101568 23706 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24683 23706 1111 63 0 24620 0
vsize: 98732
[startup+680.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 23914 0 0 0 67922 87 0 0 25 0 1 0 905277900 101507072 23816 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24782 23816 1111 63 0 24719 0
vsize: 99128
[startup+690.028 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 24345 0 0 0 68921 89 0 0 25 0 1 0 905277900 103399424 24247 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25244 24247 1111 63 0 25181 0
vsize: 100976
[startup+700.029 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 24626 0 0 0 69920 90 0 0 25 0 1 0 905277900 104480768 24526 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25508 24526 1111 63 0 25445 0
vsize: 102032
[startup+710.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 24851 0 0 0 70919 91 0 0 25 0 1 0 905277900 105459712 24751 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25747 24751 1111 63 0 25684 0
vsize: 102988
[startup+720.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 25020 0 0 0 71918 92 0 0 25 0 1 0 905277900 106135552 24920 4294967295 134512640 134716908 3221224560 3221223144 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25912 24920 1111 63 0 25849 0
vsize: 103648
[startup+730.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 25208 0 0 0 72916 94 0 0 25 0 1 0 905277900 106946560 25108 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26110 25108 1111 63 0 26047 0
vsize: 104440
[startup+740.03 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 25405 0 0 0 73916 94 0 0 25 0 1 0 905277900 107757568 25305 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26308 25305 1111 63 0 26245 0
vsize: 105232
[startup+750.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 25630 0 0 0 74915 96 0 0 25 0 1 0 905277900 108703744 25530 4294967295 134512640 134716908 3221224560 3221223344 134528780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26539 25530 1111 63 0 26476 0
vsize: 106156
[startup+760.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 25834 0 0 0 75914 97 0 0 25 0 1 0 905277900 109514752 25734 4294967295 134512640 134716908 3221224560 3221223200 134539432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26737 25734 1111 63 0 26674 0
vsize: 106948
[startup+770.031 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 26072 0 0 0 76913 98 0 0 25 0 1 0 905277900 110460928 25972 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26968 25972 1111 63 0 26905 0
vsize: 107872
[startup+780.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 26308 0 0 0 77912 99 0 0 25 0 1 0 905277900 111407104 26208 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27199 26208 1111 63 0 27136 0
vsize: 108796
[startup+790.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 26503 0 0 0 78911 100 0 0 25 0 1 0 905277900 112218112 26401 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27397 26401 1111 63 0 27334 0
vsize: 109588
[startup+800.032 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 26694 0 0 0 79910 101 0 0 25 0 1 0 905277900 113029120 26592 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27595 26592 1111 63 0 27532 0
vsize: 110380
[startup+810.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 26863 0 0 0 80910 102 0 0 25 0 1 0 905277900 113704960 26761 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27760 26761 1111 63 0 27697 0
vsize: 111040
[startup+820.033 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27032 0 0 0 81910 102 0 0 25 0 1 0 905277900 114380800 26930 4294967295 134512640 134716908 3221224560 3221223332 134529275 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27925 26930 1111 63 0 27862 0
vsize: 111700
[startup+830.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27193 0 0 0 82909 103 0 0 25 0 1 0 905277900 115056640 27091 4294967295 134512640 134716908 3221224560 3221223296 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28090 27091 1111 63 0 28027 0
vsize: 112360
[startup+840.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27352 0 0 0 83909 103 0 0 25 0 1 0 905277900 115732480 27250 4294967295 134512640 134716908 3221224560 3221223184 134549751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28255 27250 1111 63 0 28192 0
vsize: 113020
[startup+850.034 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27565 0 0 0 84908 104 0 0 25 0 1 0 905277900 116543488 27463 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28453 27463 1111 63 0 28390 0
vsize: 113812
[startup+860.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27750 0 0 0 85908 105 0 0 25 0 1 0 905277900 117354496 27648 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28651 27648 1111 63 0 28588 0
vsize: 114604
[startup+870.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 27935 0 0 0 86907 106 0 0 25 0 1 0 905277900 118034432 27833 4294967295 134512640 134716908 3221224560 3221223312 134587951 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28817 27833 1111 63 0 28754 0
vsize: 115268
[startup+880.035 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 28255 0 0 0 87905 108 0 0 25 0 1 0 905277900 119492608 28144 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29173 28144 1111 63 0 29110 0
vsize: 116692
[startup+890.036 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 28616 0 0 0 88904 110 0 0 25 0 1 0 905277900 120979456 28505 4294967295 134512640 134716908 3221224560 3221223344 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29536 28505 1111 63 0 29473 0
vsize: 118144
[startup+900.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 28981 0 0 0 89903 111 0 0 25 0 1 0 905277900 122499072 28866 4294967295 134512640 134716908 3221224560 3221223208 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29907 28866 1111 63 0 29844 0
vsize: 119628
[startup+910.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 29394 0 0 0 90902 112 0 0 25 0 1 0 905277900 124194816 29277 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30321 29277 1111 63 0 30258 0
vsize: 121284
[startup+920.037 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 29852 0 0 0 91900 114 0 0 25 0 1 0 905277900 126152704 29731 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30799 29731 1111 63 0 30736 0
vsize: 123196
[startup+930.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 30086 0 0 0 92899 115 0 0 25 0 1 0 905277900 127098880 29965 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31030 29965 1111 63 0 30967 0
vsize: 124120
[startup+940.038 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 30307 0 0 0 93899 116 0 0 25 0 1 0 905277900 128122880 30182 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31280 30182 1111 63 0 31217 0
vsize: 125120
[startup+950.039 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 30505 0 0 0 94898 117 0 0 25 0 1 0 905277900 128933888 30380 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31478 30380 1111 63 0 31415 0
vsize: 125912
[startup+960.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 30686 0 0 0 95897 118 0 0 25 0 1 0 905277900 129609728 30561 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31643 30561 1111 63 0 31580 0
vsize: 126572
[startup+970.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 30885 0 0 0 96896 119 0 0 25 0 1 0 905277900 130420736 30760 4294967295 134512640 134716908 3221224560 3221223116 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31841 30760 1111 63 0 31778 0
vsize: 127364
[startup+980.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31103 0 0 0 97896 120 0 0 25 0 1 0 905277900 131366912 30978 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32072 30978 1111 63 0 32009 0
vsize: 128288
[startup+990.041 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31340 0 0 0 98895 120 0 0 25 0 1 0 905277900 132313088 31215 4294967295 134512640 134716908 3221224560 3221223224 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32303 31215 1111 63 0 32240 0
vsize: 129212
[startup+1000.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31541 0 0 0 99895 121 0 0 25 0 1 0 905277900 133218304 31403 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32524 31403 1111 63 0 32461 0
vsize: 130096
[startup+1010.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31668 0 0 0 100894 122 0 0 25 0 1 0 905277900 133623808 31530 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32623 31530 1111 63 0 32560 0
vsize: 130492
[startup+1020.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31809 0 0 0 101894 122 0 0 25 0 1 0 905277900 134307840 31670 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32790 31670 1111 63 0 32727 0
vsize: 131160
[startup+1030.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 31944 0 0 0 102893 123 0 0 25 0 1 0 905277900 134848512 31805 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32922 31805 1111 63 0 32859 0
vsize: 131688
[startup+1040.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32122 0 0 0 103893 123 0 0 25 0 1 0 905277900 135524352 31983 4294967295 134512640 134716908 3221224560 3221223084 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33087 31983 1111 63 0 33024 0
vsize: 132348
[startup+1050.04 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32249 0 0 0 104892 124 0 0 25 0 1 0 905277900 136065024 32108 4294967295 134512640 134716908 3221224560 3221223120 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33219 32108 1111 63 0 33156 0
vsize: 132876
[startup+1060.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32372 0 0 0 105892 125 0 0 25 0 1 0 905277900 136605696 32231 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33351 32231 1111 63 0 33288 0
vsize: 133404
[startup+1070.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32576 0 0 0 106891 126 0 0 25 0 1 0 905277900 137416704 32435 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33549 32435 1111 63 0 33486 0
vsize: 134196
[startup+1080.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32739 0 0 0 107891 127 0 0 25 0 1 0 905277900 138092544 32598 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33714 32598 1111 63 0 33651 0
vsize: 134856
[startup+1090.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 32890 0 0 0 108890 127 0 0 25 0 1 0 905277900 138633216 32749 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33846 32749 1111 63 0 33783 0
vsize: 135384
[startup+1100.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33069 0 0 0 109890 128 0 0 25 0 1 0 905277900 139444224 32928 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34044 32928 1111 63 0 33981 0
vsize: 136176
[startup+1110.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33218 0 0 0 110889 129 0 0 25 0 1 0 905277900 139984896 33077 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34176 33077 1111 63 0 34113 0
vsize: 136704
[startup+1120.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33390 0 0 0 111888 130 0 0 25 0 1 0 905277900 140660736 33249 4294967295 134512640 134716908 3221224560 3221223152 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34341 33249 1111 63 0 34278 0
vsize: 137364
[startup+1130.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33711 0 0 0 112888 130 0 0 25 0 1 0 905277900 142061568 33569 4294967295 134512640 134716908 3221224560 3221223132 134535988 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34683 33569 1111 63 0 34620 0
vsize: 138732
[startup+1140.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33872 0 0 0 113888 131 0 0 25 0 1 0 905277900 142737408 33730 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34848 33730 1111 63 0 34785 0
vsize: 139392
[startup+1150.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 33969 0 0 0 114887 132 0 0 25 0 1 0 905277900 143142912 33827 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34947 33827 1111 63 0 34884 0
vsize: 139788
[startup+1160.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 34072 0 0 0 115887 132 0 0 25 0 1 0 905277900 143548416 33930 4294967295 134512640 134716908 3221224560 3221223152 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35046 33930 1111 63 0 34983 0
vsize: 140184
[startup+1170.05 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 34180 0 0 0 116887 132 0 0 25 0 1 0 905277900 143953920 34038 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35145 34038 1111 63 0 35082 0
vsize: 140580
[startup+1174.94 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 674
Raw data (stat): 674 (bsolo_lpr_cuts-) R 673 20224 20223 0 -1 0 34180 0 0 0 116887 132 0 0 25 0 1 0 905277900 143953920 34038 4294967295 134512640 134716908 3221224560 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35145 34038 1111 63 0 35082 0
vsize: 0

Child status: 0
Real time (s): 1174.94
CPU time (s): 1175.09
CPU user time (s): 1173.69
CPU system time (s): 1.39379
CPU usage (%): 100.013
Max. virtual memory (Kb): 140580
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####