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-fpga30_29_sat_pb.cnf.cr.opb
MD5SUM	99cab377899feaa32c19b4b5cf94d7d4
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	31
Number of bits of the biggest sum of numbers	5
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	0.871866
Number of variables	1305
Total number of constraints	958
Number of constraints which are clauses	899
Number of constraints which are cardinality constraints (but not clauses)	59
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	15
Maximum length of a constraint	30
Trace number 40595

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc2 THE 2005-06-08 16:23:16 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28661 boxname=wulflinc2 idbench=47 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  99cab377899feaa32c19b4b5cf94d7d4  /oldhome/oroussel/tmp/wulflinc2/normalized-fpga30_29_sat_pb.cnf.cr.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc2/normalized-fpga30_29_sat_pb.cnf.cr.opb
IDLAUNCH: 28661
/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:        773936 kB
Buffers:         28296 kB
Cached:         210264 kB
SwapCached:       1344 kB
Active:          38440 kB
Inactive:       202136 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        773684 kB
SwapTotal:     2097136 kB
SwapFree:      2094736 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4996 kB
Slab:            14320 kB
Committed_AS:    71792 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 16:42:51 (client local time) WITH STATUS 0 IN 1175.05 SECONDS
stats: 28661 7 1175.05 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 1305 variables and 958 constraints.
c After prepocess the problem consists of 1305 variables and 958 constraints.
c preprocess terminated 1.817 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.97 0.91 2/54 11474
Raw data (stat): 11474 (runsolver) R 11473 31399 31398 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903048265 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0008 s]
Raw data (loadavg): 0.93 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 2105 0 0 0 991 6 0 0 25 0 1 0 903048265 11698176 2023 4294967295 134512640 134716908 3221224560 3221223184 134698588 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 2856 2023 1111 63 0 2793 0
vsize: 11424
[startup+20.0009 s]
Raw data (loadavg): 0.94 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 2976 0 0 0 1988 9 0 0 25 0 1 0 903048265 15347712 2894 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3747 2894 1111 63 0 3684 0
vsize: 14988
[startup+30.0013 s]
Raw data (loadavg): 0.95 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 3298 0 0 0 2986 12 0 0 25 0 1 0 903048265 16695296 3216 4294967295 134512640 134716908 3221224560 3221223200 134536653 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4076 3216 1111 63 0 4013 0
vsize: 16304
[startup+40.0013 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 3994 0 0 0 3983 15 0 0 25 0 1 0 903048265 19529728 3912 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4768 3912 1111 63 0 4705 0
vsize: 19072
[startup+50.001 s]
Raw data (loadavg): 0.96 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 4264 0 0 0 4982 16 0 0 25 0 1 0 903048265 20611072 4182 4294967295 134512640 134716908 3221224560 3221223320 134552578 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5032 4182 1111 63 0 4969 0
vsize: 20128
[startup+60.0014 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 5002 0 0 0 5979 19 0 0 25 0 1 0 903048265 23588864 4920 4294967295 134512640 134716908 3221224560 3221223200 134542340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5759 4920 1111 63 0 5696 0
vsize: 23036
[startup+70.0018 s]
Raw data (loadavg): 0.97 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 5584 0 0 0 6977 21 0 0 25 0 1 0 903048265 26017792 5502 4294967295 134512640 134716908 3221224560 3221223264 134528647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6352 5502 1111 63 0 6289 0
vsize: 25408
[startup+80.0021 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 6176 0 0 0 7974 24 0 0 25 0 1 0 903048265 28442624 6094 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6944 6094 1111 63 0 6881 0
vsize: 27776
[startup+90.0015 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 6884 0 0 0 8971 27 0 0 25 0 1 0 903048265 31281152 6802 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7637 6802 1111 63 0 7574 0
vsize: 30548
[startup+100.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 7145 0 0 0 9970 28 0 0 25 0 1 0 903048265 32342016 7063 4294967295 134512640 134716908 3221224560 3221223296 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7896 7063 1111 63 0 7833 0
vsize: 31584
[startup+110.002 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 7645 0 0 0 10968 31 0 0 25 0 1 0 903048265 34377728 7563 4294967295 134512640 134716908 3221224560 3221223200 134698432 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8393 7563 1111 63 0 8330 0
vsize: 33572
[startup+120.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 8000 0 0 0 11967 32 0 0 25 0 1 0 903048265 35864576 7918 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8756 7918 1111 63 0 8693 0
vsize: 35024
[startup+130.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 8278 0 0 0 12966 33 0 0 25 0 1 0 903048265 37081088 8196 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9053 8196 1111 63 0 8990 0
vsize: 36212
[startup+140.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 8674 0 0 0 13963 36 0 0 25 0 1 0 903048265 38707200 8592 4294967295 134512640 134716908 3221224560 3221223136 134549635 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9450 8592 1111 63 0 9387 0
vsize: 37800
[startup+150.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 9181 0 0 0 14960 39 0 0 25 0 1 0 903048265 40730624 9099 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9944 9099 1111 63 0 9881 0
vsize: 39776
[startup+160.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 9568 0 0 0 15959 41 0 0 25 0 1 0 903048265 42352640 9486 4294967295 134512640 134716908 3221224560 3221223344 134529237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10340 9486 1111 63 0 10277 0
vsize: 41360
[startup+170.002 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 9891 0 0 0 16958 42 0 0 25 0 1 0 903048265 43704320 9809 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10670 9809 1111 63 0 10607 0
vsize: 42680
[startup+180.003 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 9932 0 0 0 17958 43 0 0 25 0 1 0 903048265 43835392 9850 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10702 9850 1111 63 0 10639 0
vsize: 42808
[startup+190.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 10201 0 0 0 18957 44 0 0 25 0 1 0 903048265 44924928 10119 4294967295 134512640 134716908 3221224560 3221223216 134536721 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10968 10119 1111 63 0 10905 0
vsize: 43872
[startup+200.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 10468 0 0 0 19956 45 0 0 25 0 1 0 903048265 46006272 10386 4294967295 134512640 134716908 3221224560 3221223192 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11232 10386 1111 63 0 11169 0
vsize: 44928
[startup+210.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 10826 0 0 0 20955 46 0 0 25 0 1 0 903048265 47493120 10744 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11595 10744 1111 63 0 11532 0
vsize: 46380
[startup+220.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 11204 0 0 0 21954 47 0 0 25 0 1 0 903048265 48979968 11122 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11958 11122 1111 63 0 11895 0
vsize: 47832
[startup+230.005 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 11370 0 0 0 22954 47 0 0 25 0 1 0 903048265 49647616 11288 4294967295 134512640 134716908 3221224560 3221223212 134536825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12121 11288 1111 63 0 12058 0
vsize: 48484
[startup+240.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 11605 0 0 0 23953 49 0 0 25 0 1 0 903048265 50724864 11523 4294967295 134512640 134716908 3221224560 3221223240 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12384 11523 1111 63 0 12321 0
vsize: 49536
[startup+250.004 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 11946 0 0 0 24951 51 0 0 25 0 1 0 903048265 52076544 11864 4294967295 134512640 134716908 3221224560 3221223120 134542365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12714 11864 1111 63 0 12651 0
vsize: 50856
[startup+260.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 12385 0 0 0 25949 53 0 0 25 0 1 0 903048265 53833728 12303 4294967295 134512640 134716908 3221224560 3221223296 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13143 12303 1111 63 0 13080 0
vsize: 52572
[startup+270.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 12744 0 0 0 26948 55 0 0 25 0 1 0 903048265 55320576 12662 4294967295 134512640 134716908 3221224560 3221223232 134543684 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13506 12662 1111 63 0 13443 0
vsize: 54024
[startup+280.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 12914 0 0 0 27947 55 0 0 25 0 1 0 903048265 55996416 12832 4294967295 134512640 134716908 3221224560 3221223200 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13671 12832 1111 63 0 13608 0
vsize: 54684
[startup+290.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 12954 0 0 0 28946 56 0 0 25 0 1 0 903048265 56266752 12872 4294967295 134512640 134716908 3221224560 3221223088 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13737 12872 1111 63 0 13674 0
vsize: 54948
[startup+300.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 13229 0 0 0 29945 58 0 0 25 0 1 0 903048265 57348096 13147 4294967295 134512640 134716908 3221224560 3221223264 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14001 13147 1111 63 0 13938 0
vsize: 56004
[startup+310.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 13515 0 0 0 30944 59 0 0 25 0 1 0 903048265 58564608 13433 4294967295 134512640 134716908 3221224560 3221223184 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14298 13433 1111 63 0 14235 0
vsize: 57192
[startup+320.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 13893 0 0 0 31943 60 0 0 25 0 1 0 903048265 60051456 13811 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14661 13811 1111 63 0 14598 0
vsize: 58644
[startup+330.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 14429 0 0 0 32940 63 0 0 25 0 1 0 903048265 62214144 14347 4294967295 134512640 134716908 3221224560 3221223184 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15189 14347 1111 63 0 15126 0
vsize: 60756
[startup+340.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 14533 0 0 0 33939 64 0 0 25 0 1 0 903048265 62619648 14451 4294967295 134512640 134716908 3221224560 3221223328 134584741 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15288 14451 1111 63 0 15225 0
vsize: 61152
[startup+350.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 14843 0 0 0 34938 66 0 0 25 0 1 0 903048265 63967232 14761 4294967295 134512640 134716908 3221224560 3221223328 134584894 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15617 14761 1111 63 0 15554 0
vsize: 62468
[startup+360.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 15034 0 0 0 35936 68 0 0 25 0 1 0 903048265 64774144 14952 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15814 14952 1111 63 0 15751 0
vsize: 63256
[startup+370.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 15297 0 0 0 36935 69 0 0 25 0 1 0 903048265 65855488 15215 4294967295 134512640 134716908 3221224560 3221223200 134539511 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16078 15215 1111 63 0 16015 0
vsize: 64312
[startup+380.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 15682 0 0 0 37932 72 0 0 25 0 1 0 903048265 67334144 15600 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16439 15600 1111 63 0 16376 0
vsize: 65756
[startup+390.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 15766 0 0 0 38931 73 0 0 25 0 1 0 903048265 67739648 15684 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16538 15684 1111 63 0 16475 0
vsize: 66152
[startup+400.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16119 0 0 0 39929 75 0 0 25 0 1 0 903048265 69226496 16037 4294967295 134512640 134716908 3221224560 3221223328 134529376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16901 16037 1111 63 0 16838 0
vsize: 67604
[startup+410.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16235 0 0 0 40929 76 0 0 25 0 1 0 903048265 69632000 16153 4294967295 134512640 134716908 3221224560 3221223272 134552681 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17000 16153 1111 63 0 16937 0
vsize: 68000
[startup+420.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16307 0 0 0 41927 78 0 0 25 0 1 0 903048265 69902336 16225 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17066 16225 1111 63 0 17003 0
vsize: 68264
[startup+430.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16395 0 0 0 42927 78 0 0 25 0 1 0 903048265 70369280 16313 4294967295 134512640 134716908 3221224560 3221223216 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17180 16313 1111 63 0 17117 0
vsize: 68720
[startup+440.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16501 0 0 0 43926 80 0 0 25 0 1 0 903048265 70774784 16419 4294967295 134512640 134716908 3221224560 3221223152 134549809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17279 16419 1111 63 0 17216 0
vsize: 69116
[startup+450.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16586 0 0 0 44924 81 0 0 25 0 1 0 903048265 71045120 16504 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17345 16504 1111 63 0 17282 0
vsize: 69380
[startup+460.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16664 0 0 0 45923 83 0 0 25 0 1 0 903048265 71450624 16582 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17444 16582 1111 63 0 17381 0
vsize: 69776
[startup+470.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16786 0 0 0 46921 85 0 0 25 0 1 0 903048265 71852032 16704 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17542 16704 1111 63 0 17479 0
vsize: 70168
[startup+480.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 16976 0 0 0 47919 87 0 0 25 0 1 0 903048265 72663040 16894 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17740 16894 1111 63 0 17677 0
vsize: 70960
[startup+490.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17117 0 0 0 48917 90 0 0 25 0 1 0 903048265 73302016 17035 4294967295 134512640 134716908 3221224560 3221223304 134551620 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17896 17035 1111 63 0 17833 0
vsize: 71584
[startup+500.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17237 0 0 0 49916 91 0 0 25 0 1 0 903048265 73814016 17155 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18021 17155 1111 63 0 17958 0
vsize: 72084
[startup+510.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17356 0 0 0 50915 92 0 0 25 0 1 0 903048265 74219520 17274 4294967295 134512640 134716908 3221224560 3221223116 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18120 17274 1111 63 0 18057 0
vsize: 72480
[startup+520.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17437 0 0 0 51914 93 0 0 25 0 1 0 903048265 74625024 17355 4294967295 134512640 134716908 3221224560 3221223244 134523848 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18219 17355 1111 63 0 18156 0
vsize: 72876
[startup+530.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17456 0 0 0 52913 94 0 0 25 0 1 0 903048265 74616832 17374 4294967295 134512640 134716908 3221224560 3221223128 1077377398 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18217 17374 1111 63 0 18154 0
vsize: 72868
[startup+540.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17470 0 0 0 53913 95 0 0 25 0 1 0 903048265 74739712 17388 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18247 17388 1111 63 0 18184 0
vsize: 72988
[startup+550.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17525 0 0 0 54911 96 0 0 25 0 1 0 903048265 74866688 17443 4294967295 134512640 134716908 3221224560 3221223084 134535876 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18278 17443 1111 63 0 18215 0
vsize: 73112
[startup+560.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17569 0 0 0 55911 97 0 0 25 0 1 0 903048265 75128832 17487 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18342 17487 1111 63 0 18279 0
vsize: 73368
[startup+570.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17607 0 0 0 56910 98 0 0 25 0 1 0 903048265 75264000 17525 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18375 17525 1111 63 0 18312 0
vsize: 73500
[startup+580.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17658 0 0 0 57909 100 0 0 25 0 1 0 903048265 75534336 17576 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18441 17576 1111 63 0 18378 0
vsize: 73764
[startup+590.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17726 0 0 0 58908 101 0 0 25 0 1 0 903048265 75804672 17644 4294967295 134512640 134716908 3221224560 3221223204 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18507 17644 1111 63 0 18444 0
vsize: 74028
[startup+600.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17809 0 0 0 59907 102 0 0 25 0 1 0 903048265 76070912 17727 4294967295 134512640 134716908 3221224560 3221223292 134524593 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18572 17727 1111 63 0 18509 0
vsize: 74288
[startup+610.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17926 0 0 0 60906 103 0 0 25 0 1 0 903048265 76599296 17844 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18701 17844 1111 63 0 18638 0
vsize: 74804
[startup+620.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 17999 0 0 0 61905 104 0 0 25 0 1 0 903048265 76861440 17917 4294967295 134512640 134716908 3221224560 3221223128 1077377374 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18765 17917 1111 63 0 18702 0
vsize: 75060
[startup+630.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18116 0 0 0 62904 105 0 0 25 0 1 0 903048265 77402112 18034 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18897 18034 1111 63 0 18834 0
vsize: 75588
[startup+640.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18190 0 0 0 63903 106 0 0 25 0 1 0 903048265 77651968 18108 4294967295 134512640 134716908 3221224560 3221223256 1077374433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18958 18108 1111 63 0 18895 0
vsize: 75832
[startup+650.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18277 0 0 0 64902 108 0 0 25 0 1 0 903048265 78053376 18195 4294967295 134512640 134716908 3221224560 3221223280 134591857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19056 18195 1111 63 0 18993 0
vsize: 76224
[startup+660.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18313 0 0 0 65901 109 0 0 25 0 1 0 903048265 78159872 18231 4294967295 134512640 134716908 3221224560 3221223168 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19082 18231 1111 63 0 19019 0
vsize: 76328
[startup+670.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18338 0 0 0 66899 111 0 0 25 0 1 0 903048265 78295040 18256 4294967295 134512640 134716908 3221224560 3221223320 134552633 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19115 18256 1111 63 0 19052 0
vsize: 76460
[startup+680.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18350 0 0 0 67898 112 0 0 25 0 1 0 903048265 78295040 18268 4294967295 134512640 134716908 3221224560 3221223216 134536724 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19115 18268 1111 63 0 19052 0
vsize: 76460
[startup+690.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18369 0 0 0 68897 114 0 0 25 0 1 0 903048265 78430208 18287 4294967295 134512640 134716908 3221224560 3221223184 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19148 18287 1111 63 0 19085 0
vsize: 76592
[startup+700.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18429 0 0 0 69895 115 0 0 25 0 1 0 903048265 78696448 18347 4294967295 134512640 134716908 3221224560 3221223168 134549313 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19213 18347 1111 63 0 19150 0
vsize: 76852
[startup+710.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18541 0 0 0 70894 117 0 0 25 0 1 0 903048265 79101952 18459 4294967295 134512640 134716908 3221224560 3221223212 134536839 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19312 18459 1111 63 0 19249 0
vsize: 77248
[startup+720.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18600 0 0 0 71894 118 0 0 25 0 1 0 903048265 79351808 18518 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19373 18518 1111 63 0 19310 0
vsize: 77492
[startup+730.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18649 0 0 0 72893 119 0 0 25 0 1 0 903048265 79486976 18567 4294967295 134512640 134716908 3221224560 3221223280 134523869 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19406 18567 1111 63 0 19343 0
vsize: 77624
[startup+740.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18691 0 0 0 73891 120 0 0 25 0 1 0 903048265 79757312 18609 4294967295 134512640 134716908 3221224560 3221223248 134536736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19472 18609 1111 63 0 19409 0
vsize: 77888
[startup+750.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18710 0 0 0 74890 121 0 0 25 0 1 0 903048265 79757312 18628 4294967295 134512640 134716908 3221224560 3221223216 134524376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19472 18628 1111 63 0 19409 0
vsize: 77888
[startup+760.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18746 0 0 0 75889 123 0 0 25 0 1 0 903048265 79892480 18664 4294967295 134512640 134716908 3221224560 3221223152 134549591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19505 18664 1111 63 0 19442 0
vsize: 78020
[startup+770.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18746 0 0 0 76888 125 0 0 25 0 1 0 903048265 79892480 18664 4294967295 134512640 134716908 3221224560 3221223116 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19505 18664 1111 63 0 19442 0
vsize: 78020
[startup+780.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18752 0 0 0 77887 126 0 0 25 0 1 0 903048265 79892480 18670 4294967295 134512640 134716908 3221224560 3221222956 1077379843 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19505 18670 1111 63 0 19442 0
vsize: 78020
[startup+790.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18767 0 0 0 78886 127 0 0 25 0 1 0 903048265 80027648 18685 4294967295 134512640 134716908 3221224560 3221222808 134699825 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18685 1111 63 0 19475 0
vsize: 78152
[startup+800.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18774 0 0 0 79885 128 0 0 25 0 1 0 903048265 80027648 18692 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18692 1111 63 0 19475 0
vsize: 78152
[startup+810.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18784 0 0 0 80884 129 0 0 25 0 1 0 903048265 80027648 18702 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19538 18702 1111 63 0 19475 0
vsize: 78152
[startup+820.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18810 0 0 0 81883 130 0 0 25 0 1 0 903048265 80162816 18728 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19571 18728 1111 63 0 19508 0
vsize: 78284
[startup+830.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18826 0 0 0 82882 132 0 0 25 0 1 0 903048265 80297984 18744 4294967295 134512640 134716908 3221224560 3221223196 134698748 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18744 1111 63 0 19541 0
vsize: 78416
[startup+840.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18833 0 0 0 83881 133 0 0 25 0 1 0 903048265 80297984 18751 4294967295 134512640 134716908 3221224560 3221223344 134529390 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18751 1111 63 0 19541 0
vsize: 78416
[startup+850.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18834 0 0 0 84879 135 0 0 25 0 1 0 903048265 80297984 18752 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18752 1111 63 0 19541 0
vsize: 78416
[startup+860.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18849 0 0 0 85878 136 0 0 25 0 1 0 903048265 80297984 18767 4294967295 134512640 134716908 3221224560 3221223232 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19604 18767 1111 63 0 19541 0
vsize: 78416
[startup+870.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18893 0 0 0 86877 137 0 0 25 0 1 0 903048265 80568320 18811 4294967295 134512640 134716908 3221224560 3221223152 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19670 18811 1111 63 0 19607 0
vsize: 78680
[startup+880.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18912 0 0 0 87876 138 0 0 25 0 1 0 903048265 80568320 18830 4294967295 134512640 134716908 3221224560 3221223200 134698647 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19670 18830 1111 63 0 19607 0
vsize: 78680
[startup+890.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18941 0 0 0 88875 140 0 0 25 0 1 0 903048265 80703488 18859 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19703 18859 1111 63 0 19640 0
vsize: 78812
[startup+900.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18951 0 0 0 89874 141 0 0 25 0 1 0 903048265 80838656 18869 4294967295 134512640 134716908 3221224560 3221223216 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19736 18869 1111 63 0 19673 0
vsize: 78944
[startup+910.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 18998 0 0 0 90873 142 0 0 25 0 1 0 903048265 80973824 18916 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19769 18916 1111 63 0 19706 0
vsize: 79076
[startup+920.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19083 0 0 0 91872 143 0 0 25 0 1 0 903048265 81379328 19001 4294967295 134512640 134716908 3221224560 3221223184 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19868 19001 1111 63 0 19805 0
vsize: 79472
[startup+930.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19112 0 0 0 92872 144 0 0 25 0 1 0 903048265 81379328 19030 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19868 19030 1111 63 0 19805 0
vsize: 79472
[startup+940.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19148 0 0 0 93870 146 0 0 25 0 1 0 903048265 81514496 19066 4294967295 134512640 134716908 3221224560 3221223152 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19901 19066 1111 63 0 19838 0
vsize: 79604
[startup+950.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19174 0 0 0 94869 147 0 0 25 0 1 0 903048265 81649664 19092 4294967295 134512640 134716908 3221224560 3221223168 134549480 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19934 19092 1111 63 0 19871 0
vsize: 79736
[startup+960.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19210 0 0 0 95869 148 0 0 25 0 1 0 903048265 81850368 19128 4294967295 134512640 134716908 3221224560 3221223152 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19983 19128 1111 63 0 19920 0
vsize: 79932
[startup+970.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19255 0 0 0 96867 149 0 0 25 0 1 0 903048265 81985536 19173 4294967295 134512640 134716908 3221224560 3221223344 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20016 19173 1111 63 0 19953 0
vsize: 80064
[startup+980.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19301 0 0 0 97866 150 0 0 25 0 1 0 903048265 82255872 19219 4294967295 134512640 134716908 3221224560 3221223284 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19219 1111 63 0 20019 0
vsize: 80328
[startup+990.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19326 0 0 0 98866 151 0 0 25 0 1 0 903048265 82255872 19244 4294967295 134512640 134716908 3221224560 3221223056 134535471 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20082 19244 1111 63 0 20019 0
vsize: 80328
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19334 0 0 0 99865 152 0 0 25 0 1 0 903048265 82391040 19252 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20115 19252 1111 63 0 20052 0
vsize: 80460
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19349 0 0 0 100864 153 0 0 25 0 1 0 903048265 82391040 19267 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20115 19267 1111 63 0 20052 0
vsize: 80460
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19363 0 0 0 101864 154 0 0 25 0 1 0 903048265 82513920 19281 4294967295 134512640 134716908 3221224560 3221223136 134549852 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20145 19281 1111 63 0 20082 0
vsize: 80580
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19363 0 0 0 102863 154 0 0 25 0 1 0 903048265 82513920 19281 4294967295 134512640 134716908 3221224560 3221223152 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20145 19281 1111 63 0 20082 0
vsize: 80580
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19379 0 0 0 103862 156 0 0 25 0 1 0 903048265 82513920 19297 4294967295 134512640 134716908 3221224560 3221223296 134535829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20145 19297 1111 63 0 20082 0
vsize: 80580
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19400 0 0 0 104861 157 0 0 25 0 1 0 903048265 82636800 19318 4294967295 134512640 134716908 3221224560 3221223304 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19318 1111 63 0 20112 0
vsize: 80700
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19412 0 0 0 105860 158 0 0 25 0 1 0 903048265 82636800 19330 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19330 1111 63 0 20112 0
vsize: 80700
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19421 0 0 0 106859 159 0 0 25 0 1 0 903048265 82636800 19339 4294967295 134512640 134716908 3221224560 3221223264 134528595 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20175 19339 1111 63 0 20112 0
vsize: 80700
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19439 0 0 0 107859 160 0 0 25 0 1 0 903048265 82771968 19357 4294967295 134512640 134716908 3221224560 3221223152 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20208 19357 1111 63 0 20145 0
vsize: 80832
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19457 0 0 0 108857 162 0 0 25 0 1 0 903048265 82907136 19375 4294967295 134512640 134716908 3221224560 3221223168 134549316 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20241 19375 1111 63 0 20178 0
vsize: 80964
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19480 0 0 0 109856 164 0 0 25 0 1 0 903048265 82907136 19398 4294967295 134512640 134716908 3221224560 3221223128 1077377203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20241 19398 1111 63 0 20178 0
vsize: 80964
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19494 0 0 0 110855 165 0 0 25 0 1 0 903048265 83042304 19412 4294967295 134512640 134716908 3221224560 3221223224 134543606 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20274 19412 1111 63 0 20211 0
vsize: 81096
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19503 0 0 0 111853 166 0 0 25 0 1 0 903048265 83042304 19421 4294967295 134512640 134716908 3221224560 3221223152 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20274 19421 1111 63 0 20211 0
vsize: 81096
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19517 0 0 0 112853 167 0 0 25 0 1 0 903048265 83042304 19435 4294967295 134512640 134716908 3221224560 3221223200 134613470 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20274 19435 1111 63 0 20211 0
vsize: 81096
[startup+1140.03 s]
Raw data (loadavg): 1.07 0.99 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19556 0 0 0 113853 167 0 0 25 0 1 0 903048265 83312640 19474 4294967295 134512640 134716908 3221224560 3221223136 134699086 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20340 19474 1111 63 0 20277 0
vsize: 81360
[startup+1150.03 s]
Raw data (loadavg): 1.06 0.99 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19572 0 0 0 114852 169 0 0 25 0 1 0 903048265 83312640 19490 4294967295 134512640 134716908 3221224560 3221223152 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20340 19490 1111 63 0 20277 0
vsize: 81360
[startup+1160.03 s]
Raw data (loadavg): 1.05 0.99 0.91 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19603 0 0 0 115851 170 0 0 25 0 1 0 903048265 83447808 19521 4294967295 134512640 134716908 3221224560 3221223236 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20373 19521 1111 63 0 20310 0
vsize: 81492
[startup+1170.03 s]
Raw data (loadavg): 1.12 1.00 0.92 2/54 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19631 0 0 0 116850 171 0 0 25 0 1 0 903048265 83582976 19549 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19549 1111 63 0 20343 0
vsize: 81624
[startup+1174.86 s]
Raw data (loadavg): 1.11 1.00 0.92 1/53 11474
Raw data (stat): 11474 (bsolo_lpr_cuts-) R 11473 31399 31398 0 -1 0 19631 0 0 0 116850 171 0 0 25 0 1 0 903048265 83582976 19549 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20406 19549 1111 63 0 20343 0
vsize: 0

Child status: 0
Real time (s): 1174.86
CPU time (s): 1175.05
CPU user time (s): 1173.29
CPU system time (s): 1.75873
CPU usage (%): 100.016
Max. virtual memory (Kb): 81624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####