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/aloul/FPGA_SAT05/normalized-chnl15_16_pb.cnf.cr.opb
MD5SUM	3f8902c4e8af50006f671e2bddb3e9aa
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	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	17
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.013997
Number of variables	480
Total number of constraints	62
Number of constraints which are clauses	32
Number of constraints which are cardinality constraints (but not clauses)	30
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	16
Trace number 40553

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        873216 kB
Buffers:         10640 kB
Cached:         126528 kB
SwapCached:       1144 kB
Active:          25080 kB
Inactive:       114308 kB
HighTotal:      131008 kB
HighFree:         5320 kB
LowTotal:       903652 kB
LowFree:        867896 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16424 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 14:35:52 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28619 7 1175.13 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 480 variables and 62 constraints.
c After prepocess the problem consists of 480 variables and 62 constraints.
c preprocess terminated 0.113 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): 0.93 0.98 0.91 1/55 23606
Raw data (stat): 23606 (runsolver) R 23605 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 845425588 884736 94 4294967295 134512640 135332820 3221224448 3221219628 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.0003 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 3360 0 0 0 987 10 0 0 25 0 1 0 845425588 16842752 3278 4294967295 134512640 134716908 3221224560 3221223048 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4112 3278 1111 63 0 4049 0
vsize: 16448
[startup+20.0016 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 5006 0 0 0 1982 15 0 0 25 0 1 0 845425588 23625728 4924 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5768 4924 1111 63 0 5705 0
vsize: 23072
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 6410 0 0 0 2978 19 0 0 25 0 1 0 845425588 29437952 6328 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7187 6328 1111 63 0 7124 0
vsize: 28748
[startup+40.0022 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 7339 0 0 0 3975 22 0 0 25 0 1 0 845425588 33251328 7257 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8118 7257 1111 63 0 8055 0
vsize: 32472
[startup+50.0033 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 8553 0 0 0 4971 26 0 0 25 0 1 0 845425588 38256640 8470 4294967295 134512640 134716908 3221224560 3221223180 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9340 8470 1111 63 0 9277 0
vsize: 37360
[startup+60.0027 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 9600 0 0 0 5968 30 0 0 25 0 1 0 845425588 42586112 9515 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10397 9515 1111 63 0 10334 0
vsize: 41588
[startup+70.0039 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 10395 0 0 0 6966 32 0 0 25 0 1 0 845425588 45862912 10309 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11197 10309 1111 63 0 11134 0
vsize: 44788
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 11309 0 0 0 7964 34 0 0 25 0 1 0 845425588 49692672 11219 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12132 11219 1111 63 0 12069 0
vsize: 48528
[startup+90.0041 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 12127 0 0 0 8962 37 0 0 25 0 1 0 845425588 53071872 12037 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12957 12037 1111 63 0 12894 0
vsize: 51828
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 12895 0 0 0 9959 39 0 0 25 0 1 0 845425588 56180736 12805 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13716 12805 1111 63 0 13653 0
vsize: 54864
[startup+110.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 13458 0 0 0 10957 42 0 0 25 0 1 0 845425588 58527744 13367 4294967295 134512640 134716908 3221224560 3221223296 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14289 13367 1111 63 0 14226 0
vsize: 57156
[startup+120.004 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 14036 0 0 0 11955 43 0 0 25 0 1 0 845425588 60874752 13945 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14862 13945 1111 63 0 14799 0
vsize: 59448
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 14561 0 0 0 12954 45 0 0 25 0 1 0 845425588 63074304 14470 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15399 14470 1111 63 0 15336 0
vsize: 61596
[startup+140.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 15031 0 0 0 13952 47 0 0 25 0 1 0 845425588 65003520 14938 4294967295 134512640 134716908 3221224560 3221223116 134535628 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15870 14938 1111 63 0 15807 0
vsize: 63480
[startup+150.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 15500 0 0 0 14951 48 0 0 25 0 1 0 845425588 67100672 15404 4294967295 134512640 134716908 3221224560 3221223056 134535383 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16382 15404 1111 63 0 16319 0
vsize: 65528
[startup+160.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 16651 0 0 0 15946 53 0 0 25 0 1 0 845425588 71876608 16555 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17548 16555 1111 63 0 17485 0
vsize: 70192
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 17864 0 0 0 16941 59 0 0 25 0 1 0 845425588 76754944 17768 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18739 17768 1111 63 0 18676 0
vsize: 74956
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 18616 0 0 0 17938 62 0 0 25 0 1 0 845425588 79876096 18519 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19501 18519 1111 63 0 19438 0
vsize: 78004
[startup+190.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 19532 0 0 0 18934 66 0 0 25 0 1 0 845425588 83677184 19434 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20429 19434 1111 63 0 20366 0
vsize: 81716
[startup+200.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 20312 0 0 0 19931 69 0 0 25 0 1 0 845425588 86921216 20213 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21221 20214 1111 63 0 21158 0
vsize: 84884
[startup+210.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 20960 0 0 0 20928 72 0 0 25 0 1 0 845425588 89497600 20861 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21850 20861 1111 63 0 21787 0
vsize: 87400
[startup+220.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 21564 0 0 0 21926 75 0 0 25 0 1 0 845425588 91947008 21465 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22448 21465 1111 63 0 22385 0
vsize: 89792
[startup+230.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 22017 0 0 0 22924 77 0 0 25 0 1 0 845425588 93855744 21918 4294967295 134512640 134716908 3221224560 3221223344 134529259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22914 21918 1111 63 0 22851 0
vsize: 91656
[startup+240.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 22683 0 0 0 23921 80 0 0 25 0 1 0 845425588 96595968 22584 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23583 22584 1111 63 0 23520 0
vsize: 94332
[startup+250.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 23374 0 0 0 24919 83 0 0 25 0 1 0 845425588 99434496 23275 4294967295 134512640 134716908 3221224560 3221223344 134529174 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24276 23275 1111 63 0 24213 0
vsize: 97104
[startup+260.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 24001 0 0 0 25917 85 0 0 25 0 1 0 845425588 102002688 23902 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24903 23902 1111 63 0 24840 0
vsize: 99612
[startup+270.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 24481 0 0 0 26914 87 0 0 25 0 1 0 845425588 103936000 24382 4294967295 134512640 134716908 3221224560 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25375 24382 1111 63 0 25312 0
vsize: 101500
[startup+280.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 25121 0 0 0 27912 90 0 0 25 0 1 0 845425588 106659840 25022 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26040 25022 1111 63 0 25977 0
vsize: 104160
[startup+290.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 25717 0 0 0 28910 92 0 0 25 0 1 0 845425588 109105152 25614 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26637 25614 1111 63 0 26574 0
vsize: 106548
[startup+300.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 26412 0 0 0 29908 95 0 0 25 0 1 0 845425588 112025600 26309 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27350 26309 1111 63 0 27287 0
vsize: 109400
[startup+310.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 26972 0 0 0 30906 97 0 0 25 0 1 0 845425588 114405376 26866 4294967295 134512640 134716908 3221224560 3221223296 134535750 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27931 26866 1111 63 0 27868 0
vsize: 111724
[startup+320.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 27291 0 0 0 31905 98 0 0 25 0 1 0 845425588 115818496 27184 4294967295 134512640 134716908 3221224560 3221223296 134523886 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28276 27184 1111 63 0 28213 0
vsize: 113104
[startup+330.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 27699 0 0 0 32904 99 0 0 25 0 1 0 845425588 117514240 27590 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28690 27590 1111 63 0 28627 0
vsize: 114760
[startup+340.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 27946 0 0 0 33903 100 0 0 25 0 1 0 845425588 118472704 27837 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28924 27837 1111 63 0 28861 0
vsize: 115696
[startup+350.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 29000 0 0 0 34899 104 0 0 25 0 1 0 845425588 122916864 28889 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30009 28889 1111 63 0 29946 0
vsize: 120036
[startup+360.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 29679 0 0 0 35897 107 0 0 25 0 1 0 845425588 125755392 29568 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30702 29568 1111 63 0 30639 0
vsize: 122808
[startup+370.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 30213 0 0 0 36895 109 0 0 25 0 1 0 845425588 127918080 30102 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31230 30102 1111 63 0 31167 0
vsize: 124920
[startup+380.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 30763 0 0 0 37893 111 0 0 25 0 1 0 845425588 130117632 30652 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31767 30652 1111 63 0 31704 0
vsize: 127068
[startup+390.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 31410 0 0 0 38890 114 0 0 25 0 1 0 845425588 132935680 31297 4294967295 134512640 134716908 3221224560 3221223124 134535880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32455 31297 1111 63 0 32392 0
vsize: 129820
[startup+400.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 31831 0 0 0 39889 116 0 0 25 0 1 0 845425588 134692864 31718 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32884 31718 1111 63 0 32821 0
vsize: 131536
[startup+410.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 32323 0 0 0 40886 118 0 0 25 0 1 0 845425588 136609792 32207 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33352 32207 1111 63 0 33289 0
vsize: 133408
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 32805 0 0 0 41885 120 0 0 25 0 1 0 845425588 138649600 32685 4294967295 134512640 134716908 3221224560 3221223228 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33850 32685 1111 63 0 33787 0
vsize: 135400
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 33148 0 0 0 42884 121 0 0 25 0 1 0 845425588 140156928 33028 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34218 33028 1111 63 0 34155 0
vsize: 136872
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 33527 0 0 0 43882 123 0 0 25 0 1 0 845425588 141643776 33407 4294967295 134512640 134716908 3221224560 3221223036 1076999581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34581 33407 1111 63 0 34518 0
vsize: 138324
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 33939 0 0 0 44880 125 0 0 25 0 1 0 845425588 143327232 33817 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34992 33817 1111 63 0 34929 0
vsize: 139968
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 34333 0 0 0 45879 126 0 0 25 0 1 0 845425588 144887808 34207 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35373 34207 1111 63 0 35310 0
vsize: 141492
[startup+470.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 34634 0 0 0 46878 127 0 0 25 0 1 0 845425588 146198528 34508 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35693 34508 1111 63 0 35630 0
vsize: 142772
[startup+480.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 34974 0 0 0 47877 128 0 0 25 0 1 0 845425588 147623936 34845 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36041 34845 1111 63 0 35978 0
vsize: 144164
[startup+490.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 35188 0 0 0 48877 129 0 0 25 0 1 0 845425588 148533248 35056 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36263 35056 1111 63 0 36200 0
vsize: 145052
[startup+500.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 35376 0 0 0 49876 130 0 0 25 0 1 0 845425588 149405696 35242 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36476 35242 1111 63 0 36413 0
vsize: 145904
[startup+510.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 35590 0 0 0 50876 130 0 0 25 0 1 0 845425588 150401024 35452 4294967295 134512640 134716908 3221224560 3221223280 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36719 35452 1111 63 0 36656 0
vsize: 146876
[startup+520.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 35913 0 0 0 51874 132 0 0 25 0 1 0 845425588 151617536 35775 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37016 35775 1111 63 0 36953 0
vsize: 148064
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 36212 0 0 0 52873 133 0 0 25 0 1 0 845425588 152854528 36070 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37318 36070 1111 63 0 37255 0
vsize: 149272
[startup+540.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 36523 0 0 0 53872 135 0 0 25 0 1 0 845425588 154107904 36380 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37624 36380 1111 63 0 37561 0
vsize: 150496
[startup+550.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 36746 0 0 0 54871 136 0 0 25 0 1 0 845425588 154918912 36603 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37822 36603 1111 63 0 37759 0
vsize: 151288
[startup+560.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 37056 0 0 0 55870 137 0 0 25 0 1 0 845425588 156135424 36913 4294967295 134512640 134716908 3221224560 3221223120 134698901 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38119 36913 1111 63 0 38056 0
vsize: 152476
[startup+570.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 37366 0 0 0 56869 138 0 0 25 0 1 0 845425588 157376512 37223 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38422 37223 1111 63 0 38359 0
vsize: 153688
[startup+580.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 37666 0 0 0 57868 139 0 0 25 0 1 0 845425588 158703616 37522 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38746 37522 1111 63 0 38683 0
vsize: 154984
[startup+590.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 37857 0 0 0 58867 140 0 0 25 0 1 0 845425588 159510528 37713 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38943 37713 1111 63 0 38880 0
vsize: 155772
[startup+600.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 38110 0 0 0 59866 141 0 0 25 0 1 0 845425588 160497664 37962 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39184 37962 1111 63 0 39121 0
vsize: 156736
[startup+610.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 38335 0 0 0 60865 143 0 0 25 0 1 0 845425588 161443840 38187 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39415 38187 1111 63 0 39352 0
vsize: 157660
[startup+620.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 38542 0 0 0 61864 144 0 0 25 0 1 0 845425588 162263040 38392 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39615 38392 1111 63 0 39552 0
vsize: 158460
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 38709 0 0 0 62864 144 0 0 25 0 1 0 845425588 162938880 38559 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39780 38559 1111 63 0 39717 0
vsize: 159120
[startup+640.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 38941 0 0 0 63864 145 0 0 25 0 1 0 845425588 163885056 38791 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40011 38791 1111 63 0 39948 0
vsize: 160044
[startup+650.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 39202 0 0 0 64863 146 0 0 25 0 1 0 845425588 164831232 39052 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40242 39052 1111 63 0 40179 0
vsize: 160968
[startup+660.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 39435 0 0 0 65862 147 0 0 25 0 1 0 845425588 165847040 39285 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40490 39285 1111 63 0 40427 0
vsize: 161960
[startup+670.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 39625 0 0 0 66862 147 0 0 25 0 1 0 845425588 166715392 39473 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40702 39473 1111 63 0 40639 0
vsize: 162808
[startup+680.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 39807 0 0 0 67861 148 0 0 25 0 1 0 845425588 167501824 39654 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40894 39654 1111 63 0 40831 0
vsize: 163576
[startup+690.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 40024 0 0 0 68860 149 0 0 25 0 1 0 845425588 168419328 39870 4294967295 134512640 134716908 3221224560 3221223328 134529281 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41118 39870 1111 63 0 41055 0
vsize: 164472
[startup+700.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 40277 0 0 0 69860 150 0 0 25 0 1 0 845425588 169500672 40123 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41382 40123 1111 63 0 41319 0
vsize: 165528
[startup+710.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 40489 0 0 0 70859 151 0 0 25 0 1 0 845425588 170311680 40335 4294967295 134512640 134716908 3221224560 3221223216 134536738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41580 40335 1111 63 0 41517 0
vsize: 166320
[startup+720.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 40652 0 0 0 71858 151 0 0 25 0 1 0 845425588 170987520 40498 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41745 40498 1111 63 0 41682 0
vsize: 166980
[startup+730.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 40831 0 0 0 72858 152 0 0 25 0 1 0 845425588 171864064 40673 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41959 40673 1111 63 0 41896 0
vsize: 167836
[startup+740.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 41631 0 0 0 73855 156 0 0 25 0 1 0 845425588 175108096 41473 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42751 41473 1111 63 0 42688 0
vsize: 171004
[startup+750.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 42148 0 0 0 74853 158 0 0 25 0 1 0 845425588 177135616 41990 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43246 41990 1111 63 0 43183 0
vsize: 172984
[startup+760.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 42579 0 0 0 75851 159 0 0 25 0 1 0 845425588 178892800 42421 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43675 42421 1111 63 0 43612 0
vsize: 174700
[startup+770.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 43165 0 0 0 76849 161 0 0 25 0 1 0 845425588 181325824 43007 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44269 43007 1111 63 0 44206 0
vsize: 177076
[startup+780.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 43590 0 0 0 77848 163 0 0 25 0 1 0 845425588 183083008 43432 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44698 43432 1111 63 0 44635 0
vsize: 178792
[startup+790.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 44046 0 0 0 78847 164 0 0 25 0 1 0 845425588 184840192 43888 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45127 43888 1111 63 0 45064 0
vsize: 180508
[startup+800.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 44497 0 0 0 79847 165 0 0 25 0 1 0 845425588 186732544 44339 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45589 44339 1111 63 0 45526 0
vsize: 182356
[startup+810.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 44866 0 0 0 80845 166 0 0 25 0 1 0 845425588 188219392 44708 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45952 44708 1111 63 0 45889 0
vsize: 183808
[startup+820.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 45160 0 0 0 81844 168 0 0 25 0 1 0 845425588 189435904 45002 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46249 45002 1111 63 0 46186 0
vsize: 184996
[startup+830.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 45311 0 0 0 82844 168 0 0 25 0 1 0 845425588 190119936 45152 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46416 45152 1111 63 0 46353 0
vsize: 185664
[startup+840.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 45727 0 0 0 83842 170 0 0 25 0 1 0 845425588 191864832 45562 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46842 45562 1111 63 0 46779 0
vsize: 187368
[startup+850.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 46280 0 0 0 84840 172 0 0 25 0 1 0 845425588 194162688 46115 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47403 46115 1111 63 0 47340 0
vsize: 189612
[startup+860.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 46589 0 0 0 85839 174 0 0 25 0 1 0 845425588 195379200 46424 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47700 46424 1111 63 0 47637 0
vsize: 190800
[startup+870.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 46997 0 0 0 86838 175 0 0 25 0 1 0 845425588 197001216 46832 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48096 46832 1111 63 0 48033 0
vsize: 192384
[startup+880.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 47271 0 0 0 87837 176 0 0 25 0 1 0 845425588 198082560 47106 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48360 47106 1111 63 0 48297 0
vsize: 193440
[startup+890.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 47630 0 0 0 88836 177 0 0 25 0 1 0 845425588 199569408 47465 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48723 47465 1111 63 0 48660 0
vsize: 194892
[startup+900.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 47866 0 0 0 89835 178 0 0 25 0 1 0 845425588 200458240 47701 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48940 47701 1111 63 0 48877 0
vsize: 195760
[startup+910.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 48112 0 0 0 90834 179 0 0 25 0 1 0 845425588 201641984 47945 4294967295 134512640 134716908 3221224560 3221223120 134549725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49229 47945 1111 63 0 49166 0
vsize: 196916
[startup+920.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 48408 0 0 0 91834 180 0 0 25 0 1 0 845425588 202924032 48239 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49542 48239 1111 63 0 49479 0
vsize: 198168
[startup+930.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 48683 0 0 0 92833 181 0 0 25 0 1 0 845425588 204017664 48514 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49809 48514 1111 63 0 49746 0
vsize: 199236
[startup+940.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 48907 0 0 0 93832 181 0 0 25 0 1 0 845425588 204984320 48737 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50045 48737 1111 63 0 49982 0
vsize: 200180
[startup+950.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 49161 0 0 0 94831 183 0 0 25 0 1 0 845425588 206131200 48987 4294967295 134512640 134716908 3221224560 3221223188 134536674 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50325 48987 1111 63 0 50262 0
vsize: 201300
[startup+960.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 49418 0 0 0 95830 184 0 0 25 0 1 0 845425588 207077376 49244 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50556 49244 1111 63 0 50493 0
vsize: 202224
[startup+970.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 49606 0 0 0 96829 185 0 0 25 0 1 0 845425588 207818752 49432 4294967295 134512640 134716908 3221224560 3221223056 134535330 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50737 49432 1111 63 0 50674 0
vsize: 202948
[startup+980.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 49889 0 0 0 97828 186 0 0 25 0 1 0 845425588 209100800 49706 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51050 49706 1111 63 0 50987 0
vsize: 204200
[startup+990.016 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 50157 0 0 0 98827 187 0 0 25 0 1 0 845425588 210247680 49970 4294967295 134512640 134716908 3221224560 3221223056 134535442 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51330 49970 1111 63 0 51267 0
vsize: 205320
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 50423 0 0 0 99826 188 0 0 25 0 1 0 845425588 211398656 50236 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51611 50236 1111 63 0 51548 0
vsize: 206444
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 50633 0 0 0 100826 189 0 0 25 0 1 0 845425588 212275200 50443 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51825 50443 1111 63 0 51762 0
vsize: 207300
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 50811 0 0 0 101826 189 0 0 25 0 1 0 845425588 212815872 50621 4294967295 134512640 134716908 3221224560 3221223344 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51957 50621 1111 63 0 51894 0
vsize: 207828
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 51039 0 0 0 102825 190 0 0 25 0 1 0 845425588 214228992 50839 4294967295 134512640 134716908 3221224560 3221223280 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52302 50839 1111 63 0 52239 0
vsize: 209208
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 51157 0 0 0 103825 191 0 0 25 0 1 0 845425588 214634496 50957 4294967295 134512640 134716908 3221224560 3221223184 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52401 50957 1111 63 0 52338 0
vsize: 209604
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 51538 0 0 0 104824 192 0 0 25 0 1 0 845425588 216186880 51336 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52780 51336 1111 63 0 52717 0
vsize: 211120
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 51900 0 0 0 105822 193 0 0 25 0 1 0 845425588 217538560 51698 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53110 51698 1111 63 0 53047 0
vsize: 212440
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 52079 0 0 0 106821 195 0 0 25 0 1 0 845425588 218349568 51877 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53308 51877 1111 63 0 53245 0
vsize: 213232
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 52249 0 0 0 107821 196 0 0 25 0 1 0 845425588 218890240 52047 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53440 52047 1111 63 0 53377 0
vsize: 213760
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 52454 0 0 0 108820 196 0 0 25 0 1 0 845425588 219930624 52249 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53694 52249 1111 63 0 53631 0
vsize: 214776
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 52658 0 0 0 109820 197 0 0 25 0 1 0 845425588 220741632 52453 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53892 52453 1111 63 0 53829 0
vsize: 215568
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 52915 0 0 0 110819 198 0 0 25 0 1 0 845425588 221876224 52710 4294967295 134512640 134716908 3221224560 3221223288 134532457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54169 52710 1111 63 0 54106 0
vsize: 216676
[startup+1120.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 53153 0 0 0 111818 199 0 0 25 0 1 0 845425588 222752768 52948 4294967295 134512640 134716908 3221224560 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54383 52948 1111 63 0 54320 0
vsize: 217532
[startup+1130.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 53343 0 0 0 112817 200 0 0 25 0 1 0 845425588 223563776 53138 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54581 53138 1111 63 0 54518 0
vsize: 218324
[startup+1140.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 53568 0 0 0 113817 201 0 0 25 0 1 0 845425588 224624640 53362 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54840 53362 1111 63 0 54777 0
vsize: 219360
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 53838 0 0 0 114816 202 0 0 25 0 1 0 845425588 225570816 53632 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55071 53632 1111 63 0 55008 0
vsize: 220284
[startup+1160.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 54104 0 0 0 115815 203 0 0 25 0 1 0 845425588 226914304 53896 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55399 53896 1111 63 0 55336 0
vsize: 221596
[startup+1170.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 54304 0 0 0 116814 204 0 0 25 0 1 0 845425588 227590144 54096 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55564 54096 1111 63 0 55501 0
vsize: 222256
[startup+1174.96 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 23606
Raw data (stat): 23606 (bsolo_lpr_cuts-) R 23605 8378 8377 0 -1 0 54304 0 0 0 116814 204 0 0 25 0 1 0 845425588 227590144 54096 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55564 54096 1111 63 0 55501 0
vsize: 0

Child status: 0
Real time (s): 1174.96
CPU time (s): 1175.13
CPU user time (s): 1172.97
CPU system time (s): 2.15067
CPU usage (%): 100.014
Max. virtual memory (Kb): 222256
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####