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-fpga25_23_sat_pb.cnf.cr.opb
MD5SUM	002d92124dd96ccf471b7e05fe08f2d6
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	26
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.252961
Number of variables	863
Total number of constraints	646
Number of constraints which are clauses	598
Number of constraints which are cardinality constraints (but not clauses)	48
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	12
Maximum length of a constraint	25
Trace number 40591

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc1 THE 2005-06-08 16:14:31 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28657 boxname=wulflinc1 idbench=43 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  002d92124dd96ccf471b7e05fe08f2d6  /oldhome/oroussel/tmp/wulflinc1/normalized-fpga25_23_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc1/normalized-fpga25_23_sat_pb.cnf.cr.opb
IDLAUNCH: 28657
/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:        863372 kB
Buffers:         20284 kB
Cached:         126880 kB
SwapCached:       1144 kB
Active:          26792 kB
Inactive:       122576 kB
HighTotal:      131008 kB
HighFree:         4900 kB
LowTotal:       903652 kB
LowFree:        858472 kB
SwapTotal:     2097136 kB
SwapFree:      2094836 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5256 kB
Slab:            16104 kB
Committed_AS:    92704 kB
PageTables:        332 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:34:06 (client local time) WITH STATUS 0 IN 1175.04 SECONDS
stats: 28657 7 1175.04 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 863 variables and 646 constraints.
c After prepocess the problem consists of 863 variables and 646 constraints.
c preprocess terminated 0.873 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/55 24282
Raw data (stat): 24282 (runsolver) R 24281 8378 8377 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 846135140 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/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 1767 0 0 0 992 5 0 0 25 0 1 0 846135140 10346496 1685 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2526 1685 1111 63 0 2463 0
vsize: 10104
[startup+20.0012 s]
Raw data (loadavg): 0.94 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2018 0 0 0 1990 7 0 0 25 0 1 0 846135140 11415552 1936 4294967295 134512640 134716908 3221224560 3221223168 134549457 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2787 1936 1111 63 0 2724 0
vsize: 11148
[startup+30.001 s]
Raw data (loadavg): 0.95 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2148 0 0 0 2989 8 0 0 25 0 1 0 846135140 11952128 2066 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2918 2066 1111 63 0 2855 0
vsize: 11672
[startup+40.0018 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2249 0 0 0 3988 10 0 0 25 0 1 0 846135140 12357632 2167 4294967295 134512640 134716908 3221224560 3221223152 134549651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3017 2167 1111 63 0 2954 0
vsize: 12068
[startup+50.0025 s]
Raw data (loadavg): 0.96 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2475 0 0 0 4987 11 0 0 25 0 1 0 846135140 13303808 2393 4294967295 134512640 134716908 3221224560 3221223152 134543710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3248 2393 1111 63 0 3185 0
vsize: 12992
[startup+60.0024 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2475 0 0 0 5986 12 0 0 25 0 1 0 846135140 13127680 2380 4294967295 134512640 134716908 3221224560 3221223296 134588000 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3205 2380 1111 63 0 3142 0
vsize: 12820
[startup+70.0036 s]
Raw data (loadavg): 0.97 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2537 0 0 0 6985 14 0 0 25 0 1 0 846135140 13385728 2442 4294967295 134512640 134716908 3221224560 3221223164 134549514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2442 1111 63 0 3205 0
vsize: 13072
[startup+80.0039 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2537 0 0 0 7983 15 0 0 25 0 1 0 846135140 13385728 2442 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3268 2442 1111 63 0 3205 0
vsize: 13072
[startup+90.0047 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2564 0 0 0 8983 16 0 0 25 0 1 0 846135140 13520896 2469 4294967295 134512640 134716908 3221224560 3221223168 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3301 2469 1111 63 0 3238 0
vsize: 13204
[startup+100.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 2947 0 0 0 9980 19 0 0 25 0 1 0 846135140 15142912 2852 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3697 2852 1111 63 0 3634 0
vsize: 14788
[startup+110.004 s]
Raw data (loadavg): 0.98 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 3481 0 0 0 10978 21 0 0 25 0 1 0 846135140 17297408 3386 4294967295 134512640 134716908 3221224560 3221223328 134592128 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4223 3386 1111 63 0 4160 0
vsize: 16892
[startup+120.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 3869 0 0 0 11977 22 0 0 25 0 1 0 846135140 18919424 3774 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4619 3774 1111 63 0 4556 0
vsize: 18476
[startup+130.005 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 4338 0 0 0 12974 25 0 0 25 0 1 0 846135140 20811776 4243 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5081 4243 1111 63 0 5018 0
vsize: 20324
[startup+140.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 4713 0 0 0 13972 28 0 0 25 0 1 0 846135140 22425600 4618 4294967295 134512640 134716908 3221224560 3221223176 134549509 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5475 4618 1111 63 0 5412 0
vsize: 21900
[startup+150.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5024 0 0 0 14970 30 0 0 25 0 1 0 846135140 23642112 4929 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5772 4929 1111 63 0 5709 0
vsize: 23088
[startup+160.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5071 0 0 0 15969 31 0 0 25 0 1 0 846135140 23777280 4976 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5805 4976 1111 63 0 5742 0
vsize: 23220
[startup+170.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5104 0 0 0 16968 32 0 0 25 0 1 0 846135140 23912448 5009 4294967295 134512640 134716908 3221224560 3221223188 134543092 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5838 5009 1111 63 0 5775 0
vsize: 23352
[startup+180.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5158 0 0 0 17967 33 0 0 25 0 1 0 846135140 24182784 5063 4294967295 134512640 134716908 3221224560 3221223328 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5904 5063 1111 63 0 5841 0
vsize: 23616
[startup+190.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5190 0 0 0 18967 34 0 0 25 0 1 0 846135140 24317952 5095 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5095 1111 63 0 5874 0
vsize: 23748
[startup+200.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5202 0 0 0 19966 34 0 0 25 0 1 0 846135140 24317952 5107 4294967295 134512640 134716908 3221224560 3221223224 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5937 5107 1111 63 0 5874 0
vsize: 23748
[startup+210.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5303 0 0 0 20965 36 0 0 25 0 1 0 846135140 24842240 5208 4294967295 134512640 134716908 3221224560 3221223200 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 5208 1111 63 0 6002 0
vsize: 24260
[startup+220.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5332 0 0 0 21964 37 0 0 25 0 1 0 846135140 24842240 5237 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6065 5237 1111 63 0 6002 0
vsize: 24260
[startup+230.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5688 0 0 0 22962 39 0 0 25 0 1 0 846135140 26292224 5593 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6419 5593 1111 63 0 6356 0
vsize: 25676
[startup+240.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 5938 0 0 0 23961 41 0 0 25 0 1 0 846135140 27373568 5843 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6683 5843 1111 63 0 6620 0
vsize: 26732
[startup+250.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6113 0 0 0 24960 42 0 0 25 0 1 0 846135140 28049408 6018 4294967295 134512640 134716908 3221224560 3221223152 134549739 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6848 6018 1111 63 0 6785 0
vsize: 27392
[startup+260.006 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6243 0 0 0 25957 45 0 0 25 0 1 0 846135140 28590080 6148 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6980 6148 1111 63 0 6917 0
vsize: 27920
[startup+270.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6312 0 0 0 26956 46 0 0 25 0 1 0 846135140 28852224 6217 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7044 6217 1111 63 0 6981 0
vsize: 28176
[startup+280.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6367 0 0 0 27955 48 0 0 25 0 1 0 846135140 29122560 6272 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7110 6272 1111 63 0 7047 0
vsize: 28440
[startup+290.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6509 0 0 0 28953 49 0 0 25 0 1 0 846135140 29663232 6414 4294967295 134512640 134716908 3221224560 3221223344 134529288 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7242 6414 1111 63 0 7179 0
vsize: 28968
[startup+300.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 6618 0 0 0 29952 50 0 0 25 0 1 0 846135140 30199808 6523 4294967295 134512640 134716908 3221224560 3221223148 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7373 6523 1111 63 0 7310 0
vsize: 29492
[startup+310.007 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7010 0 0 0 30949 54 0 0 25 0 1 0 846135140 31801344 6915 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7764 6915 1111 63 0 7701 0
vsize: 31056
[startup+320.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7119 0 0 0 31948 55 0 0 25 0 1 0 846135140 32206848 7024 4294967295 134512640 134716908 3221224560 3221223168 134549271 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7863 7024 1111 63 0 7800 0
vsize: 31452
[startup+330.008 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7350 0 0 0 32946 57 0 0 25 0 1 0 846135140 33148928 7255 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8093 7255 1111 63 0 8030 0
vsize: 32372
[startup+340.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7640 0 0 0 33945 58 0 0 25 0 1 0 846135140 34344960 7545 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8385 7545 1111 63 0 8322 0
vsize: 33540
[startup+350.009 s]
Raw data (loadavg): 0.99 0.98 0.91 3/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7790 0 0 0 34945 59 0 0 25 0 1 0 846135140 35020800 7695 4294967295 134512640 134716908 3221224560 3221223284 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8550 7695 1111 63 0 8487 0
vsize: 34200
[startup+360.009 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 7871 0 0 0 35944 60 0 0 25 0 1 0 846135140 35291136 7776 4294967295 134512640 134716908 3221224560 3221223296 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8616 7776 1111 63 0 8553 0
vsize: 34464
[startup+370.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8107 0 0 0 36942 62 0 0 25 0 1 0 846135140 36229120 8012 4294967295 134512640 134716908 3221224560 3221223116 134535952 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8845 8012 1111 63 0 8782 0
vsize: 35380
[startup+380.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8271 0 0 0 37940 64 0 0 25 0 1 0 846135140 36904960 8176 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9010 8177 1111 63 0 8947 0
vsize: 36040
[startup+390.01 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8351 0 0 0 38938 66 0 0 25 0 1 0 846135140 37302272 8256 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9107 8256 1111 63 0 9044 0
vsize: 36428
[startup+400.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8421 0 0 0 39938 67 0 0 25 0 1 0 846135140 37572608 8326 4294967295 134512640 134716908 3221224560 3221223116 134535484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9173 8326 1111 63 0 9110 0
vsize: 36692
[startup+410.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8559 0 0 0 40937 68 0 0 25 0 1 0 846135140 38105088 8464 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9303 8464 1111 63 0 9240 0
vsize: 37212
[startup+420.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8675 0 0 0 41936 69 0 0 25 0 1 0 846135140 38645760 8580 4294967295 134512640 134716908 3221224560 3221223264 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9435 8580 1111 63 0 9372 0
vsize: 37740
[startup+430.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8737 0 0 0 42936 70 0 0 25 0 1 0 846135140 38916096 8642 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9501 8642 1111 63 0 9438 0
vsize: 38004
[startup+440.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8798 0 0 0 43934 72 0 0 25 0 1 0 846135140 39038976 8703 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9531 8703 1111 63 0 9468 0
vsize: 38124
[startup+450.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 8879 0 0 0 44934 72 0 0 25 0 1 0 846135140 39444480 8784 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9630 8784 1111 63 0 9567 0
vsize: 38520
[startup+460.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9116 0 0 0 45932 73 0 0 25 0 1 0 846135140 40374272 9021 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9857 9021 1111 63 0 9794 0
vsize: 39428
[startup+470.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9180 0 0 0 46932 74 0 0 25 0 1 0 846135140 40644608 9085 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9923 9085 1111 63 0 9860 0
vsize: 39692
[startup+480.011 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9249 0 0 0 47931 75 0 0 25 0 1 0 846135140 40914944 9154 4294967295 134512640 134716908 3221224560 3221222972 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9989 9154 1111 63 0 9926 0
vsize: 39956
[startup+490.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9284 0 0 0 48930 76 0 0 25 0 1 0 846135140 41041920 9189 4294967295 134512640 134716908 3221224560 3221223216 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10020 9189 1111 63 0 9957 0
vsize: 40080
[startup+500.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9307 0 0 0 49929 77 0 0 25 0 1 0 846135140 41164800 9212 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10050 9212 1111 63 0 9987 0
vsize: 40200
[startup+510.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9415 0 0 0 50928 79 0 0 25 0 1 0 846135140 41570304 9320 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10149 9320 1111 63 0 10086 0
vsize: 40596
[startup+520.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 9633 0 0 0 51926 80 0 0 25 0 1 0 846135140 42516480 9538 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10380 9538 1111 63 0 10317 0
vsize: 41520
[startup+530.012 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10040 0 0 0 52925 82 0 0 25 0 1 0 846135140 44138496 9945 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10776 9945 1111 63 0 10713 0
vsize: 43104
[startup+540.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10237 0 0 0 53922 85 0 0 25 0 1 0 846135140 44945408 10142 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10973 10142 1111 63 0 10910 0
vsize: 43892
[startup+550.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10373 0 0 0 54922 86 0 0 25 0 1 0 846135140 45613056 10278 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11136 10278 1111 63 0 11073 0
vsize: 44544
[startup+560.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10517 0 0 0 55920 87 0 0 25 0 1 0 846135140 46153728 10422 4294967295 134512640 134716908 3221224560 3221223200 134698468 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11268 10422 1111 63 0 11205 0
vsize: 45072
[startup+570.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10599 0 0 0 56919 88 0 0 25 0 1 0 846135140 46546944 10504 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11364 10504 1111 63 0 11301 0
vsize: 45456
[startup+580.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10749 0 0 0 57918 90 0 0 25 0 1 0 846135140 47087616 10654 4294967295 134512640 134716908 3221224560 3221223368 134558582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11496 10654 1111 63 0 11433 0
vsize: 45984
[startup+590.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 10911 0 0 0 58917 91 0 0 25 0 1 0 846135140 47763456 10816 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11661 10816 1111 63 0 11598 0
vsize: 46644
[startup+600.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11033 0 0 0 59916 93 0 0 25 0 1 0 846135140 48304128 10938 4294967295 134512640 134716908 3221224560 3221223172 1077377141 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11793 10938 1111 63 0 11730 0
vsize: 47172
[startup+610.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11113 0 0 0 60914 94 0 0 25 0 1 0 846135140 48574464 11018 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11859 11018 1111 63 0 11796 0
vsize: 47436
[startup+620.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11186 0 0 0 61913 96 0 0 25 0 1 0 846135140 48844800 11091 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11925 11091 1111 63 0 11862 0
vsize: 47700
[startup+630.013 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11230 0 0 0 62912 97 0 0 25 0 1 0 846135140 49106944 11135 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11135 1111 63 0 11926 0
vsize: 47956
[startup+640.014 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11252 0 0 0 63911 98 0 0 25 0 1 0 846135140 49106944 11157 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11989 11157 1111 63 0 11926 0
vsize: 47956
[startup+650.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11357 0 0 0 64911 99 0 0 25 0 1 0 846135140 49635328 11262 4294967295 134512640 134716908 3221224560 3221222972 1077379860 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12118 11262 1111 63 0 12055 0
vsize: 48472
[startup+660.015 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11424 0 0 0 65909 100 0 0 25 0 1 0 846135140 49905664 11329 4294967295 134512640 134716908 3221224560 3221223320 134552645 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12184 11329 1111 63 0 12121 0
vsize: 48736
[startup+670.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11488 0 0 0 66908 102 0 0 25 0 1 0 846135140 50176000 11393 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12250 11393 1111 63 0 12187 0
vsize: 49000
[startup+680.017 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11664 0 0 0 67907 103 0 0 25 0 1 0 846135140 50851840 11569 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12415 11569 1111 63 0 12352 0
vsize: 49660
[startup+690.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11847 0 0 0 68905 105 0 0 25 0 1 0 846135140 51654656 11752 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12611 11752 1111 63 0 12548 0
vsize: 50444
[startup+700.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 11950 0 0 0 69904 106 0 0 25 0 1 0 846135140 52047872 11855 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12707 11855 1111 63 0 12644 0
vsize: 50828
[startup+710.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12203 0 0 0 70902 108 0 0 25 0 1 0 846135140 53125120 12108 4294967295 134512640 134716908 3221224560 3221223200 134542300 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12970 12108 1111 63 0 12907 0
vsize: 51880
[startup+720.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12358 0 0 0 71901 110 0 0 25 0 1 0 846135140 53665792 12263 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13102 12263 1111 63 0 13039 0
vsize: 52408
[startup+730.018 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12476 0 0 0 72900 111 0 0 25 0 1 0 846135140 54206464 12381 4294967295 134512640 134716908 3221224560 3221223344 134529177 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13234 12381 1111 63 0 13171 0
vsize: 52936
[startup+740.019 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12666 0 0 0 73899 113 0 0 25 0 1 0 846135140 55017472 12571 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13432 12571 1111 63 0 13369 0
vsize: 53728
[startup+750.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12796 0 0 0 74897 114 0 0 25 0 1 0 846135140 55558144 12701 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13564 12701 1111 63 0 13501 0
vsize: 54256
[startup+760.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12926 0 0 0 75895 116 0 0 25 0 1 0 846135140 55963648 12831 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13663 12831 1111 63 0 13600 0
vsize: 54652
[startup+770.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 12971 0 0 0 76894 118 0 0 25 0 1 0 846135140 56225792 12876 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13727 12876 1111 63 0 13664 0
vsize: 54908
[startup+780.02 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13097 0 0 0 77893 119 0 0 25 0 1 0 846135140 56758272 13002 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13857 13002 1111 63 0 13794 0
vsize: 55428
[startup+790.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13163 0 0 0 78892 120 0 0 25 0 1 0 846135140 57028608 13068 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13923 13068 1111 63 0 13860 0
vsize: 55692
[startup+800.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13196 0 0 0 79892 121 0 0 25 0 1 0 846135140 57131008 13101 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13948 13101 1111 63 0 13885 0
vsize: 55792
[startup+810.021 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13254 0 0 0 80891 122 0 0 25 0 1 0 846135140 57401344 13159 4294967295 134512640 134716908 3221224560 3221223200 134698641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14014 13159 1111 63 0 13951 0
vsize: 56056
[startup+820.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13324 0 0 0 81890 123 0 0 25 0 1 0 846135140 57655296 13229 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14076 13229 1111 63 0 14013 0
vsize: 56304
[startup+830.022 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13355 0 0 0 82889 124 0 0 25 0 1 0 846135140 57786368 13260 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14108 13260 1111 63 0 14045 0
vsize: 56432
[startup+840.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13367 0 0 0 83888 125 0 0 25 0 1 0 846135140 57786368 13272 4294967295 134512640 134716908 3221224560 3221223324 134552548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14108 13272 1111 63 0 14045 0
vsize: 56432
[startup+850.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13385 0 0 0 84888 125 0 0 25 0 1 0 846135140 57921536 13290 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14141 13290 1111 63 0 14078 0
vsize: 56564
[startup+860.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13407 0 0 0 85887 126 0 0 25 0 1 0 846135140 58056704 13312 4294967295 134512640 134716908 3221224560 3221223292 134524384 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14174 13312 1111 63 0 14111 0
vsize: 56696
[startup+870.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13489 0 0 0 86886 127 0 0 25 0 1 0 846135140 58302464 13394 4294967295 134512640 134716908 3221224560 3221223116 134535906 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14234 13394 1111 63 0 14171 0
vsize: 56936
[startup+880.023 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13527 0 0 0 87885 129 0 0 25 0 1 0 846135140 58437632 13432 4294967295 134512640 134716908 3221224560 3221223128 1077377259 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14267 13432 1111 63 0 14204 0
vsize: 57068
[startup+890.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13553 0 0 0 88885 129 0 0 25 0 1 0 846135140 58564608 13458 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14298 13458 1111 63 0 14235 0
vsize: 57192
[startup+900.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13579 0 0 0 89884 130 0 0 25 0 1 0 846135140 58691584 13484 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14329 13484 1111 63 0 14266 0
vsize: 57316
[startup+910.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13603 0 0 0 90884 131 0 0 25 0 1 0 846135140 58826752 13508 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 13508 1111 63 0 14299 0
vsize: 57448
[startup+920.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13603 0 0 0 91883 131 0 0 25 0 1 0 846135140 58826752 13508 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14362 13508 1111 63 0 14299 0
vsize: 57448
[startup+930.024 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13624 0 0 0 92882 133 0 0 25 0 1 0 846135140 58953728 13529 4294967295 134512640 134716908 3221224560 3221223152 134549818 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14393 13529 1111 63 0 14330 0
vsize: 57572
[startup+940.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13641 0 0 0 93882 133 0 0 25 0 1 0 846135140 58953728 13546 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14393 13546 1111 63 0 14330 0
vsize: 57572
[startup+950.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13661 0 0 0 94882 134 0 0 25 0 1 0 846135140 59088896 13566 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13566 1111 63 0 14363 0
vsize: 57704
[startup+960.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13666 0 0 0 95881 135 0 0 25 0 1 0 846135140 59088896 13571 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14426 13571 1111 63 0 14363 0
vsize: 57704
[startup+970.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13689 0 0 0 96880 136 0 0 25 0 1 0 846135140 59224064 13594 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14459 13594 1111 63 0 14396 0
vsize: 57836
[startup+980.025 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13698 0 0 0 97879 137 0 0 25 0 1 0 846135140 59224064 13603 4294967295 134512640 134716908 3221224560 3221223304 134675309 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14459 13603 1111 63 0 14396 0
vsize: 57836
[startup+990.026 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13717 0 0 0 98878 138 0 0 25 0 1 0 846135140 59359232 13622 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14492 13622 1111 63 0 14429 0
vsize: 57968
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13736 0 0 0 99878 139 0 0 25 0 1 0 846135140 59359232 13641 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14492 13641 1111 63 0 14429 0
vsize: 57968
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13779 0 0 0 100877 139 0 0 25 0 1 0 846135140 59617280 13684 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13684 1111 63 0 14492 0
vsize: 58220
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13796 0 0 0 101877 140 0 0 25 0 1 0 846135140 59617280 13701 4294967295 134512640 134716908 3221224560 3221223116 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13701 1111 63 0 14492 0
vsize: 58220
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13798 0 0 0 102877 140 0 0 25 0 1 0 846135140 59617280 13703 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14555 13703 1111 63 0 14492 0
vsize: 58220
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13808 0 0 0 103876 141 0 0 25 0 1 0 846135140 59756544 13713 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14589 13713 1111 63 0 14526 0
vsize: 58356
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13822 0 0 0 104876 142 0 0 25 0 1 0 846135140 59756544 13727 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14589 13727 1111 63 0 14526 0
vsize: 58356
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13864 0 0 0 105876 142 0 0 25 0 1 0 846135140 59891712 13769 4294967295 134512640 134716908 3221224560 3221223168 134549474 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14622 13769 1111 63 0 14559 0
vsize: 58488
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13887 0 0 0 106875 143 0 0 25 0 1 0 846135140 60026880 13792 4294967295 134512640 134716908 3221224560 3221223128 1077377519 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14655 13792 1111 63 0 14592 0
vsize: 58620
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13911 0 0 0 107874 143 0 0 25 0 1 0 846135140 60162048 13816 4294967295 134512640 134716908 3221224560 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14688 13816 1111 63 0 14625 0
vsize: 58752
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 13990 0 0 0 108873 145 0 0 25 0 1 0 846135140 60432384 13895 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14754 13895 1111 63 0 14691 0
vsize: 59016
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 14280 0 0 0 109873 146 0 0 25 0 1 0 846135140 61644800 14185 4294967295 134512640 134716908 3221224560 3221223188 134698613 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15050 14185 1111 63 0 14987 0
vsize: 60200
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 14462 0 0 0 110872 147 0 0 25 0 1 0 846135140 62320640 14367 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15215 14367 1111 63 0 15152 0
vsize: 60860
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 14603 0 0 0 111871 148 0 0 25 0 1 0 846135140 62980096 14508 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15376 14508 1111 63 0 15313 0
vsize: 61504
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 14705 0 0 0 112869 150 0 0 25 0 1 0 846135140 63385600 14610 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15475 14610 1111 63 0 15412 0
vsize: 61900
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 14788 0 0 0 113868 151 0 0 25 0 1 0 846135140 63655936 14693 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15541 14693 1111 63 0 15478 0
vsize: 62164
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 15072 0 0 0 114867 152 0 0 25 0 1 0 846135140 64839680 14977 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15830 14977 1111 63 0 15767 0
vsize: 63320
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 15197 0 0 0 115866 153 0 0 25 0 1 0 846135140 65355776 15102 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15956 15102 1111 63 0 15893 0
vsize: 63824
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.98 0.91 2/55 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 15324 0 0 0 116865 154 0 0 25 0 1 0 846135140 65896448 15229 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15229 1111 63 0 16025 0
vsize: 64352
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.98 0.91 1/54 24282
Raw data (stat): 24282 (bsolo_lpr_cuts-) R 24281 8378 8377 0 -1 0 15324 0 0 0 116865 154 0 0 25 0 1 0 846135140 65896448 15229 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16088 15229 1111 63 0 16025 0
vsize: 0

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