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/manquinho/primes-dimacs-cnf/normalized-f600.opb
MD5SUM	4fdec182582ed31d1ae371090f6cc5c1
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	1200
Biggest coefficient in the objective function	1
Number of bits for the biggest coefficient in the objective function	1
Sum of the numbers in the objective function	1200
Number of bits of the sum of numbers in the objective function	11
Biggest number in a constraint	1
Number of bits of the biggest number in a constraint	1
Biggest sum of numbers in a constraint	1200
Number of bits of the biggest sum of numbers	11
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	1200
Total number of constraints	3150
Number of constraints which are clauses	3150
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	0
Minimum length of a constraint	2
Maximum length of a constraint	3
Trace number 40678

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 17:58:27 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28743 boxname=wulflinc5 idbench=129 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc5/normalized-f600.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-f600.opb
IDLAUNCH: 28743
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.007
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.007
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:        846664 kB
Buffers:         23244 kB
Cached:         143188 kB
SwapCached:        644 kB
Active:          29676 kB
Inactive:       138856 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        846412 kB
SwapTotal:     2097136 kB
SwapFree:      2095528 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13784 kB
Committed_AS:    63596 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 18:18:02 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 28743 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1200 variables and 3150 constraints.
c After prepocess the problem consists of 1200 variables and 3150 constraints.
c preprocess terminated 0.652 s
c Initial Lower Bound: 399
c Lower Bound Elapsed time: 62.347
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.05 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.84 0.94 0.90 1/54 21283
Raw data (stat): 21283 (runsolver) R 21282 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 903615727 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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+9.99959 s]
Raw data (loadavg): 0.87 0.94 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 1856 0 0 0 993 4 0 0 25 0 1 0 903615727 10113024 1646 4294967295 134512640 134716908 3221224576 3221220364 1074788937 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 1646 1111 63 0 2406 0
vsize: 9876
[startup+20.0003 s]
Raw data (loadavg): 0.89 0.94 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 1923 0 0 0 1993 4 0 0 25 0 1 0 903615727 10321920 1713 4294967295 134512640 134716908 3221224576 3221220388 1074786556 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2520 1713 1111 63 0 2457 0
vsize: 10080
[startup+30.0004 s]
Raw data (loadavg): 0.90 0.94 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 1977 0 0 0 2993 5 0 0 25 0 1 0 903615727 10506240 1767 4294967295 134512640 134716908 3221224576 3221220632 1074883113 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2565 1767 1111 63 0 2502 0
vsize: 10260
[startup+40.0008 s]
Raw data (loadavg): 0.92 0.94 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 2031 0 0 0 3993 5 0 0 25 0 1 0 903615727 10649600 1821 4294967295 134512640 134716908 3221224576 3221220708 1075114984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1821 1111 63 0 2537 0
vsize: 10400
[startup+50.0015 s]
Raw data (loadavg): 0.93 0.94 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 2045 0 0 0 4993 5 0 0 25 0 1 0 903615727 10801152 1835 4294967295 134512640 134716908 3221224576 3221221136 1075967858 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2637 1835 1111 63 0 2574 0
vsize: 10548
[startup+60.0016 s]
Raw data (loadavg): 0.94 0.95 0.90 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 2669 0 0 0 5991 7 0 0 25 0 1 0 903615727 9523200 1607 4294967295 134512640 134716908 3221224576 3221222732 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2325 1607 1111 63 0 2262 0
vsize: 9300
[startup+70.002 s]
Raw data (loadavg): 0.95 0.95 0.91 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 2840 0 0 0 6989 8 0 0 25 0 1 0 903615727 10194944 1778 4294967295 134512640 134716908 3221224576 3221223236 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2489 1778 1111 63 0 2426 0
vsize: 9956
[startup+80.0018 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 3506 0 0 0 7987 10 0 0 25 0 1 0 903615727 12898304 2444 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3149 2444 1111 63 0 3086 0
vsize: 12596
[startup+90.0028 s]
Raw data (loadavg): 0.96 0.95 0.91 2/54 21283
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 4238 0 0 0 8984 14 0 0 25 0 1 0 903615727 15872000 3176 4294967295 134512640 134716908 3221224576 3221223136 134542352 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3875 3176 1111 63 0 3812 0
vsize: 15500
[startup+100.003 s]
Raw data (loadavg): 1.05 0.97 0.91 3/57 21331
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 4964 0 0 0 9981 17 0 0 25 0 1 0 903615727 18845696 3902 4294967295 134512640 134716908 3221224576 3221223204 134698616 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4601 3902 1111 63 0 4538 0
vsize: 18404
[startup+110.003 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 5675 0 0 0 10977 21 0 0 25 0 1 0 903615727 21684224 4613 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5294 4613 1111 63 0 5231 0
vsize: 21176
[startup+120.004 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 6307 0 0 0 11974 24 0 0 25 0 1 0 903615727 24387584 5245 4294967295 134512640 134716908 3221224576 3221223188 134523868 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5954 5245 1111 63 0 5891 0
vsize: 23816
[startup+130.004 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 7006 0 0 0 12972 26 0 0 25 0 1 0 903615727 27226112 5944 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6647 5944 1111 63 0 6584 0
vsize: 26588
[startup+140.004 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 7667 0 0 0 13970 29 0 0 25 0 1 0 903615727 29929472 6605 4294967295 134512640 134716908 3221224576 3221223232 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7307 6605 1111 63 0 7244 0
vsize: 29228
[startup+150.005 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 8263 0 0 0 14968 31 0 0 25 0 1 0 903615727 32362496 7201 4294967295 134512640 134716908 3221224576 3221223168 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7901 7201 1111 63 0 7838 0
vsize: 31604
[startup+160.005 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 8722 0 0 0 15966 33 0 0 25 0 1 0 903615727 34254848 7660 4294967295 134512640 134716908 3221224576 3221223116 134539265 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8363 7660 1111 63 0 8300 0
vsize: 33452
[startup+170.005 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21336
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 9225 0 0 0 16964 35 0 0 25 0 1 0 903615727 36282368 8163 4294967295 134512640 134716908 3221224576 3221223320 134551636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8858 8163 1111 63 0 8795 0
vsize: 35432
[startup+180.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 9696 0 0 0 17962 38 0 0 25 0 1 0 903615727 38178816 8634 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9321 8634 1111 63 0 9258 0
vsize: 37284
[startup+190.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 10196 0 0 0 18960 40 0 0 25 0 1 0 903615727 40206336 9134 4294967295 134512640 134716908 3221224576 3221223184 134536655 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9816 9134 1111 63 0 9753 0
vsize: 39264
[startup+200.006 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 10781 0 0 0 19958 42 0 0 25 0 1 0 903615727 42647552 9719 4294967295 134512640 134716908 3221224576 3221223084 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10412 9719 1111 63 0 10349 0
vsize: 41648
[startup+210.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 11281 0 0 0 20956 44 0 0 25 0 1 0 903615727 44679168 10218 4294967295 134512640 134716908 3221224576 3221223160 134543636 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10908 10218 1111 63 0 10845 0
vsize: 43632
[startup+220.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 11826 0 0 0 21954 47 0 0 25 0 1 0 903615727 46977024 10763 4294967295 134512640 134716908 3221224576 3221223344 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11469 10763 1111 63 0 11406 0
vsize: 45876
[startup+230.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 12177 0 0 0 22952 48 0 0 25 0 1 0 903615727 48463872 11114 4294967295 134512640 134716908 3221224576 3221223120 134699081 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11832 11114 1111 63 0 11769 0
vsize: 47328
[startup+240.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 12420 0 0 0 23952 49 0 0 25 0 1 0 903615727 49410048 11357 4294967295 134512640 134716908 3221224576 3221223264 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12063 11357 1111 63 0 12000 0
vsize: 48252
[startup+250.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 12902 0 0 0 24950 51 0 0 25 0 1 0 903615727 51437568 11839 4294967295 134512640 134716908 3221224576 3221223208 134543090 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12558 11839 1111 63 0 12495 0
vsize: 50232
[startup+260.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 13458 0 0 0 25948 53 0 0 25 0 1 0 903615727 53600256 12395 4294967295 134512640 134716908 3221224576 3221222728 134613769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13086 12395 1111 63 0 13023 0
vsize: 52344
[startup+270.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 14030 0 0 0 26945 57 0 0 25 0 1 0 903615727 56033280 12966 4294967295 134512640 134716908 3221224576 3221223172 134543680 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13680 12966 1111 63 0 13617 0
vsize: 54720
[startup+280.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 14600 0 0 0 27942 60 0 0 25 0 1 0 903615727 58331136 13536 4294967295 134512640 134716908 3221224576 3221223312 134535841 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14241 13536 1111 63 0 14178 0
vsize: 56964
[startup+290.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 15128 0 0 0 28941 61 0 0 25 0 1 0 903615727 60493824 14064 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14769 14064 1111 63 0 14706 0
vsize: 59076
[startup+300.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 15545 0 0 0 29939 63 0 0 25 0 1 0 903615727 62251008 14481 4294967295 134512640 134716908 3221224576 3221223216 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15198 14481 1111 63 0 15135 0
vsize: 60792
[startup+310.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 16040 0 0 0 30937 65 0 0 25 0 1 0 903615727 64278528 14976 4294967295 134512640 134716908 3221224576 3221223280 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15693 14976 1111 63 0 15630 0
vsize: 62772
[startup+320.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 16459 0 0 0 31935 68 0 0 25 0 1 0 903615727 65900544 15395 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16089 15395 1111 63 0 16026 0
vsize: 64356
[startup+330.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 16843 0 0 0 32933 69 0 0 25 0 1 0 903615727 67522560 15777 4294967295 134512640 134716908 3221224576 3221223132 134535888 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16485 15777 1111 63 0 16422 0
vsize: 65940
[startup+340.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 17296 0 0 0 33931 71 0 0 25 0 1 0 903615727 69410816 16230 4294967295 134512640 134716908 3221224576 3221223216 134539376 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16946 16231 1111 63 0 16883 0
vsize: 67784
[startup+350.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 17807 0 0 0 34930 73 0 0 25 0 1 0 903615727 71438336 16741 4294967295 134512640 134716908 3221224576 3221223360 134529365 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17441 16741 1111 63 0 17378 0
vsize: 69764
[startup+360.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 18282 0 0 0 35927 76 0 0 25 0 1 0 903615727 73465856 17216 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17936 17216 1111 63 0 17873 0
vsize: 71744
[startup+370.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 18759 0 0 0 36925 78 0 0 25 0 1 0 903615727 75358208 17693 4294967295 134512640 134716908 3221224576 3221223376 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18398 17693 1111 63 0 18335 0
vsize: 73592
[startup+380.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 19207 0 0 0 37923 80 0 0 25 0 1 0 903615727 77250560 18141 4294967295 134512640 134716908 3221224576 3221223168 134549700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18860 18141 1111 63 0 18797 0
vsize: 75440
[startup+390.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 19648 0 0 0 38921 83 0 0 25 0 1 0 903615727 79007744 18582 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19289 18582 1111 63 0 19226 0
vsize: 77156
[startup+400.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 19973 0 0 0 39920 84 0 0 25 0 1 0 903615727 80359424 18907 4294967295 134512640 134716908 3221224576 3221223360 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19619 18907 1111 63 0 19556 0
vsize: 78476
[startup+410.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 20246 0 0 0 40920 84 0 0 25 0 1 0 903615727 81469440 19180 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19890 19180 1111 63 0 19827 0
vsize: 79560
[startup+420.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 20593 0 0 0 41918 86 0 0 25 0 1 0 903615727 82968576 19527 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20256 19527 1111 63 0 20193 0
vsize: 81024
[startup+430.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 20972 0 0 0 42917 88 0 0 25 0 1 0 903615727 84455424 19906 4294967295 134512640 134716908 3221224576 3221223156 134549797 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20619 19906 1111 63 0 20556 0
vsize: 82476
[startup+440.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21338
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 21393 0 0 0 43915 90 0 0 25 0 1 0 903615727 86212608 20327 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21048 20327 1111 63 0 20985 0
vsize: 84192
[startup+450.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 21789 0 0 0 44914 91 0 0 25 0 1 0 903615727 87834624 20723 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21444 20723 1111 63 0 21381 0
vsize: 85776
[startup+460.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 22121 0 0 0 45913 92 0 0 25 0 1 0 903615727 89194496 21055 4294967295 134512640 134716908 3221224576 3221223376 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21776 21055 1111 63 0 21713 0
vsize: 87104
[startup+470.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 22452 0 0 0 46912 93 0 0 25 0 1 0 903615727 90550272 21386 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22107 21386 1111 63 0 22044 0
vsize: 88428
[startup+480.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 22827 0 0 0 47911 94 0 0 25 0 1 0 903615727 92176384 21761 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22504 21761 1111 63 0 22441 0
vsize: 90016
[startup+490.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 23166 0 0 0 48910 96 0 0 25 0 1 0 903615727 93528064 22100 4294967295 134512640 134716908 3221224576 3221223360 134529252 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22834 22101 1111 63 0 22771 0
vsize: 91336
[startup+500.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 23439 0 0 0 49909 97 0 0 25 0 1 0 903615727 94605312 22373 4294967295 134512640 134716908 3221224576 3221223216 134536700 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23097 22373 1111 63 0 23034 0
vsize: 92388
[startup+510.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 23736 0 0 0 50908 98 0 0 25 0 1 0 903615727 95821824 22669 4294967295 134512640 134716908 3221224576 3221223232 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23394 22669 1111 63 0 23331 0
vsize: 93576
[startup+520.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 24038 0 0 0 51906 100 0 0 25 0 1 0 903615727 97038336 22971 4294967295 134512640 134716908 3221224576 3221223288 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23691 22971 1111 63 0 23628 0
vsize: 94764
[startup+530.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 24362 0 0 0 52905 102 0 0 25 0 1 0 903615727 98390016 23294 4294967295 134512640 134716908 3221224576 3221223132 134535649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24021 23294 1111 63 0 23958 0
vsize: 96084
[startup+540.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 24702 0 0 0 53904 103 0 0 25 0 1 0 903615727 99745792 23634 4294967295 134512640 134716908 3221224576 3221223136 134535881 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24352 23634 1111 63 0 24289 0
vsize: 97408
[startup+550.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 25058 0 0 0 54902 105 0 0 25 0 1 0 903615727 101249024 23989 4294967295 134512640 134716908 3221224576 3221223168 134549780 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24719 23989 1111 63 0 24656 0
vsize: 98876
[startup+560.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 25362 0 0 0 55901 106 0 0 25 0 1 0 903615727 102465536 24293 4294967295 134512640 134716908 3221224576 3221223180 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25016 24293 1111 63 0 24953 0
vsize: 100064
[startup+570.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 25693 0 0 0 56899 108 0 0 25 0 1 0 903615727 103952384 24623 4294967295 134512640 134716908 3221224576 3221223296 134535795 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25379 24623 1111 63 0 25316 0
vsize: 101516
[startup+580.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 26059 0 0 0 57897 110 0 0 25 0 1 0 903615727 105439232 24989 4294967295 134512640 134716908 3221224576 3221223116 134539237 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25742 24989 1111 63 0 25679 0
vsize: 102968
[startup+590.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 26413 0 0 0 58896 112 0 0 25 0 1 0 903615727 106926080 25343 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26105 25343 1111 63 0 26042 0
vsize: 104420
[startup+600.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 26743 0 0 0 59895 113 0 0 25 0 1 0 903615727 108277760 25673 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26435 25674 1111 63 0 26372 0
vsize: 105740
[startup+610.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 27055 0 0 0 60893 115 0 0 25 0 1 0 903615727 109522944 25984 4294967295 134512640 134716908 3221224576 3221223060 134699551 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26739 25984 1111 63 0 26676 0
vsize: 106956
[startup+620.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 27375 0 0 0 61892 117 0 0 25 0 1 0 903615727 110874624 26304 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27069 26304 1111 63 0 27006 0
vsize: 108276
[startup+630.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 27682 0 0 0 62890 119 0 0 25 0 1 0 903615727 112091136 26611 4294967295 134512640 134716908 3221224576 3221223016 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27366 26611 1111 63 0 27303 0
vsize: 109464
[startup+640.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 27975 0 0 0 63889 120 0 0 25 0 1 0 903615727 113344512 26902 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27672 26902 1111 63 0 27609 0
vsize: 110688
[startup+650.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 28296 0 0 0 64887 122 0 0 25 0 1 0 903615727 114696192 27223 4294967295 134512640 134716908 3221224576 3221223072 134535400 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28002 27223 1111 63 0 27939 0
vsize: 112008
[startup+660.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 28616 0 0 0 65885 124 0 0 25 0 1 0 903615727 115908608 27543 4294967295 134512640 134716908 3221224576 3221223360 134528771 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28298 27543 1111 63 0 28235 0
vsize: 113192
[startup+670.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 28903 0 0 0 66885 125 0 0 25 0 1 0 903615727 117125120 27830 4294967295 134512640 134716908 3221224576 3221223360 134529234 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28595 27830 1111 63 0 28532 0
vsize: 114380
[startup+680.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 29192 0 0 0 67883 126 0 0 25 0 1 0 903615727 118341632 28119 4294967295 134512640 134716908 3221224576 3221223132 134535518 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28892 28119 1111 63 0 28829 0
vsize: 115568
[startup+690.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 29461 0 0 0 68883 127 0 0 25 0 1 0 903615727 119422976 28387 4294967295 134512640 134716908 3221224576 3221223344 134529381 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29156 28387 1111 63 0 29093 0
vsize: 116624
[startup+700.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 29799 0 0 0 69882 128 0 0 25 0 1 0 903615727 120774656 28725 4294967295 134512640 134716908 3221224576 3221223208 134536668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29486 28725 1111 63 0 29423 0
vsize: 117944
[startup+710.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 30145 0 0 0 70881 129 0 0 25 0 1 0 903615727 122126336 29071 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29816 29071 1111 63 0 29753 0
vsize: 119264
[startup+720.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 30520 0 0 0 71880 131 0 0 25 0 1 0 903615727 123748352 29446 4294967295 134512640 134716908 3221224576 3221223224 134539581 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30212 29446 1111 63 0 30149 0
vsize: 120848
[startup+730.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 30845 0 0 0 72878 132 0 0 25 0 1 0 903615727 125100032 29771 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30542 29771 1111 63 0 30479 0
vsize: 122168
[startup+740.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 31165 0 0 0 73877 134 0 0 25 0 1 0 903615727 126316544 30091 4294967295 134512640 134716908 3221224576 3221223316 134524380 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30839 30091 1111 63 0 30776 0
vsize: 123356
[startup+750.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 31475 0 0 0 74875 136 0 0 25 0 1 0 903615727 127668224 30401 4294967295 134512640 134716908 3221224576 3221223144 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31169 30401 1111 63 0 31106 0
vsize: 124676
[startup+760.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 31798 0 0 0 75874 137 0 0 25 0 1 0 903615727 129019904 30724 4294967295 134512640 134716908 3221224576 3221223228 134536817 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31499 30724 1111 63 0 31436 0
vsize: 125996
[startup+770.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 32113 0 0 0 76873 138 0 0 25 0 1 0 903615727 130236416 31039 4294967295 134512640 134716908 3221224576 3221223360 134528809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31796 31039 1111 63 0 31733 0
vsize: 127184
[startup+780.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 32377 0 0 0 77872 139 0 0 25 0 1 0 903615727 131313664 31303 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32059 31303 1111 63 0 31996 0
vsize: 128236
[startup+790.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 32624 0 0 0 78871 141 0 0 25 0 1 0 903615727 132403200 31549 4294967295 134512640 134716908 3221224576 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32325 31549 1111 63 0 32262 0
vsize: 129300
[startup+800.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 32878 0 0 0 79870 142 0 0 25 0 1 0 903615727 133349376 31803 4294967295 134512640 134716908 3221224576 3221223216 134613447 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32556 31803 1111 63 0 32493 0
vsize: 130224
[startup+810.017 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 33129 0 0 0 80869 143 0 0 25 0 1 0 903615727 134430720 32054 4294967295 134512640 134716908 3221224576 3221223208 134552673 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32820 32054 1111 63 0 32757 0
vsize: 131280
[startup+820.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 33355 0 0 0 81868 144 0 0 25 0 1 0 903615727 135376896 32280 4294967295 134512640 134716908 3221224576 3221223064 134552650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33051 32280 1111 63 0 32988 0
vsize: 132204
[startup+830.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 33565 0 0 0 82868 144 0 0 25 0 1 0 903615727 136187904 32490 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33249 32490 1111 63 0 33186 0
vsize: 132996
[startup+840.018 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 33787 0 0 0 83867 145 0 0 25 0 1 0 903615727 137134080 32712 4294967295 134512640 134716908 3221224576 3221223168 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33480 32712 1111 63 0 33417 0
vsize: 133920
[startup+850.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 34053 0 0 0 84867 146 0 0 25 0 1 0 903615727 138215424 32978 4294967295 134512640 134716908 3221224576 3221223300 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33744 32978 1111 63 0 33681 0
vsize: 134976
[startup+860.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 34288 0 0 0 85866 147 0 0 25 0 1 0 903615727 139231232 33212 4294967295 134512640 134716908 3221224576 3221223352 134613517 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33992 33212 1111 63 0 33929 0
vsize: 135968
[startup+870.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 34526 0 0 0 86866 147 0 0 25 0 1 0 903615727 140177408 33450 4294967295 134512640 134716908 3221224576 3221223240 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34223 33450 1111 63 0 34160 0
vsize: 136892
[startup+880.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 34752 0 0 0 87865 148 0 0 25 0 1 0 903615727 141123584 33676 4294967295 134512640 134716908 3221224576 3221223084 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34454 33676 1111 63 0 34391 0
vsize: 137816
[startup+890.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 35073 0 0 0 88864 150 0 0 25 0 1 0 903615727 142471168 33997 4294967295 134512640 134716908 3221224576 3221223132 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34783 33997 1111 63 0 34720 0
vsize: 139132
[startup+900.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 35383 0 0 0 89862 151 0 0 25 0 1 0 903615727 143687680 34307 4294967295 134512640 134716908 3221224576 3221223248 134551963 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35080 34307 1111 63 0 35017 0
vsize: 140320
[startup+910.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 35726 0 0 0 90861 152 0 0 25 0 1 0 903615727 145174528 34650 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35443 34650 1111 63 0 35380 0
vsize: 141772
[startup+920.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 36044 0 0 0 91860 154 0 0 25 0 1 0 903615727 146391040 34968 4294967295 134512640 134716908 3221224576 3221223072 134535433 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35740 34968 1111 63 0 35677 0
vsize: 142960
[startup+930.019 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 36370 0 0 0 92858 156 0 0 25 0 1 0 903615727 147742720 35294 4294967295 134512640 134716908 3221224576 3221223160 134543600 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36070 35294 1111 63 0 36007 0
vsize: 144280
[startup+940.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 36671 0 0 0 93858 157 0 0 25 0 1 0 903615727 148959232 35595 4294967295 134512640 134716908 3221224576 3221223280 134528726 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36367 35595 1111 63 0 36304 0
vsize: 145468
[startup+950.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 36899 0 0 0 94857 158 0 0 25 0 1 0 903615727 149905408 35823 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36598 35823 1111 63 0 36535 0
vsize: 146392
[startup+960.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 37224 0 0 0 95855 160 0 0 25 0 1 0 903615727 151265280 36148 4294967295 134512640 134716908 3221224576 3221223196 134613768 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36930 36148 1111 63 0 36867 0
vsize: 147720
[startup+970.021 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 37532 0 0 0 96853 162 0 0 25 0 1 0 903615727 152481792 36456 4294967295 134512640 134716908 3221224576 3221223168 134549594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37227 36456 1111 63 0 37164 0
vsize: 148908
[startup+980.022 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 37865 0 0 0 97852 163 0 0 25 0 1 0 903615727 153833472 36789 4294967295 134512640 134716908 3221224576 3221223216 134539411 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37557 36789 1111 63 0 37494 0
vsize: 150228
[startup+990.023 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 38177 0 0 0 98851 165 0 0 25 0 1 0 903615727 155185152 37101 4294967295 134512640 134716908 3221224576 3221223268 134528601 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37887 37101 1111 63 0 37824 0
vsize: 151548
[startup+1000.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 38537 0 0 0 99849 167 0 0 25 0 1 0 903615727 156672000 37461 4294967295 134512640 134716908 3221224576 3221223184 134549327 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38250 37461 1111 63 0 38187 0
vsize: 153000
[startup+1010.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 38826 0 0 0 100848 168 0 0 25 0 1 0 903615727 157888512 37750 4294967295 134512640 134716908 3221224576 3221223336 134552570 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38547 37750 1111 63 0 38484 0
vsize: 154188
[startup+1020.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 39057 0 0 0 101848 168 0 0 25 0 1 0 903615727 158834688 37981 4294967295 134512640 134716908 3221224576 3221223168 134549686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38778 37981 1111 63 0 38715 0
vsize: 155112
[startup+1030.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 39281 0 0 0 102847 169 0 0 25 0 1 0 903615727 159645696 38205 4294967295 134512640 134716908 3221224576 3221223180 134536828 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38976 38205 1111 63 0 38913 0
vsize: 155904
[startup+1040.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 39514 0 0 0 103846 170 0 0 25 0 1 0 903615727 160727040 38438 4294967295 134512640 134716908 3221224576 3221223132 134535895 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39240 38438 1111 63 0 39177 0
vsize: 156960
[startup+1050.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 39768 0 0 0 104845 172 0 0 25 0 1 0 903615727 161673216 38692 4294967295 134512640 134716908 3221224576 3221223312 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39471 38692 1111 63 0 39408 0
vsize: 157884
[startup+1060.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 39932 0 0 0 105845 172 0 0 25 0 1 0 903615727 162365440 38856 4294967295 134512640 134716908 3221224576 3221222832 134699809 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39640 38856 1111 63 0 39577 0
vsize: 158560
[startup+1070.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 40065 0 0 0 106844 173 0 0 25 0 1 0 903615727 162906112 38989 4294967295 134512640 134716908 3221224576 3221223132 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39772 38989 1111 63 0 39709 0
vsize: 159088
[startup+1080.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 40312 0 0 0 107843 174 0 0 25 0 1 0 903615727 164007936 39236 4294967295 134512640 134716908 3221224576 3221223252 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40041 39236 1111 63 0 39978 0
vsize: 160164
[startup+1090.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 40632 0 0 0 108842 175 0 0 25 0 1 0 903615727 165224448 39556 4294967295 134512640 134716908 3221224576 3221223312 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40338 39556 1111 63 0 40275 0
vsize: 161352
[startup+1100.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 40901 0 0 0 109841 176 0 0 25 0 1 0 903615727 166305792 39825 4294967295 134512640 134716908 3221224576 3221223132 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40602 39825 1111 63 0 40539 0
vsize: 162408
[startup+1110.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 41142 0 0 0 110841 177 0 0 25 0 1 0 903615727 167391232 40066 4294967295 134512640 134716908 3221224576 3221223220 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40867 40066 1111 63 0 40804 0
vsize: 163468
[startup+1120.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 41418 0 0 0 111840 178 0 0 25 0 1 0 903615727 168472576 40342 4294967295 134512640 134716908 3221224576 3221223216 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41131 40342 1111 63 0 41068 0
vsize: 164524
[startup+1130.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 41680 0 0 0 112839 179 0 0 25 0 1 0 903615727 169553920 40604 4294967295 134512640 134716908 3221224576 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41395 40604 1111 63 0 41332 0
vsize: 165580
[startup+1140.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 41915 0 0 0 113838 180 0 0 25 0 1 0 903615727 170500096 40839 4294967295 134512640 134716908 3221224576 3221223216 134523874 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41626 40839 1111 63 0 41563 0
vsize: 166504
[startup+1150.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 42199 0 0 0 114838 181 0 0 25 0 1 0 903615727 171716608 41123 4294967295 134512640 134716908 3221224576 3221223200 134543097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41923 41123 1111 63 0 41860 0
vsize: 167692
[startup+1160.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 42519 0 0 0 115836 183 0 0 25 0 1 0 903615727 173068288 41443 4294967295 134512640 134716908 3221224576 3221223360 134529097 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42253 41443 1111 63 0 42190 0
vsize: 169012
[startup+1170.02 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 42782 0 0 0 116835 184 0 0 25 0 1 0 903615727 174149632 41706 4294967295 134512640 134716908 3221224576 3221223128 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42517 41706 1111 63 0 42454 0
vsize: 170068
[startup+1174.97 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 21340
Raw data (stat): 21283 (bsolo_lpr_cuts-) R 21282 7266 7265 0 -1 0 42782 0 0 0 116835 184 0 0 25 0 1 0 903615727 174149632 41706 4294967295 134512640 134716908 3221224576 3221223128 134698813 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42517 41706 1111 63 0 42454 0
vsize: 0

Child status: 0
Real time (s): 1174.97
CPU time (s): 1175.13
CPU user time (s): 1173.2
CPU system time (s): 1.92971
CPU usage (%): 100.014
Max. virtual memory (Kb): 170068
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####