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_25_sat_pb.cnf.cr.opb
MD5SUM	54139ff5e28c6041ec6c692b0d10f866
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.362944
Number of variables	938
Total number of constraints	700
Number of constraints which are clauses	650
Number of constraints which are cardinality constraints (but not clauses)	50
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 40593

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-08 16:21:48 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28659 boxname=wulflinc4 idbench=45 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  54139ff5e28c6041ec6c692b0d10f866  /oldhome/oroussel/tmp/wulflinc4/normalized-fpga25_25_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-fpga25_25_sat_pb.cnf.cr.opb
IDLAUNCH: 28659
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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	: 890.88

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
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:        873620 kB
Buffers:         20076 kB
Cached:         115692 kB
SwapCached:       5196 kB
Active:          25336 kB
Inactive:       116768 kB
HighTotal:      131008 kB
HighFree:        80024 kB
LowTotal:       903652 kB
LowFree:        793596 kB
SwapTotal:     2097136 kB
SwapFree:      2090912 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4904 kB
Slab:            13400 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:41:23 (client local time) WITH STATUS 0 IN 1175.03 SECONDS
stats: 28659 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 938 variables and 700 constraints.
c After prepocess the problem consists of 938 variables and 700 constraints.
c preprocess terminated 1.043 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.91 0.97 0.91 2/54 1917
Raw data (stat): 1917 (runsolver) R 1916 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903026206 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.0003 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 1799 0 0 0 990 6 0 0 25 0 1 0 903026206 10465280 1717 4294967295 134512640 134716908 3221224560 3221223168 134549305 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2555 1717 1111 63 0 2492 0
vsize: 10220
[startup+20.0004 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 1965 0 0 0 1988 8 0 0 25 0 1 0 903026206 11132928 1883 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2718 1883 1111 63 0 2655 0
vsize: 10872
[startup+30.0009 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2096 0 0 0 2988 9 0 0 25 0 1 0 903026206 11644928 2014 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2843 2014 1111 63 0 2780 0
vsize: 11372
[startup+40.0008 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2161 0 0 0 3986 11 0 0 25 0 1 0 903026206 11907072 2079 4294967295 134512640 134716908 3221224560 3221223200 134698400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2907 2079 1111 63 0 2844 0
vsize: 11628
[startup+50.0019 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2303 0 0 0 4984 13 0 0 25 0 1 0 903026206 12574720 2221 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3070 2221 1111 63 0 3007 0
vsize: 12280
[startup+60.0015 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2335 0 0 0 5982 15 0 0 25 0 1 0 903026206 12709888 2253 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3103 2253 1111 63 0 3040 0
vsize: 12412
[startup+70.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2416 0 0 0 6982 16 0 0 25 0 1 0 903026206 12972032 2334 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3167 2334 1111 63 0 3104 0
vsize: 12668
[startup+80.0025 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2442 0 0 0 7981 17 0 0 25 0 1 0 903026206 13107200 2360 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3200 2360 1111 63 0 3137 0
vsize: 12800
[startup+90.0027 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2482 0 0 0 8980 18 0 0 25 0 1 0 903026206 13242368 2400 4294967295 134512640 134716908 3221224560 3221222736 134699617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3233 2400 1111 63 0 3170 0
vsize: 12932
[startup+100.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2520 0 0 0 9980 19 0 0 25 0 1 0 903026206 13406208 2438 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3273 2438 1111 63 0 3210 0
vsize: 13092
[startup+110.003 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2586 0 0 0 10979 19 0 0 25 0 1 0 903026206 13676544 2504 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3339 2504 1111 63 0 3276 0
vsize: 13356
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2732 0 0 0 11978 21 0 0 25 0 1 0 903026206 14348288 2650 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3503 2650 1111 63 0 3440 0
vsize: 14012
[startup+130.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2823 0 0 0 12977 22 0 0 25 0 1 0 903026206 14737408 2741 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3598 2741 1111 63 0 3535 0
vsize: 14392
[startup+140.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2873 0 0 0 13976 23 0 0 25 0 1 0 903026206 14856192 2791 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3627 2791 1111 63 0 3564 0
vsize: 14508
[startup+150.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 2941 0 0 0 14974 25 0 0 25 0 1 0 903026206 15126528 2859 4294967295 134512640 134716908 3221224560 3221223216 134536678 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3693 2859 1111 63 0 3630 0
vsize: 14772
[startup+160.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3051 0 0 0 15973 26 0 0 25 0 1 0 903026206 15622144 2969 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2969 1111 63 0 3751 0
vsize: 15256
[startup+170.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3067 0 0 0 16973 27 0 0 25 0 1 0 903026206 15622144 2985 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3814 2985 1111 63 0 3751 0
vsize: 15256
[startup+180.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3118 0 0 0 17971 29 0 0 25 0 1 0 903026206 15888384 3036 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3036 1111 63 0 3816 0
vsize: 15516
[startup+190.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3133 0 0 0 18971 29 0 0 25 0 1 0 903026206 15888384 3051 4294967295 134512640 134716908 3221224560 3221223280 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3879 3051 1111 63 0 3816 0
vsize: 15516
[startup+200.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3190 0 0 0 19970 30 0 0 25 0 1 0 903026206 16146432 3108 4294967295 134512640 134716908 3221224560 3221223116 134535637 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3942 3108 1111 63 0 3879 0
vsize: 15768
[startup+210.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3283 0 0 0 20969 31 0 0 25 0 1 0 903026206 16551936 3201 4294967295 134512640 134716908 3221224560 3221223296 134535853 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4041 3201 1111 63 0 3978 0
vsize: 16164
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3358 0 0 0 21968 33 0 0 25 0 1 0 903026206 16822272 3276 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4107 3276 1111 63 0 4044 0
vsize: 16428
[startup+230.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3404 0 0 0 22966 34 0 0 25 0 1 0 903026206 17092608 3322 4294967295 134512640 134716908 3221224560 3221223152 134549651 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4173 3322 1111 63 0 4110 0
vsize: 16692
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3518 0 0 0 23965 35 0 0 25 0 1 0 903026206 17498112 3436 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3436 1111 63 0 4209 0
vsize: 17088
[startup+250.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3518 0 0 0 24965 36 0 0 25 0 1 0 903026206 17498112 3436 4294967295 134512640 134716908 3221224560 3221223180 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4272 3436 1111 63 0 4209 0
vsize: 17088
[startup+260.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3606 0 0 0 25964 37 0 0 25 0 1 0 903026206 17903616 3524 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4371 3524 1111 63 0 4308 0
vsize: 17484
[startup+270.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3653 0 0 0 26963 38 0 0 25 0 1 0 903026206 18038784 3571 4294967295 134512640 134716908 3221224560 3221223496 134600369 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4404 3571 1111 63 0 4341 0
vsize: 17616
[startup+280.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3677 0 0 0 27962 39 0 0 25 0 1 0 903026206 18173952 3595 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3595 1111 63 0 4374 0
vsize: 17748
[startup+290.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3690 0 0 0 28961 40 0 0 25 0 1 0 903026206 18173952 3608 4294967295 134512640 134716908 3221224560 3221223200 134542347 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4437 3608 1111 63 0 4374 0
vsize: 17748
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3720 0 0 0 29961 41 0 0 25 0 1 0 903026206 18309120 3638 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3638 1111 63 0 4407 0
vsize: 17880
[startup+310.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3720 0 0 0 30960 42 0 0 25 0 1 0 903026206 18309120 3638 4294967295 134512640 134716908 3221224560 3221223344 134528816 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4470 3638 1111 63 0 4407 0
vsize: 17880
[startup+320.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3728 0 0 0 31960 43 0 0 25 0 1 0 903026206 18444288 3646 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3646 1111 63 0 4440 0
vsize: 18012
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3758 0 0 0 32959 43 0 0 25 0 1 0 903026206 18444288 3676 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4503 3676 1111 63 0 4440 0
vsize: 18012
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3775 0 0 0 33958 44 0 0 25 0 1 0 903026206 18575360 3693 4294967295 134512640 134716908 3221224560 3221223100 134699436 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3693 1111 63 0 4472 0
vsize: 18140
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3778 0 0 0 34958 45 0 0 25 0 1 0 903026206 18575360 3696 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4535 3696 1111 63 0 4472 0
vsize: 18140
[startup+360.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3832 0 0 0 35957 46 0 0 25 0 1 0 903026206 18825216 3750 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3750 1111 63 0 4533 0
vsize: 18384
[startup+370.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3837 0 0 0 36956 47 0 0 25 0 1 0 903026206 18825216 3755 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3755 1111 63 0 4533 0
vsize: 18384
[startup+380.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3848 0 0 0 37956 47 0 0 25 0 1 0 903026206 18825216 3766 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4596 3766 1111 63 0 4533 0
vsize: 18384
[startup+390.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3855 0 0 0 38955 48 0 0 25 0 1 0 903026206 18960384 3773 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4629 3773 1111 63 0 4566 0
vsize: 18516
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3893 0 0 0 39954 49 0 0 25 0 1 0 903026206 19095552 3811 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3893 0 0 0 40954 50 0 0 25 0 1 0 903026206 19095552 3811 4294967295 134512640 134716908 3221224560 3221223100 134613972 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3893 0 0 0 41953 51 0 0 25 0 1 0 903026206 19095552 3811 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+430.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3893 0 0 0 42952 52 0 0 25 0 1 0 903026206 19095552 3811 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+440.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3893 0 0 0 43951 53 0 0 25 0 1 0 903026206 19095552 3811 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3811 1111 63 0 4599 0
vsize: 18648
[startup+450.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3903 0 0 0 44950 54 0 0 25 0 1 0 903026206 19095552 3821 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3821 1111 63 0 4599 0
vsize: 18648
[startup+460.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3903 0 0 0 45950 55 0 0 25 0 1 0 903026206 19095552 3821 4294967295 134512640 134716908 3221224560 3221223216 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3821 1111 63 0 4599 0
vsize: 18648
[startup+470.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3903 0 0 0 46949 56 0 0 25 0 1 0 903026206 19095552 3821 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3821 1111 63 0 4599 0
vsize: 18648
[startup+480.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3914 0 0 0 47948 57 0 0 25 0 1 0 903026206 19095552 3832 4294967295 134512640 134716908 3221224560 3221223188 134698582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3832 1111 63 0 4599 0
vsize: 18648
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3916 0 0 0 48947 58 0 0 25 0 1 0 903026206 19095552 3834 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4662 3834 1111 63 0 4599 0
vsize: 18648
[startup+500.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3927 0 0 0 49946 60 0 0 25 0 1 0 903026206 19230720 3845 4294967295 134512640 134716908 3221224560 3221223144 134549705 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3845 1111 63 0 4632 0
vsize: 18780
[startup+510.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3951 0 0 0 50945 60 0 0 25 0 1 0 903026206 19230720 3869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3951 0 0 0 51945 61 0 0 25 0 1 0 903026206 19230720 3869 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+530.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3951 0 0 0 52944 62 0 0 25 0 1 0 903026206 19230720 3869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+540.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3951 0 0 0 53943 63 0 0 25 0 1 0 903026206 19230720 3869 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+550.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3951 0 0 0 54942 64 0 0 25 0 1 0 903026206 19230720 3869 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4695 3869 1111 63 0 4632 0
vsize: 18780
[startup+560.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 3978 0 0 0 55941 65 0 0 25 0 1 0 903026206 19365888 3896 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4728 3896 1111 63 0 4665 0
vsize: 18912
[startup+570.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4013 0 0 0 56941 66 0 0 25 0 1 0 903026206 19501056 3931 4294967295 134512640 134716908 3221224560 3221223056 134535333 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4761 3931 1111 63 0 4698 0
vsize: 19044
[startup+580.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4038 0 0 0 57939 68 0 0 25 0 1 0 903026206 19636224 3956 4294967295 134512640 134716908 3221224560 3221223248 134523193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4794 3956 1111 63 0 4731 0
vsize: 19176
[startup+590.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4103 0 0 0 58938 69 0 0 25 0 1 0 903026206 19881984 4021 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4854 4021 1111 63 0 4791 0
vsize: 19416
[startup+600.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4145 0 0 0 59937 71 0 0 25 0 1 0 903026206 20152320 4063 4294967295 134512640 134716908 3221224560 3221223212 134536754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4920 4063 1111 63 0 4857 0
vsize: 19680
[startup+610.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 60936 72 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+620.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 61935 73 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223264 134524402 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+630.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 62935 74 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223272 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+640.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 63934 75 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+650.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 64934 75 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223200 134698465 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 65933 76 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 66932 78 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 67931 78 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223112 134699132 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+690.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 68930 79 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223132 134613982 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 69930 80 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223176 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+710.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 70929 81 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+720.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 71928 82 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223200 134698471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+730.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 72928 83 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223152 134549541 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+740.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 73927 84 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223128 1077378406 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+750.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 74927 84 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+760.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 75926 85 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+770.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 76925 86 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 77925 86 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223192 134698702 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+790.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 78925 87 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223264 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+800.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 79924 88 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+810.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4169 0 0 0 80923 89 0 0 25 0 1 0 903026206 20123648 4087 4294967295 134512640 134716908 3221224560 3221223200 134542325 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4913 4087 1111 63 0 4850 0
vsize: 19652
[startup+820.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4173 0 0 0 81923 90 0 0 25 0 1 0 903026206 20258816 4091 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4946 4091 1111 63 0 4883 0
vsize: 19784
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4176 0 0 0 82922 90 0 0 25 0 1 0 903026206 20254720 4094 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4094 1111 63 0 4882 0
vsize: 19780
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4176 0 0 0 83922 91 0 0 25 0 1 0 903026206 20254720 4094 4294967295 134512640 134716908 3221224560 3221223168 134549463 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4094 1111 63 0 4882 0
vsize: 19780
[startup+850.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4188 0 0 0 84921 92 0 0 25 0 1 0 903026206 20254720 4106 4294967295 134512640 134716908 3221224560 3221223116 134539334 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4945 4106 1111 63 0 4882 0
vsize: 19780
[startup+860.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4227 0 0 0 85921 92 0 0 25 0 1 0 903026206 20389888 4145 4294967295 134512640 134716908 3221224560 3221223120 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4978 4145 1111 63 0 4915 0
vsize: 19912
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4291 0 0 0 86920 93 0 0 25 0 1 0 903026206 20652032 4209 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5042 4209 1111 63 0 4979 0
vsize: 20168
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 87919 95 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223128 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 88918 96 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+900.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 89917 97 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223224 134613417 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+910.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 90916 97 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+920.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 91916 98 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223248 134542851 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+930.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 92915 99 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223328 134592137 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 93915 100 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+950.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 94914 101 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223200 134539419 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+960.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 95914 101 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4320 0 0 0 96913 102 0 0 25 0 1 0 903026206 20787200 4238 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4238 1111 63 0 5012 0
vsize: 20300
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4321 0 0 0 97912 103 0 0 25 0 1 0 903026206 20787200 4239 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4239 1111 63 0 5012 0
vsize: 20300
[startup+990.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4327 0 0 0 98911 104 0 0 25 0 1 0 903026206 20787200 4245 4294967295 134512640 134716908 3221224560 3221223184 134698377 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4327 0 0 0 99911 105 0 0 25 0 1 0 903026206 20787200 4245 4294967295 134512640 134716908 3221224560 3221223116 134535903 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4327 0 0 0 100910 106 0 0 25 0 1 0 903026206 20787200 4245 4294967295 134512640 134716908 3221224560 3221223220 134613627 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4327 0 0 0 101909 107 0 0 25 0 1 0 903026206 20787200 4245 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5075 4245 1111 63 0 5012 0
vsize: 20300
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4333 0 0 0 102909 107 0 0 25 0 1 0 903026206 20910080 4251 4294967295 134512640 134716908 3221224560 3221223296 134558529 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4333 0 0 0 103908 108 0 0 25 0 1 0 903026206 20910080 4251 4294967295 134512640 134716908 3221224560 3221223424 134598196 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4333 0 0 0 104908 109 0 0 25 0 1 0 903026206 20910080 4251 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4251 1111 63 0 5042 0
vsize: 20420
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4342 0 0 0 105907 110 0 0 25 0 1 0 903026206 20910080 4260 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4260 1111 63 0 5042 0
vsize: 20420
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4342 0 0 0 106906 111 0 0 25 0 1 0 903026206 20910080 4260 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4260 1111 63 0 5042 0
vsize: 20420
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4354 0 0 0 107906 112 0 0 25 0 1 0 903026206 20910080 4272 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4272 1111 63 0 5042 0
vsize: 20420
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4360 0 0 0 108904 113 0 0 25 0 1 0 903026206 20910080 4278 4294967295 134512640 134716908 3221224560 3221223296 134535725 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4278 1111 63 0 5042 0
vsize: 20420
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4360 0 0 0 109904 114 0 0 25 0 1 0 903026206 20910080 4278 4294967295 134512640 134716908 3221224560 3221223280 134535762 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5105 4278 1111 63 0 5042 0
vsize: 20420
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4379 0 0 0 110903 115 0 0 25 0 1 0 903026206 21032960 4297 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5135 4297 1111 63 0 5072 0
vsize: 20540
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4432 0 0 0 111902 116 0 0 25 0 1 0 903026206 21303296 4350 4294967295 134512640 134716908 3221224560 3221223192 134536665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5201 4350 1111 63 0 5138 0
vsize: 20804
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4459 0 0 0 112901 117 0 0 25 0 1 0 903026206 21438464 4377 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5234 4377 1111 63 0 5171 0
vsize: 20936
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4487 0 0 0 113899 119 0 0 25 0 1 0 903026206 21438464 4405 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5234 4405 1111 63 0 5171 0
vsize: 20936
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4504 0 0 0 114899 119 0 0 25 0 1 0 903026206 21569536 4422 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4504 0 0 0 115898 120 0 0 25 0 1 0 903026206 21569536 4422 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4504 0 0 0 116898 121 0 0 25 0 1 0 903026206 21569536 4422 4294967295 134512640 134716908 3221224560 3221223264 1076648070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 21064
[startup+1174.87 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 1917
Raw data (stat): 1917 (bsolo_lpr_cuts-) R 1916 21152 21151 0 -1 0 4504 0 0 0 116898 121 0 0 25 0 1 0 903026206 21569536 4422 4294967295 134512640 134716908 3221224560 3221223264 1076648070 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5266 4422 1111 63 0 5203 0
vsize: 0

Child status: 0
Real time (s): 1174.87
CPU time (s): 1175.03
CPU user time (s): 1173.8
CPU system time (s): 1.22881
CPU usage (%): 100.014
Max. virtual memory (Kb): 21064
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####