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-mitre.opb
MD5SUM	cb52c3dd346b4d656b5e715b686fba39
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	8401
Optimality of the best value was proved	NO
Number of terms in the objective function	9324
Biggest coefficient in the objective function	213
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	909647
Number of bits of the sum of numbers in the objective function	20
Biggest number in a constraint	1069
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	909647
Number of bits of the biggest sum of numbers	20
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1189.27
Number of variables	10724
Total number of constraints	12778
Number of constraints which are clauses	140
Number of constraints which are cardinality constraints (but not clauses)	12255
Number of constraints which are nor clauses,nor cardinality constraints	383
Minimum length of a constraint	1
Maximum length of a constraint	98
Trace number 41201

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc4 THE 2005-06-09 07:52:07 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=29263 boxname=wulflinc4 idbench=1047 idsolver=21 numberseed=0
MD5SUM SOLVER: 174a32271cb3bba0a277d6d7724e60fb  /oldhome/oroussel/solvers/bsolo_lpr_cuts-v2
MD5SUM BENCH:  cb52c3dd346b4d656b5e715b686fba39  /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb
REAL COMMAND:  bsolo_lpr_cuts-v2 /oldhome/oroussel/tmp/wulflinc4/normalized-mps-v2-20-10-mitre.opb
IDLAUNCH: 29263
/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:        898684 kB
Buffers:          1928 kB
Cached:         113160 kB
SwapCached:        852 kB
Active:          25860 kB
Inactive:        91212 kB
HighTotal:      131008 kB
HighFree:        14896 kB
LowTotal:       903652 kB
LowFree:        883788 kB
SwapTotal:     2097136 kB
SwapFree:      2095216 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           4888 kB
Slab:            13048 kB
Committed_AS:    71796 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1388 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 08:11:43 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 29263 7 1175.17 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 10724 variables and 2045 constraints.
c After prepocess the problem consists of 7047 variables and 2003 constraints.
c preprocess terminated 922.585 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 3.283
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.01 s
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.55 0.85 0.87 2/54 12340
Raw data (stat): 12340 (runsolver) R 12339 21152 21151 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 908608844 884736 94 4294967295 134512640 135332820 3221224448 3221219628 135092226 0 2147483391 7 90112 0 0 0 17 1 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.62 0.86 0.87 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 39856 0 0 0 919 78 0 0 25 0 1 0 908608844 176320512 39776 4294967295 134512640 134716908 3221224560 3221223216 134527932 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 43047 39776 1111 63 0 42984 0
vsize: 172188
[startup+20.0015 s]
Raw data (loadavg): 0.68 0.86 0.87 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 66401 0 0 0 1868 129 0 0 25 0 1 0 908608844 284950528 66321 4294967295 134512640 134716908 3221224560 3221222844 1077399562 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69568 66321 1111 63 0 69505 0
vsize: 278272
[startup+30.0028 s]
Raw data (loadavg): 0.73 0.86 0.87 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 75807 0 0 0 2845 153 0 0 25 0 1 0 908608844 285720576 68858 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.0033 s]
Raw data (loadavg): 0.77 0.87 0.87 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 172667 0 0 0 3608 390 0 0 25 0 1 0 908608844 286580736 69045 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 69966 69045 1111 63 0 69903 0
vsize: 279864
[startup+50.0042 s]
Raw data (loadavg): 0.80 0.87 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229576 0 0 0 4466 532 0 0 25 0 1 0 908608844 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+60.0055 s]
Raw data (loadavg): 0.83 0.87 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229576 0 0 0 5466 532 0 0 25 0 1 0 908608844 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71319 70421 1111 63 0 71256 0
vsize: 285276
[startup+70.0059 s]
Raw data (loadavg): 0.86 0.88 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 229935 0 0 0 6464 534 0 0 25 0 1 0 908608844 292384768 70485 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 71383 70485 1111 63 0 71320 0
vsize: 285532
[startup+80.0067 s]
Raw data (loadavg): 0.88 0.88 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 233415 0 0 0 7455 543 0 0 25 0 1 0 908608844 295387136 71218 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+90.007 s]
Raw data (loadavg): 0.90 0.89 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 233535 0 0 0 8454 544 0 0 25 0 1 0 908608844 295387136 71218 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72116 71218 1111 63 0 72053 0
vsize: 288464
[startup+100.006 s]
Raw data (loadavg): 0.91 0.89 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 234408 0 0 0 9451 547 0 0 25 0 1 0 908608844 296288256 71438 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+110.007 s]
Raw data (loadavg): 0.93 0.89 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 245916 0 0 0 10423 575 0 0 25 0 1 0 908608844 296288256 71438 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72336 71438 1111 63 0 72273 0
vsize: 289344
[startup+120.009 s]
Raw data (loadavg): 0.94 0.89 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 248016 0 0 0 11417 581 0 0 25 0 1 0 908608844 298221568 71910 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 72808 71910 1111 63 0 72745 0
vsize: 291232
[startup+130.009 s]
Raw data (loadavg): 0.95 0.90 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 254389 0 0 0 12401 597 0 0 25 0 1 0 908608844 299634688 72255 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73153 72255 1111 63 0 73090 0
vsize: 292612
[startup+140.009 s]
Raw data (loadavg): 0.95 0.90 0.88 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 255640 0 0 0 13397 601 0 0 25 0 1 0 908608844 300707840 72517 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73415 72517 1111 63 0 73352 0
vsize: 293660
[startup+150.01 s]
Raw data (loadavg): 0.96 0.90 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 256244 0 0 0 14395 603 0 0 25 0 1 0 908608844 302690304 73001 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+160.011 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 258974 0 0 0 15387 612 0 0 25 0 1 0 908608844 302690304 73001 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73899 73001 1111 63 0 73836 0
vsize: 295596
[startup+170.011 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 265381 0 0 0 16368 630 0 0 25 0 1 0 908608844 302866432 73044 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+180.012 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 274599 0 0 0 17346 653 0 0 25 0 1 0 908608844 302866432 73044 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73942 73044 1111 63 0 73879 0
vsize: 295768
[startup+190.012 s]
Raw data (loadavg): 0.98 0.91 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 276307 0 0 0 18342 657 0 0 25 0 1 0 908608844 303468544 73191 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 74089 73191 1111 63 0 74026 0
vsize: 296356
[startup+200.012 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 278076 0 0 0 19337 662 0 0 25 0 1 0 908608844 307372032 74143 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75042 74143 1111 63 0 74979 0
vsize: 300168
[startup+210.013 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 278585 0 0 0 20334 665 0 0 25 0 1 0 908608844 308187136 74342 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75241 74342 1111 63 0 75178 0
vsize: 300964
[startup+220.014 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 279103 0 0 0 21332 667 0 0 25 0 1 0 908608844 308187136 74343 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75241 74343 1111 63 0 75178 0
vsize: 300964
[startup+230.015 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 279824 0 0 0 22330 669 0 0 25 0 1 0 908608844 308617216 74448 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+240.016 s]
Raw data (loadavg): 0.99 0.92 0.89 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 280264 0 0 0 23329 670 0 0 25 0 1 0 908608844 308617216 74448 4294967295 134512640 134716908 3221224560 3221223040 134539462 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 75346 74448 1111 63 0 75283 0
vsize: 301384
[startup+250.015 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 24324 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+260.016 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 25324 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+270.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 26323 675 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+280.017 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 27323 676 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+290.018 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282437 0 0 0 28323 676 0 0 25 0 1 0 908608844 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+300.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 282538 0 0 0 29323 676 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223288 134543552 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+310.018 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 285580 0 0 0 30314 685 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+320.019 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 295797 0 0 0 31288 711 0 0 25 0 1 0 908608844 314195968 75810 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75810 1111 63 0 76645 0
vsize: 306832
[startup+330.021 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 301937 0 0 0 32272 727 0 0 25 0 1 0 908608844 314675200 75927 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+340.021 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 311151 0 0 0 33248 751 0 0 25 0 1 0 908608844 314851328 75970 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76868 75970 1111 63 0 76805 0
vsize: 307472
[startup+350.021 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 311655 0 0 0 34246 753 0 0 25 0 1 0 908608844 315969536 76242 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77141 76242 1111 63 0 77078 0
vsize: 308564
[startup+360.022 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 312406 0 0 0 35244 755 0 0 25 0 1 0 908608844 315969536 76243 4294967295 134512640 134716908 3221224560 3221223128 134558621 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+370.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 315064 0 0 0 36236 763 0 0 25 0 1 0 908608844 315969536 76243 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77141 76243 1111 63 0 77078 0
vsize: 308564
[startup+380.023 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317511 0 0 0 37229 771 0 0 25 0 1 0 908608844 317599744 76640 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77539 76640 1111 63 0 77476 0
vsize: 310156
[startup+390.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317865 0 0 0 38227 772 0 0 25 0 1 0 908608844 317939712 76724 4294967295 134512640 134716908 3221224560 3221222984 1077377857 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77622 76724 1111 63 0 77559 0
vsize: 310488
[startup+400.024 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 317978 0 0 0 39226 773 0 0 25 0 1 0 908608844 318242816 76797 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77696 76797 1111 63 0 77633 0
vsize: 310784
[startup+410.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 318601 0 0 0 40223 776 0 0 25 0 1 0 908608844 319401984 77080 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77979 77080 1111 63 0 77916 0
vsize: 311916
[startup+420.026 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 319635 0 0 0 41219 780 0 0 25 0 1 0 908608844 319959040 77217 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78115 77217 1111 63 0 78052 0
vsize: 312460
[startup+430.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 319918 0 0 0 42218 781 0 0 25 0 1 0 908608844 320303104 77300 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78199 77300 1111 63 0 78136 0
vsize: 312796
[startup+440.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 320906 0 0 0 43214 785 0 0 25 0 1 0 908608844 320729088 77405 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78303 77405 1111 63 0 78240 0
vsize: 313212
[startup+450.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 321369 0 0 0 44213 786 0 0 25 0 1 0 908608844 321032192 77478 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77478 1111 63 0 78314 0
vsize: 313508
[startup+460.028 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 321870 0 0 0 45211 788 0 0 25 0 1 0 908608844 321032192 77479 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+470.029 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 12340
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322425 0 0 0 46210 790 0 0 25 0 1 0 908608844 321458176 77583 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78481 77583 1111 63 0 78418 0
vsize: 313924
[startup+480.03 s]
Raw data (loadavg): 0.99 0.96 0.91 3/57 12384
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322636 0 0 0 47208 791 0 0 25 0 1 0 908608844 321720320 77647 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78545 77647 1111 63 0 78482 0
vsize: 314180
[startup+490.031 s]
Raw data (loadavg): 1.07 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322981 0 0 0 48207 791 0 0 25 0 1 0 908608844 323137536 77992 4294967295 134512640 134716908 3221224560 3221222944 134542350 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+500.031 s]
Raw data (loadavg): 1.06 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 322981 0 0 0 49207 792 0 0 25 0 1 0 908608844 323137536 77992 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+510.032 s]
Raw data (loadavg): 1.05 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 323546 0 0 0 50206 794 0 0 25 0 1 0 908608844 323137536 77993 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 78891 77993 1111 63 0 78828 0
vsize: 315564
[startup+520.032 s]
Raw data (loadavg): 1.04 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 323996 0 0 0 51204 796 0 0 25 0 1 0 908608844 323915776 78182 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79081 78182 1111 63 0 79018 0
vsize: 316324
[startup+530.033 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325025 0 0 0 52202 798 0 0 25 0 1 0 908608844 327352320 79022 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 79920 79022 1111 63 0 79857 0
vsize: 319680
[startup+540.035 s]
Raw data (loadavg): 1.03 0.97 0.91 2/54 12393
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325234 0 0 0 53201 799 0 0 25 0 1 0 908608844 328126464 79211 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80109 79211 1111 63 0 80046 0
vsize: 320436
[startup+550.034 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325327 0 0 0 54200 800 0 0 25 0 1 0 908608844 328425472 79284 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80182 79284 1111 63 0 80119 0
vsize: 320728
[startup+560.035 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325515 0 0 0 55200 801 0 0 25 0 1 0 908608844 329068544 79441 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80339 79441 1111 63 0 80276 0
vsize: 321356
[startup+570.036 s]
Raw data (loadavg): 1.02 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 325954 0 0 0 56199 802 0 0 25 0 1 0 908608844 329842688 79630 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80528 79630 1111 63 0 80465 0
vsize: 322112
[startup+580.037 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 326057 0 0 0 57198 803 0 0 25 0 1 0 908608844 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+590.039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 326491 0 0 0 58196 805 0 0 25 0 1 0 908608844 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+600.039 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 328399 0 0 0 59192 809 0 0 25 0 1 0 908608844 330571776 79807 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79807 1111 63 0 80643 0
vsize: 322824
[startup+610.04 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 328420 0 0 0 60192 810 0 0 25 0 1 0 908608844 330571776 79808 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79808 1111 63 0 80643 0
vsize: 322824
[startup+620.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329050 0 0 0 61189 812 0 0 25 0 1 0 908608844 330571776 79808 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80706 79808 1111 63 0 80643 0
vsize: 322824
[startup+630.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329653 0 0 0 62188 814 0 0 25 0 1 0 908608844 331771904 80101 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80999 80101 1111 63 0 80936 0
vsize: 323996
[startup+640.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 329977 0 0 0 63186 816 0 0 25 0 1 0 908608844 333103104 80425 4294967295 134512640 134716908 3221224560 3221223360 134617565 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 81324 80425 1111 63 0 81261 0
vsize: 325296
[startup+650.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 64185 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+660.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 65184 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+670.041 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330763 0 0 0 66184 818 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+680.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 330874 0 0 0 67184 819 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+690.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331122 0 0 0 68183 820 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+700.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331431 0 0 0 69182 821 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223312 134630808 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+710.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 331759 0 0 0 70181 822 0 0 25 0 1 0 908608844 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+720.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332583 0 0 0 71179 824 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+730.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332783 0 0 0 72179 825 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+740.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 73179 825 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+750.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 74178 826 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+760.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 332969 0 0 0 75178 826 0 0 25 0 1 0 908608844 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+770.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 333168 0 0 0 76177 827 0 0 25 0 1 0 908608844 339927040 82091 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82091 1111 63 0 82927 0
vsize: 331960
[startup+780.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 333372 0 0 0 77177 828 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+790.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 337000 0 0 0 78166 839 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+800.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12395
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 341981 0 0 0 79152 853 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+810.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 347729 0 0 0 80137 868 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+820.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 354377 0 0 0 81119 887 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+830.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 362299 0 0 0 82099 906 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+840.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 371392 0 0 0 83078 928 0 0 25 0 1 0 908608844 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+850.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 372995 0 0 0 84074 932 0 0 25 0 1 0 908608844 340697088 82280 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83178 82280 1111 63 0 83115 0
vsize: 332712
[startup+860.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373505 0 0 0 85073 933 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+870.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 86072 934 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+880.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 87072 935 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627254 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+890.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 88072 935 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+900.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 89071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+910.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 90071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+920.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373775 0 0 0 91071 936 0 0 25 0 1 0 908608844 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+930.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 373922 0 0 0 92071 937 0 0 25 0 1 0 908608844 341598208 82647 4294967295 134512640 134716908 3221224560 3221222784 1075006855 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82647 1111 63 0 83335 0
vsize: 333592
[startup+940.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 93069 939 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82650 1111 63 0 83335 0
vsize: 333592
[startup+950.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 94069 939 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82650 1111 63 0 83335 0
vsize: 333592
[startup+960.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374041 0 0 0 95069 940 0 0 25 0 1 0 908608844 341598208 82650 4294967295 134512640 134716908 3221224560 3221223336 134613529 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82650 1111 63 0 83335 0
vsize: 333592
[startup+970.053 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 96068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+980.054 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 97068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+990.055 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 98068 941 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1000.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 99067 942 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1010.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 100067 942 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1020.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 101066 943 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223352 134597668 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1030.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 102066 944 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223320 134613538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1040.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 103066 944 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223324 134613559 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1050.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 104066 945 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1060.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374042 0 0 0 105065 946 0 0 25 0 1 0 908608844 341598208 82651 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1070.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 106064 946 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1080.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 107064 946 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1090.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 108064 947 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1100.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 109063 948 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1110.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 110063 948 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1120.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 111063 949 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1130.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 112062 949 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1140.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 113062 950 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1150.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 114062 950 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1160.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 115061 951 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223340 134613516 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1170.06 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 116060 952 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1175.1 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 12397
Raw data (stat): 12340 (bsolo_lpr_cuts-) R 12339 21152 21151 0 -1 0 374046 0 0 0 116060 952 0 0 25 0 1 0 908608844 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 0

Child status: 0
Real time (s): 1175.1
CPU time (s): 1175.17
CPU user time (s): 1165.48
CPU system time (s): 9.68753
CPU usage (%): 100.006
Max. virtual memory (Kb): 333592
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####