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_34_sat_pb.cnf.cr.opb
MD5SUM	f49e527e8d063bcfa5508a2b00211475
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	9.75752
Number of variables	1785
Total number of constraints	1293
Number of constraints which are clauses	1224
Number of constraints which are cardinality constraints (but not clauses)	69
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 40598

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 16:38:56 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28664 boxname=wulflinc5 idbench=50 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  f49e527e8d063bcfa5508a2b00211475  /oldhome/oroussel/tmp/wulflinc5/normalized-fpga35_34_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-fpga35_34_sat_pb.cnf.cr.opb
IDLAUNCH: 28664
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        849856 kB
Buffers:         21976 kB
Cached:         141260 kB
SwapCached:        644 kB
Active:          24476 kB
Inactive:       140796 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        849604 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13824 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:58:31 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28664 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 1785 variables and 1293 constraints.
c After prepocess the problem consists of 1785 variables and 1293 constraints.
c preprocess terminated 3.234 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 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.91 2/54 20761
Raw data (stat): 20761 (runsolver) R 20760 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903138552 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.0008 s]
Raw data (loadavg): 0.93 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 1859 0 0 0 991 5 0 0 25 0 1 0 903138552 10792960 1777 4294967295 134512640 134716908 3221224560 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2635 1778 1111 63 0 2572 0
vsize: 10540
[startup+20.0005 s]
Raw data (loadavg): 0.94 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2171 0 0 0 1988 8 0 0 25 0 1 0 903138552 12009472 2089 4294967295 134512640 134716908 3221224560 3221223228 134551608 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2932 2089 1111 63 0 2869 0
vsize: 11728
[startup+30.0012 s]
Raw data (loadavg): 0.95 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2215 0 0 0 2987 9 0 0 25 0 1 0 903138552 12144640 2133 4294967295 134512640 134716908 3221224560 3221223240 1077377185 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2965 2133 1111 63 0 2902 0
vsize: 11860
[startup+40.001 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2655 0 0 0 3985 12 0 0 25 0 1 0 903138552 14036992 2573 4294967295 134512640 134716908 3221224560 3221223144 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3427 2573 1111 63 0 3364 0
vsize: 13708
[startup+50.0007 s]
Raw data (loadavg): 0.96 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2795 0 0 0 4983 14 0 0 25 0 1 0 903138552 14577664 2713 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3559 2713 1111 63 0 3496 0
vsize: 14236
[startup+60.0005 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2836 0 0 0 5981 16 0 0 25 0 1 0 903138552 14712832 2754 4294967295 134512640 134716908 3221224560 3221223228 1077378650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3592 2754 1111 63 0 3529 0
vsize: 14368
[startup+70.0002 s]
Raw data (loadavg): 0.97 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2899 0 0 0 6980 17 0 0 25 0 1 0 903138552 14983168 2817 4294967295 134512640 134716908 3221224560 3221223204 134613648 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3658 2817 1111 63 0 3595 0
vsize: 14632
[startup+80.0009 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2940 0 0 0 7979 19 0 0 25 0 1 0 903138552 15118336 2858 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3691 2858 1111 63 0 3628 0
vsize: 14764
[startup+90.0007 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 2984 0 0 0 8978 20 0 0 25 0 1 0 903138552 15388672 2902 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3757 2902 1111 63 0 3694 0
vsize: 15028
[startup+100 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3023 0 0 0 9976 22 0 0 25 0 1 0 903138552 15523840 2941 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3790 2941 1111 63 0 3727 0
vsize: 15160
[startup+110.001 s]
Raw data (loadavg): 0.98 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3206 0 0 0 10974 24 0 0 25 0 1 0 903138552 16334848 3124 4294967295 134512640 134716908 3221224560 3221223272 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3988 3124 1111 63 0 3925 0
vsize: 15952
[startup+120.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3272 0 0 0 11973 25 0 0 25 0 1 0 903138552 16605184 3190 4294967295 134512640 134716908 3221224560 3221223152 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4054 3190 1111 63 0 3991 0
vsize: 16216
[startup+130.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3409 0 0 0 12972 27 0 0 25 0 1 0 903138552 17145856 3327 4294967295 134512640 134716908 3221224560 3221223248 134528602 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4186 3327 1111 63 0 4123 0
vsize: 16744
[startup+140.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3409 0 0 0 13971 27 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+150.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3459 0 0 0 14971 28 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+160.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3459 0 0 0 15970 29 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+170.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3459 0 0 0 16970 29 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223152 134549751 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+180.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3459 0 0 0 17969 30 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+190.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3459 0 0 0 18969 30 0 0 25 0 1 0 903138552 16900096 3294 4294967295 134512640 134716908 3221224560 3221223184 1077377136 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4126 3294 1111 63 0 4063 0
vsize: 16504
[startup+200.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3468 0 0 0 19969 31 0 0 25 0 1 0 903138552 17035264 3303 4294967295 134512640 134716908 3221224560 3221223120 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4159 3303 1111 63 0 4096 0
vsize: 16636
[startup+210.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3487 0 0 0 20968 32 0 0 25 0 1 0 903138552 16957440 3308 4294967295 134512640 134716908 3221224560 3221223324 134592362 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4140 3308 1111 63 0 4077 0
vsize: 16560
[startup+220 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3598 0 0 0 21967 33 0 0 25 0 1 0 903138552 17448960 3419 4294967295 134512640 134716908 3221224560 3221223228 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+230 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3598 0 0 0 22967 34 0 0 25 0 1 0 903138552 17448960 3419 4294967295 134512640 134716908 3221224560 3221223216 134524137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+240 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3598 0 0 0 23966 34 0 0 25 0 1 0 903138552 17448960 3419 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4260 3419 1111 63 0 4197 0
vsize: 17040
[startup+250 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3702 0 0 0 24965 35 0 0 25 0 1 0 903138552 17854464 3523 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4359 3523 1111 63 0 4296 0
vsize: 17436
[startup+259.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3758 0 0 0 25964 36 0 0 25 0 1 0 903138552 18124800 3579 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4425 3579 1111 63 0 4362 0
vsize: 17700
[startup+269.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 26964 37 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221223304 134551609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+279.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 27963 38 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+289.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 28963 38 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+299.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 29962 39 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+309.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 30961 40 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221223268 134535806 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+319.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3812 0 0 0 31961 40 0 0 25 0 1 0 903138552 18395136 3633 4294967295 134512640 134716908 3221224560 3221222884 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3633 1111 63 0 4428 0
vsize: 17964
[startup+329.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3832 0 0 0 32961 41 0 0 25 0 1 0 903138552 18395136 3653 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4491 3653 1111 63 0 4428 0
vsize: 17964
[startup+339.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3841 0 0 0 33960 42 0 0 25 0 1 0 903138552 18530304 3662 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3662 1111 63 0 4461 0
vsize: 18096
[startup+349.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3865 0 0 0 34959 43 0 0 25 0 1 0 903138552 18530304 3686 4294967295 134512640 134716908 3221224560 3221223116 134539324 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3686 1111 63 0 4461 0
vsize: 18096
[startup+359.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3865 0 0 0 35958 44 0 0 25 0 1 0 903138552 18530304 3686 4294967295 134512640 134716908 3221224560 3221223148 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4524 3686 1111 63 0 4461 0
vsize: 18096
[startup+369.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3882 0 0 0 36958 45 0 0 25 0 1 0 903138552 18665472 3703 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4557 3703 1111 63 0 4494 0
vsize: 18228
[startup+379.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3898 0 0 0 37957 46 0 0 25 0 1 0 903138552 18665472 3719 4294967295 134512640 134716908 3221224560 3221223344 134529182 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4557 3719 1111 63 0 4494 0
vsize: 18228
[startup+389.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3906 0 0 0 38956 47 0 0 25 0 1 0 903138552 18800640 3727 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3727 1111 63 0 4527 0
vsize: 18360
[startup+399.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3911 0 0 0 39955 48 0 0 25 0 1 0 903138552 18800640 3732 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3732 1111 63 0 4527 0
vsize: 18360
[startup+409.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3935 0 0 0 40955 48 0 0 25 0 1 0 903138552 18800640 3756 4294967295 134512640 134716908 3221224560 3221223200 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3756 1111 63 0 4527 0
vsize: 18360
[startup+419.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3935 0 0 0 41954 49 0 0 25 0 1 0 903138552 18800640 3756 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4590 3756 1111 63 0 4527 0
vsize: 18360
[startup+429.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 42953 50 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+439.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 43953 51 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+449.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 44952 52 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+459.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 45952 52 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223104 134698823 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+469.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 46951 53 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+479.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 47951 53 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223168 134549302 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+489.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 3972 0 0 0 48950 54 0 0 25 0 1 0 903138552 19070976 3793 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4656 3793 1111 63 0 4593 0
vsize: 18624
[startup+499.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4006 0 0 0 49950 55 0 0 25 0 1 0 903138552 19206144 3827 4294967295 134512640 134716908 3221224560 3221223328 134529115 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3827 1111 63 0 4626 0
vsize: 18756
[startup+509.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4022 0 0 0 50949 56 0 0 25 0 1 0 903138552 19206144 3843 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4689 3843 1111 63 0 4626 0
vsize: 18756
[startup+519.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4103 0 0 0 51948 57 0 0 25 0 1 0 903138552 19611648 3924 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3924 1111 63 0 4725 0
vsize: 19152
[startup+529.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4119 0 0 0 52947 58 0 0 25 0 1 0 903138552 19611648 3940 4294967295 134512640 134716908 3221224560 3221223216 134543681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3940 1111 63 0 4725 0
vsize: 19152
[startup+539.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4119 0 0 0 53946 59 0 0 25 0 1 0 903138552 19611648 3940 4294967295 134512640 134716908 3221224560 3221223120 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4788 3940 1111 63 0 4725 0
vsize: 19152
[startup+549.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4147 0 0 0 54945 60 0 0 25 0 1 0 903138552 19746816 3968 4294967295 134512640 134716908 3221224560 3221223152 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4821 3968 1111 63 0 4758 0
vsize: 19284
[startup+559.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4184 0 0 0 55944 61 0 0 25 0 1 0 903138552 19881984 4005 4294967295 134512640 134716908 3221224560 3221223200 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4005 1111 63 0 4791 0
vsize: 19416
[startup+569.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4245 0 0 0 56943 63 0 0 25 0 1 0 903138552 20152320 4066 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4066 1111 63 0 4857 0
vsize: 19680
[startup+579.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4315 0 0 0 57942 63 0 0 25 0 1 0 903138552 20361216 4136 4294967295 134512640 134716908 3221224560 3221223120 134698799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+589.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4315 0 0 0 58942 64 0 0 25 0 1 0 903138552 20361216 4136 4294967295 134512640 134716908 3221224560 3221223148 134539235 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+599.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4315 0 0 0 59941 65 0 0 25 0 1 0 903138552 20361216 4136 4294967295 134512640 134716908 3221224560 3221223176 134542657 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4971 4136 1111 63 0 4908 0
vsize: 19884
[startup+609.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4339 0 0 0 60940 66 0 0 25 0 1 0 903138552 20496384 4160 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5004 4160 1111 63 0 4941 0
vsize: 20016
[startup+619.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4395 0 0 0 61939 68 0 0 25 0 1 0 903138552 20770816 4216 4294967295 134512640 134716908 3221224560 3221223132 134699233 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5071 4216 1111 63 0 5008 0
vsize: 20284
[startup+629.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4474 0 0 0 62938 68 0 0 25 0 1 0 903138552 21041152 4295 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5137 4295 1111 63 0 5074 0
vsize: 20548
[startup+639.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4655 0 0 0 63938 69 0 0 25 0 1 0 903138552 21852160 4476 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5335 4476 1111 63 0 5272 0
vsize: 21340
[startup+649.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 64937 70 0 0 25 0 1 0 903138552 22122496 4541 4294967295 134512640 134716908 3221224560 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4541 1111 63 0 5338 0
vsize: 21604
[startup+659.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 65936 71 0 0 25 0 1 0 903138552 22122496 4541 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5401 4541 1111 63 0 5338 0
vsize: 21604
[startup+669.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 66936 71 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+679.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 67935 72 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223120 134552038 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+689.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 68934 73 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223184 134542297 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+699.996 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 69934 74 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+709.997 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 70934 74 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+719.997 s]
Raw data (loadavg): 0.99 0.98 0.91 3/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 71933 76 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+729.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 72931 77 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+739.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 73931 78 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223200 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+749.998 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 74930 79 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+759.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 75929 80 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+769.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 76928 81 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+779.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 77928 81 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+790 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 78928 82 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223200 134698727 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+800 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 79927 83 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223264 134535812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+809.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 80926 83 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134548659 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+819.999 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 81926 84 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223088 134674785 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+830 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 82925 85 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+840 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 83924 86 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+850 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 84923 87 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223128 1077377239 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+860 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 85923 88 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223284 134613716 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+870 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 86922 89 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+880.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 87922 90 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+890.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 88920 92 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+900 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 89919 93 0 0 25 0 1 0 903138552 22102016 4541 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5396 4541 1111 63 0 5333 0
vsize: 21584
[startup+910.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 90918 94 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+920 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 91918 94 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+930.001 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 92917 95 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+940.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 93916 96 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223216 134523904 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+950.002 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 94916 97 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223108 134699080 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+960.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 95915 98 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223168 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+970.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 96914 99 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+980.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 97913 101 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+990.003 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 98912 101 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223192 134536668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1000 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 99911 102 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1010 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 100911 103 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223232 134551978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1020 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 101911 103 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223296 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1030 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 102910 104 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1040 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 103909 106 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1050 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 104908 107 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1060 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 105907 107 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223236 134594355 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1070 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 106906 108 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1080 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 107906 109 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221222884 134699695 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1090 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 108905 110 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1100 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 109904 111 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1110 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 110904 111 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1120 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 111903 112 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1130 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 112903 113 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1140 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 113903 113 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223368 134557757 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1150 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 114902 114 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1160 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 115901 115 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1170 s]
Raw data (loadavg): 0.99 0.98 0.91 2/54 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 116901 116 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 21580
[startup+1174.86 s]
Raw data (loadavg): 0.99 0.98 0.91 1/53 20761
Raw data (stat): 20761 (bsolo_lpr_cuts-) R 20760 7266 7265 0 -1 0 4720 0 0 0 116901 116 0 0 25 0 1 0 903138552 22097920 4541 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5395 4541 1111 63 0 5332 0
vsize: 0

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