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-fpga35_33_sat_pb.cnf.cr.opb
MD5SUM	d4fd8917eebbcee2e1b2df9714e1fab8
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	36
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.59276
Number of variables	1733
Total number of constraints	1256
Number of constraints which are clauses	1188
Number of constraints which are cardinality constraints (but not clauses)	68
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	17
Maximum length of a constraint	35
Trace number 40597

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 16:34:14 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28663 boxname=wulflinc1 idbench=49 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  d4fd8917eebbcee2e1b2df9714e1fab8  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga35_33_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga35_33_sat_pb.cnf.cr.opb
IDLAUNCH: 28663
/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:        861264 kB
Buffers:         21884 kB
Cached:         127252 kB
SwapCached:       1144 kB
Active:          26936 kB
Inactive:       124396 kB
HighTotal:      131008 kB
HighFree:         4592 kB
LowTotal:       903652 kB
LowFree:        856672 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16320 kB
Committed_AS:    92720 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:53:49 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28663 7 1175.03 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 1733 variables and 1256 constraints.
c After prepocess the problem consists of 1733 variables and 1256 constraints.
c preprocess terminated 3.03 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.97 0.91 2/55 24375
Raw data (stat): 24375 (runsolver) R 24374 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846253409 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.001 s]
Raw data (loadavg): 0.93 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 1863 0 0 0 991 6 0 0 25 0 1 0 846253409 10756096 1781 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2626 1781 1111 63 0 2563 0
vsize: 10504
[startup+20.0018 s]
Raw data (loadavg): 0.94 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2061 0 0 0 1989 9 0 0 25 0 1 0 846253409 11567104 1979 4294967295 134512640 134716908 3221224560 3221223168 134549488 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2824 1979 1111 63 0 2761 0
vsize: 11296
[startup+30.002 s]
Raw data (loadavg): 0.95 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2129 0 0 0 2988 10 0 0 25 0 1 0 846253409 11837440 2047 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2890 2047 1111 63 0 2827 0
vsize: 11560
[startup+40.0024 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2267 0 0 0 3986 12 0 0 25 0 1 0 846253409 12374016 2185 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3021 2185 1111 63 0 2958 0
vsize: 12084
[startup+50.0031 s]
Raw data (loadavg): 0.96 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2323 0 0 0 4985 13 0 0 25 0 1 0 846253409 12644352 2241 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3087 2241 1111 63 0 3024 0
vsize: 12348
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2361 0 0 0 5983 15 0 0 25 0 1 0 846253409 12779520 2279 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3120 2279 1111 63 0 3057 0
vsize: 12480
[startup+70.0047 s]
Raw data (loadavg): 0.97 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2407 0 0 0 6982 16 0 0 25 0 1 0 846253409 13041664 2325 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3184 2325 1111 63 0 3121 0
vsize: 12736
[startup+80.0044 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2453 0 0 0 7980 18 0 0 25 0 1 0 846253409 13176832 2371 4294967295 134512640 134716908 3221224560 3221222956 1077379908 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3217 2371 1111 63 0 3154 0
vsize: 12868
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2518 0 0 0 8979 19 0 0 25 0 1 0 846253409 13426688 2436 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3278 2436 1111 63 0 3215 0
vsize: 13112
[startup+100.004 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2546 0 0 0 9978 21 0 0 25 0 1 0 846253409 13561856 2464 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3311 2464 1111 63 0 3248 0
vsize: 13244
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2783 0 0 0 10977 22 0 0 25 0 1 0 846253409 14503936 2701 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3541 2701 1111 63 0 3478 0
vsize: 14164
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2874 0 0 0 11976 23 0 0 25 0 1 0 846253409 14905344 2792 4294967295 134512640 134716908 3221224560 3221223148 134543653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2792 1111 63 0 3576 0
vsize: 14556
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2874 0 0 0 12975 24 0 0 25 0 1 0 846253409 14905344 2792 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2792 1111 63 0 3576 0
vsize: 14556
[startup+140.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2888 0 0 0 13974 25 0 0 25 0 1 0 846253409 14905344 2806 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3639 2806 1111 63 0 3576 0
vsize: 14556
[startup+150.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2933 0 0 0 14973 26 0 0 25 0 1 0 846253409 15175680 2851 4294967295 134512640 134716908 3221224560 3221223200 134613656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3705 2851 1111 63 0 3642 0
vsize: 14820
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 2933 0 0 0 15972 28 0 0 25 0 1 0 846253409 15175680 2851 4294967295 134512640 134716908 3221224560 3221223152 134539382 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3705 2851 1111 63 0 3642 0
vsize: 14820
[startup+170.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3019 0 0 0 16971 29 0 0 25 0 1 0 846253409 15446016 2937 4294967295 134512640 134716908 3221224560 3221223216 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3771 2937 1111 63 0 3708 0
vsize: 15084
[startup+180.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3055 0 0 0 17971 30 0 0 25 0 1 0 846253409 15581184 2973 4294967295 134512640 134716908 3221224560 3221223200 134539518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3804 2973 1111 63 0 3741 0
vsize: 15216
[startup+190.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3074 0 0 0 18970 30 0 0 25 0 1 0 846253409 15716352 2992 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3837 2992 1111 63 0 3774 0
vsize: 15348
[startup+200.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3130 0 0 0 19970 31 0 0 25 0 1 0 846253409 15986688 3048 4294967295 134512640 134716908 3221224560 3221223124 134542700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3903 3048 1111 63 0 3840 0
vsize: 15612
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3130 0 0 0 20969 32 0 0 25 0 1 0 846253409 15986688 3048 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3903 3048 1111 63 0 3840 0
vsize: 15612
[startup+220.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3219 0 0 0 21967 34 0 0 25 0 1 0 846253409 16257024 3137 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3969 3137 1111 63 0 3906 0
vsize: 15876
[startup+230.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3223 0 0 0 22967 35 0 0 25 0 1 0 846253409 16384000 3141 4294967295 134512640 134716908 3221224560 3221223120 134698896 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4000 3141 1111 63 0 3937 0
vsize: 16000
[startup+240.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3223 0 0 0 23966 36 0 0 25 0 1 0 846253409 16334848 3141 4294967295 134512640 134716908 3221224560 3221223096 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3141 1111 63 0 3925 0
vsize: 15952
[startup+250.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3276 0 0 0 24965 36 0 0 25 0 1 0 846253409 16596992 3194 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4052 3194 1111 63 0 3989 0
vsize: 16208
[startup+260.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3317 0 0 0 25964 38 0 0 25 0 1 0 846253409 16732160 3235 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4085 3235 1111 63 0 4022 0
vsize: 16340
[startup+270.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3449 0 0 0 26962 40 0 0 25 0 1 0 846253409 17272832 3367 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4217 3367 1111 63 0 4154 0
vsize: 16868
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3503 0 0 0 27962 41 0 0 25 0 1 0 846253409 17534976 3421 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4281 3421 1111 63 0 4218 0
vsize: 17124
[startup+290.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3594 0 0 0 28960 42 0 0 25 0 1 0 846253409 17805312 3512 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4347 3512 1111 63 0 4284 0
vsize: 17388
[startup+300.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3739 0 0 0 29960 43 0 0 25 0 1 0 846253409 18468864 3657 4294967295 134512640 134716908 3221224560 3221223152 134549591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4509 3657 1111 63 0 4446 0
vsize: 18036
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 3917 0 0 0 30957 45 0 0 25 0 1 0 846253409 19124224 3835 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4669 3835 1111 63 0 4606 0
vsize: 18676
[startup+320.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4089 0 0 0 31956 47 0 0 25 0 1 0 846253409 19914752 4007 4294967295 134512640 134716908 3221224560 3221223128 1077377725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4862 4007 1111 63 0 4799 0
vsize: 19448
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4216 0 0 0 32955 48 0 0 25 0 1 0 846253409 20451328 4134 4294967295 134512640 134716908 3221224560 3221223292 134528753 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4993 4134 1111 63 0 4930 0
vsize: 19972
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4363 0 0 0 33954 49 0 0 25 0 1 0 846253409 20992000 4281 4294967295 134512640 134716908 3221224560 3221223244 134552651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5125 4281 1111 63 0 5062 0
vsize: 20500
[startup+350.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4520 0 0 0 34953 51 0 0 25 0 1 0 846253409 21667840 4438 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5290 4438 1111 63 0 5227 0
vsize: 21160
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4570 0 0 0 35951 53 0 0 25 0 1 0 846253409 21803008 4488 4294967295 134512640 134716908 3221224560 3221223248 134528707 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5323 4488 1111 63 0 5260 0
vsize: 21292
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4643 0 0 0 36950 54 0 0 25 0 1 0 846253409 22208512 4561 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5422 4561 1111 63 0 5359 0
vsize: 21688
[startup+380.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4735 0 0 0 37949 55 0 0 25 0 1 0 846253409 22478848 4653 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5488 4653 1111 63 0 5425 0
vsize: 21952
[startup+390.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4814 0 0 0 38947 57 0 0 25 0 1 0 846253409 22859776 4732 4294967295 134512640 134716908 3221224560 3221223344 134529269 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5581 4732 1111 63 0 5518 0
vsize: 22324
[startup+400.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4893 0 0 0 39946 58 0 0 25 0 1 0 846253409 23130112 4811 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5647 4811 1111 63 0 5584 0
vsize: 22588
[startup+410.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4927 0 0 0 40945 60 0 0 25 0 1 0 846253409 23265280 4845 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5680 4845 1111 63 0 5617 0
vsize: 22720
[startup+420.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 4947 0 0 0 41944 60 0 0 25 0 1 0 846253409 23400448 4865 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5713 4865 1111 63 0 5650 0
vsize: 22852
[startup+430.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5034 0 0 0 42943 62 0 0 25 0 1 0 846253409 23805952 4952 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5812 4952 1111 63 0 5749 0
vsize: 23248
[startup+440.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5055 0 0 0 43942 63 0 0 25 0 1 0 846253409 23805952 4973 4294967295 134512640 134716908 3221224560 3221223188 134698605 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5812 4973 1111 63 0 5749 0
vsize: 23248
[startup+450.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5068 0 0 0 44941 64 0 0 25 0 1 0 846253409 23941120 4986 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5845 4986 1111 63 0 5782 0
vsize: 23380
[startup+460.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5095 0 0 0 45941 65 0 0 25 0 1 0 846253409 23941120 5013 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5845 5013 1111 63 0 5782 0
vsize: 23380
[startup+470.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5145 0 0 0 46940 65 0 0 25 0 1 0 846253409 24195072 5063 4294967295 134512640 134716908 3221224560 3221223296 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5907 5063 1111 63 0 5844 0
vsize: 23628
[startup+480.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5167 0 0 0 47939 67 0 0 25 0 1 0 846253409 24330240 5085 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5085 1111 63 0 5877 0
vsize: 23760
[startup+490.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5184 0 0 0 48938 68 0 0 25 0 1 0 846253409 24330240 5102 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5940 5102 1111 63 0 5877 0
vsize: 23760
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5197 0 0 0 49937 69 0 0 25 0 1 0 846253409 24465408 5115 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 5115 1111 63 0 5910 0
vsize: 23892
[startup+510.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5223 0 0 0 50936 70 0 0 25 0 1 0 846253409 24465408 5141 4294967295 134512640 134716908 3221224560 3221223304 134551632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5973 5141 1111 63 0 5910 0
vsize: 23892
[startup+520.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5279 0 0 0 51935 72 0 0 25 0 1 0 846253409 24731648 5197 4294967295 134512640 134716908 3221224560 3221223184 134698620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6038 5197 1111 63 0 5975 0
vsize: 24152
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5314 0 0 0 52933 74 0 0 25 0 1 0 846253409 24866816 5232 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6071 5232 1111 63 0 6008 0
vsize: 24284
[startup+540.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5321 0 0 0 53932 75 0 0 25 0 1 0 846253409 24866816 5239 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6071 5239 1111 63 0 6008 0
vsize: 24284
[startup+550.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5345 0 0 0 54931 76 0 0 25 0 1 0 846253409 25001984 5263 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6104 5263 1111 63 0 6041 0
vsize: 24416
[startup+560.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5382 0 0 0 55929 78 0 0 25 0 1 0 846253409 25137152 5300 4294967295 134512640 134716908 3221224560 3221222564 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6137 5300 1111 63 0 6074 0
vsize: 24548
[startup+570.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5416 0 0 0 56927 80 0 0 25 0 1 0 846253409 25260032 5334 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6167 5334 1111 63 0 6104 0
vsize: 24668
[startup+580.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5426 0 0 0 57926 81 0 0 25 0 1 0 846253409 25395200 5344 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6200 5344 1111 63 0 6137 0
vsize: 24800
[startup+590.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5435 0 0 0 58926 82 0 0 25 0 1 0 846253409 25354240 5353 4294967295 134512640 134716908 3221224560 3221223172 1077378730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6190 5353 1111 63 0 6127 0
vsize: 24760
[startup+600.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5452 0 0 0 59925 83 0 0 25 0 1 0 846253409 25440256 5370 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6211 5370 1111 63 0 6148 0
vsize: 24844
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5472 0 0 0 60924 85 0 0 25 0 1 0 846253409 25575424 5390 4294967295 134512640 134716908 3221224560 3221223296 134529184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6244 5390 1111 63 0 6181 0
vsize: 24976
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5492 0 0 0 61922 86 0 0 25 0 1 0 846253409 25575424 5410 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6244 5410 1111 63 0 6181 0
vsize: 24976
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5549 0 0 0 62921 87 0 0 25 0 1 0 846253409 25845760 5467 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6310 5467 1111 63 0 6247 0
vsize: 25240
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5585 0 0 0 63921 88 0 0 25 0 1 0 846253409 25980928 5503 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6343 5503 1111 63 0 6280 0
vsize: 25372
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5598 0 0 0 64920 89 0 0 25 0 1 0 846253409 26103808 5516 4294967295 134512640 134716908 3221224560 3221223148 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6373 5516 1111 63 0 6310 0
vsize: 25492
[startup+660.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5636 0 0 0 65918 91 0 0 25 0 1 0 846253409 26218496 5554 4294967295 134512640 134716908 3221224560 3221223248 134594338 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6401 5554 1111 63 0 6338 0
vsize: 25604
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5741 0 0 0 66917 92 0 0 25 0 1 0 846253409 26624000 5659 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6500 5659 1111 63 0 6437 0
vsize: 26000
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5838 0 0 0 67916 94 0 0 25 0 1 0 846253409 27029504 5756 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6599 5756 1111 63 0 6536 0
vsize: 26396
[startup+690.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5860 0 0 0 68915 95 0 0 25 0 1 0 846253409 27164672 5778 4294967295 134512640 134716908 3221224560 3221223272 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6632 5778 1111 63 0 6569 0
vsize: 26528
[startup+700.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5874 0 0 0 69914 96 0 0 25 0 1 0 846253409 27164672 5792 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6632 5792 1111 63 0 6569 0
vsize: 26528
[startup+710.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 5987 0 0 0 70914 96 0 0 25 0 1 0 846253409 27705344 5905 4294967295 134512640 134716908 3221224560 3221223164 134536793 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6764 5905 1111 63 0 6701 0
vsize: 27056
[startup+720.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6053 0 0 0 71913 97 0 0 25 0 1 0 846253409 27975680 5971 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6830 5971 1111 63 0 6767 0
vsize: 27320
[startup+730.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6115 0 0 0 72912 99 0 0 25 0 1 0 846253409 28246016 6033 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 6033 1111 63 0 6833 0
vsize: 27584
[startup+740.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6144 0 0 0 73911 100 0 0 25 0 1 0 846253409 28246016 6062 4294967295 134512640 134716908 3221224560 3221223236 1077374508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6896 6062 1111 63 0 6833 0
vsize: 27584
[startup+750.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6161 0 0 0 74911 100 0 0 25 0 1 0 846253409 28381184 6079 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6079 1111 63 0 6866 0
vsize: 27716
[startup+760.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6162 0 0 0 75910 101 0 0 25 0 1 0 846253409 28381184 6080 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6929 6080 1111 63 0 6866 0
vsize: 27716
[startup+770.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6296 0 0 0 76909 102 0 0 25 0 1 0 846253409 28917760 6214 4294967295 134512640 134716908 3221224560 3221223264 134524567 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7060 6214 1111 63 0 6997 0
vsize: 28240
[startup+780.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6355 0 0 0 77907 104 0 0 25 0 1 0 846253409 29171712 6273 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7122 6273 1111 63 0 7059 0
vsize: 28488
[startup+790.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6424 0 0 0 78907 105 0 0 25 0 1 0 846253409 29442048 6342 4294967295 134512640 134716908 3221224560 3221223056 134535457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7188 6342 1111 63 0 7125 0
vsize: 28752
[startup+800.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6453 0 0 0 79906 106 0 0 25 0 1 0 846253409 29577216 6371 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7221 6371 1111 63 0 7158 0
vsize: 28884
[startup+810.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6502 0 0 0 80904 108 0 0 25 0 1 0 846253409 29712384 6420 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7254 6420 1111 63 0 7191 0
vsize: 29016
[startup+820.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6514 0 0 0 81903 109 0 0 25 0 1 0 846253409 29847552 6432 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6432 1111 63 0 7224 0
vsize: 29148
[startup+830.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6526 0 0 0 82901 111 0 0 25 0 1 0 846253409 29847552 6444 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7287 6444 1111 63 0 7224 0
vsize: 29148
[startup+840.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6550 0 0 0 83900 112 0 0 25 0 1 0 846253409 29982720 6468 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 6468 1111 63 0 7257 0
vsize: 29280
[startup+850.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6565 0 0 0 84899 114 0 0 25 0 1 0 846253409 29982720 6483 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7320 6483 1111 63 0 7257 0
vsize: 29280
[startup+860.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6595 0 0 0 85898 115 0 0 25 0 1 0 846253409 30117888 6513 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7353 6513 1111 63 0 7290 0
vsize: 29412
[startup+870.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6624 0 0 0 86897 116 0 0 25 0 1 0 846253409 30253056 6542 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7386 6542 1111 63 0 7323 0
vsize: 29544
[startup+880.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6651 0 0 0 87897 117 0 0 25 0 1 0 846253409 30388224 6569 4294967295 134512640 134716908 3221224560 3221223212 134542656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7419 6569 1111 63 0 7356 0
vsize: 29676
[startup+890.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6680 0 0 0 88896 118 0 0 25 0 1 0 846253409 30511104 6598 4294967295 134512640 134716908 3221224560 3221223252 134542981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7449 6598 1111 63 0 7386 0
vsize: 29796
[startup+900.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6688 0 0 0 89895 118 0 0 25 0 1 0 846253409 30511104 6606 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7449 6606 1111 63 0 7386 0
vsize: 29796
[startup+910.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6702 0 0 0 90894 120 0 0 25 0 1 0 846253409 30642176 6620 4294967295 134512640 134716908 3221224560 3221223168 134548611 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6620 1111 63 0 7418 0
vsize: 29924
[startup+920.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6728 0 0 0 91894 120 0 0 25 0 1 0 846253409 30642176 6646 4294967295 134512640 134716908 3221224560 3221222720 134699557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7481 6646 1111 63 0 7418 0
vsize: 29924
[startup+930.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6758 0 0 0 92893 122 0 0 25 0 1 0 846253409 30777344 6676 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7514 6676 1111 63 0 7451 0
vsize: 30056
[startup+940.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6769 0 0 0 93892 122 0 0 25 0 1 0 846253409 30912512 6687 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 6687 1111 63 0 7484 0
vsize: 30188
[startup+950.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6795 0 0 0 94891 123 0 0 25 0 1 0 846253409 30912512 6713 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7547 6713 1111 63 0 7484 0
vsize: 30188
[startup+960.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6851 0 0 0 95890 125 0 0 25 0 1 0 846253409 31166464 6769 4294967295 134512640 134716908 3221224560 3221223116 134535626 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7609 6769 1111 63 0 7546 0
vsize: 30436
[startup+970.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6875 0 0 0 96888 127 0 0 25 0 1 0 846253409 31289344 6793 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7639 6793 1111 63 0 7576 0
vsize: 30556
[startup+980.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6901 0 0 0 97888 128 0 0 25 0 1 0 846253409 31424512 6819 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7672 6819 1111 63 0 7609 0
vsize: 30688
[startup+990.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6925 0 0 0 98887 128 0 0 25 0 1 0 846253409 31559680 6843 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6843 1111 63 0 7642 0
vsize: 30820
[startup+1000.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6952 0 0 0 99886 129 0 0 25 0 1 0 846253409 31559680 6870 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7705 6870 1111 63 0 7642 0
vsize: 30820
[startup+1010.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6960 0 0 0 100885 131 0 0 25 0 1 0 846253409 31694848 6878 4294967295 134512640 134716908 3221224560 3221223148 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7738 6878 1111 63 0 7675 0
vsize: 30952
[startup+1020.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 6987 0 0 0 101884 132 0 0 25 0 1 0 846253409 31694848 6905 4294967295 134512640 134716908 3221224560 3221223200 134698434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7738 6905 1111 63 0 7675 0
vsize: 30952
[startup+1030.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 102883 134 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223152 134549702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1040.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 103882 134 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223324 134552557 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1050.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 104881 135 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223228 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1060.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 105880 136 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1070.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 106880 137 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1080.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 107879 138 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1090.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7018 0 0 0 108879 139 0 0 25 0 1 0 846253409 31830016 6936 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7771 6936 1111 63 0 7708 0
vsize: 31084
[startup+1100.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7036 0 0 0 109878 139 0 0 25 0 1 0 846253409 31965184 6954 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 6954 1111 63 0 7741 0
vsize: 31216
[startup+1110.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7038 0 0 0 110877 141 0 0 25 0 1 0 846253409 31965184 6956 4294967295 134512640 134716908 3221224560 3221223152 134548587 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 6956 1111 63 0 7741 0
vsize: 31216
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7044 0 0 0 111876 142 0 0 25 0 1 0 846253409 31965184 6962 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 6962 1111 63 0 7741 0
vsize: 31216
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7054 0 0 0 112875 143 0 0 25 0 1 0 846253409 31965184 6972 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7804 6972 1111 63 0 7741 0
vsize: 31216
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7103 0 0 0 113874 144 0 0 25 0 1 0 846253409 32235520 7021 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7870 7021 1111 63 0 7807 0
vsize: 31480
[startup+1150.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7127 0 0 0 114873 145 0 0 25 0 1 0 846253409 32370688 7045 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7903 7045 1111 63 0 7840 0
vsize: 31612
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7165 0 0 0 115872 147 0 0 25 0 1 0 846253409 32505856 7083 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7083 1111 63 0 7873 0
vsize: 31744
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7186 0 0 0 116871 148 0 0 25 0 1 0 846253409 32505856 7104 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7104 1111 63 0 7873 0
vsize: 31744
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 24375
Raw data (stat): 24375 (bsolo_lpr_cuts-) R 24374 8378 8377 0 -1 0 7186 0 0 0 116871 148 0 0 25 0 1 0 846253409 32505856 7104 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7936 7104 1111 63 0 7873 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.03
CPU user time (s): 1173.52
CPU system time (s): 1.50377
CPU usage (%): 100.015
Max. virtual memory (Kb): 31744
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####