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-13-7/MIPLIB/miplib3/normalized-mps-v2-13-7-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.29
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 41584

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

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

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        779916 kB
Buffers:         22552 kB
Cached:         210664 kB
SwapCached:        636 kB
Active:          26784 kB
Inactive:       208404 kB
HighTotal:      131008 kB
HighFree:        13188 kB
LowTotal:       903652 kB
LowFree:        766728 kB
SwapTotal:     2097136 kB
SwapFree:      2095492 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5076 kB
Slab:            13960 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-09 16:36:35 (client local time) WITH STATUS 0 IN 1175.17 SECONDS
stats: 29647 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 925.987 s
c Initial Lower Bound: 7475
c Lower Bound Elapsed time: 3.2395
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.86 0.88 2/54 4166
Raw data (stat): 4166 (runsolver) R 4165 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 911648046 884736 94 4294967295 134512640 135332820 3221224464 3221219644 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+10.0006 s]
Raw data (loadavg): 0.62 0.87 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 40681 0 0 0 920 77 0 0 25 0 1 0 911648046 179601408 40601 4294967295 134512640 134716908 3221224560 3221222788 1077414413 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43848 40601 1111 63 0 43785 0
vsize: 175392
[startup+20.0023 s]
Raw data (loadavg): 0.67 0.87 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 66445 0 0 0 1876 121 0 0 25 0 1 0 911648046 285220864 66365 4294967295 134512640 134716908 3221224560 3221222620 1077360305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69634 66365 1111 63 0 69571 0
vsize: 278536
[startup+30.0026 s]
Raw data (loadavg): 0.72 0.88 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 77366 0 0 0 2847 150 0 0 25 0 1 0 911648046 285720576 68858 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+40.0024 s]
Raw data (loadavg): 0.77 0.88 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 177368 0 0 0 3597 400 0 0 25 0 1 0 911648046 285720576 68858 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 69756 68858 1111 63 0 69693 0
vsize: 279024
[startup+50.0054 s]
Raw data (loadavg): 0.80 0.88 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 229576 0 0 0 4469 528 0 0 25 0 1 0 911648046 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.0048 s]
Raw data (loadavg): 0.83 0.89 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 229576 0 0 0 5469 528 0 0 25 0 1 0 911648046 292122624 70421 4294967295 134512640 134716908 3221224560 3221223200 134606501 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.0055 s]
Raw data (loadavg): 0.86 0.89 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 229935 0 0 0 6468 530 0 0 25 0 1 0 911648046 292384768 70485 4294967295 134512640 134716908 3221224560 3221223200 134606495 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.0066 s]
Raw data (loadavg): 0.88 0.89 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 233395 0 0 0 7460 538 0 0 25 0 1 0 911648046 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+90.006 s]
Raw data (loadavg): 0.90 0.90 0.88 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 233535 0 0 0 8460 538 0 0 25 0 1 0 911648046 295387136 71218 4294967295 134512640 134716908 3221224560 3221223200 134606495 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.007 s]
Raw data (loadavg): 0.91 0.90 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 234408 0 0 0 9458 540 0 0 25 0 1 0 911648046 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.008 s]
Raw data (loadavg): 0.93 0.90 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 245034 0 0 0 10432 567 0 0 25 0 1 0 911648046 296288256 71438 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.90 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 247830 0 0 0 11425 574 0 0 25 0 1 0 911648046 298221568 71910 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.91 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 254389 0 0 0 12409 590 0 0 25 0 1 0 911648046 299634688 72255 4294967295 134512640 134716908 3221224560 3221223200 134606501 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.91 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 255640 0 0 0 13405 594 0 0 25 0 1 0 911648046 300707840 72517 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.009 s]
Raw data (loadavg): 0.96 0.91 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 256111 0 0 0 14404 595 0 0 25 0 1 0 911648046 302641152 72988 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 73887 72988 1111 63 0 73824 0
vsize: 295548
[startup+160.009 s]
Raw data (loadavg): 0.97 0.91 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 258292 0 0 0 15398 601 0 0 25 0 1 0 911648046 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.01 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 264981 0 0 0 16380 620 0 0 25 0 1 0 911648046 302866432 73044 4294967295 134512640 134716908 3221224560 3221223088 134528410 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.011 s]
Raw data (loadavg): 0.97 0.92 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 272896 0 0 0 17360 640 0 0 25 0 1 0 911648046 302866432 73044 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.01 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 276307 0 0 0 18351 649 0 0 25 0 1 0 911648046 303468544 73191 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.011 s]
Raw data (loadavg): 0.98 0.92 0.89 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 278076 0 0 0 19348 653 0 0 25 0 1 0 911648046 307372032 74143 4294967295 134512640 134716908 3221224560 3221223200 134606495 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.01 s]
Raw data (loadavg): 0.98 0.92 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 278585 0 0 0 20346 654 0 0 25 0 1 0 911648046 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.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 278886 0 0 0 21346 655 0 0 25 0 1 0 911648046 308187136 74343 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 279824 0 0 0 22343 658 0 0 25 0 1 0 911648046 308617216 74448 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 280264 0 0 0 23342 659 0 0 25 0 1 0 911648046 308617216 74448 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.01 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 24337 664 0 0 25 0 1 0 911648046 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+260.011 s]
Raw data (loadavg): 0.99 0.93 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 25337 664 0 0 25 0 1 0 911648046 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606504 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.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 26337 664 0 0 25 0 1 0 911648046 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606504 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.011 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 27338 664 0 0 25 0 1 0 911648046 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+290.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 28338 664 0 0 25 0 1 0 911648046 314195968 75809 4294967295 134512640 134716908 3221224560 3221223360 134617640 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.012 s]
Raw data (loadavg): 0.99 0.94 0.90 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 282437 0 0 0 29338 664 0 0 25 0 1 0 911648046 314195968 75809 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76708 75809 1111 63 0 76645 0
vsize: 306832
[startup+310.011 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 284675 0 0 0 30332 670 0 0 25 0 1 0 911648046 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+320.012 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 291586 0 0 0 31315 688 0 0 25 0 1 0 911648046 314195968 75810 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.013 s]
Raw data (loadavg): 0.99 0.94 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 300013 0 0 0 32294 709 0 0 25 0 1 0 911648046 314675200 75927 4294967295 134512640 134716908 3221224560 3221223200 134606490 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.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 309075 0 0 0 33271 732 0 0 25 0 1 0 911648046 314675200 75927 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 76825 75927 1111 63 0 76762 0
vsize: 307300
[startup+350.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 311655 0 0 0 34265 738 0 0 25 0 1 0 911648046 315969536 76242 4294967295 134512640 134716908 3221224560 3221223200 134606495 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.013 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 312046 0 0 0 35264 739 0 0 25 0 1 0 911648046 315969536 76243 4294967295 134512640 134716908 3221224560 3221223200 134606514 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.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 313833 0 0 0 36259 744 0 0 25 0 1 0 911648046 315969536 76243 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 317322 0 0 0 37250 754 0 0 25 0 1 0 911648046 316825600 76451 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77350 76451 1111 63 0 77287 0
vsize: 309400
[startup+390.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 317865 0 0 0 38249 755 0 0 25 0 1 0 911648046 317939712 76724 4294967295 134512640 134716908 3221224560 3221223200 134606495 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.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 317978 0 0 0 39249 756 0 0 25 0 1 0 911648046 318242816 76797 4294967295 134512640 134716908 3221224560 3221223200 134606510 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.014 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 318275 0 0 0 40248 756 0 0 25 0 1 0 911648046 318840832 76944 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 77842 76944 1111 63 0 77779 0
vsize: 311368
[startup+420.016 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 319065 0 0 0 41245 760 0 0 25 0 1 0 911648046 319959040 77217 4294967295 134512640 134716908 3221224560 3221223200 134606501 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.015 s]
Raw data (loadavg): 0.99 0.95 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 319918 0 0 0 42243 762 0 0 25 0 1 0 911648046 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.015 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 320469 0 0 0 43241 764 0 0 25 0 1 0 911648046 320303104 77301 4294967295 134512640 134716908 3221224560 3221223112 1077377200 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78199 77301 1111 63 0 78136 0
vsize: 312796
[startup+450.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 321369 0 0 0 44237 768 0 0 25 0 1 0 911648046 321032192 77478 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78377 77478 1111 63 0 78314 0
vsize: 313508
[startup+460.016 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 321730 0 0 0 45236 769 0 0 25 0 1 0 911648046 321032192 77479 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+470.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 321870 0 0 0 46236 769 0 0 25 0 1 0 911648046 321032192 77479 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78377 77479 1111 63 0 78314 0
vsize: 313508
[startup+480.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 322576 0 0 0 47234 771 0 0 25 0 1 0 911648046 321720320 77647 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78545 77647 1111 63 0 78482 0
vsize: 314180
[startup+490.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 322918 0 0 0 48233 773 0 0 25 0 1 0 911648046 322879488 77929 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78828 77929 1111 63 0 78765 0
vsize: 315312
[startup+500.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 322981 0 0 0 49234 773 0 0 25 0 1 0 911648046 323137536 77992 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78891 77992 1111 63 0 78828 0
vsize: 315564
[startup+510.017 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 323222 0 0 0 50233 773 0 0 25 0 1 0 911648046 323137536 77993 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78891 77993 1111 63 0 78828 0
vsize: 315564
[startup+520.018 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 323850 0 0 0 51231 776 0 0 25 0 1 0 911648046 323313664 78036 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 78934 78036 1111 63 0 78871 0
vsize: 315736
[startup+530.019 s]
Raw data (loadavg): 0.99 0.96 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 324250 0 0 0 52230 777 0 0 25 0 1 0 911648046 324222976 78258 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79156 78258 1111 63 0 79093 0
vsize: 316624
[startup+540.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 325087 0 0 0 53228 779 0 0 25 0 1 0 911648046 327610368 79084 4294967295 134512640 134716908 3221224560 3221223200 134606495 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 79983 79084 1111 63 0 79920 0
vsize: 319932
[startup+550.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 325327 0 0 0 54227 780 0 0 25 0 1 0 911648046 328425472 79284 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80182 79284 1111 63 0 80119 0
vsize: 320728
[startup+560.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 325327 0 0 0 55228 780 0 0 25 0 1 0 911648046 328425472 79284 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80182 79284 1111 63 0 80119 0
vsize: 320728
[startup+570.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 325703 0 0 0 56227 781 0 0 25 0 1 0 911648046 329842688 79629 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80528 79629 1111 63 0 80465 0
vsize: 322112
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 326057 0 0 0 57226 782 0 0 25 0 1 0 911648046 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+590.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 326274 0 0 0 58225 783 0 0 25 0 1 0 911648046 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+600.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 328049 0 0 0 59221 787 0 0 25 0 1 0 911648046 330141696 79703 4294967295 134512640 134716908 3221224560 3221223200 134606504 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80601 79703 1111 63 0 80538 0
vsize: 322404
[startup+610.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 328399 0 0 0 60221 788 0 0 25 0 1 0 911648046 330571776 79807 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80706 79807 1111 63 0 80643 0
vsize: 322824
[startup+620.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 329050 0 0 0 61219 790 0 0 25 0 1 0 911648046 330571776 79808 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80706 79808 1111 63 0 80643 0
vsize: 322824
[startup+630.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 329527 0 0 0 62218 791 0 0 25 0 1 0 911648046 331255808 79975 4294967295 134512640 134716908 3221224560 3221223288 134675274 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80873 79975 1111 63 0 80810 0
vsize: 323492
[startup+640.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 329653 0 0 0 63217 792 0 0 25 0 1 0 911648046 331771904 80101 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 80999 80101 1111 63 0 80936 0
vsize: 323996
[startup+650.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 330763 0 0 0 64214 795 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+660.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 330763 0 0 0 65214 795 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+670.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 330763 0 0 0 66215 795 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+680.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 330803 0 0 0 67215 795 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+690.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 331029 0 0 0 68214 796 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606472 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+700.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 331308 0 0 0 69214 796 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+710.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 331677 0 0 0 70213 797 0 0 25 0 1 0 911648046 336277504 81201 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82099 81201 1111 63 0 82036 0
vsize: 328396
[startup+720.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 332384 0 0 0 71212 799 0 0 25 0 1 0 911648046 338292736 81693 4294967295 134512640 134716908 3221224560 3221223360 134617624 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82591 81693 1111 63 0 82528 0
vsize: 330364
[startup+730.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 332703 0 0 0 72212 799 0 0 25 0 1 0 911648046 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+740.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 332969 0 0 0 73211 800 0 0 25 0 1 0 911648046 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+750.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 332969 0 0 0 74211 800 0 0 25 0 1 0 911648046 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+760.026 s]
Raw data (loadavg): 0.99 0.97 0.91 3/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 332969 0 0 0 75211 800 0 0 25 0 1 0 911648046 339107840 81892 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82790 81892 1111 63 0 82727 0
vsize: 331160
[startup+770.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 333168 0 0 0 76211 801 0 0 25 0 1 0 911648046 339927040 82091 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82091 1111 63 0 82927 0
vsize: 331960
[startup+780.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 333168 0 0 0 77211 801 0 0 25 0 1 0 911648046 339927040 82091 4294967295 134512640 134716908 3221224560 3221223200 134606514 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82091 1111 63 0 82927 0
vsize: 331960
[startup+790.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 335674 0 0 0 78204 808 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+800.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 340067 0 0 0 79193 819 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606490 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+810.026 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 345725 0 0 0 80178 834 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+820.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 351959 0 0 0 81162 850 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+830.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 359505 0 0 0 82143 870 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+840.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 368142 0 0 0 83121 892 0 0 25 0 1 0 911648046 339927040 82092 4294967295 134512640 134716908 3221224560 3221223200 134606510 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 82990 82092 1111 63 0 82927 0
vsize: 331960
[startup+850.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 372975 0 0 0 84109 904 0 0 25 0 1 0 911648046 340697088 82280 4294967295 134512640 134716908 3221224560 3221223200 134606484 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83178 82280 1111 63 0 83115 0
vsize: 332712
[startup+860.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373382 0 0 0 85108 905 0 0 25 0 1 0 911648046 341299200 82427 4294967295 134512640 134716908 3221224560 3221223200 134606501 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83325 82427 1111 63 0 83262 0
vsize: 333300
[startup+870.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 86107 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223220 134627213 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+880.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 87107 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223224 134627211 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+890.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 88107 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627203 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+900.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 89107 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627257 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+910.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 90108 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627260 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+920.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373775 0 0 0 91108 907 0 0 25 0 1 0 911648046 341598208 82500 4294967295 134512640 134716908 3221224560 3221223232 134627266 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82500 1111 63 0 83335 0
vsize: 333592
[startup+930.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 373901 0 0 0 92107 907 0 0 25 0 1 0 911648046 341598208 82626 4294967295 134512640 134716908 3221224560 3221221488 1074810483 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82626 1111 63 0 83335 0
vsize: 333592
[startup+940.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374039 0 0 0 93106 908 0 0 25 0 1 0 911648046 341598208 82648 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83398 82648 1111 63 0 83335 0
vsize: 333592
[startup+950.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374041 0 0 0 94104 910 0 0 25 0 1 0 911648046 341598208 82650 4294967295 134512640 134716908 3221224560 3221223360 134597700 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.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374041 0 0 0 95103 910 0 0 25 0 1 0 911648046 341598208 82650 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82650 1111 63 0 83335 0
vsize: 333592
[startup+970.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374041 0 0 0 96103 910 0 0 25 0 1 0 911648046 341598208 82650 4294967295 134512640 134716908 3221224560 3221223360 134597735 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82650 1111 63 0 83335 0
vsize: 333592
[startup+980.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 97103 911 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597779 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+990.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 98102 911 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 99102 912 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1010.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 100102 912 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1020.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 101102 912 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1030.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 102102 913 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1040.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 103101 913 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1050.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 104101 914 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223336 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1060.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374042 0 0 0 105101 914 0 0 25 0 1 0 911648046 341598208 82651 4294967295 134512640 134716908 3221224560 3221223332 134597630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82651 1111 63 0 83335 0
vsize: 333592
[startup+1070.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374044 0 0 0 106101 914 0 0 25 0 1 0 911648046 341598208 82653 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82653 1111 63 0 83335 0
vsize: 333592
[startup+1080.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 107100 915 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223348 134597574 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1090.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 108100 915 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223336 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1100.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 109100 915 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1110.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 110100 916 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223320 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1120.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 111100 916 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223336 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1130.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 112100 916 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223484 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1140.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 113100 917 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1150.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 114099 917 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597769 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1160.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 115099 918 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597777 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1170.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 116099 918 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 333592
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4166
Raw data (stat): 4166 (bsolo_lpr_cuts-) R 4165 7266 7265 0 -1 0 374046 0 0 0 116099 918 0 0 25 0 1 0 911648046 341598208 82655 4294967295 134512640 134716908 3221224560 3221223360 134597759 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 83398 82655 1111 63 0 83335 0
vsize: 0

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