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-fpga14_12_sat_pb.cnf.cr.opb
MD5SUM	a8b77e93664627ad0410220dcaf11219
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	15
Number of bits of the biggest sum of numbers	4
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.05899
Number of variables	252
Total number of constraints	206
Number of constraints which are clauses	180
Number of constraints which are cardinality constraints (but not clauses)	26
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	7
Maximum length of a constraint	14
Trace number 40582

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc3 THE 2005-06-08 15:42:37 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28648 boxname=wulflinc3 idbench=34 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  a8b77e93664627ad0410220dcaf11219  /oldhome/oroussel/tmp/wulflinc3/normalized-fpga14_12_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc3/normalized-fpga14_12_sat_pb.cnf.cr.opb
IDLAUNCH: 28648
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.190
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.190
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:        760664 kB
Buffers:         12456 kB
Cached:         241736 kB
SwapCached:        808 kB
Active:          32576 kB
Inactive:       223700 kB
HighTotal:      131008 kB
HighFree:         4564 kB
LowTotal:       903652 kB
LowFree:        756100 kB
SwapTotal:     2097136 kB
SwapFree:      2095332 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5012 kB
Slab:            12020 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:02:12 (client local time) WITH STATUS 0 IN 1175.12 SECONDS
stats: 28648 7 1175.12 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 252 variables and 206 constraints.
c After prepocess the problem consists of 252 variables and 206 constraints.
c preprocess terminated 0.135 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.93 2/54 27065
Raw data (stat): 27065 (runsolver) R 27064 20224 20223 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902792060 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.0011 s]
Raw data (loadavg): 0.93 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 3032 0 0 0 987 10 0 0 25 0 1 0 902792060 15478784 2950 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3779 2950 1111 63 0 3716 0
vsize: 15116
[startup+20.0023 s]
Raw data (loadavg): 0.94 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 4962 0 0 0 1980 17 0 0 25 0 1 0 902792060 23453696 4880 4294967295 134512640 134716908 3221224560 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5726 4880 1111 63 0 5663 0
vsize: 22904
[startup+30.0024 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 6114 0 0 0 2975 23 0 0 25 0 1 0 902792060 28188672 6032 4294967295 134512640 134716908 3221224560 3221223272 134542829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6882 6032 1111 63 0 6819 0
vsize: 27528
[startup+40.0027 s]
Raw data (loadavg): 0.95 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 7287 0 0 0 3970 28 0 0 25 0 1 0 902792060 32935936 7205 4294967295 134512640 134716908 3221224560 3221223296 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8041 7205 1111 63 0 7978 0
vsize: 32164
[startup+50.0028 s]
Raw data (loadavg): 0.96 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 8178 0 0 0 4965 32 0 0 25 0 1 0 902792060 36593664 8095 4294967295 134512640 134716908 3221224560 3221223192 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8934 8095 1111 63 0 8871 0
vsize: 35736
[startup+60.0036 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 8949 0 0 0 5963 35 0 0 25 0 1 0 902792060 39858176 8866 4294967295 134512640 134716908 3221224560 3221223072 134535317 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9731 8866 1111 63 0 9668 0
vsize: 38924
[startup+70.0042 s]
Raw data (loadavg): 0.97 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 9788 0 0 0 6960 38 0 0 25 0 1 0 902792060 43245568 9705 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10558 9705 1111 63 0 10495 0
vsize: 42232
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 11064 0 0 0 7956 42 0 0 25 0 1 0 902792060 48517120 10981 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11845 10981 1111 63 0 11782 0
vsize: 47380
[startup+90.0054 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 12395 0 0 0 8952 46 0 0 25 0 1 0 902792060 53923840 12312 4294967295 134512640 134716908 3221224560 3221223216 134543712 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13165 12312 1111 63 0 13102 0
vsize: 52660
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 13613 0 0 0 9947 52 0 0 25 0 1 0 902792060 58929152 13528 4294967295 134512640 134716908 3221224560 3221223324 134552684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14420 13528 1111 63 0 14357 0
vsize: 57548
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 15131 0 0 0 10942 57 0 0 25 0 1 0 902792060 65282048 15046 4294967295 134512640 134716908 3221224560 3221223140 134549799 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15938 15046 1111 63 0 15875 0
vsize: 63752
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 16458 0 0 0 11939 60 0 0 25 0 1 0 902792060 70696960 16371 4294967295 134512640 134716908 3221224560 3221223244 134536746 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17260 16371 1111 63 0 17197 0
vsize: 69040
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 17219 0 0 0 12936 64 0 0 25 0 1 0 902792060 73805824 17131 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18019 17131 1111 63 0 17956 0
vsize: 72076
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 17795 0 0 0 13933 66 0 0 25 0 1 0 902792060 76247040 17706 4294967295 134512640 134716908 3221224560 3221223120 134698907 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18615 17706 1111 63 0 18552 0
vsize: 74460
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 18311 0 0 0 14932 68 0 0 25 0 1 0 902792060 78413824 18217 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19144 18217 1111 63 0 19081 0
vsize: 76576
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 19005 0 0 0 15930 70 0 0 25 0 1 0 902792060 81264640 18911 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19840 18911 1111 63 0 19777 0
vsize: 79360
[startup+170.01 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 19402 0 0 0 16928 72 0 0 25 0 1 0 902792060 82927616 19304 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20246 19304 1111 63 0 20183 0
vsize: 80984
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 19777 0 0 0 17927 74 0 0 25 0 1 0 902792060 84578304 19676 4294967295 134512640 134716908 3221224560 3221223288 134536889 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20649 19676 1111 63 0 20586 0
vsize: 82596
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 20106 0 0 0 18926 75 0 0 25 0 1 0 902792060 85966848 20000 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20988 20000 1111 63 0 20925 0
vsize: 83952
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 20376 0 0 0 19924 76 0 0 25 0 1 0 902792060 87056384 20267 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21254 20267 1111 63 0 21191 0
vsize: 85016
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 20819 0 0 0 20922 79 0 0 25 0 1 0 902792060 88813568 20709 4294967295 134512640 134716908 3221224560 3221223124 134535880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21683 20709 1111 63 0 21620 0
vsize: 86732
[startup+220.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 21145 0 0 0 21920 81 0 0 25 0 1 0 902792060 90173440 21035 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22015 21035 1111 63 0 21952 0
vsize: 88060
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 21462 0 0 0 22919 83 0 0 25 0 1 0 902792060 91430912 21350 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22322 21350 1111 63 0 22259 0
vsize: 89288
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 21745 0 0 0 23918 84 0 0 25 0 1 0 902792060 92647424 21633 4294967295 134512640 134716908 3221224560 3221223328 134529152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22619 21633 1111 63 0 22556 0
vsize: 90476
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 23271 0 0 0 24913 89 0 0 25 0 1 0 902792060 98869248 23159 4294967295 134512640 134716908 3221224560 3221223140 134549797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24138 23159 1111 63 0 24075 0
vsize: 96552
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 24625 0 0 0 25907 95 0 0 25 0 1 0 902792060 104415232 24513 4294967295 134512640 134716908 3221224560 3221223200 134539374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25492 24513 1111 63 0 25429 0
vsize: 101968
[startup+270.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 25429 0 0 0 26905 98 0 0 25 0 1 0 902792060 107794432 25316 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26317 25316 1111 63 0 26254 0
vsize: 105268
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 25998 0 0 0 27903 99 0 0 25 0 1 0 902792060 110125056 25883 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26886 25883 1111 63 0 26823 0
vsize: 107544
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 26332 0 0 0 28902 101 0 0 25 0 1 0 902792060 111501312 26217 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27222 26217 1111 63 0 27159 0
vsize: 108888
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 26649 0 0 0 29901 102 0 0 25 0 1 0 902792060 112852992 26534 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27552 26534 1111 63 0 27489 0
vsize: 110208
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 26944 0 0 0 30900 103 0 0 25 0 1 0 902792060 114016256 26828 4294967295 134512640 134716908 3221224560 3221223240 134552642 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27836 26828 1111 63 0 27773 0
vsize: 111344
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 27195 0 0 0 31899 105 0 0 25 0 1 0 902792060 115171328 27075 4294967295 134512640 134716908 3221224560 3221223248 134523374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28118 27075 1111 63 0 28055 0
vsize: 112472
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 27416 0 0 0 32899 105 0 0 25 0 1 0 902792060 115982336 27296 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28316 27296 1111 63 0 28253 0
vsize: 113264
[startup+340.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 27673 0 0 0 33898 106 0 0 25 0 1 0 902792060 116932608 27552 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28548 27552 1111 63 0 28485 0
vsize: 114192
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 27891 0 0 0 34897 107 0 0 25 0 1 0 902792060 117878784 27770 4294967295 134512640 134716908 3221224560 3221223072 134535029 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28779 27770 1111 63 0 28716 0
vsize: 115116
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 28082 0 0 0 35897 108 0 0 25 0 1 0 902792060 118554624 27961 4294967295 134512640 134716908 3221224560 3221223120 134698876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28944 27961 1111 63 0 28881 0
vsize: 115776
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 28269 0 0 0 36896 109 0 0 25 0 1 0 902792060 119267328 28148 4294967295 134512640 134716908 3221224560 3221223128 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29118 28148 1111 63 0 29055 0
vsize: 116472
[startup+380.02 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 28481 0 0 0 37895 110 0 0 25 0 1 0 902792060 120131584 28360 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29329 28360 1111 63 0 29266 0
vsize: 117316
[startup+390.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 28670 0 0 0 38894 111 0 0 25 0 1 0 902792060 120942592 28549 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29527 28549 1111 63 0 29464 0
vsize: 118108
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 28878 0 0 0 39894 112 0 0 25 0 1 0 902792060 121835520 28756 4294967295 134512640 134716908 3221224560 3221223188 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29745 28756 1111 63 0 29682 0
vsize: 118980
[startup+410.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 29069 0 0 0 40893 113 0 0 25 0 1 0 902792060 122658816 28947 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29946 28947 1111 63 0 29883 0
vsize: 119784
[startup+420.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 29273 0 0 0 41892 114 0 0 25 0 1 0 902792060 123535360 29149 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30160 29149 1111 63 0 30097 0
vsize: 120640
[startup+430.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 29475 0 0 0 42891 115 0 0 25 0 1 0 902792060 124350464 29351 4294967295 134512640 134716908 3221224560 3221223264 134528656 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30359 29351 1111 63 0 30296 0
vsize: 121436
[startup+440.023 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 29693 0 0 0 43890 116 0 0 25 0 1 0 902792060 125161472 29569 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30557 29569 1111 63 0 30494 0
vsize: 122228
[startup+450.025 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 30003 0 0 0 44890 117 0 0 25 0 1 0 902792060 126509056 29879 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30886 29879 1111 63 0 30823 0
vsize: 123544
[startup+460.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 30188 0 0 0 45889 118 0 0 25 0 1 0 902792060 127242240 30063 4294967295 134512640 134716908 3221224560 3221223344 134529184 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31065 30063 1111 63 0 31002 0
vsize: 124260
[startup+470.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 30380 0 0 0 46889 118 0 0 25 0 1 0 902792060 128053248 30255 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31263 30255 1111 63 0 31200 0
vsize: 125052
[startup+480.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 30559 0 0 0 47888 119 0 0 25 0 1 0 902792060 128729088 30434 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31428 30434 1111 63 0 31365 0
vsize: 125712
[startup+490.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 30851 0 0 0 48887 120 0 0 25 0 1 0 902792060 129945600 30726 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31725 30726 1111 63 0 31662 0
vsize: 126900
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31029 0 0 0 49887 121 0 0 25 0 1 0 902792060 130793472 30902 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31932 30902 1111 63 0 31869 0
vsize: 127728
[startup+510.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31216 0 0 0 50886 121 0 0 25 0 1 0 902792060 131477504 31088 4294967295 134512640 134716908 3221224560 3221223164 134549858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32099 31088 1111 63 0 32036 0
vsize: 128396
[startup+520.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31382 0 0 0 51886 122 0 0 25 0 1 0 902792060 132153344 31254 4294967295 134512640 134716908 3221224560 3221223200 134536650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32264 31254 1111 63 0 32201 0
vsize: 129056
[startup+530.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31559 0 0 0 52886 122 0 0 25 0 1 0 902792060 132964352 31431 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32462 31431 1111 63 0 32399 0
vsize: 129848
[startup+540.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31771 0 0 0 53885 123 0 0 25 0 1 0 902792060 133775360 31643 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32660 31643 1111 63 0 32597 0
vsize: 130640
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 31964 0 0 0 54885 124 0 0 25 0 1 0 902792060 134594560 31833 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32860 31833 1111 63 0 32797 0
vsize: 131440
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 32179 0 0 0 55884 125 0 0 25 0 1 0 902792060 135450624 32048 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33069 32048 1111 63 0 33006 0
vsize: 132276
[startup+570.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 32405 0 0 0 56883 126 0 0 25 0 1 0 902792060 136556544 32267 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33339 32267 1111 63 0 33276 0
vsize: 133356
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 32592 0 0 0 57882 127 0 0 25 0 1 0 902792060 137420800 32454 4294967295 134512640 134716908 3221224560 3221223264 134528671 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33550 32454 1111 63 0 33487 0
vsize: 134200
[startup+590.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 32826 0 0 0 58882 127 0 0 25 0 1 0 902792060 138436608 32686 4294967295 134512640 134716908 3221224560 3221223264 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33798 32686 1111 63 0 33735 0
vsize: 135192
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 33053 0 0 0 59880 129 0 0 25 0 1 0 902792060 139448320 32913 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34045 32913 1111 63 0 33982 0
vsize: 136180
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 33324 0 0 0 60879 130 0 0 25 0 1 0 902792060 140722176 33184 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34356 33184 1111 63 0 34293 0
vsize: 137424
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 33506 0 0 0 61879 131 0 0 25 0 1 0 902792060 141398016 33366 4294967295 134512640 134716908 3221224560 3221223200 134698437 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34521 33366 1111 63 0 34458 0
vsize: 138084
[startup+630.03 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 33718 0 0 0 62878 132 0 0 25 0 1 0 902792060 142209024 33578 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34719 33578 1111 63 0 34656 0
vsize: 138876
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 34009 0 0 0 63877 133 0 0 25 0 1 0 902792060 143425536 33869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35016 33869 1111 63 0 34953 0
vsize: 140064
[startup+650.031 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 34297 0 0 0 64876 134 0 0 25 0 1 0 902792060 144809984 34152 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35354 34152 1111 63 0 35291 0
vsize: 141416
[startup+660.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 34557 0 0 0 65875 135 0 0 25 0 1 0 902792060 146014208 34412 4294967295 134512640 134716908 3221224560 3221223264 134528738 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35648 34412 1111 63 0 35585 0
vsize: 142592
[startup+670.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 34709 0 0 0 66875 136 0 0 25 0 1 0 902792060 146567168 34564 4294967295 134512640 134716908 3221224560 3221223252 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35783 34564 1111 63 0 35720 0
vsize: 143132
[startup+680.032 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 34896 0 0 0 67874 137 0 0 25 0 1 0 902792060 147378176 34751 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35981 34751 1111 63 0 35918 0
vsize: 143924
[startup+690.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 35079 0 0 0 68873 138 0 0 25 0 1 0 902792060 148054016 34934 4294967295 134512640 134716908 3221224560 3221223240 134552638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36146 34934 1111 63 0 36083 0
vsize: 144584
[startup+700.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 35287 0 0 0 69872 139 0 0 25 0 1 0 902792060 148865024 35142 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36344 35142 1111 63 0 36281 0
vsize: 145376
[startup+710.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 35489 0 0 0 70871 141 0 0 25 0 1 0 902792060 149811200 35343 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36575 35343 1111 63 0 36512 0
vsize: 146300
[startup+720.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 35658 0 0 0 71871 141 0 0 25 0 1 0 902792060 150487040 35512 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36740 35512 1111 63 0 36677 0
vsize: 146960
[startup+730.033 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 35811 0 0 0 72870 142 0 0 25 0 1 0 902792060 151162880 35665 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36905 35665 1111 63 0 36842 0
vsize: 147620
[startup+740.034 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36017 0 0 0 73870 142 0 0 25 0 1 0 902792060 151973888 35871 4294967295 134512640 134716908 3221224560 3221223152 134549754 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37103 35871 1111 63 0 37040 0
vsize: 148412
[startup+750.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36196 0 0 0 74869 143 0 0 25 0 1 0 902792060 152649728 36050 4294967295 134512640 134716908 3221224560 3221223212 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37268 36050 1111 63 0 37205 0
vsize: 149072
[startup+760.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36380 0 0 0 75868 144 0 0 25 0 1 0 902792060 153497600 36233 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37475 36233 1111 63 0 37412 0
vsize: 149900
[startup+770.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36548 0 0 0 76867 145 0 0 25 0 1 0 902792060 154173440 36401 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37640 36401 1111 63 0 37577 0
vsize: 150560
[startup+780.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36724 0 0 0 77866 146 0 0 25 0 1 0 902792060 154849280 36577 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37805 36577 1111 63 0 37742 0
vsize: 151220
[startup+790.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 36915 0 0 0 78866 148 0 0 25 0 1 0 902792060 155525120 36768 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37970 36768 1111 63 0 37907 0
vsize: 151880
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 37113 0 0 0 79865 149 0 0 25 0 1 0 902792060 156336128 36966 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38168 36966 1111 63 0 38105 0
vsize: 152672
[startup+810.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 37285 0 0 0 80864 149 0 0 25 0 1 0 902792060 157188096 37135 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38376 37135 1111 63 0 38313 0
vsize: 153504
[startup+820.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 37460 0 0 0 81863 151 0 0 25 0 1 0 902792060 157863936 37310 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38541 37310 1111 63 0 38478 0
vsize: 154164
[startup+830.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 37659 0 0 0 82862 152 0 0 25 0 1 0 902792060 158674944 37509 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38739 37509 1111 63 0 38676 0
vsize: 154956
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 37896 0 0 0 83862 152 0 0 25 0 1 0 902792060 159657984 37745 4294967295 134512640 134716908 3221224560 3221223332 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38979 37745 1111 63 0 38916 0
vsize: 155916
[startup+850.037 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 38095 0 0 0 84861 153 0 0 25 0 1 0 902792060 160468992 37944 4294967295 134512640 134716908 3221224560 3221223240 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39177 37944 1111 63 0 39114 0
vsize: 156708
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 38299 0 0 0 85861 154 0 0 25 0 1 0 902792060 161280000 38148 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39375 38148 1111 63 0 39312 0
vsize: 157500
[startup+870.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 38497 0 0 0 86860 154 0 0 25 0 1 0 902792060 162091008 38346 4294967295 134512640 134716908 3221224560 3221223200 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39573 38346 1111 63 0 39510 0
vsize: 158292
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 38721 0 0 0 87860 155 0 0 25 0 1 0 902792060 162938880 38568 4294967295 134512640 134716908 3221224560 3221223152 134549680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39780 38568 1111 63 0 39717 0
vsize: 159120
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 38940 0 0 0 88859 156 0 0 25 0 1 0 902792060 163885056 38787 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40011 38787 1111 63 0 39948 0
vsize: 160044
[startup+900.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 39183 0 0 0 89858 158 0 0 25 0 1 0 902792060 164831232 39030 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40242 39030 1111 63 0 40179 0
vsize: 160968
[startup+910.039 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 39376 0 0 0 90857 159 0 0 25 0 1 0 902792060 165642240 39223 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40440 39223 1111 63 0 40377 0
vsize: 161760
[startup+920.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 39635 0 0 0 91855 160 0 0 25 0 1 0 902792060 166723584 39482 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40704 39482 1111 63 0 40641 0
vsize: 162816
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 39898 0 0 0 92854 161 0 0 25 0 1 0 902792060 167669760 39745 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40935 39745 1111 63 0 40872 0
vsize: 163740
[startup+940.041 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 40134 0 0 0 93854 162 0 0 25 0 1 0 902792060 168615936 39981 4294967295 134512640 134716908 3221224560 3221223276 134552672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41166 39981 1111 63 0 41103 0
vsize: 164664
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 40396 0 0 0 94853 164 0 0 25 0 1 0 902792060 169697280 40243 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41430 40243 1111 63 0 41367 0
vsize: 165720
[startup+960.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 40632 0 0 0 95852 164 0 0 25 0 1 0 902792060 170643456 40479 4294967295 134512640 134716908 3221224560 3221223324 134552579 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41661 40479 1111 63 0 41598 0
vsize: 166644
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 40804 0 0 0 96852 165 0 0 25 0 1 0 902792060 171319296 40651 4294967295 134512640 134716908 3221224560 3221223352 134531231 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41826 40651 1111 63 0 41763 0
vsize: 167304
[startup+980.044 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 40947 0 0 0 97851 166 0 0 25 0 1 0 902792060 171995136 40794 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41991 40794 1111 63 0 41928 0
vsize: 167964
[startup+990.045 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 41096 0 0 0 98851 167 0 0 25 0 1 0 902792060 172568576 40943 4294967295 134512640 134716908 3221224560 3221223212 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42131 40944 1111 63 0 42068 0
vsize: 168524
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 41264 0 0 0 99850 167 0 0 25 0 1 0 902792060 173248512 41111 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42297 41111 1111 63 0 42234 0
vsize: 169188
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 42322 0 0 0 100847 170 0 0 25 0 1 0 902792060 177573888 42169 4294967295 134512640 134716908 3221224560 3221223152 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43353 42169 1111 63 0 43290 0
vsize: 173412
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 43172 0 0 0 101844 174 0 0 25 0 1 0 902792060 181088256 43019 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44211 43019 1111 63 0 44148 0
vsize: 176844
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 43616 0 0 0 102843 175 0 0 25 0 1 0 902792060 182857728 43462 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44643 43462 1111 63 0 44580 0
vsize: 178572
[startup+1040.05 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27065
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 44011 0 0 0 103841 177 0 0 25 0 1 0 902792060 184614912 43857 4294967295 134512640 134716908 3221224560 3221223216 134536600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45072 43857 1111 63 0 45009 0
vsize: 180288
[startup+1050.08 s]
Raw data (loadavg): 0.99 0.97 0.93 3/58 27108
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 44679 0 0 0 104841 181 0 0 25 0 1 0 902792060 187363328 44525 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45743 44525 1111 63 0 45680 0
vsize: 182972
[startup+1060.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 45084 0 0 0 105839 183 0 0 25 0 1 0 902792060 188985344 44930 4294967295 134512640 134716908 3221224560 3221223276 134551880 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46139 44930 1111 63 0 46076 0
vsize: 184556
[startup+1070.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 45482 0 0 0 106838 183 0 0 25 0 1 0 902792060 190611456 45328 4294967295 134512640 134716908 3221224560 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46536 45329 1111 63 0 46473 0
vsize: 186144
[startup+1080.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 45913 0 0 0 107837 185 0 0 25 0 1 0 902792060 192409600 45755 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46975 45755 1111 63 0 46912 0
vsize: 187900
[startup+1090.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 46374 0 0 0 108835 187 0 0 25 0 1 0 902792060 194301952 46216 4294967295 134512640 134716908 3221224560 3221223116 134535964 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47437 46216 1111 63 0 47374 0
vsize: 189748
[startup+1100.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 46833 0 0 0 109833 190 0 0 25 0 1 0 902792060 196198400 46670 4294967295 134512640 134716908 3221224560 3221223136 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47900 46670 1111 63 0 47837 0
vsize: 191600
[startup+1110.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27118
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 47216 0 0 0 110832 191 0 0 25 0 1 0 902792060 197836800 47053 4294967295 134512640 134716908 3221224560 3221223072 134535032 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48300 47053 1111 63 0 48237 0
vsize: 193200
[startup+1120.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 47519 0 0 0 111831 192 0 0 25 0 1 0 902792060 199053312 47356 4294967295 134512640 134716908 3221224560 3221223152 134549609 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48597 47356 1111 63 0 48534 0
vsize: 194388
[startup+1130.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 47775 0 0 0 112830 193 0 0 25 0 1 0 902792060 200134656 47612 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48861 47612 1111 63 0 48798 0
vsize: 195444
[startup+1140.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 48230 0 0 0 113829 194 0 0 25 0 1 0 902792060 201891840 48067 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49290 48067 1111 63 0 49227 0
vsize: 197160
[startup+1150.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 48726 0 0 0 114827 196 0 0 25 0 1 0 902792060 203919360 48563 4294967295 134512640 134716908 3221224560 3221223344 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49785 48563 1111 63 0 49722 0
vsize: 199140
[startup+1160.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 49170 0 0 0 115826 198 0 0 25 0 1 0 902792060 205811712 49007 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50247 49007 1111 63 0 50184 0
vsize: 200988
[startup+1170.08 s]
Raw data (loadavg): 0.99 0.97 0.93 2/54 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 49524 0 0 0 116825 199 0 0 25 0 1 0 902792060 207298560 49361 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50610 49361 1111 63 0 50547 0
vsize: 202440
[startup+1174.95 s]
Raw data (loadavg): 0.99 0.97 0.93 1/53 27120
Raw data (stat): 27065 (bsolo_lpr_cuts-) R 27064 20224 20223 0 -1 0 49524 0 0 0 116825 199 0 0 25 0 1 0 902792060 207298560 49361 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50610 49361 1111 63 0 50547 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.12
CPU user time (s): 1173.02
CPU system time (s): 2.09368
CPU usage (%): 100.014
Max. virtual memory (Kb): 202440
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####