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-fpga20_20_sat_pb.cnf.cr.opb
MD5SUM	4313884ec3fa396c713faf5f812fe6b8
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	0
Optimality of the best value was proved	NO
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	21
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.136978
Number of variables	600
Total number of constraints	460
Number of constraints which are clauses	420
Number of constraints which are cardinality constraints (but not clauses)	40
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	10
Maximum length of a constraint	20
Trace number 40590

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc6 THE 2005-06-08 16:11:49 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28656 boxname=wulflinc6 idbench=42 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4313884ec3fa396c713faf5f812fe6b8  /oldhome/oroussel/tmp/wulflinc6/normalized-fpga20_20_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc6/normalized-fpga20_20_sat_pb.cnf.cr.opb
IDLAUNCH: 28656
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.042
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.042
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:        602608 kB
Buffers:         30240 kB
Cached:         380900 kB
SwapCached:        940 kB
Active:          45252 kB
Inactive:       367932 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        602356 kB
SwapTotal:     2097136 kB
SwapFree:      2095212 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            13212 kB
Committed_AS:    63736 kB
PageTables:        320 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:31:24 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 28656 7 1175.08 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 600 variables and 460 constraints.
c After prepocess the problem consists of 600 variables and 460 constraints.
c preprocess terminated 0.494 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.92 0.98 0.93 2/54 32426
Raw data (stat): 32426 (runsolver) R 32425 25568 25567 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902974991 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0011 s]
Raw data (loadavg): 0.93 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 2195 0 0 0 991 6 0 0 25 0 1 0 902974991 12070912 2113 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2947 2113 1111 63 0 2884 0
vsize: 11788
[startup+20.0019 s]
Raw data (loadavg): 0.94 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 2906 0 0 0 1989 9 0 0 25 0 1 0 902974991 15036416 2824 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3671 2824 1111 63 0 3608 0
vsize: 14684
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 3908 0 0 0 2986 12 0 0 25 0 1 0 902974991 19087360 3826 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4660 3826 1111 63 0 4597 0
vsize: 18640
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 4457 0 0 0 3984 14 0 0 25 0 1 0 902974991 21377024 4375 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5219 4375 1111 63 0 5156 0
vsize: 20876
[startup+50.0033 s]
Raw data (loadavg): 0.96 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 4752 0 0 0 4983 16 0 0 25 0 1 0 902974991 22593536 4670 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5516 4670 1111 63 0 5453 0
vsize: 22064
[startup+60.0042 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 4864 0 0 0 5982 17 0 0 25 0 1 0 902974991 22999040 4782 4294967295 134512640 134716908 3221224560 3221223344 134529249 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5615 4782 1111 63 0 5552 0
vsize: 22460
[startup+70.0049 s]
Raw data (loadavg): 0.97 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5056 0 0 0 6981 19 0 0 25 0 1 0 902974991 23810048 4974 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5813 4974 1111 63 0 5750 0
vsize: 23252
[startup+80.0058 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5229 0 0 0 7980 20 0 0 25 0 1 0 902974991 24485888 5147 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5978 5147 1111 63 0 5915 0
vsize: 23912
[startup+90.0063 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5387 0 0 0 8980 21 0 0 25 0 1 0 902974991 25128960 5305 4294967295 134512640 134716908 3221224560 3221223264 134584836 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6135 5305 1111 63 0 6072 0
vsize: 24540
[startup+100.006 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5584 0 0 0 9978 22 0 0 25 0 1 0 902974991 26058752 5502 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6362 5502 1111 63 0 6299 0
vsize: 25448
[startup+110.007 s]
Raw data (loadavg): 0.98 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5796 0 0 0 10977 24 0 0 25 0 1 0 902974991 26861568 5714 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6558 5714 1111 63 0 6495 0
vsize: 26232
[startup+120.008 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 5932 0 0 0 11976 25 0 0 25 0 1 0 902974991 27402240 5850 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6690 5850 1111 63 0 6627 0
vsize: 26760
[startup+130.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6052 0 0 0 12975 27 0 0 25 0 1 0 902974991 27947008 5970 4294967295 134512640 134716908 3221224560 3221223148 134539235 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6823 5970 1111 63 0 6760 0
vsize: 27292
[startup+140.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6189 0 0 0 13975 27 0 0 25 0 1 0 902974991 28487680 6107 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6955 6107 1111 63 0 6892 0
vsize: 27820
[startup+150.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6349 0 0 0 14974 29 0 0 25 0 1 0 902974991 29163520 6267 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7120 6267 1111 63 0 7057 0
vsize: 28480
[startup+160.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6475 0 0 0 15972 31 0 0 25 0 1 0 902974991 29700096 6393 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7251 6393 1111 63 0 7188 0
vsize: 29004
[startup+170.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6538 0 0 0 16972 32 0 0 25 0 1 0 902974991 29970432 6456 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7317 6456 1111 63 0 7254 0
vsize: 29268
[startup+180.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6593 0 0 0 17971 33 0 0 25 0 1 0 902974991 30240768 6511 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7383 6511 1111 63 0 7320 0
vsize: 29532
[startup+190.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6677 0 0 0 18970 34 0 0 25 0 1 0 902974991 30527488 6595 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7453 6595 1111 63 0 7390 0
vsize: 29812
[startup+200.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6698 0 0 0 19970 35 0 0 25 0 1 0 902974991 30662656 6616 4294967295 134512640 134716908 3221224560 3221223196 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7486 6616 1111 63 0 7423 0
vsize: 29944
[startup+210.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6733 0 0 0 20969 36 0 0 25 0 1 0 902974991 30789632 6651 4294967295 134512640 134716908 3221224560 3221223156 134549856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7517 6651 1111 63 0 7454 0
vsize: 30068
[startup+220.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6795 0 0 0 21969 37 0 0 25 0 1 0 902974991 31059968 6713 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7583 6713 1111 63 0 7520 0
vsize: 30332
[startup+230.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6890 0 0 0 22968 38 0 0 25 0 1 0 902974991 31465472 6808 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7682 6808 1111 63 0 7619 0
vsize: 30728
[startup+240.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 6985 0 0 0 23967 39 0 0 25 0 1 0 902974991 31870976 6903 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7781 6903 1111 63 0 7718 0
vsize: 31124
[startup+250.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7020 0 0 0 24966 41 0 0 25 0 1 0 902974991 32006144 6938 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6938 1111 63 0 7751 0
vsize: 31256
[startup+260.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7029 0 0 0 25966 41 0 0 25 0 1 0 902974991 32006144 6947 4294967295 134512640 134716908 3221224560 3221223224 134543652 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7814 6947 1111 63 0 7751 0
vsize: 31256
[startup+270.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7048 0 0 0 26965 42 0 0 25 0 1 0 902974991 32141312 6966 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7847 6966 1111 63 0 7784 0
vsize: 31388
[startup+280.015 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7076 0 0 0 27965 43 0 0 25 0 1 0 902974991 32141312 6994 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7847 6994 1111 63 0 7784 0
vsize: 31388
[startup+290.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7086 0 0 0 28965 44 0 0 25 0 1 0 902974991 32276480 7004 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 7004 1111 63 0 7817 0
vsize: 31520
[startup+300.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7098 0 0 0 29964 44 0 0 25 0 1 0 902974991 32276480 7016 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7880 7016 1111 63 0 7817 0
vsize: 31520
[startup+310.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7119 0 0 0 30964 45 0 0 25 0 1 0 902974991 32411648 7037 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 7037 1111 63 0 7850 0
vsize: 31652
[startup+320.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7132 0 0 0 31964 46 0 0 25 0 1 0 902974991 32411648 7050 4294967295 134512640 134716908 3221224560 3221223056 134535391 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 7050 1111 63 0 7850 0
vsize: 31652
[startup+330.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7132 0 0 0 32963 47 0 0 25 0 1 0 902974991 32411648 7050 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7913 7050 1111 63 0 7850 0
vsize: 31652
[startup+340.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7132 0 0 0 33963 47 0 0 25 0 1 0 902974991 32399360 7050 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7910 7050 1111 63 0 7847 0
vsize: 31640
[startup+350.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7153 0 0 0 34962 48 0 0 25 0 1 0 902974991 32534528 7071 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7943 7071 1111 63 0 7880 0
vsize: 31772
[startup+360.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7232 0 0 0 35962 48 0 0 25 0 1 0 902974991 32804864 7150 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8009 7150 1111 63 0 7946 0
vsize: 32036
[startup+370.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7261 0 0 0 36962 49 0 0 25 0 1 0 902974991 32940032 7179 4294967295 134512640 134716908 3221224560 3221223148 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 7179 1111 63 0 7979 0
vsize: 32168
[startup+380.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7269 0 0 0 37962 50 0 0 25 0 1 0 902974991 32940032 7187 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8042 7187 1111 63 0 7979 0
vsize: 32168
[startup+390.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7302 0 0 0 38962 50 0 0 25 0 1 0 902974991 33083392 7220 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8077 7220 1111 63 0 8014 0
vsize: 32308
[startup+400.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7331 0 0 0 39962 51 0 0 25 0 1 0 902974991 33218560 7249 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8110 7249 1111 63 0 8047 0
vsize: 32440
[startup+410.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7394 0 0 0 40961 52 0 0 25 0 1 0 902974991 33488896 7312 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8176 7312 1111 63 0 8113 0
vsize: 32704
[startup+420.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7419 0 0 0 41961 52 0 0 25 0 1 0 902974991 33624064 7337 4294967295 134512640 134716908 3221224560 3221223148 134535891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7337 1111 63 0 8146 0
vsize: 32836
[startup+430.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7432 0 0 0 42961 53 0 0 25 0 1 0 902974991 33624064 7350 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8209 7350 1111 63 0 8146 0
vsize: 32836
[startup+440.024 s]
Raw data (loadavg): 0.99 0.98 0.93 3/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7436 0 0 0 43960 54 0 0 25 0 1 0 902974991 33759232 7354 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 7354 1111 63 0 8179 0
vsize: 32968
[startup+450.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7440 0 0 0 44961 54 0 0 25 0 1 0 902974991 33759232 7358 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8242 7358 1111 63 0 8179 0
vsize: 32968
[startup+460.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7484 0 0 0 45960 54 0 0 25 0 1 0 902974991 33894400 7402 4294967295 134512640 134716908 3221224560 3221223000 1077377200 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8275 7402 1111 63 0 8212 0
vsize: 33100
[startup+470.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7518 0 0 0 46960 55 0 0 25 0 1 0 902974991 34029568 7436 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8308 7436 1111 63 0 8245 0
vsize: 33232
[startup+480.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7526 0 0 0 47959 56 0 0 25 0 1 0 902974991 34029568 7444 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8308 7444 1111 63 0 8245 0
vsize: 33232
[startup+490.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7550 0 0 0 48960 56 0 0 25 0 1 0 902974991 34131968 7468 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8333 7468 1111 63 0 8270 0
vsize: 33332
[startup+500.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7563 0 0 0 49959 57 0 0 25 0 1 0 902974991 34238464 7481 4294967295 134512640 134716908 3221224560 3221223200 134523874 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 7481 1111 63 0 8296 0
vsize: 33436
[startup+510.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7580 0 0 0 50958 58 0 0 25 0 1 0 902974991 34238464 7498 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8359 7498 1111 63 0 8296 0
vsize: 33436
[startup+520.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7616 0 0 0 51958 59 0 0 25 0 1 0 902974991 34373632 7534 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8392 7534 1111 63 0 8329 0
vsize: 33568
[startup+530.028 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7792 0 0 0 52956 61 0 0 25 0 1 0 902974991 35184640 7710 4294967295 134512640 134716908 3221224560 3221223392 134551454 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8590 7710 1111 63 0 8527 0
vsize: 34360
[startup+540.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 7919 0 0 0 53956 61 0 0 25 0 1 0 902974991 35725312 7837 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8722 7837 1111 63 0 8659 0
vsize: 34888
[startup+550.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 8031 0 0 0 54956 62 0 0 25 0 1 0 902974991 36130816 7949 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8821 7949 1111 63 0 8758 0
vsize: 35284
[startup+560.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 8179 0 0 0 55955 64 0 0 25 0 1 0 902974991 36806656 8097 4294967295 134512640 134716908 3221224560 3221223128 1077377362 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8986 8097 1111 63 0 8923 0
vsize: 35944
[startup+570.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 8241 0 0 0 56954 65 0 0 25 0 1 0 902974991 37027840 8159 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9040 8159 1111 63 0 8977 0
vsize: 36160
[startup+580.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 8301 0 0 0 57954 65 0 0 25 0 1 0 902974991 37294080 8219 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9105 8219 1111 63 0 9042 0
vsize: 36420
[startup+590.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 8697 0 0 0 58953 67 0 0 25 0 1 0 902974991 38916096 8615 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9501 8615 1111 63 0 9438 0
vsize: 38004
[startup+600.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 9409 0 0 0 59950 70 0 0 25 0 1 0 902974991 41754624 9327 4294967295 134512640 134716908 3221224560 3221223000 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10194 9327 1111 63 0 10131 0
vsize: 40776
[startup+610.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 10789 0 0 0 60946 74 0 0 25 0 1 0 902974991 47431680 10707 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11580 10707 1111 63 0 11517 0
vsize: 46320
[startup+620.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 11245 0 0 0 61945 76 0 0 25 0 1 0 902974991 49328128 11163 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12043 11163 1111 63 0 11980 0
vsize: 48172
[startup+630.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 11888 0 0 0 62943 78 0 0 25 0 1 0 902974991 51900416 11806 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12671 11806 1111 63 0 12608 0
vsize: 50684
[startup+640.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 12593 0 0 0 63940 82 0 0 25 0 1 0 902974991 54874112 12511 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13397 12511 1111 63 0 13334 0
vsize: 53588
[startup+650.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 12974 0 0 0 64939 83 0 0 25 0 1 0 902974991 56360960 12892 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 13760 12892 1111 63 0 13697 0
vsize: 55040
[startup+660.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 13480 0 0 0 65937 85 0 0 25 0 1 0 902974991 58519552 13398 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14287 13398 1111 63 0 14224 0
vsize: 57148
[startup+670.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 13856 0 0 0 66935 88 0 0 25 0 1 0 902974991 60006400 13774 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14650 13774 1111 63 0 14587 0
vsize: 58600
[startup+680.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 14036 0 0 0 67935 89 0 0 25 0 1 0 902974991 60825600 13954 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14850 13954 1111 63 0 14787 0
vsize: 59400
[startup+690.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 14277 0 0 0 68933 90 0 0 25 0 1 0 902974991 61767680 14195 4294967295 134512640 134716908 3221224560 3221223216 134536643 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15080 14195 1111 63 0 15017 0
vsize: 60320
[startup+700.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 14563 0 0 0 69933 91 0 0 25 0 1 0 902974991 63000576 14481 4294967295 134512640 134716908 3221224560 3221223156 134543731 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15381 14481 1111 63 0 15318 0
vsize: 61524
[startup+710.041 s]
Raw data (loadavg): 0.99 0.98 0.93 3/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 14711 0 0 0 70932 92 0 0 25 0 1 0 902974991 63688704 14629 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15549 14629 1111 63 0 15486 0
vsize: 62196
[startup+720.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 15114 0 0 0 71932 93 0 0 25 0 1 0 902974991 65335296 15031 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15951 15031 1111 63 0 15888 0
vsize: 63804
[startup+730.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 15265 0 0 0 72931 94 0 0 25 0 1 0 902974991 65880064 15182 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16084 15182 1111 63 0 16021 0
vsize: 64336
[startup+740.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 15576 0 0 0 73931 95 0 0 25 0 1 0 902974991 67231744 15493 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16414 15493 1111 63 0 16351 0
vsize: 65656
[startup+750.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 15834 0 0 0 74929 97 0 0 25 0 1 0 902974991 68317184 15750 4294967295 134512640 134716908 3221224560 3221223200 134536700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16679 15750 1111 63 0 16616 0
vsize: 66716
[startup+760.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 15969 0 0 0 75929 97 0 0 25 0 1 0 902974991 68882432 15884 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16817 15884 1111 63 0 16754 0
vsize: 67268
[startup+770.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16061 0 0 0 76929 98 0 0 25 0 1 0 902974991 69287936 15976 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16916 15976 1111 63 0 16853 0
vsize: 67664
[startup+780.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16291 0 0 0 77928 99 0 0 25 0 1 0 902974991 70246400 16206 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17150 16206 1111 63 0 17087 0
vsize: 68600
[startup+790.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16382 0 0 0 78928 100 0 0 25 0 1 0 902974991 70541312 16297 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17222 16297 1111 63 0 17159 0
vsize: 68888
[startup+800.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16436 0 0 0 79928 100 0 0 25 0 1 0 902974991 70840320 16351 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17295 16351 1111 63 0 17232 0
vsize: 69180
[startup+810.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16688 0 0 0 80927 101 0 0 25 0 1 0 902974991 71921664 16602 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17559 16602 1111 63 0 17496 0
vsize: 70236
[startup+820.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 16858 0 0 0 81927 102 0 0 25 0 1 0 902974991 72609792 16771 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17727 16771 1111 63 0 17664 0
vsize: 70908
[startup+830.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17006 0 0 0 82926 103 0 0 25 0 1 0 902974991 73306112 16918 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17897 16918 1111 63 0 17834 0
vsize: 71588
[startup+840.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17216 0 0 0 83926 104 0 0 25 0 1 0 902974991 74113024 17128 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18094 17128 1111 63 0 18031 0
vsize: 72376
[startup+850.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17393 0 0 0 84925 105 0 0 25 0 1 0 902974991 74788864 17305 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18259 17305 1111 63 0 18196 0
vsize: 73036
[startup+860.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17531 0 0 0 85925 106 0 0 25 0 1 0 902974991 75329536 17443 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18391 17443 1111 63 0 18328 0
vsize: 73564
[startup+870.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17630 0 0 0 86924 106 0 0 25 0 1 0 902974991 75870208 17542 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18523 17542 1111 63 0 18460 0
vsize: 74092
[startup+880.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17716 0 0 0 87924 107 0 0 25 0 1 0 902974991 76111872 17627 4294967295 134512640 134716908 3221224560 3221223320 134523849 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18582 17627 1111 63 0 18519 0
vsize: 74328
[startup+890.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17755 0 0 0 88925 107 0 0 25 0 1 0 902974991 76247040 17666 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18615 17666 1111 63 0 18552 0
vsize: 74460
[startup+900.054 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17804 0 0 0 89924 108 0 0 25 0 1 0 902974991 76517376 17715 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18681 17715 1111 63 0 18618 0
vsize: 74724
[startup+910.054 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 17947 0 0 0 90923 109 0 0 25 0 1 0 902974991 77201408 17858 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18848 17858 1111 63 0 18785 0
vsize: 75392
[startup+920.055 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 18034 0 0 0 91923 110 0 0 25 0 1 0 902974991 77471744 17945 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18914 17945 1111 63 0 18851 0
vsize: 75656
[startup+930.056 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 18957 0 0 0 92921 112 0 0 25 0 1 0 902974991 81256448 18868 4294967295 134512640 134716908 3221224560 3221223184 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19838 18868 1111 63 0 19775 0
vsize: 79352
[startup+940.057 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 19757 0 0 0 93919 115 0 0 25 0 1 0 902974991 84635648 19668 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20663 19668 1111 63 0 20600 0
vsize: 82652
[startup+950.058 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 20459 0 0 0 94918 116 0 0 25 0 1 0 902974991 87470080 20370 4294967295 134512640 134716908 3221224560 3221223344 134529401 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21355 20370 1111 63 0 21292 0
vsize: 85420
[startup+960.059 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 21024 0 0 0 95916 118 0 0 25 0 1 0 902974991 89776128 20935 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21918 20935 1111 63 0 21855 0
vsize: 87672
[startup+970.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 21430 0 0 0 96915 120 0 0 25 0 1 0 902974991 91398144 21340 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22314 21340 1111 63 0 22251 0
vsize: 89256
[startup+980.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 21719 0 0 0 97914 121 0 0 25 0 1 0 902974991 92614656 21629 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22611 21629 1111 63 0 22548 0
vsize: 90444
[startup+990.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 21957 0 0 0 98914 122 0 0 25 0 1 0 902974991 93560832 21867 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22842 21867 1111 63 0 22779 0
vsize: 91368
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 22179 0 0 0 99913 123 0 0 25 0 1 0 902974991 94507008 22088 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23073 22088 1111 63 0 23010 0
vsize: 92292
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 22273 0 0 0 100913 123 0 0 25 0 1 0 902974991 94912512 22182 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23172 22182 1111 63 0 23109 0
vsize: 92688
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 23059 0 0 0 101910 127 0 0 25 0 1 0 902974991 98164736 22968 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23966 22968 1111 63 0 23903 0
vsize: 95864
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 23654 0 0 0 102908 130 0 0 25 0 1 0 902974991 100597760 23563 4294967295 134512640 134716908 3221224560 3221223072 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24560 23563 1111 63 0 24497 0
vsize: 98240
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24134 0 0 0 103905 132 0 0 25 0 1 0 902974991 102522880 24043 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25030 24043 1111 63 0 24967 0
vsize: 100120
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24369 0 0 0 104905 133 0 0 25 0 1 0 902974991 103469056 24278 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25261 24278 1111 63 0 25198 0
vsize: 101044
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24668 0 0 0 105903 135 0 0 25 0 1 0 902974991 104706048 24574 4294967295 134512640 134716908 3221224560 3221223184 134698712 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25563 24574 1111 63 0 25500 0
vsize: 102252
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24791 0 0 0 106904 135 0 0 25 0 1 0 902974991 105242624 24697 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25694 24697 1111 63 0 25631 0
vsize: 102776
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24905 0 0 0 107903 136 0 0 25 0 1 0 902974991 105783296 24811 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25826 24811 1111 63 0 25763 0
vsize: 103304
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 24992 0 0 0 108903 137 0 0 25 0 1 0 902974991 106053632 24898 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25892 24898 1111 63 0 25829 0
vsize: 103568
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 25573 0 0 0 109900 140 0 0 25 0 1 0 902974991 108511232 25477 4294967295 134512640 134716908 3221224560 3221223272 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26492 25477 1111 63 0 26429 0
vsize: 105968
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 25757 0 0 0 110900 140 0 0 25 0 1 0 902974991 109178880 25661 4294967295 134512640 134716908 3221224560 3221223216 134524069 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26655 25661 1111 63 0 26592 0
vsize: 106620
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 26181 0 0 0 111898 142 0 0 25 0 1 0 902974991 110940160 26083 4294967295 134512640 134716908 3221224560 3221223216 134523859 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27085 26083 1111 63 0 27022 0
vsize: 108340
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 26425 0 0 0 112898 143 0 0 25 0 1 0 902974991 112046080 26327 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27355 26327 1111 63 0 27292 0
vsize: 109420
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 26645 0 0 0 113897 143 0 0 25 0 1 0 902974991 113029120 26547 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27595 26547 1111 63 0 27532 0
vsize: 110380
[startup+1150.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 26806 0 0 0 114897 144 0 0 25 0 1 0 902974991 113704960 26708 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27760 26708 1111 63 0 27697 0
vsize: 111040
[startup+1160.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 26880 0 0 0 115897 145 0 0 25 0 1 0 902974991 113971200 26782 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27825 26782 1111 63 0 27762 0
vsize: 111300
[startup+1170.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/54 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 27028 0 0 0 116896 145 0 0 25 0 1 0 902974991 114520064 26929 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27959 26929 1111 63 0 27896 0
vsize: 111836
[startup+1174.71 s]
Raw data (loadavg): 0.99 0.98 0.93 1/53 32426
Raw data (stat): 32426 (bsolo_lpr_cuts-) R 32425 25568 25567 0 -1 0 27028 0 0 0 116896 145 0 0 25 0 1 0 902974991 114520064 26929 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27959 26929 1111 63 0 27896 0
vsize: 0

Child status: 0
Real time (s): 1174.71
CPU time (s): 1175.08
CPU user time (s): 1173.57
CPU system time (s): 1.50777
CPU usage (%): 100.031
Max. virtual memory (Kb): 111836
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####