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/mps-v2-20-10/MIPLIB/miplib3/normalized-mps-v2-20-10-p0548.opb
MD5SUM	10547c6c0f11ab5df74fcaff6ba6d160
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14938
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.87
Number of variables	548
Total number of constraints	724
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	550
Number of constraints which are nor clauses,nor cardinality constraints	134
Minimum length of a constraint	1
Maximum length of a constraint	143
Trace number 41219

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 08:11:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29273 boxname=wulflinc4 idbench=1057 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  10547c6c0f11ab5df74fcaff6ba6d160  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0548.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-p0548.opb
IDLAUNCH: 29273
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 2
cpu MHz		: 451.169
cache size	: 512 KB
fdiv_bug	: no
hlt_bug		: no
f00f_bug	: no
coma_bug	: no
fpu		: yes
fpu_exception	: yes
cpuid level	: 2
wp		: yes
flags		: fpu vme de pse tsc msr pae mce cx8 apic sep mtrr pge mca cmov pat pse36 mmx fxsr sse
bogomips	: 890.88

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        899240 kB
Buffers:          3604 kB
Cached:         111804 kB
SwapCached:        872 kB
Active:          24400 kB
Inactive:        92984 kB
HighTotal:      131008 kB
HighFree:        16324 kB
LowTotal:       903652 kB
LowFree:        882916 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4908 kB
Slab:            12376 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:31:25 (client local time) WITH STATUS 0 IN 1175.14 SECONDS
stats: 29273 7 1175.14 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 548 variables and 166 constraints.
c After prepocess the problem consists of 527 variables and 154 constraints.
c preprocess terminated 0.742 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.0295
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.96 0.91 1/54 12490
Raw data (stat): 12490 (runsolver) R 12489 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908727135 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.0013 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 10146 0 0 0 968 29 0 0 25 0 1 0 908727135 21237760 4489 4294967295 134512640 134716908 3221224560 3221222700 1077404715 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5185 4489 1111 63 0 5122 0
vsize: 20740
[startup+20.0014 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 16591 0 0 0 1947 50 0 0 25 0 1 0 908727135 24715264 5339 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 6034 5339 1111 63 0 5971 0
vsize: 24136
[startup+30.0023 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 23044 0 0 0 2925 72 0 0 25 0 1 0 908727135 28950528 6367 4294967295 134512640 134716908 3221224560 3221222912 1074115298 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7068 6367 1111 63 0 7005 0
vsize: 28272
[startup+40.0027 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 29431 0 0 0 3904 94 0 0 25 0 1 0 908727135 32473088 7234 4294967295 134512640 134716908 3221224560 3221222776 1074138166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7928 7234 1111 63 0 7865 0
vsize: 31712
[startup+50.004 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 35243 0 0 0 4886 112 0 0 25 0 1 0 908727135 35983360 8057 4294967295 134512640 134716908 3221224560 3221221644 1075860669 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 8785 8057 1111 63 0 8722 0
vsize: 35140
[startup+60.0039 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 41810 0 0 0 5864 134 0 0 25 0 1 0 908727135 40980480 9265 4294967295 134512640 134716908 3221224560 3221222208 1075818355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10005 9265 1111 63 0 9942 0
vsize: 40020
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 48839 0 0 0 6841 157 0 0 25 0 1 0 908727135 44417024 10126 4294967295 134512640 134716908 3221224560 3221222864 1074153815 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 10844 10126 1111 63 0 10781 0
vsize: 43376
[startup+80.0056 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 55282 0 0 0 7817 181 0 0 25 0 1 0 908727135 47886336 10934 4294967295 134512640 134716908 3221224560 3221221480 1077378037 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 11691 10934 1111 63 0 11628 0
vsize: 46764
[startup+90.0055 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 62249 0 0 0 8794 204 0 0 25 0 1 0 908727135 51412992 11833 4294967295 134512640 134716908 3221224560 3221222864 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12552 11833 1111 63 0 12489 0
vsize: 50208
[startup+100.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 68883 0 0 0 9771 228 0 0 25 0 1 0 908727135 57569280 13097 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14055 13097 1111 63 0 13992 0
vsize: 56220
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 76166 0 0 0 10749 250 0 0 25 0 1 0 908727135 61120512 13963 4294967295 134512640 134716908 3221224560 3221222848 1074153663 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14922 13963 1111 63 0 14859 0
vsize: 59688
[startup+120.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 83351 0 0 0 11729 270 0 0 25 0 1 0 908727135 64446464 14809 4294967295 134512640 134716908 3221224560 3221222672 1074867314 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 15734 14809 1111 63 0 15671 0
vsize: 62936
[startup+130.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 91288 0 0 0 12705 294 0 0 25 0 1 0 908727135 68059136 15698 4294967295 134512640 134716908 3221224560 3221223456 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16616 15698 1111 63 0 16553 0
vsize: 66464
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 99222 0 0 0 13680 320 0 0 25 0 1 0 908727135 71303168 16524 4294967295 134512640 134716908 3221224560 3221222864 1074153800 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 17408 16524 1111 63 0 17345 0
vsize: 69632
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 106637 0 0 0 14658 342 0 0 25 0 1 0 908727135 74825728 17375 4294967295 134512640 134716908 3221224560 3221222464 1074057992 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 18268 17375 1111 63 0 18205 0
vsize: 73072
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 114674 0 0 0 15636 364 0 0 25 0 1 0 908727135 78467072 18320 4294967295 134512640 134716908 3221224560 3221223328 134592116 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19157 18320 1111 63 0 19094 0
vsize: 76628
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 122360 0 0 0 16613 386 0 0 25 0 1 0 908727135 81715200 19115 4294967295 134512640 134716908 3221224560 3221222960 1074153766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19950 19115 1111 63 0 19887 0
vsize: 79800
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 130674 0 0 0 17590 410 0 0 25 0 1 0 908727135 85299200 19990 4294967295 134512640 134716908 3221224560 3221223296 134622763 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 20825 19990 1111 63 0 20762 0
vsize: 83300
[startup+190.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 137381 0 0 0 18572 428 0 0 25 0 1 0 908727135 93949952 21525 4294967295 134512640 134716908 3221224560 3221222844 1077410225 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 22937 21525 1111 63 0 22874 0
vsize: 91748
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 145920 0 0 0 19546 454 0 0 25 0 1 0 908727135 97792000 22421 4294967295 134512640 134716908 3221224560 3221221328 1076083481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 23875 22421 1111 63 0 23812 0
vsize: 95500
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 154339 0 0 0 20518 482 0 0 25 0 1 0 908727135 101122048 23304 4294967295 134512640 134716908 3221224560 3221222672 1074867340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24688 23304 1111 63 0 24625 0
vsize: 98752
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 162772 0 0 0 21495 506 0 0 25 0 1 0 908727135 104546304 24113 4294967295 134512640 134716908 3221224560 3221221656 1077410239 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 25524 24113 1111 63 0 25461 0
vsize: 102096
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 169689 0 0 0 22473 527 0 0 25 0 1 0 908727135 107081728 24786 4294967295 134512640 134716908 3221224560 3221222304 1075640233 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 26143 24786 1111 63 0 26080 0
vsize: 104572
[startup+240.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 178185 0 0 0 23449 552 0 0 25 0 1 0 908727135 110780416 25726 4294967295 134512640 134716908 3221224560 3221222864 1074153806 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27046 25726 1111 63 0 26983 0
vsize: 108184
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 186782 0 0 0 24421 580 0 0 25 0 1 0 908727135 114028544 26526 4294967295 134512640 134716908 3221224560 3221222940 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27839 26526 1111 63 0 27776 0
vsize: 111356
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 195372 0 0 0 25395 607 0 0 25 0 1 0 908727135 117452800 27389 4294967295 134512640 134716908 3221224560 3221222812 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28675 27389 1111 63 0 28612 0
vsize: 114700
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 204004 0 0 0 26371 630 0 0 25 0 1 0 908727135 121155584 28280 4294967295 134512640 134716908 3221224560 3221222560 1074918472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29579 28280 1111 63 0 29516 0
vsize: 118316
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 210884 0 0 0 27350 651 0 0 25 0 1 0 908727135 124317696 29077 4294967295 134512640 134716908 3221224560 3221222776 1074138162 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30351 29077 1111 63 0 30288 0
vsize: 121404
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 219529 0 0 0 28323 679 0 0 25 0 1 0 908727135 128200704 30012 4294967295 134512640 134716908 3221224560 3221222608 1074140582 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31299 30012 1111 63 0 31236 0
vsize: 125196
[startup+300.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 228003 0 0 0 29296 705 0 0 25 0 1 0 908727135 132067328 30974 4294967295 134512640 134716908 3221224560 3221222200 1077410163 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32243 30974 1111 63 0 32180 0
vsize: 128972
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 236471 0 0 0 30269 733 0 0 25 0 1 0 908727135 135446528 31810 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33068 31810 1111 63 0 33005 0
vsize: 132272
[startup+320.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 243594 0 0 0 31248 754 0 0 25 0 1 0 908727135 138997760 32714 4294967295 134512640 134716908 3221224560 3221223020 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33935 32714 1111 63 0 33872 0
vsize: 135740
[startup+330.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 252260 0 0 0 32223 779 0 0 25 0 1 0 908727135 142766080 33648 4294967295 134512640 134716908 3221224560 3221221904 1074839094 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34913 33651 1111 63 0 34850 0
vsize: 139420
[startup+340.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 260999 0 0 0 33197 805 0 0 25 0 1 0 908727135 146305024 34488 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35719 34488 1111 63 0 35656 0
vsize: 142876
[startup+350.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 268558 0 0 0 34175 828 0 0 25 0 1 0 908727135 148807680 35182 4294967295 134512640 134716908 3221224560 3221222824 1077410205 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36330 35182 1111 63 0 36267 0
vsize: 145320
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 275883 0 0 0 35153 850 0 0 25 0 1 0 908727135 151482368 35835 4294967295 134512640 134716908 3221224560 3221222736 1074143489 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36983 35835 1111 63 0 36920 0
vsize: 147932
[startup+370.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 284506 0 0 0 36132 874 0 0 25 0 1 0 908727135 154677248 36611 4294967295 134512640 134716908 3221224560 3221223024 1074121006 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37763 36611 1111 63 0 37700 0
vsize: 151052
[startup+380.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 291970 0 0 0 37113 893 0 0 25 0 1 0 908727135 169517056 38914 4294967295 134512640 134716908 3221224560 3221222288 1075828201 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41386 38914 1111 63 0 41323 0
vsize: 165544
[startup+390.038 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 300571 0 0 0 38090 916 0 0 25 0 1 0 908727135 172498944 39636 4294967295 134512640 134716908 3221224560 3221223304 134536879 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42114 39636 1111 63 0 42051 0
vsize: 168456
[startup+400.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 309187 0 0 0 39065 941 0 0 25 0 1 0 908727135 175583232 40399 4294967295 134512640 134716908 3221224560 3221222740 1077782939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42866 40399 1111 63 0 42803 0
vsize: 171468
[startup+410.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 316684 0 0 0 40042 964 0 0 25 0 1 0 908727135 178216960 41040 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43510 41040 1111 63 0 43447 0
vsize: 174040
[startup+420.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 325159 0 0 0 41015 992 0 0 25 0 1 0 908727135 182206464 41961 4294967295 134512640 134716908 3221224560 3221221600 1075971434 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 44484 41963 1111 63 0 44421 0
vsize: 177936
[startup+430.039 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 333673 0 0 0 41991 1016 0 0 25 0 1 0 908727135 184770560 42661 4294967295 134512640 134716908 3221224560 3221222864 1074153672 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45110 42661 1111 63 0 45047 0
vsize: 180440
[startup+440.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 341576 0 0 0 42965 1041 0 0 25 0 1 0 908727135 187740160 43419 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 45835 43419 1111 63 0 45772 0
vsize: 183340
[startup+450.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 350029 0 0 0 43943 1064 0 0 25 0 1 0 908727135 191438848 44338 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 46738 44338 1111 63 0 46675 0
vsize: 186952
[startup+460.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 357396 0 0 0 44924 1083 0 0 25 0 1 0 908727135 194576384 45127 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 47504 45127 1111 63 0 47441 0
vsize: 190016
[startup+470.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 365679 0 0 0 45898 1108 0 0 25 0 1 0 908727135 198897664 46093 4294967295 134512640 134716908 3221224560 3221221452 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 48559 46093 1111 63 0 48496 0
vsize: 194236
[startup+480.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 374315 0 0 0 46874 1133 0 0 25 0 1 0 908727135 202637312 47011 4294967295 134512640 134716908 3221224560 3221220720 1075095166 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 49472 47011 1111 63 0 49409 0
vsize: 197888
[startup+490.041 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 383038 0 0 0 47849 1158 0 0 25 0 1 0 908727135 206016512 47947 4294967295 134512640 134716908 3221224560 3221222896 1074153736 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 50297 47947 1111 63 0 50234 0
vsize: 201188
[startup+500.042 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 390131 0 0 0 48828 1179 0 0 25 0 1 0 908727135 209039360 48680 4294967295 134512640 134716908 3221224560 3221222540 1077411564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51035 48680 1111 63 0 50972 0
vsize: 204140
[startup+510.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 398824 0 0 0 49798 1210 0 0 25 0 1 0 908727135 212770816 49627 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 51946 49627 1111 63 0 51883 0
vsize: 207784
[startup+520.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 407457 0 0 0 50774 1234 0 0 25 0 1 0 908727135 216395776 50568 4294967295 134512640 134716908 3221224560 3221223432 134543614 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 52831 50568 1111 63 0 52768 0
vsize: 211324
[startup+530.043 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 407783 0 0 0 51772 1236 0 0 25 0 1 0 908727135 217784320 50878 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53170 50878 1111 63 0 53107 0
vsize: 212680
[startup+540.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 408534 0 0 0 52770 1238 0 0 25 0 1 0 908727135 219807744 51391 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53664 51391 1111 63 0 53601 0
vsize: 214656
[startup+550.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 53765 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543176 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+560.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 54766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+570.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 55766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+580.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 56766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223364 134622283 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+590.044 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 57766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+600.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 58766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223356 134543540 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+610.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 59766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223376 134622268 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+620.045 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 410952 0 0 0 60766 1243 0 0 25 0 1 0 908727135 217853952 50932 4294967295 134512640 134716908 3221224560 3221223352 134558485 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53187 50932 1111 63 0 53124 0
vsize: 212748
[startup+630.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 411108 0 0 0 61766 1244 0 0 25 0 1 0 908727135 217538560 50855 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53110 50855 1111 63 0 53047 0
vsize: 212440
[startup+640.046 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 411868 0 0 0 62764 1246 0 0 25 0 1 0 908727135 219701248 51375 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53638 51375 1111 63 0 53575 0
vsize: 214552
[startup+650.047 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 419792 0 0 0 63746 1264 0 0 25 0 1 0 908727135 217432064 50824 4294967295 134512640 134716908 3221224560 3221222332 1077404784 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53084 50824 1111 63 0 53021 0
vsize: 212336
[startup+660.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 437189 0 0 0 64704 1306 0 0 25 0 1 0 908727135 220971008 51687 4294967295 134512640 134716908 3221224560 3221223148 134535939 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 53948 51687 1111 63 0 53885 0
vsize: 215792
[startup+670.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 451740 0 0 0 65669 1341 0 0 25 0 1 0 908727135 224116736 52465 4294967295 134512640 134716908 3221224560 3221222896 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 54716 52465 1111 63 0 54653 0
vsize: 218864
[startup+680.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 469203 0 0 0 66628 1383 0 0 25 0 1 0 908727135 228237312 53379 4294967295 134512640 134716908 3221224560 3221222288 1075635984 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 55722 53379 1111 63 0 55659 0
vsize: 222888
[startup+690.048 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 486348 0 0 0 67585 1426 0 0 25 0 1 0 908727135 231841792 54251 4294967295 134512640 134716908 3221224560 3221222896 1074153786 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 56602 54251 1111 63 0 56539 0
vsize: 226408
[startup+700.049 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 503900 0 0 0 68543 1468 0 0 25 0 1 0 908727135 235692032 55152 4294967295 134512640 134716908 3221224560 3221222288 1075635641 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 57542 55152 1111 63 0 57479 0
vsize: 230168
[startup+710.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 518471 0 0 0 69511 1500 0 0 25 0 1 0 908727135 238899200 55899 4294967295 134512640 134716908 3221224560 3221222864 1074153812 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 58325 55899 1111 63 0 58262 0
vsize: 233300
[startup+720.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 535704 0 0 0 70473 1539 0 0 25 0 1 0 908727135 242700288 56852 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 59253 56852 1111 63 0 59190 0
vsize: 237012
[startup+730.05 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 552779 0 0 0 71432 1580 0 0 25 0 1 0 908727135 246046720 57669 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60070 57669 1111 63 0 60007 0
vsize: 240280
[startup+740.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 556641 0 0 0 72421 1591 0 0 25 0 1 0 908727135 247939072 58143 4294967295 134512640 134716908 3221224560 3221222800 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60532 58143 1111 63 0 60469 0
vsize: 242128
[startup+750.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 556736 0 0 0 73420 1592 0 0 25 0 1 0 908727135 248393728 58238 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60643 58238 1111 63 0 60580 0
vsize: 242572
[startup+760.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 556808 0 0 0 74419 1593 0 0 25 0 1 0 908727135 248754176 58310 4294967295 134512640 134716908 3221224560 3221222896 1074153773 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60731 58310 1111 63 0 60668 0
vsize: 242924
[startup+770.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 556851 0 0 0 75419 1594 0 0 25 0 1 0 908727135 248930304 58353 4294967295 134512640 134716908 3221224560 3221222800 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60774 58353 1111 63 0 60711 0
vsize: 243096
[startup+780.051 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 556918 0 0 0 76418 1594 0 0 25 0 1 0 908727135 249098240 58420 4294967295 134512640 134716908 3221224560 3221222848 1074153770 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60815 58420 1111 63 0 60752 0
vsize: 243260
[startup+790.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 558329 0 0 0 77416 1597 0 0 25 0 1 0 908727135 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918591 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+800.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 558329 0 0 0 78416 1597 0 0 25 0 1 0 908727135 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918594 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+810.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 558329 0 0 0 79416 1597 0 0 25 0 1 0 908727135 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918583 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+820.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 558329 0 0 0 80416 1597 0 0 25 0 1 0 908727135 252788736 59315 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61716 59315 1111 63 0 61653 0
vsize: 246864
[startup+830.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 81407 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223352 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+840.052 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 82407 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+850.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 83407 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+860.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 84407 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543168 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+870.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 85408 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+880.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 86408 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223280 134622833 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+890.054 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 87408 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+900.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 88408 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134623152 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+910.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 89408 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+920.055 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 90409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+930.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 91409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543144 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+940.056 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 92409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223288 134622870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+950.057 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 93409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223276 134558476 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+960.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 94409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+970.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 95409 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223272 134543187 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+980.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562698 0 0 0 96410 1607 0 0 25 0 1 0 908727135 249245696 58462 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60851 58462 1111 63 0 60788 0
vsize: 243404
[startup+990.058 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 562862 0 0 0 97408 1609 0 0 25 0 1 0 908727135 248188928 58204 4294967295 134512640 134716908 3221224560 3221222816 1074153760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60593 58204 1111 63 0 60530 0
vsize: 242372
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 563543 0 0 0 98407 1611 0 0 25 0 1 0 908727135 250105856 58664 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61061 58664 1111 63 0 60998 0
vsize: 244244
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 573272 0 0 0 99381 1636 0 0 25 0 1 0 908727135 248541184 58294 4294967295 134512640 134716908 3221224560 3221223004 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 60679 58294 1111 63 0 60616 0
vsize: 242716
[startup+1020.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 589273 0 0 0 100343 1674 0 0 25 0 1 0 908727135 252157952 59151 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 61562 59151 1111 63 0 61499 0
vsize: 246248
[startup+1030.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 605168 0 0 0 101308 1710 0 0 25 0 1 0 908727135 255430656 59982 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 62361 59982 1111 63 0 62298 0
vsize: 249444
[startup+1040.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 622583 0 0 0 102265 1753 0 0 25 0 1 0 908727135 259579904 60973 4294967295 134512640 134716908 3221224560 3221222288 1075828444 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 63374 60973 1111 63 0 63311 0
vsize: 253496
[startup+1050.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 636923 0 0 0 103232 1786 0 0 25 0 1 0 908727135 263868416 62077 4294967295 134512640 134716908 3221224560 3221222560 1074918597 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64421 62077 1111 63 0 64358 0
vsize: 257684
[startup+1060.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 637870 0 0 0 104229 1789 0 0 25 0 1 0 908727135 263069696 61882 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1070.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 637870 0 0 0 105229 1789 0 0 25 0 1 0 908727135 263069696 61882 4294967295 134512640 134716908 3221224560 3221223352 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64226 61882 1111 63 0 64163 0
vsize: 256904
[startup+1080.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 651766 0 0 0 106192 1827 0 0 25 0 1 0 908727135 264749056 62289 4294967295 134512640 134716908 3221224560 3221222896 1074153996 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 64636 62289 1111 63 0 64573 0
vsize: 258544
[startup+1090.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 664639 0 0 0 107160 1859 0 0 25 0 1 0 908727135 268107776 63148 4294967295 134512640 134716908 3221224560 3221222960 1074153782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65456 63148 1111 63 0 65393 0
vsize: 261824
[startup+1100.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 666326 0 0 0 108156 1863 0 0 25 0 1 0 908727135 267931648 63122 4294967295 134512640 134716908 3221224560 3221223296 134622759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1110.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 666326 0 0 0 109156 1863 0 0 25 0 1 0 908727135 267931648 63122 4294967295 134512640 134716908 3221224560 3221223376 134622484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65413 63122 1111 63 0 65350 0
vsize: 261652
[startup+1120.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 678926 0 0 0 110125 1894 0 0 25 0 1 0 908727135 269701120 63529 4294967295 134512640 134716908 3221224560 3221222988 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 65845 63529 1111 63 0 65782 0
vsize: 263380
[startup+1130.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 692267 0 0 0 111095 1924 0 0 25 0 1 0 908727135 272605184 64258 4294967295 134512640 134716908 3221224560 3221222560 1074918599 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 66554 64258 1111 63 0 66491 0
vsize: 266216
[startup+1140.06 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 706704 0 0 0 112061 1959 0 0 25 0 1 0 908727135 274735104 64813 4294967295 134512640 134716908 3221224560 3221222956 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67074 64813 1111 63 0 67011 0
vsize: 268296
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 721670 0 0 0 113024 1996 0 0 25 0 1 0 908727135 276787200 65327 4294967295 134512640 134716908 3221224560 3221223068 134535891 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 67575 65327 1111 63 0 67512 0
vsize: 270300
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 738617 0 0 0 113978 2042 0 0 25 0 1 0 908727135 279736320 66071 4294967295 134512640 134716908 3221224560 3221222864 1074153669 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68295 66071 1111 63 0 68232 0
vsize: 273180
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 753671 0 0 0 114938 2083 0 0 25 0 1 0 908727135 282284032 66705 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68917 66705 1111 63 0 68854 0
vsize: 275668
[startup+1175 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 12490
Raw data (stat): 12490 (bsolo_lpr_cuts-) R 12489 21152 21151 0 -1 0 753671 0 0 0 114938 2083 0 0 25 0 1 0 908727135 282284032 66705 4294967295 134512640 134716908 3221224560 3221222972 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 68917 66705 1111 63 0 68854 0
vsize: 0

Child status: 0
Real time (s): 1175
CPU time (s): 1175.14
CPU user time (s): 1153.97
CPU system time (s): 21.1698
CPU usage (%): 100.012
Max. virtual memory (Kb): 275668
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####