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/plato.asu.edu/pub/milp/normalized-mps-v2-13-7-neos5.opb
MD5SUM	4f5f6e30a602f3968daa9ca41c7da043
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	2058
Optimality of the best value was proved	NO
Number of terms in the objective function	133
Biggest coefficient in the objective function	128
Number of bits for the biggest coefficient in the objective function	8
Sum of the numbers in the objective function	9334
Number of bits of the sum of numbers in the objective function	14
Biggest number in a constraint	1024
Number of bits of the biggest number in a constraint	11
Biggest sum of numbers in a constraint	9334
Number of bits of the biggest sum of numbers	14
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1.05284
Number of variables	133
Total number of constraints	126
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	56
Number of constraints which are nor clauses,nor cardinality constraints	70
Minimum length of a constraint	1
Maximum length of a constraint	81
Trace number 40495

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-08 12:39:17 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=28561 boxname=wulflinc5 idbench=1517 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4f5f6e30a602f3968daa9ca41c7da043  /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos5.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-mps-v2-13-7-neos5.opb
IDLAUNCH: 28561
/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:        902588 kB
Buffers:          2468 kB
Cached:         108312 kB
SwapCached:        672 kB
Active:          22052 kB
Inactive:        90764 kB
HighTotal:      131008 kB
HighFree:        21504 kB
LowTotal:       903652 kB
LowFree:        881084 kB
SwapTotal:     2097136 kB
SwapFree:      2095500 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5080 kB
Slab:            13608 kB
Committed_AS:    63604 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-08 12:55:26 (client local time) WITH STATUS 0 IN 969.332 SECONDS
stats: 28561 7 969.332 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 133 variables and 73 constraints.
c After prepocess the problem consists of 133 variables and 73 constraints.
c preprocess terminated 0.296 s
c Initial Lower Bound: 1664
c Lower Bound Elapsed time: 0.0345
c Use computed LB before first solution.
c NEW SOLUTION FOUND: 2048 @ 0.948
#### END SOLVER DATA ####
#### BEGIN WATCHER DATA ####
Enforcing CPU limit (will send SIGTERM then SIGKILL): 1200 seconds
Enforcing CPUTime (will send SIGXCPU) limit: 1230 seconds
Enforcing VSIZE limit: 943718400 bytes
Enforcing Stack size limit: 67108864 bytes
Current StackSize limit: 67108864 bytes
Raw data (loadavg): 0.92 0.95 0.91 2/54 19137
Raw data (stat): 19137 (runsolver) R 19136 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 901700464 884736 94 4294967295 134512640 135332820 3221224464 3221219644 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.0001 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 6896 0 0 0 967 29 0 0 25 0 1 0 901700464 14176256 2761 4294967295 134512640 134716908 3221224576 3221223192 134543171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 3461 2761 1111 63 0 3398 0
vsize: 13844
[startup+20.0001 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 13081 0 0 0 1937 60 0 0 25 0 1 0 901700464 22188032 4724 4294967295 134512640 134716908 3221224576 3221222976 1074118820 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 5417 4724 1111 63 0 5354 0
vsize: 21668
[startup+30.0008 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 19635 0 0 0 2904 93 0 0 25 0 1 0 901700464 32288768 7118 4294967295 134512640 134716908 3221224576 3221221176 1075850659 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 7883 7118 1111 63 0 7820 0
vsize: 31532
[startup+40.0003 s]
Raw data (loadavg): 1.01 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 25271 0 0 0 3880 117 0 0 25 0 1 0 901700464 38653952 8676 4294967295 134512640 134716908 3221224576 3221221116 1075132864 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 9437 8676 1111 63 0 9374 0
vsize: 37748
[startup+50.0003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 32024 0 0 0 4850 148 0 0 25 0 1 0 901700464 49811456 11321 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 12117 11320 1111 63 0 12054 0
vsize: 48644
[startup+60.0011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 38704 0 0 0 5820 177 0 0 25 0 1 0 901700464 59052032 13632 4294967295 134512640 134716908 3221224576 3221223336 134543552 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 14417 13632 1111 63 0 14354 0
vsize: 57668
[startup+70.0015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 45013 0 0 0 6791 207 0 0 25 0 1 0 901700464 67379200 15697 4294967295 134512640 134716908 3221224576 3221221900 1076132615 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 16501 15698 1111 63 0 16438 0
vsize: 65800
[startup+80.0026 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 51707 0 0 0 7758 240 0 0 25 0 1 0 901700464 79114240 18278 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 19367 18279 1111 63 0 19304 0
vsize: 77260
[startup+90.0033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 58102 0 0 0 8733 266 0 0 25 0 1 0 901700464 89243648 20578 4294967295 134512640 134716908 3221224576 3221222928 1074143002 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 21788 20578 1111 63 0 21725 0
vsize: 87152
[startup+100.003 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 65183 0 0 0 9701 298 0 0 25 0 1 0 901700464 99450880 22998 4294967295 134512640 134716908 3221224576 3221220848 1074961635 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 24258 22997 1111 63 0 24195 0
vsize: 97120
[startup+110.004 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 72723 0 0 0 10662 336 0 0 25 0 1 0 901700464 111042560 25753 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 27110 25753 1111 63 0 27047 0
vsize: 108440
[startup+120.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 79891 0 0 0 11629 370 0 0 25 0 1 0 901700464 121376768 28315 4294967295 134512640 134716908 3221224576 3221223276 134558608 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 29633 28315 1111 63 0 29570 0
vsize: 118532
[startup+130.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 86243 0 0 0 12601 399 0 0 25 0 1 0 901700464 130162688 30466 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 31778 30466 1111 63 0 31715 0
vsize: 127112
[startup+140.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 93525 0 0 0 13567 433 0 0 25 0 1 0 901700464 140812288 33020 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 34378 33020 1111 63 0 34315 0
vsize: 137512
[startup+150.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 99424 0 0 0 14543 457 0 0 25 0 1 0 901700464 156672000 35821 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38250 35821 1111 63 0 38187 0
vsize: 153000
[startup+160.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 101300 0 0 0 15534 466 0 0 25 0 1 0 901700464 159248384 36420 4294967295 134512640 134716908 3221224576 3221223472 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 38879 36420 1111 63 0 38816 0
vsize: 155516
[startup+170.005 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 107139 0 0 0 16509 491 0 0 25 0 1 0 901700464 167591936 38337 4294967295 134512640 134716908 3221224576 3221223216 134651157 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 40916 38337 1111 63 0 40853 0
vsize: 163664
[startup+180.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 113409 0 0 0 17479 521 0 0 25 0 1 0 901700464 177385472 40411 4294967295 134512640 134716908 3221224576 3221221632 1075084528 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 43307 40411 1111 63 0 43244 0
vsize: 173228
[startup+190.006 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 120015 0 0 0 18450 551 0 0 25 0 1 0 901700464 186937344 42695 4294967295 134512640 134716908 3221224576 3221222848 1074056202 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 45639 42695 1111 63 0 45576 0
vsize: 182556
[startup+200.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 126134 0 0 0 19419 582 0 0 25 0 1 0 901700464 194461696 44554 4294967295 134512640 134716908 3221224576 3221222536 1074138327 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 47476 44554 1111 63 0 47413 0
vsize: 189904
[startup+210.007 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 132481 0 0 0 20389 612 0 0 25 0 1 0 901700464 203096064 46644 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 49584 46645 1111 63 0 49521 0
vsize: 198336
[startup+220.008 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 138762 0 0 0 21363 638 0 0 25 0 1 0 901700464 210886656 48609 4294967295 134512640 134716908 3221224576 3221222848 1074053572 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 51486 48609 1111 63 0 51423 0
vsize: 205944
[startup+230.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 143121 0 0 0 22344 658 0 0 25 0 1 0 901700464 215457792 49759 4294967295 134512640 134716908 3221224576 3221223472 134621546 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52602 49759 1111 63 0 52539 0
vsize: 210408
[startup+240.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 145753 0 0 0 23332 669 0 0 25 0 1 0 901700464 217026560 50166 4294967295 134512640 134716908 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 52985 50166 1111 63 0 52922 0
vsize: 211940
[startup+250.009 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 151797 0 0 0 24301 701 0 0 25 0 1 0 901700464 225447936 52114 4294967295 134512640 134716908 3221224576 3221223204 134594355 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 55041 52114 1111 63 0 54978 0
vsize: 220164
[startup+260.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 157293 0 0 0 25275 727 0 0 25 0 1 0 901700464 230453248 53397 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 56263 53397 1111 63 0 56200 0
vsize: 225052
[startup+270.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 163919 0 0 0 26243 759 0 0 25 0 1 0 901700464 240021504 55739 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 58599 55739 1111 63 0 58536 0
vsize: 234396
[startup+280.01 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 170346 0 0 0 27211 791 0 0 25 0 1 0 901700464 249475072 58128 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 60898 58128 1111 63 0 60835 0
vsize: 243628
[startup+290.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 176069 0 0 0 28185 818 0 0 25 0 1 0 901700464 255877120 59683 4294967295 134512640 134716908 3221224576 3221222688 1074867305 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 62466 59683 1111 63 0 62403 0
vsize: 249880
[startup+300.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 181663 0 0 0 29159 843 0 0 25 0 1 0 901700464 261795840 61144 4294967295 134512640 134716908 3221224576 3221222620 1077379908 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 63915 61144 1111 63 0 63852 0
vsize: 255660
[startup+310.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 189478 0 0 0 30123 881 0 0 25 0 1 0 901700464 276672512 64084 4294967295 134512640 134716908 3221224576 3221223284 134603388 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 67547 64084 1111 63 0 67484 0
vsize: 270188
[startup+320.011 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 197155 0 0 0 31093 910 0 0 25 0 1 0 901700464 291680256 66871 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 71262 66873 1111 63 0 71199 0
vsize: 284844
[startup+330.012 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 203652 0 0 0 32062 942 0 0 25 0 1 0 901700464 302579712 69256 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 73923 69257 1111 63 0 73860 0
vsize: 295488
[startup+340.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 211897 0 0 0 33027 977 0 0 25 0 1 0 901700464 318435328 72328 4294967295 134512640 134716908 3221224576 3221223204 134542962 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 77743 72328 1111 63 0 77680 0
vsize: 310972
[startup+350.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 219089 0 0 0 33996 1008 0 0 25 0 1 0 901700464 329981952 74976 4294967295 134512640 134716908 3221224576 3221223216 134651171 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 80562 74976 1111 63 0 80499 0
vsize: 322248
[startup+360.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 226316 0 0 0 34963 1041 0 0 25 0 1 0 901700464 340758528 77506 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 83193 77506 1111 63 0 83130 0
vsize: 332772
[startup+370.013 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 233615 0 0 0 35930 1074 0 0 25 0 1 0 901700464 351739904 80145 4294967295 134512640 134716908 3221224576 3221223112 134543609 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 85874 80145 1111 63 0 85811 0
vsize: 343496
[startup+380.014 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 240296 0 0 0 36899 1106 0 0 25 0 1 0 901700464 361996288 82523 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 88378 82523 1111 63 0 88315 0
vsize: 353512
[startup+390.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 247481 0 0 0 37863 1141 0 0 25 0 1 0 901700464 373284864 85218 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 91177 85219 1111 63 0 91114 0
vsize: 364536
[startup+400.015 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 254906 0 0 0 38827 1178 0 0 25 0 1 0 901700464 384118784 87923 4294967295 134512640 134716908 3221224576 3221222956 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 93779 87923 1111 63 0 93716 0
vsize: 375116
[startup+410.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 262244 0 0 0 39792 1213 0 0 25 0 1 0 901700464 395587584 90635 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 96614 90638 1111 63 0 96551 0
vsize: 386316
[startup+420.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 269489 0 0 0 40756 1249 0 0 25 0 1 0 901700464 406630400 93288 4294967295 134512640 134716908 3221224576 3221220736 1075091317 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 99275 93288 1111 63 0 99212 0
vsize: 397100
[startup+430.016 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 276143 0 0 0 41726 1280 0 0 25 0 1 0 901700464 415973376 95648 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 101556 95651 1111 63 0 101493 0
vsize: 406224
[startup+440.024 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 282265 0 0 0 42699 1307 0 0 25 0 1 0 901700464 424886272 97836 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 103782 97837 1111 63 0 103719 0
vsize: 414928
[startup+450.032 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 286060 0 0 0 43681 1327 0 0 25 0 1 0 901700464 430166016 99173 4294967295 134512640 134716908 3221224576 3221223500 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 105021 99173 1111 63 0 104958 0
vsize: 420084
[startup+460.033 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 293765 0 0 0 44645 1363 0 0 25 0 1 0 901700464 441630720 101891 4294967295 134512640 134716908 3221224576 3221220736 1075095166 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 107820 101891 1111 63 0 107757 0
vsize: 431280
[startup+470.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 300202 0 0 0 45617 1391 0 0 25 0 1 0 901700464 450547712 104187 4294967295 134512640 134716908 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 109997 104187 1111 63 0 109934 0
vsize: 439988
[startup+480.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 301357 0 0 0 46612 1396 0 0 25 0 1 0 901700464 451264512 104389 4294967295 134512640 134716908 3221224576 3221223064 1075463333 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 110172 104389 1111 63 0 110109 0
vsize: 440688
[startup+490.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 307021 0 0 0 47588 1421 0 0 25 0 1 0 901700464 457060352 105856 4294967295 134512640 134716908 3221224576 3221222756 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 111587 105856 1111 63 0 111524 0
vsize: 446348
[startup+500.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 313866 0 0 0 48559 1449 0 0 25 0 1 0 901700464 465833984 108046 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 113783 108046 1111 63 0 113720 0
vsize: 454916
[startup+510.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 320636 0 0 0 49524 1484 0 0 25 0 1 0 901700464 476110848 110429 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 116238 110429 1111 63 0 116175 0
vsize: 464952
[startup+520.034 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 327296 0 0 0 50495 1514 0 0 25 0 1 0 901700464 484442112 112437 4294967295 134512640 134716908 3221224576 3221222360 1077410205 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 118267 112437 1111 63 0 118204 0
vsize: 473088
[startup+530.035 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 332883 0 0 0 51467 1542 0 0 25 0 1 0 901700464 491515904 114159 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 119951 114158 1111 63 0 119888 0
vsize: 479996
[startup+540.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 339885 0 0 0 52433 1576 0 0 25 0 1 0 901700464 501391360 116664 4294967295 134512640 134716908 3221224576 3221220672 1074790185 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 122410 116664 1111 63 0 122347 0
vsize: 489640
[startup+550.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 346597 0 0 0 53404 1606 0 0 25 0 1 0 901700464 510369792 118965 4294967295 134512640 134716908 3221224576 3221222344 1077374653 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 124602 118965 1111 63 0 124539 0
vsize: 498408
[startup+560.037 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 353429 0 0 0 54367 1643 0 0 25 0 1 0 901700464 520421376 121429 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 127056 121429 1111 63 0 126993 0
vsize: 508224
[startup+570.038 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 359656 0 0 0 55338 1672 0 0 25 0 1 0 901700464 528994304 123541 4294967295 134512640 134716908 3221224576 3221222036 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 129149 123541 1111 63 0 129086 0
vsize: 516596
[startup+580.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 366380 0 0 0 56305 1705 0 0 25 0 1 0 901700464 539115520 125886 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 131620 125886 1111 63 0 131557 0
vsize: 526480
[startup+590.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 375476 0 0 0 57273 1738 0 0 25 0 1 0 901700464 557703168 128557 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 136158 128557 1111 63 0 136095 0
vsize: 544632
[startup+600.039 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 383379 0 0 0 58240 1771 0 0 25 0 1 0 901700464 571322368 131008 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 139523 131009 1111 63 0 139460 0
vsize: 557932
[startup+610.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 390512 0 0 0 59207 1804 0 0 25 0 1 0 901700464 581980160 133364 4294967295 134512640 134716908 3221224576 3221222440 1077377275 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 142085 133364 1111 63 0 142022 0
vsize: 568340
[startup+620.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 397983 0 0 0 60173 1838 0 0 25 0 1 0 901700464 593317888 135699 4294967295 134512640 134716908 3221224576 3221222688 1074867320 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 144853 135699 1111 63 0 144790 0
vsize: 579412
[startup+630.04 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 405214 0 0 0 61134 1877 0 0 25 0 1 0 901700464 604237824 138118 4294967295 134512640 134716908 3221224576 3221222516 1077782939 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 147519 138118 1111 63 0 147456 0
vsize: 590076
[startup+640.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 413259 0 0 0 62098 1914 0 0 25 0 1 0 901700464 619868160 140760 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 151335 140760 1111 63 0 151272 0
vsize: 605340
[startup+650.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 421571 0 0 0 63065 1947 0 0 25 0 1 0 901700464 633192448 143730 4294967295 134512640 134716908 3221224576 3221223168 134535026 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 154588 143730 1111 63 0 154525 0
vsize: 618352
[startup+660.042 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 428975 0 0 0 64030 1982 0 0 25 0 1 0 901700464 645214208 146594 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 157523 146594 1111 63 0 157460 0
vsize: 630092
[startup+670.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 436050 0 0 0 64997 2016 0 0 25 0 1 0 901700464 655912960 149091 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 160135 149091 1111 63 0 160072 0
vsize: 640540
[startup+680.043 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 442879 0 0 0 65964 2048 0 0 25 0 1 0 901700464 665837568 151626 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 162558 151626 1111 63 0 162495 0
vsize: 650232
[startup+690.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 450358 0 0 0 66932 2081 0 0 25 0 1 0 901700464 677851136 154215 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 165491 154215 1111 63 0 165428 0
vsize: 661964
[startup+700.044 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 456941 0 0 0 67898 2115 0 0 25 0 1 0 901700464 686964736 156495 4294967295 134512640 134716908 3221224576 3221223152 134543097 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 167716 156495 1111 63 0 167653 0
vsize: 670864
[startup+710.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 464014 0 0 0 68867 2146 0 0 25 0 1 0 901700464 697753600 158715 4294967295 134512640 134716908 3221224576 3221221932 1074832304 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 170350 158715 1111 63 0 170287 0
vsize: 681400
[startup+720.045 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 471043 0 0 0 69829 2184 0 0 25 0 1 0 901700464 708149248 161263 4294967295 134512640 134716908 3221224576 3221221152 1076046840 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 172844 161262 1111 63 0 172781 0
vsize: 691552
[startup+730.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 478333 0 0 0 70795 2219 0 0 25 0 1 0 901700464 719597568 163914 4294967295 134512640 134716908 3221224576 3221223036 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 175683 163914 1111 63 0 175620 0
vsize: 702732
[startup+740.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 485162 0 0 0 71759 2255 0 0 25 0 1 0 901700464 729780224 166303 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 178125 166302 1111 63 0 178062 0
vsize: 712676
[startup+750.046 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 490803 0 0 0 72733 2282 0 0 25 0 1 0 901700464 737247232 168275 4294967295 134512640 134716908 3221224576 3221222304 1075828481 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 179992 168275 1111 63 0 179929 0
vsize: 719968
[startup+760.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 497815 0 0 0 73696 2319 0 0 25 0 1 0 901700464 747073536 170659 4294967295 134512640 134716908 3221224576 3221223152 134539518 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 182391 170659 1111 63 0 182328 0
vsize: 729564
[startup+770.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 504605 0 0 0 74663 2352 0 0 25 0 1 0 901700464 756162560 172886 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 184610 172886 1111 63 0 184547 0
vsize: 738440
[startup+780.047 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 511844 0 0 0 75627 2388 0 0 25 0 1 0 901700464 766828544 175364 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 187214 175364 1111 63 0 187151 0
vsize: 748856
[startup+790.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 518710 0 0 0 76592 2423 0 0 25 0 1 0 901700464 776896512 177699 4294967295 134512640 134716908 3221224576 3221223004 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 189663 177698 1111 63 0 189600 0
vsize: 758688
[startup+800.048 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 525405 0 0 0 77558 2457 0 0 25 0 1 0 901700464 786231296 180099 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 191951 180099 1111 63 0 191888 0
vsize: 767804
[startup+810.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 532652 0 0 0 78524 2491 0 0 25 0 1 0 901700464 796921856 182611 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 194561 182611 1111 63 0 194498 0
vsize: 778244
[startup+820.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 539220 0 0 0 79489 2527 0 0 25 0 1 0 901700464 806191104 184983 4294967295 134512640 134716908 3221224576 3221223204 134543680 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 196824 184983 1111 63 0 196761 0
vsize: 787296
[startup+830.049 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 546013 0 0 0 80456 2560 0 0 25 0 1 0 901700464 815349760 187343 4294967295 134512640 134716908 3221224576 3221222880 134652452 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 199060 187343 1111 63 0 198997 0
vsize: 796240
[startup+840.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 550419 0 0 0 81433 2583 0 0 25 0 1 0 901700464 821706752 188862 4294967295 134512640 134716908 3221224576 3221223100 134542371 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 200612 188862 1111 63 0 200549 0
vsize: 802448
[startup+850.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 557142 0 0 0 82401 2616 0 0 25 0 1 0 901700464 832434176 191332 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 203231 191332 1111 63 0 203168 0
vsize: 812924
[startup+860.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 564556 0 0 0 83360 2657 0 0 25 0 1 0 901700464 843497472 194194 4294967295 134512640 134716908 3221224576 3221222988 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 205932 194194 1111 63 0 205869 0
vsize: 823728
[startup+870.05 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 571588 0 0 0 84324 2692 0 0 25 0 1 0 901700464 854380544 196750 4294967295 134512640 134716908 3221224576 3221223448 134543606 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 208589 196750 1111 63 0 208526 0
vsize: 834356
[startup+880.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 578354 0 0 0 85295 2722 0 0 25 0 1 0 901700464 863662080 199033 4294967295 134512640 134716908 3221224576 3221223020 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 210855 199033 1111 63 0 210792 0
vsize: 843420
[startup+890.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 585255 0 0 0 86263 2754 0 0 25 0 1 0 901700464 874106880 201423 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 213360 201422 1111 63 0 213297 0
vsize: 853620
[startup+900.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 592443 0 0 0 87228 2789 0 0 25 0 1 0 901700464 884797440 204096 4294967295 134512640 134716908 3221224576 3221223152 134539542 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 216015 204096 1111 63 0 215952 0
vsize: 864060
[startup+910.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 599531 0 0 0 88192 2825 0 0 25 0 1 0 901700464 895188992 206710 4294967295 134512640 134716908 3221224576 3221223136 134540040 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 218550 206710 1111 63 0 218487 0
vsize: 874208
[startup+920.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 606109 0 0 0 89158 2859 0 0 25 0 1 0 901700464 904601600 209124 4294967295 134512640 134716908 3221224576 3221220944 1075894538 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 220850 209124 1111 63 0 220787 0
vsize: 883400
[startup+930.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 611703 0 0 0 90127 2890 0 0 25 0 1 0 901700464 911859712 211018 4294967295 134512640 134716908 3221224576 3221223172 1077374149 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 222622 211018 1111 63 0 222559 0
vsize: 890488
[startup+940.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 618827 0 0 0 91095 2923 0 0 25 0 1 0 901700464 922664960 213547 4294967295 134512640 134716908 3221224576 3221221468 1077386340 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 225216 213546 1111 63 0 225153 0
vsize: 901040
[startup+950.051 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 625675 0 0 0 92060 2958 0 0 25 0 1 0 901700464 932290560 215949 4294967295 134512640 134716908 3221224576 3221222972 1077781665 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 227610 215949 1111 63 0 227547 0
vsize: 910440
[startup+960.052 s]
Raw data (loadavg): 1.00 0.97 0.91 2/54 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 629920 0 0 0 93042 2976 0 0 25 0 1 0 901700464 938508288 217564 4294967295 134512640 134716908 3221224576 3221223176 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229128 217564 1111 63 0 229065 0
vsize: 916512
[startup+969.191 s]
Raw data (loadavg): 1.00 0.97 0.91 1/53 19137
Raw data (stat): 19137 (bsolo_lpr-v2) R 19136 7266 7265 0 -1 0 629920 0 0 0 93042 2976 0 0 25 0 1 0 901700464 938508288 217564 4294967295 134512640 134716908 3221224576 3221223176 134542289 0 0 7 0 0 0 0 17 0 0 0
Raw data (statm): 229128 217564 1111 63 0 229065 0
vsize: 0

Child ended because it received signal 11 (SIGSEGV)
Real time (s): 969.191
CPU time (s): 969.332
CPU user time (s): 938.975
CPU system time (s): 30.3564
CPU usage (%): 100.015
Max. virtual memory (Kb): 916512
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####