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_13_sat_pb.cnf.cr.opb
MD5SUM	6c5be32f385b6b14a9d33e85ff7013ea
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.099984
Number of variables	273
Total number of constraints	222
Number of constraints which are clauses	195
Number of constraints which are cardinality constraints (but not clauses)	27
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 40583

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 15:43:51 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28649 boxname=wulflinc2 idbench=35 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  6c5be32f385b6b14a9d33e85ff7013ea  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga14_13_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga14_13_sat_pb.cnf.cr.opb
IDLAUNCH: 28649
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 888.83

processor	: 1
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.191
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 899.07

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        775192 kB
Buffers:         27620 kB
Cached:         209988 kB
SwapCached:       1344 kB
Active:          35744 kB
Inactive:       203836 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        774940 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14184 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:03:26 (client local time) WITH STATUS 0 IN 1175.11 SECONDS
stats: 28649 7 1175.11 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 273 variables and 222 constraints.
c After prepocess the problem consists of 273 variables and 222 constraints.
c preprocess terminated 0.158 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 11231
Raw data (stat): 11231 (runsolver) R 11230 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 902811707 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0009 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 3064 0 0 0 987 10 0 0 25 0 1 0 902811707 15630336 2982 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3816 2982 1111 63 0 3753 0
vsize: 15264
[startup+20.0011 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 4431 0 0 0 1983 15 0 0 25 0 1 0 902811707 21307392 4349 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5202 4349 1111 63 0 5139 0
vsize: 20808
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 5436 0 0 0 2977 21 0 0 25 0 1 0 902811707 25366528 5354 4294967295 134512640 134716908 3221224560 3221223344 134529088 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6193 5354 1111 63 0 6130 0
vsize: 24772
[startup+40.003 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 6596 0 0 0 3973 25 0 0 25 0 1 0 902811707 30093312 6514 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7347 6514 1111 63 0 7284 0
vsize: 29388
[startup+50.0032 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 7964 0 0 0 4968 30 0 0 25 0 1 0 902811707 35774464 7882 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8734 7882 1111 63 0 8671 0
vsize: 34936
[startup+60.0034 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 8951 0 0 0 5964 34 0 0 25 0 1 0 902811707 39849984 8869 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9729 8869 1111 63 0 9666 0
vsize: 38916
[startup+70.004 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 9653 0 0 0 6962 36 0 0 25 0 1 0 902811707 42692608 9571 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10423 9571 1111 63 0 10360 0
vsize: 41692
[startup+80.0043 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 10135 0 0 0 7960 38 0 0 25 0 1 0 902811707 44740608 10053 4294967295 134512640 134716908 3221224560 3221223180 134536852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10923 10053 1111 63 0 10860 0
vsize: 43692
[startup+90.0058 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 10606 0 0 0 8959 39 0 0 25 0 1 0 902811707 46661632 10524 4294967295 134512640 134716908 3221224560 3221223144 134549708 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11392 10524 1111 63 0 11329 0
vsize: 45568
[startup+100.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 11074 0 0 0 9957 42 0 0 25 0 1 0 902811707 48578560 10990 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11860 10990 1111 63 0 11797 0
vsize: 47440
[startup+110.006 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 11591 0 0 0 10954 45 0 0 25 0 1 0 902811707 50802688 11506 4294967295 134512640 134716908 3221224560 3221223212 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12403 11506 1111 63 0 12340 0
vsize: 49612
[startup+120.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 11954 0 0 0 11953 46 0 0 25 0 1 0 902811707 52334592 11867 4294967295 134512640 134716908 3221224560 3221223284 134529109 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12777 11867 1111 63 0 12714 0
vsize: 51108
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 12364 0 0 0 12951 48 0 0 25 0 1 0 902811707 53968896 12277 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13176 12277 1111 63 0 13113 0
vsize: 52704
[startup+140.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 12985 0 0 0 13948 51 0 0 25 0 1 0 902811707 56635392 12898 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13827 12898 1111 63 0 13764 0
vsize: 55308
[startup+150.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 13627 0 0 0 14945 55 0 0 25 0 1 0 902811707 59383808 13539 4294967295 134512640 134716908 3221224560 3221222636 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14498 13539 1111 63 0 14435 0
vsize: 57992
[startup+160.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 14602 0 0 0 15942 58 0 0 25 0 1 0 902811707 63471616 14514 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15496 14514 1111 63 0 15433 0
vsize: 61984
[startup+170.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 15432 0 0 0 16939 61 0 0 25 0 1 0 902811707 66879488 15344 4294967295 134512640 134716908 3221224560 3221223224 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16328 15344 1111 63 0 16265 0
vsize: 65312
[startup+180.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 16236 0 0 0 17936 64 0 0 25 0 1 0 902811707 70123520 16148 4294967295 134512640 134716908 3221224560 3221223320 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17120 16148 1111 63 0 17057 0
vsize: 68480
[startup+190.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 16953 0 0 0 18934 67 0 0 25 0 1 0 902811707 72962048 16865 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17813 16865 1111 63 0 17750 0
vsize: 71252
[startup+200.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 17661 0 0 0 19930 70 0 0 25 0 1 0 902811707 75935744 17573 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18539 17573 1111 63 0 18476 0
vsize: 74156
[startup+210.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 18191 0 0 0 20928 72 0 0 25 0 1 0 902811707 78098432 18103 4294967295 134512640 134716908 3221224560 3221223152 134549520 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19067 18103 1111 63 0 19004 0
vsize: 76268
[startup+220.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 18728 0 0 0 21924 76 0 0 25 0 1 0 902811707 80261120 18640 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19595 18640 1111 63 0 19532 0
vsize: 78380
[startup+230.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 19145 0 0 0 22921 79 0 0 25 0 1 0 902811707 82051072 19057 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20032 19057 1111 63 0 19969 0
vsize: 80128
[startup+240.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 19522 0 0 0 23919 81 0 0 25 0 1 0 902811707 83537920 19434 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20395 19434 1111 63 0 20332 0
vsize: 81580
[startup+250.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 19914 0 0 0 24918 83 0 0 25 0 1 0 902811707 85164032 19826 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20792 19826 1111 63 0 20729 0
vsize: 83168
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 20293 0 0 0 25916 85 0 0 25 0 1 0 902811707 86786048 20205 4294967295 134512640 134716908 3221224560 3221223180 134549859 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21188 20205 1111 63 0 21125 0
vsize: 84752
[startup+270.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 20630 0 0 0 26914 87 0 0 25 0 1 0 902811707 88174592 20542 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21527 20542 1111 63 0 21464 0
vsize: 86108
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 20988 0 0 0 27912 89 0 0 25 0 1 0 902811707 89686016 20900 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21896 20900 1111 63 0 21833 0
vsize: 87584
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 21323 0 0 0 28912 90 0 0 25 0 1 0 902811707 91037696 21235 4294967295 134512640 134716908 3221224560 3221223064 134613978 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22226 21235 1111 63 0 22163 0
vsize: 88904
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 21590 0 0 0 29910 92 0 0 25 0 1 0 902811707 92119040 21502 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22490 21502 1111 63 0 22427 0
vsize: 89960
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 21878 0 0 0 30909 93 0 0 25 0 1 0 902811707 93200384 21790 4294967295 134512640 134716908 3221224560 3221223320 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22754 21790 1111 63 0 22691 0
vsize: 91016
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 22226 0 0 0 31908 94 0 0 25 0 1 0 902811707 94687232 22138 4294967295 134512640 134716908 3221224560 3221223264 134528724 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23117 22138 1111 63 0 23054 0
vsize: 92468
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 23456 0 0 0 32903 99 0 0 25 0 1 0 902811707 99692544 23367 4294967295 134512640 134716908 3221224560 3221223152 134549668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24339 23367 1111 63 0 24276 0
vsize: 97356
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 24471 0 0 0 33900 102 0 0 25 0 1 0 902811707 103944192 24381 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25377 24381 1111 63 0 25314 0
vsize: 101508
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 25330 0 0 0 34898 105 0 0 25 0 1 0 902811707 107466752 25236 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26237 25236 1111 63 0 26174 0
vsize: 104948
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 25907 0 0 0 35896 107 0 0 25 0 1 0 902811707 109916160 25810 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26835 25810 1111 63 0 26772 0
vsize: 107340
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 26386 0 0 0 36894 108 0 0 25 0 1 0 902811707 112009216 26285 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27346 26285 1111 63 0 27283 0
vsize: 109384
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 26751 0 0 0 37893 110 0 0 25 0 1 0 902811707 113586176 26647 4294967295 134512640 134716908 3221224560 3221223116 134535664 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27731 26647 1111 63 0 27668 0
vsize: 110924
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 27070 0 0 0 38891 112 0 0 25 0 1 0 902811707 114937856 26966 4294967295 134512640 134716908 3221224560 3221223196 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28061 26966 1111 63 0 27998 0
vsize: 112244
[startup+400.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 27874 0 0 0 39889 115 0 0 25 0 1 0 902811707 118243328 27766 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 28868 27766 1111 63 0 28805 0
vsize: 115472
[startup+410.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 28661 0 0 0 40886 117 0 0 25 0 1 0 902811707 121487360 28553 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29660 28553 1111 63 0 29597 0
vsize: 118640
[startup+420.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 29301 0 0 0 41884 120 0 0 25 0 1 0 902811707 124059648 29191 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30288 29191 1111 63 0 30225 0
vsize: 121152
[startup+430.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 29665 0 0 0 42883 121 0 0 25 0 1 0 902811707 125595648 29554 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 30663 29554 1111 63 0 30600 0
vsize: 122652
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 30307 0 0 0 43881 123 0 0 25 0 1 0 902811707 128262144 30189 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31314 30189 1111 63 0 31251 0
vsize: 125256
[startup+450.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 30884 0 0 0 44878 126 0 0 25 0 1 0 902811707 130560000 30766 4294967295 134512640 134716908 3221224560 3221223284 134535789 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31875 30766 1111 63 0 31812 0
vsize: 127500
[startup+460.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 31330 0 0 0 45876 128 0 0 25 0 1 0 902811707 132317184 31212 4294967295 134512640 134716908 3221224560 3221223212 134536781 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32304 31212 1111 63 0 32241 0
vsize: 129216
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 31716 0 0 0 46875 130 0 0 25 0 1 0 902811707 133971968 31597 4294967295 134512640 134716908 3221224560 3221223344 134529243 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32708 31597 1111 63 0 32645 0
vsize: 130832
[startup+480.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 31993 0 0 0 47874 131 0 0 25 0 1 0 902811707 135094272 31869 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 32982 31869 1111 63 0 32919 0
vsize: 131928
[startup+490.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 32280 0 0 0 48872 133 0 0 25 0 1 0 902811707 136310784 32156 4294967295 134512640 134716908 3221224560 3221223320 134552642 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33279 32156 1111 63 0 33216 0
vsize: 133116
[startup+500.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 32588 0 0 0 49871 134 0 0 25 0 1 0 902811707 137564160 32463 4294967295 134512640 134716908 3221224560 3221223344 134529328 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33585 32463 1111 63 0 33522 0
vsize: 134340
[startup+510.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 32849 0 0 0 50870 135 0 0 25 0 1 0 902811707 138702848 32722 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 33863 32722 1111 63 0 33800 0
vsize: 135452
[startup+520.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 33058 0 0 0 51869 137 0 0 25 0 1 0 902811707 139513856 32931 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34061 32931 1111 63 0 33998 0
vsize: 136244
[startup+530.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 33279 0 0 0 52868 138 0 0 25 0 1 0 902811707 140406784 33149 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34279 33149 1111 63 0 34216 0
vsize: 137116
[startup+540.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 33510 0 0 0 53868 139 0 0 25 0 1 0 902811707 141287424 33376 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34494 33376 1111 63 0 34431 0
vsize: 137976
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 33855 0 0 0 54866 140 0 0 25 0 1 0 902811707 142807040 33717 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34865 33717 1111 63 0 34802 0
vsize: 139460
[startup+560.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 34088 0 0 0 55865 141 0 0 25 0 1 0 902811707 143679488 33948 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35078 33948 1111 63 0 35015 0
vsize: 140312
[startup+570.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 34275 0 0 0 56864 143 0 0 25 0 1 0 902811707 144433152 34134 4294967295 134512640 134716908 3221224560 3221223056 134535448 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35262 34134 1111 63 0 35199 0
vsize: 141048
[startup+580.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 34772 0 0 0 57863 144 0 0 25 0 1 0 902811707 146526208 34627 4294967295 134512640 134716908 3221224560 3221223344 134529217 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 35773 34627 1111 63 0 35710 0
vsize: 143092
[startup+590.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 35204 0 0 0 58862 146 0 0 25 0 1 0 902811707 148283392 35059 4294967295 134512640 134716908 3221224560 3221223056 134699456 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36202 35059 1111 63 0 36139 0
vsize: 144808
[startup+600.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 35534 0 0 0 59860 148 0 0 25 0 1 0 902811707 149651456 35388 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36536 35388 1111 63 0 36473 0
vsize: 146144
[startup+610.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 35831 0 0 0 60859 148 0 0 25 0 1 0 902811707 150962176 35682 4294967295 134512640 134716908 3221224560 3221223276 134552682 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 36856 35682 1111 63 0 36793 0
vsize: 147424
[startup+620.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 36121 0 0 0 61858 150 0 0 25 0 1 0 902811707 152240128 35971 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37168 35971 1111 63 0 37105 0
vsize: 148672
[startup+630.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 36489 0 0 0 62857 151 0 0 25 0 1 0 902811707 153726976 36339 4294967295 134512640 134716908 3221224560 3221223216 134536710 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37531 36339 1111 63 0 37468 0
vsize: 150124
[startup+640.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 36821 0 0 0 63856 152 0 0 25 0 1 0 902811707 154943488 36671 4294967295 134512640 134716908 3221224560 3221223344 134529097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 37828 36671 1111 63 0 37765 0
vsize: 151312
[startup+650.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 37099 0 0 0 64855 154 0 0 25 0 1 0 902811707 156209152 36949 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38137 36949 1111 63 0 38074 0
vsize: 152548
[startup+660.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 37386 0 0 0 65854 155 0 0 25 0 1 0 902811707 157401088 37236 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38428 37236 1111 63 0 38365 0
vsize: 153712
[startup+670.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 37643 0 0 0 66853 156 0 0 25 0 1 0 902811707 158482432 37493 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38692 37493 1111 63 0 38629 0
vsize: 154768
[startup+680.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 37933 0 0 0 67852 157 0 0 25 0 1 0 902811707 159703040 37783 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38990 37783 1111 63 0 38927 0
vsize: 155960
[startup+690.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 38196 0 0 0 68851 158 0 0 25 0 1 0 902811707 160813056 38042 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39261 38042 1111 63 0 39198 0
vsize: 157044
[startup+700.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 38449 0 0 0 69850 159 0 0 25 0 1 0 902811707 161779712 38294 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39497 38294 1111 63 0 39434 0
vsize: 157988
[startup+710.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 38710 0 0 0 70850 160 0 0 25 0 1 0 902811707 162861056 38555 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 39761 38555 1111 63 0 39698 0
vsize: 159044
[startup+720.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 38970 0 0 0 71849 161 0 0 25 0 1 0 902811707 163966976 38811 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40031 38811 1111 63 0 39968 0
vsize: 160124
[startup+730.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 39273 0 0 0 72848 162 0 0 25 0 1 0 902811707 165228544 39112 4294967295 134512640 134716908 3221224560 3221223216 134524067 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40339 39112 1111 63 0 40276 0
vsize: 161356
[startup+740.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 39550 0 0 0 73848 163 0 0 25 0 1 0 902811707 166400000 39388 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40625 39388 1111 63 0 40562 0
vsize: 162500
[startup+750.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 39856 0 0 0 74847 164 0 0 25 0 1 0 902811707 167620608 39694 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40923 39694 1111 63 0 40860 0
vsize: 163692
[startup+760.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 40120 0 0 0 75846 165 0 0 25 0 1 0 902811707 168763392 39958 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41202 39958 1111 63 0 41139 0
vsize: 164808
[startup+770.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 40408 0 0 0 76845 166 0 0 25 0 1 0 902811707 169922560 40244 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41485 40244 1111 63 0 41422 0
vsize: 165940
[startup+780.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 40645 0 0 0 77844 167 0 0 25 0 1 0 902811707 170885120 40480 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41720 40480 1111 63 0 41657 0
vsize: 166880
[startup+790.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 40838 0 0 0 78844 168 0 0 25 0 1 0 902811707 171761664 40672 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 41934 40672 1111 63 0 41871 0
vsize: 167736
[startup+800.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 41192 0 0 0 79842 169 0 0 25 0 1 0 902811707 173113344 41026 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42264 41026 1111 63 0 42201 0
vsize: 169056
[startup+810.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 41580 0 0 0 80841 171 0 0 25 0 1 0 902811707 174735360 41414 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42660 41414 1111 63 0 42597 0
vsize: 170640
[startup+820.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 41846 0 0 0 81840 172 0 0 25 0 1 0 902811707 175882240 41675 4294967295 134512640 134716908 3221224560 3221223204 134523868 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 42940 41675 1111 63 0 42877 0
vsize: 171760
[startup+830.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 42209 0 0 0 82839 173 0 0 25 0 1 0 902811707 177369088 42038 4294967295 134512640 134716908 3221224560 3221223248 134551897 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43303 42038 1111 63 0 43240 0
vsize: 173212
[startup+840.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 42512 0 0 0 83838 175 0 0 25 0 1 0 902811707 178720768 42341 4294967295 134512640 134716908 3221224560 3221223216 134536730 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43633 42341 1111 63 0 43570 0
vsize: 174532
[startup+850.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 42736 0 0 0 84837 176 0 0 25 0 1 0 902811707 179580928 42563 4294967295 134512640 134716908 3221224560 3221223248 134536638 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43843 42563 1111 63 0 43780 0
vsize: 175372
[startup+860.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 42930 0 0 0 85836 177 0 0 25 0 1 0 902811707 180391936 42757 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44041 42757 1111 63 0 43978 0
vsize: 176164
[startup+870.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 43110 0 0 0 86835 178 0 0 25 0 1 0 902811707 181133312 42934 4294967295 134512640 134716908 3221224560 3221223256 134523854 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44222 42934 1111 63 0 44159 0
vsize: 176888
[startup+880.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 43274 0 0 0 87835 179 0 0 25 0 1 0 902811707 181809152 43098 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44387 43098 1111 63 0 44324 0
vsize: 177548
[startup+890.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 43457 0 0 0 88834 180 0 0 25 0 1 0 902811707 182484992 43281 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44552 43281 1111 63 0 44489 0
vsize: 178208
[startup+900.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 43630 0 0 0 89834 180 0 0 25 0 1 0 902811707 183160832 43454 4294967295 134512640 134716908 3221224560 3221223296 134529359 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44717 43454 1111 63 0 44654 0
vsize: 178868
[startup+910.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 43815 0 0 0 90832 182 0 0 25 0 1 0 902811707 183857152 43639 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 44887 43639 1111 63 0 44824 0
vsize: 179548
[startup+920.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44023 0 0 0 91832 182 0 0 25 0 1 0 902811707 184668160 43847 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45085 43847 1111 63 0 45022 0
vsize: 180340
[startup+930.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44262 0 0 0 92831 184 0 0 25 0 1 0 902811707 185663488 44082 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45328 44082 1111 63 0 45265 0
vsize: 181312
[startup+940.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44470 0 0 0 93831 184 0 0 25 0 1 0 902811707 186474496 44290 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45526 44290 1111 63 0 45463 0
vsize: 182104
[startup+950.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44605 0 0 0 94830 185 0 0 25 0 1 0 902811707 187068416 44425 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45671 44425 1111 63 0 45608 0
vsize: 182684
[startup+960.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44764 0 0 0 95829 186 0 0 25 0 1 0 902811707 187801600 44584 4294967295 134512640 134716908 3221224560 3221223296 134529091 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45850 44584 1111 63 0 45787 0
vsize: 183400
[startup+970.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11231
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 44908 0 0 0 96829 187 0 0 25 0 1 0 902811707 188342272 44728 4294967295 134512640 134716908 3221224560 3221223152 134549600 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45982 44728 1111 63 0 45919 0
vsize: 183928
[startup+980.042 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 45276 0 0 0 97827 189 0 0 25 0 1 0 902811707 190029824 45096 4294967295 134512640 134716908 3221224560 3221223128 134535489 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46394 45096 1111 63 0 46331 0
vsize: 185576
[startup+990.047 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 45569 0 0 0 98826 190 0 0 25 0 1 0 902811707 191111168 45389 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46658 45389 1111 63 0 46595 0
vsize: 186632
[startup+1000.06 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 45759 0 0 0 99827 191 0 0 25 0 1 0 902811707 192122880 45579 4294967295 134512640 134716908 3221224560 3221223260 134552672 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 46905 45579 1111 63 0 46842 0
vsize: 187620
[startup+1010.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 45965 0 0 0 100826 192 0 0 25 0 1 0 902811707 192999424 45781 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47119 45781 1111 63 0 47056 0
vsize: 188476
[startup+1020.06 s]
Raw data (loadavg): 1.04 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 46269 0 0 0 101825 194 0 0 25 0 1 0 902811707 194416640 46082 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47465 46082 1111 63 0 47402 0
vsize: 189860
[startup+1030.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 46510 0 0 0 102823 195 0 0 25 0 1 0 902811707 195497984 46323 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47729 46323 1111 63 0 47666 0
vsize: 190916
[startup+1040.06 s]
Raw data (loadavg): 1.03 0.99 0.91 2/54 11284
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 46736 0 0 0 103822 196 0 0 25 0 1 0 902811707 196509696 46547 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47976 46547 1111 63 0 47913 0
vsize: 191904
[startup+1050.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 46941 0 0 0 104822 197 0 0 25 0 1 0 902811707 197320704 46752 4294967295 134512640 134716908 3221224560 3221223200 134523872 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48174 46752 1111 63 0 48111 0
vsize: 192696
[startup+1060.06 s]
Raw data (loadavg): 1.02 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 47102 0 0 0 105821 198 0 0 25 0 1 0 902811707 198062080 46912 4294967295 134512640 134716908 3221224560 3221223320 134552570 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48355 46912 1111 63 0 48292 0
vsize: 193420
[startup+1070.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 47260 0 0 0 106821 198 0 0 25 0 1 0 902811707 198803456 47066 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48536 47066 1111 63 0 48473 0
vsize: 194144
[startup+1080.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 47492 0 0 0 107820 199 0 0 25 0 1 0 902811707 200060928 47283 4294967295 134512640 134716908 3221224560 3221223056 134535433 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48843 47283 1111 63 0 48780 0
vsize: 195372
[startup+1090.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 47608 0 0 0 108820 200 0 0 25 0 1 0 902811707 200667136 47399 4294967295 134512640 134716908 3221224560 3221223116 134535967 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 48991 47399 1111 63 0 48928 0
vsize: 195964
[startup+1100.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 47892 0 0 0 109818 201 0 0 25 0 1 0 902811707 202149888 47677 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49353 47677 1111 63 0 49290 0
vsize: 197412
[startup+1110.06 s]
Raw data (loadavg): 1.01 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48051 0 0 0 110818 202 0 0 25 0 1 0 902811707 202690560 47836 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49485 47836 1111 63 0 49422 0
vsize: 197940
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48161 0 0 0 111817 203 0 0 25 0 1 0 902811707 203104256 47946 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49586 47946 1111 63 0 49523 0
vsize: 198344
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48286 0 0 0 112816 204 0 0 25 0 1 0 902811707 203575296 48069 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49701 48069 1111 63 0 49638 0
vsize: 198804
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48407 0 0 0 113816 205 0 0 25 0 1 0 902811707 204115968 48190 4294967295 134512640 134716908 3221224560 3221223244 134552632 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49833 48190 1111 63 0 49770 0
vsize: 199332
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48544 0 0 0 114815 205 0 0 25 0 1 0 902811707 204697600 48325 4294967295 134512640 134716908 3221224560 3221223272 134551881 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49975 48325 1111 63 0 49912 0
vsize: 199900
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48674 0 0 0 115814 206 0 0 25 0 1 0 902811707 205295616 48452 4294967295 134512640 134716908 3221224560 3221223328 134529381 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50121 48452 1111 63 0 50058 0
vsize: 200484
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.99 0.91 2/54 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48840 0 0 0 116814 207 0 0 25 0 1 0 902811707 205971456 48617 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50286 48617 1111 63 0 50223 0
vsize: 201144
[startup+1174.95 s]
Raw data (loadavg): 1.00 0.99 0.91 1/53 11286
Raw data (stat): 11231 (bsolo_lpr_cuts-) R 11230 31399 31398 0 -1 0 48840 0 0 0 116814 207 0 0 25 0 1 0 902811707 205971456 48617 4294967295 134512640 134716908 3221224560 3221223140 134549630 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 50286 48617 1111 63 0 50223 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.11
CPU user time (s): 1172.93
CPU system time (s): 2.17067
CPU usage (%): 100.013
Max. virtual memory (Kb): 201144
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####