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-chnl35_40_pb.cnf.cr.opb
MD5SUM	85d4e2fa5fd7a61a85d3ecb1e311bddb
Bench Category	no optimization function (SAT)
Has Objective Function	NO
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	41
Number of bits of the biggest sum of numbers	6
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.083986
Number of variables	2800
Total number of constraints	150
Number of constraints which are clauses	80
Number of constraints which are cardinality constraints (but not clauses)	70
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	35
Maximum length of a constraint	40
Trace number 40563

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 14:44:43 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28629 boxname=wulflinc2 idbench=15 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  85d4e2fa5fd7a61a85d3ecb1e311bddb  /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_40_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-chnl35_40_pb.cnf.cr.opb
IDLAUNCH: 28629
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
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.191
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:        776920 kB
Buffers:         26064 kB
Cached:         209844 kB
SwapCached:       1344 kB
Active:          32464 kB
Inactive:       205444 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        776668 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14168 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 15:04:18 (client local time) WITH STATUS 0 IN 1175.02 SECONDS
stats: 28629 7 1175.02 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 2800 variables and 150 constraints.
c After prepocess the problem consists of 2800 variables and 150 constraints.
c preprocess terminated 1.045 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.84 0.94 0.90 1/54 10895
Raw data (stat): 10895 (runsolver) R 10894 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902456895 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.0004 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 1457 0 0 0 991 6 0 0 25 0 1 0 902456895 9121792 1375 4294967295 134512640 134716908 3221224560 3221223236 1077374592 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2227 1375 1111 63 0 2164 0
vsize: 8908
[startup+20.0004 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 1932 0 0 0 1989 9 0 0 25 0 1 0 902456895 11137024 1850 4294967295 134512640 134716908 3221224560 3221223204 134613673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2719 1850 1111 63 0 2656 0
vsize: 10876
[startup+30.0014 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2124 0 0 0 2987 11 0 0 25 0 1 0 902456895 11812864 2042 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2884 2042 1111 63 0 2821 0
vsize: 11536
[startup+40.0015 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2219 0 0 0 3985 13 0 0 25 0 1 0 902456895 12218368 2137 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2983 2137 1111 63 0 2920 0
vsize: 11932
[startup+50.0012 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2305 0 0 0 4983 15 0 0 25 0 1 0 902456895 12599296 2223 4294967295 134512640 134716908 3221224560 3221223200 134613467 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3076 2223 1111 63 0 3013 0
vsize: 12304
[startup+60.0012 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2362 0 0 0 5982 16 0 0 25 0 1 0 902456895 12861440 2280 4294967295 134512640 134716908 3221224560 3221223344 134584982 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3140 2280 1111 63 0 3077 0
vsize: 12560
[startup+70.0015 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2396 0 0 0 6981 17 0 0 25 0 1 0 902456895 12996608 2314 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2314 1111 63 0 3110 0
vsize: 12692
[startup+80.0023 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2406 0 0 0 7980 18 0 0 25 0 1 0 902456895 12996608 2324 4294967295 134512640 134716908 3221224560 3221223216 134523856 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3173 2324 1111 63 0 3110 0
vsize: 12692
[startup+90.0026 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2430 0 0 0 8979 20 0 0 25 0 1 0 902456895 13131776 2348 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3206 2348 1111 63 0 3143 0
vsize: 12824
[startup+100.002 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2485 0 0 0 9978 21 0 0 25 0 1 0 902456895 13402112 2403 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3272 2403 1111 63 0 3209 0
vsize: 13088
[startup+110.003 s]
Raw data (loadavg): 0.97 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2546 0 0 0 10976 23 0 0 25 0 1 0 902456895 13537280 2464 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3305 2464 1111 63 0 3242 0
vsize: 13220
[startup+120.003 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2591 0 0 0 11975 25 0 0 25 0 1 0 902456895 13807616 2509 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3371 2509 1111 63 0 3308 0
vsize: 13484
[startup+130.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2615 0 0 0 12974 26 0 0 25 0 1 0 902456895 13942784 2533 4294967295 134512640 134716908 3221224560 3221223224 134543614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2533 1111 63 0 3341 0
vsize: 13616
[startup+140.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2638 0 0 0 13972 27 0 0 25 0 1 0 902456895 13942784 2556 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3404 2556 1111 63 0 3341 0
vsize: 13616
[startup+150.004 s]
Raw data (loadavg): 0.98 0.95 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2695 0 0 0 14972 29 0 0 25 0 1 0 902456895 14213120 2613 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3470 2613 1111 63 0 3407 0
vsize: 13880
[startup+160.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2761 0 0 0 15970 30 0 0 25 0 1 0 902456895 14483456 2679 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3536 2679 1111 63 0 3473 0
vsize: 14144
[startup+170.004 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2847 0 0 0 16969 32 0 0 25 0 1 0 902456895 14888960 2765 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3635 2765 1111 63 0 3572 0
vsize: 14540
[startup+180.005 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2940 0 0 0 17968 33 0 0 25 0 1 0 902456895 15273984 2858 4294967295 134512640 134716908 3221224560 3221223276 134551979 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2858 1111 63 0 3666 0
vsize: 14916
[startup+190.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 2961 0 0 0 18966 35 0 0 25 0 1 0 902456895 15273984 2879 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3729 2879 1111 63 0 3666 0
vsize: 14916
[startup+200.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3017 0 0 0 19965 36 0 0 25 0 1 0 902456895 15544320 2935 4294967295 134512640 134716908 3221224560 3221223128 1077378409 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3795 2935 1111 63 0 3732 0
vsize: 15180
[startup+210.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3058 0 0 0 20964 37 0 0 25 0 1 0 902456895 15679488 2976 4294967295 134512640 134716908 3221224560 3221223328 134584892 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3828 2976 1111 63 0 3765 0
vsize: 15312
[startup+220.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3081 0 0 0 21962 39 0 0 25 0 1 0 902456895 15814656 2999 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 2999 1111 63 0 3798 0
vsize: 15444
[startup+230.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3094 0 0 0 22961 40 0 0 25 0 1 0 902456895 15814656 3012 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3012 1111 63 0 3798 0
vsize: 15444
[startup+240.007 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3103 0 0 0 23961 41 0 0 25 0 1 0 902456895 15814656 3021 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3861 3021 1111 63 0 3798 0
vsize: 15444
[startup+250.006 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3129 0 0 0 24960 42 0 0 25 0 1 0 902456895 15949824 3047 4294967295 134512640 134716908 3221224560 3221223288 134535782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3894 3047 1111 63 0 3831 0
vsize: 15576
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3152 0 0 0 25959 43 0 0 25 0 1 0 902456895 16056320 3070 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+270.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3152 0 0 0 26958 44 0 0 25 0 1 0 902456895 16056320 3070 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+280.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3152 0 0 0 27957 46 0 0 25 0 1 0 902456895 16056320 3070 4294967295 134512640 134716908 3221224560 3221223264 134528665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3070 1111 63 0 3857 0
vsize: 15680
[startup+290.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3160 0 0 0 28956 47 0 0 25 0 1 0 902456895 16056320 3078 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3920 3078 1111 63 0 3857 0
vsize: 15680
[startup+300.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3208 0 0 0 29955 48 0 0 25 0 1 0 902456895 16326656 3126 4294967295 134512640 134716908 3221224560 3221223076 1077374110 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3986 3126 1111 63 0 3923 0
vsize: 15944
[startup+310.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3233 0 0 0 30954 49 0 0 25 0 1 0 902456895 16461824 3151 4294967295 134512640 134716908 3221224560 3221223200 134613473 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3151 1111 63 0 3956 0
vsize: 16076
[startup+320.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3253 0 0 0 31953 50 0 0 25 0 1 0 902456895 16461824 3171 4294967295 134512640 134716908 3221224560 3221223200 134524203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4019 3171 1111 63 0 3956 0
vsize: 16076
[startup+330.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3289 0 0 0 32952 52 0 0 25 0 1 0 902456895 16596992 3207 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4052 3207 1111 63 0 3989 0
vsize: 16208
[startup+340.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3310 0 0 0 33951 53 0 0 25 0 1 0 902456895 16732160 3228 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 3228 1111 63 0 4022 0
vsize: 16340
[startup+350.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3324 0 0 0 34950 54 0 0 25 0 1 0 902456895 16732160 3242 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4085 3242 1111 63 0 4022 0
vsize: 16340
[startup+360.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3352 0 0 0 35949 55 0 0 25 0 1 0 902456895 16863232 3270 4294967295 134512640 134716908 3221224560 3221223104 134698823 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4117 3270 1111 63 0 4054 0
vsize: 16468
[startup+370.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3424 0 0 0 36947 57 0 0 25 0 1 0 902456895 17133568 3342 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4183 3342 1111 63 0 4120 0
vsize: 16732
[startup+380.01 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3441 0 0 0 37946 58 0 0 25 0 1 0 902456895 17248256 3359 4294967295 134512640 134716908 3221224560 3221223168 134549318 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3359 1111 63 0 4148 0
vsize: 16844
[startup+390.011 s]
Raw data (loadavg): 1.14 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3441 0 0 0 38945 60 0 0 25 0 1 0 902456895 17248256 3359 4294967295 134512640 134716908 3221224560 3221223204 134536691 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3359 1111 63 0 4148 0
vsize: 16844
[startup+400.011 s]
Raw data (loadavg): 1.11 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3451 0 0 0 39944 61 0 0 25 0 1 0 902456895 17248256 3369 4294967295 134512640 134716908 3221224560 3221223180 134613972 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4211 3369 1111 63 0 4148 0
vsize: 16844
[startup+410.011 s]
Raw data (loadavg): 1.10 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3464 0 0 0 40943 62 0 0 25 0 1 0 902456895 17383424 3382 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3382 1111 63 0 4181 0
vsize: 16976
[startup+420.011 s]
Raw data (loadavg): 1.08 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3467 0 0 0 41942 63 0 0 25 0 1 0 902456895 17383424 3385 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3385 1111 63 0 4181 0
vsize: 16976
[startup+430.012 s]
Raw data (loadavg): 1.07 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3476 0 0 0 42942 64 0 0 25 0 1 0 902456895 17383424 3394 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3394 1111 63 0 4181 0
vsize: 16976
[startup+440.013 s]
Raw data (loadavg): 1.06 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3481 0 0 0 43941 65 0 0 25 0 1 0 902456895 17383424 3399 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4244 3399 1111 63 0 4181 0
vsize: 16976
[startup+450.013 s]
Raw data (loadavg): 1.05 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3490 0 0 0 44940 66 0 0 25 0 1 0 902456895 17518592 3408 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3408 1111 63 0 4214 0
vsize: 17108
[startup+460.013 s]
Raw data (loadavg): 1.04 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3503 0 0 0 45939 67 0 0 25 0 1 0 902456895 17518592 3421 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3421 1111 63 0 4214 0
vsize: 17108
[startup+470.014 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3505 0 0 0 46938 69 0 0 25 0 1 0 902456895 17518592 3423 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4277 3423 1111 63 0 4214 0
vsize: 17108
[startup+480.015 s]
Raw data (loadavg): 1.03 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3582 0 0 0 47937 70 0 0 25 0 1 0 902456895 17788928 3500 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4343 3500 1111 63 0 4280 0
vsize: 17372
[startup+490.015 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3642 0 0 0 48935 72 0 0 25 0 1 0 902456895 18059264 3560 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4409 3560 1111 63 0 4346 0
vsize: 17636
[startup+500.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3673 0 0 0 49934 73 0 0 25 0 1 0 902456895 18194432 3591 4294967295 134512640 134716908 3221224560 3221223232 134542977 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+510.016 s]
Raw data (loadavg): 1.02 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3673 0 0 0 50933 74 0 0 25 0 1 0 902456895 18194432 3591 4294967295 134512640 134716908 3221224560 3221223120 134698799 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+520.016 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3673 0 0 0 51933 75 0 0 25 0 1 0 902456895 18194432 3591 4294967295 134512640 134716908 3221224560 3221223152 134549527 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3591 1111 63 0 4379 0
vsize: 17768
[startup+530.017 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3683 0 0 0 52931 77 0 0 25 0 1 0 902456895 18194432 3601 4294967295 134512640 134716908 3221224560 3221223212 134536820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4442 3601 1111 63 0 4379 0
vsize: 17768
[startup+540.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3700 0 0 0 53931 78 0 0 25 0 1 0 902456895 18329600 3618 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4475 3618 1111 63 0 4412 0
vsize: 17900
[startup+550.018 s]
Raw data (loadavg): 1.01 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3709 0 0 0 54929 79 0 0 25 0 1 0 902456895 18329600 3627 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4475 3627 1111 63 0 4412 0
vsize: 17900
[startup+560.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3715 0 0 0 55928 81 0 0 25 0 1 0 902456895 18329600 3633 4294967295 134512640 134716908 3221224560 3221223220 134523855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4475 3633 1111 63 0 4412 0
vsize: 17900
[startup+570.018 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3761 0 0 0 56927 82 0 0 25 0 1 0 902456895 18587648 3679 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4538 3679 1111 63 0 4475 0
vsize: 18152
[startup+580.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3830 0 0 0 57925 84 0 0 25 0 1 0 902456895 18841600 3748 4294967295 134512640 134716908 3221224560 3221223048 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4600 3748 1111 63 0 4537 0
vsize: 18400
[startup+590.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 3971 0 0 0 58924 85 0 0 25 0 1 0 902456895 19369984 3889 4294967295 134512640 134716908 3221224560 3221223116 134535631 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4729 3889 1111 63 0 4666 0
vsize: 18916
[startup+600.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4066 0 0 0 59922 87 0 0 25 0 1 0 902456895 19767296 3984 4294967295 134512640 134716908 3221224560 3221223168 134549334 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4826 3984 1111 63 0 4763 0
vsize: 19304
[startup+610.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4109 0 0 0 60921 88 0 0 25 0 1 0 902456895 20004864 4027 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4884 4027 1111 63 0 4821 0
vsize: 19536
[startup+620.019 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4144 0 0 0 61920 90 0 0 25 0 1 0 902456895 20140032 4062 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4917 4062 1111 63 0 4854 0
vsize: 19668
[startup+630.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4146 0 0 0 62919 91 0 0 25 0 1 0 902456895 20140032 4064 4294967295 134512640 134716908 3221224560 3221223276 134543664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4917 4064 1111 63 0 4854 0
vsize: 19668
[startup+640.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4166 0 0 0 63918 92 0 0 25 0 1 0 902456895 20275200 4084 4294967295 134512640 134716908 3221224560 3221223204 134613673 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4084 1111 63 0 4887 0
vsize: 19800
[startup+650.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4193 0 0 0 64916 94 0 0 25 0 1 0 902456895 20275200 4111 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 4950 4111 1111 63 0 4887 0
vsize: 19800
[startup+660.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4238 0 0 0 65915 96 0 0 25 0 1 0 902456895 20545536 4156 4294967295 134512640 134716908 3221224560 3221223292 1076648036 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5016 4156 1111 63 0 4953 0
vsize: 20064
[startup+670.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4298 0 0 0 66914 97 0 0 25 0 1 0 902456895 20815872 4216 4294967295 134512640 134716908 3221224560 3221223120 134542352 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5082 4216 1111 63 0 5019 0
vsize: 20328
[startup+680.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4348 0 0 0 67912 99 0 0 25 0 1 0 902456895 20951040 4266 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5115 4266 1111 63 0 5052 0
vsize: 20460
[startup+690.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4387 0 0 0 68911 100 0 0 25 0 1 0 902456895 21086208 4305 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5148 4305 1111 63 0 5085 0
vsize: 20592
[startup+700.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4421 0 0 0 69910 102 0 0 25 0 1 0 902456895 21340160 4339 4294967295 134512640 134716908 3221224560 3221223168 134549296 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5210 4339 1111 63 0 5147 0
vsize: 20840
[startup+710.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4462 0 0 0 70909 103 0 0 25 0 1 0 902456895 21475328 4380 4294967295 134512640 134716908 3221224560 3221223196 134523614 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5243 4380 1111 63 0 5180 0
vsize: 20972
[startup+720.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4498 0 0 0 71908 104 0 0 25 0 1 0 902456895 21610496 4416 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5276 4416 1111 63 0 5213 0
vsize: 21104
[startup+730.02 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4523 0 0 0 72907 105 0 0 25 0 1 0 902456895 21745664 4441 4294967295 134512640 134716908 3221224560 3221223300 134594953 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4441 1111 63 0 5246 0
vsize: 21236
[startup+740.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4541 0 0 0 73906 106 0 0 25 0 1 0 902456895 21745664 4459 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5309 4459 1111 63 0 5246 0
vsize: 21236
[startup+750.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4604 0 0 0 74905 107 0 0 25 0 1 0 902456895 22016000 4522 4294967295 134512640 134716908 3221224560 3221223308 134558476 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5375 4522 1111 63 0 5312 0
vsize: 21500
[startup+760.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4755 0 0 0 75904 109 0 0 25 0 1 0 902456895 22691840 4673 4294967295 134512640 134716908 3221224560 3221223172 1077377141 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5540 4673 1111 63 0 5477 0
vsize: 22160
[startup+770.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4861 0 0 0 76902 110 0 0 25 0 1 0 902456895 23031808 4779 4294967295 134512640 134716908 3221224560 3221223168 134524262 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5623 4779 1111 63 0 5560 0
vsize: 22492
[startup+780.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4903 0 0 0 77901 112 0 0 25 0 1 0 902456895 23302144 4821 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5689 4821 1111 63 0 5626 0
vsize: 22756
[startup+790.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4933 0 0 0 78899 114 0 0 25 0 1 0 902456895 23437312 4851 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4851 1111 63 0 5659 0
vsize: 22888
[startup+800.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4947 0 0 0 79898 115 0 0 25 0 1 0 902456895 23437312 4865 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4865 1111 63 0 5659 0
vsize: 22888
[startup+810.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4948 0 0 0 80897 117 0 0 25 0 1 0 902456895 23437312 4866 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5722 4866 1111 63 0 5659 0
vsize: 22888
[startup+820.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4973 0 0 0 81896 117 0 0 25 0 1 0 902456895 23572480 4891 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5755 4891 1111 63 0 5692 0
vsize: 23020
[startup+830.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 4992 0 0 0 82895 119 0 0 25 0 1 0 902456895 23572480 4910 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5755 4910 1111 63 0 5692 0
vsize: 23020
[startup+840.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5019 0 0 0 83894 120 0 0 25 0 1 0 902456895 23707648 4937 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4937 1111 63 0 5725 0
vsize: 23152
[startup+850.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5019 0 0 0 84893 121 0 0 25 0 1 0 902456895 23707648 4937 4294967295 134512640 134716908 3221224560 3221223296 134591875 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4937 1111 63 0 5725 0
vsize: 23152
[startup+860.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5030 0 0 0 85891 123 0 0 25 0 1 0 902456895 23707648 4948 4294967295 134512640 134716908 3221224560 3221223100 134539237 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5788 4948 1111 63 0 5725 0
vsize: 23152
[startup+870.022 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5037 0 0 0 86890 124 0 0 25 0 1 0 902456895 23838720 4955 4294967295 134512640 134716908 3221224560 3221223328 134529157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4955 1111 63 0 5757 0
vsize: 23280
[startup+880.021 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5049 0 0 0 87890 125 0 0 25 0 1 0 902456895 23838720 4967 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4967 1111 63 0 5757 0
vsize: 23280
[startup+890.023 s]
Raw data (loadavg): 1.00 1.00 0.92 3/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5052 0 0 0 88890 125 0 0 25 0 1 0 902456895 23838720 4970 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5820 4970 1111 63 0 5757 0
vsize: 23280
[startup+900.023 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5072 0 0 0 89888 127 0 0 25 0 1 0 902456895 23973888 4990 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 4990 1111 63 0 5790 0
vsize: 23412
[startup+910.024 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10895
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5089 0 0 0 90887 128 0 0 25 0 1 0 902456895 23973888 5007 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 5007 1111 63 0 5790 0
vsize: 23412
[startup+920.025 s]
Raw data (loadavg): 1.00 1.00 0.92 3/56 10917
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5090 0 0 0 91887 129 0 0 25 0 1 0 902456895 23973888 5008 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5853 5008 1111 63 0 5790 0
vsize: 23412
[startup+930.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5107 0 0 0 92884 131 0 0 25 0 1 0 902456895 24109056 5025 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5025 1111 63 0 5823 0
vsize: 23544
[startup+940.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5124 0 0 0 93884 132 0 0 25 0 1 0 902456895 24109056 5042 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5042 1111 63 0 5823 0
vsize: 23544
[startup+950.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5124 0 0 0 94884 132 0 0 25 0 1 0 902456895 24109056 5042 4294967295 134512640 134716908 3221224560 3221223328 134592449 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5886 5042 1111 63 0 5823 0
vsize: 23544
[startup+960.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5145 0 0 0 95882 134 0 0 25 0 1 0 902456895 24240128 5063 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5063 1111 63 0 5855 0
vsize: 23672
[startup+970.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5155 0 0 0 96881 135 0 0 25 0 1 0 902456895 24240128 5073 4294967295 134512640 134716908 3221224560 3221222624 134699843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5918 5073 1111 63 0 5855 0
vsize: 23672
[startup+980.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10948
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5170 0 0 0 97879 137 0 0 25 0 1 0 902456895 24375296 5088 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5088 1111 63 0 5888 0
vsize: 23804
[startup+990.025 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5189 0 0 0 98878 138 0 0 25 0 1 0 902456895 24375296 5107 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5951 5107 1111 63 0 5888 0
vsize: 23804
[startup+1000.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5221 0 0 0 99876 140 0 0 25 0 1 0 902456895 24510464 5139 4294967295 134512640 134716908 3221224560 3221223112 134698813 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5984 5139 1111 63 0 5921 0
vsize: 23936
[startup+1010.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5265 0 0 0 100875 142 0 0 25 0 1 0 902456895 24780800 5183 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6050 5183 1111 63 0 5987 0
vsize: 24200
[startup+1020.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5296 0 0 0 101874 143 0 0 25 0 1 0 902456895 24915968 5214 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6083 5214 1111 63 0 6020 0
vsize: 24332
[startup+1030.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5328 0 0 0 102873 144 0 0 25 0 1 0 902456895 25038848 5246 4294967295 134512640 134716908 3221224560 3221223128 1077377862 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6113 5246 1111 63 0 6050 0
vsize: 24452
[startup+1040.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5345 0 0 0 103872 146 0 0 25 0 1 0 902456895 25030656 5263 4294967295 134512640 134716908 3221224560 3221223048 134552650 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5263 1111 63 0 6048 0
vsize: 24444
[startup+1050.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5345 0 0 0 104871 147 0 0 25 0 1 0 902456895 25030656 5263 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6111 5263 1111 63 0 6048 0
vsize: 24444
[startup+1060.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5489 0 0 0 105869 149 0 0 25 0 1 0 902456895 25665536 5407 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6266 5407 1111 63 0 6203 0
vsize: 25064
[startup+1070.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5615 0 0 0 106866 152 0 0 25 0 1 0 902456895 26181632 5533 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6392 5533 1111 63 0 6329 0
vsize: 25568
[startup+1080.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5763 0 0 0 107865 153 0 0 25 0 1 0 902456895 26722304 5681 4294967295 134512640 134716908 3221224560 3221223116 134535942 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6524 5681 1111 63 0 6461 0
vsize: 26096
[startup+1090.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5910 0 0 0 108864 155 0 0 25 0 1 0 902456895 27398144 5828 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6689 5828 1111 63 0 6626 0
vsize: 26756
[startup+1100.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 5977 0 0 0 109863 156 0 0 25 0 1 0 902456895 27668480 5895 4294967295 134512640 134716908 3221224560 3221223116 134535506 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6755 5895 1111 63 0 6692 0
vsize: 27020
[startup+1110.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6011 0 0 0 110862 157 0 0 25 0 1 0 902456895 27803648 5929 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6788 5929 1111 63 0 6725 0
vsize: 27152
[startup+1120.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6060 0 0 0 111860 159 0 0 25 0 1 0 902456895 27938816 5978 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6821 5978 1111 63 0 6758 0
vsize: 27284
[startup+1130.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6104 0 0 0 112858 161 0 0 25 0 1 0 902456895 28209152 6022 4294967295 134512640 134716908 3221224560 3221223272 134591891 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6887 6022 1111 63 0 6824 0
vsize: 27548
[startup+1140.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6213 0 0 0 113856 163 0 0 25 0 1 0 902456895 28614656 6131 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6986 6131 1111 63 0 6923 0
vsize: 27944
[startup+1150.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6238 0 0 0 114856 164 0 0 25 0 1 0 902456895 28749824 6156 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6156 1111 63 0 6956 0
vsize: 28076
[startup+1160.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6240 0 0 0 115854 165 0 0 25 0 1 0 902456895 28749824 6158 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6158 1111 63 0 6956 0
vsize: 28076
[startup+1170.03 s]
Raw data (loadavg): 1.00 1.00 0.92 2/54 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6259 0 0 0 116853 167 0 0 25 0 1 0 902456895 28749824 6177 4294967295 134512640 134716908 3221224560 3221223120 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6177 1111 63 0 6956 0
vsize: 28076
[startup+1174.84 s]
Raw data (loadavg): 1.00 1.00 0.92 1/53 10950
Raw data (stat): 10895 (bsolo_lpr_cuts-) R 10894 31399 31398 0 -1 0 6259 0 0 0 116853 167 0 0 25 0 1 0 902456895 28749824 6177 4294967295 134512640 134716908 3221224560 3221223120 134542365 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7019 6177 1111 63 0 6956 0
vsize: 0

Child status: 0
Real time (s): 1174.84
CPU time (s): 1175.02
CPU user time (s): 1173.33
CPU system time (s): 1.69374
CPU usage (%): 100.015
Max. virtual memory (Kb): 28076
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####