PB'05 competition: run trace

Some explanations

A solver is run under the control of another program named runsolver. runsolver is in charge of imposing the CPU time limit and the memory limit to the solver. It also monitors some information about the process. The trace of the execution of a solver is divided in four parts:
LAUNCHER DATA
These informations are related to the script which will launch the solver. The most important informations are the command line given to the solver, the md5sum of the different files and the dump of the /proc/cpuinfo and /proc/meminfo which provide some useful information on the computer.
SOLVER DATA
This is the output of the solver (stdout and stderr).
WATCHER DATA
This is the informations gathered by the runsolver program. It first prints the different limits. There's a first limit on CPU time set to 1200 seconds. After this time has ellapsed, runsolver sends a SIGTERM and 2 seconds later a SIGKILL to the solver. For safety, there's also another limit set to 1230 seconds which will send a SIGXPU to the solver. The last limit is on the virtual memory used by the process (900Mb).
Every ten seconds, the runsolver process fetches the content of /proc/loadavg, /proc/pid/stat and /proc/pid/statm (see man proc) and prints it as raw data. This is only recorded in case we need to investigate the behaviour of a solver. The memory used by the solver (vsize) is also given every ten seconds.
When the solver exits, runsolver prints some informations such as status and time. CPU usage is the ratio CPU Time/Real Time.
VERIFIER DATA
The output of the solver is piped to a verifier program which will search a value line "v " and, if found, will check that the given interpretation satisfies all constraints.
General information on the benchmark

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

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc5 THE 2005-06-07 10:50:29 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=27571 boxname=wulflinc5 idbench=129 idsolver=20 numberseed=0
MD5SUM SOLVER: f6aa7fb267fa9710116626be7e6d3048  /oldhome/oroussel/solvers/bsolo_lpr-v2
MD5SUM BENCH:  4fdec182582ed31d1ae371090f6cc5c1  /oldhome/oroussel/tmp/wulflinc5/normalized-f600.opb
REAL COMMAND:  bsolo_lpr-v2 /oldhome/oroussel/tmp/wulflinc5/normalized-f600.opb
IDLAUNCH: 27571
/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:        346328 kB
Buffers:         34528 kB
Cached:         629468 kB
SwapCached:        568 kB
Active:          57904 kB
Inactive:       608140 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        346076 kB
SwapTotal:     2097136 kB
SwapFree:      2095632 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5160 kB
Slab:            16716 kB
Committed_AS:    63600 kB
PageTables:        316 kB
VmallocTotal:   114680 kB
VmallocUsed:      1364 kB
VmallocChunk:   113256 kB
JOB ENDED THE 2005-06-07 11:10:04 (client local time) WITH STATUS 0 IN 1175.09 SECONDS
stats: 27571 7 1175.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 1200 variables and 3150 constraints.
c After prepocess the problem consists of 1200 variables and 3150 constraints.
c preprocess terminated 0.656 s
c Initial Lower Bound: 399
c Lower Bound Elapsed time: 13.071
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.92 0.95 0.90 1/54 4457
Raw data (stat): 4457 (runsolver) R 4456 7266 7265 0 -1 64 8 0 0 0 0 0 0 0 19 0 1 0 892406469 884736 94 4294967295 134512640 135332820 3221224480 3221219660 135092226 0 2147483391 7 90112 0 0 0 17 0 0 0
Raw data (statm): 216 94 205 205 0 11 0
vsize: 864
[startup+9.99997 s]
Raw data (loadavg): 0.93 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 1856 0 0 0 992 5 0 0 25 0 1 0 892406469 10113024 1646 4294967295 134512640 134716908 3221224592 3221220380 1074788968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2469 1646 1111 63 0 2406 0
vsize: 9876
[startup+20.0007 s]
Raw data (loadavg): 0.94 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 1923 0 0 0 1992 5 0 0 25 0 1 0 892406469 10321920 1713 4294967295 134512640 134716908 3221224592 3221220768 1074960912 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2520 1713 1111 63 0 2457 0
vsize: 10080
[startup+30.0011 s]
Raw data (loadavg): 0.95 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 1977 0 0 0 2992 5 0 0 25 0 1 0 892406469 10506240 1767 4294967295 134512640 134716908 3221224592 3221221152 1075967923 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2565 1767 1111 63 0 2502 0
vsize: 10260
[startup+40.0025 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 2032 0 0 0 3992 6 0 0 25 0 1 0 892406469 10649600 1822 4294967295 134512640 134716908 3221224592 3221220400 1074786854 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2600 1822 1111 63 0 2537 0
vsize: 10400
[startup+50.0029 s]
Raw data (loadavg): 0.96 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 2045 0 0 0 4992 6 0 0 25 0 1 0 892406469 10801152 1835 4294967295 134512640 134716908 3221224592 3221220736 1075088566 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2637 1835 1111 63 0 2574 0
vsize: 10548
[startup+60.0023 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 4227 0 0 0 5986 12 0 0 25 0 1 0 892406469 9449472 1608 4294967295 134512640 134716908 3221224592 3221223232 134542303 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2307 1608 1111 63 0 2244 0
vsize: 9228
[startup+70.0034 s]
Raw data (loadavg): 0.97 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 4902 0 0 0 6983 15 0 0 25 0 1 0 892406469 12283904 2283 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 2999 2283 1111 63 0 2936 0
vsize: 11996
[startup+80.0041 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 5637 0 0 0 7979 19 0 0 25 0 1 0 892406469 15257600 3018 4294967295 134512640 134716908 3221224592 3221223120 134543030 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 3725 3018 1111 63 0 3662 0
vsize: 14900
[startup+90.0046 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 6368 0 0 0 8976 22 0 0 25 0 1 0 892406469 18231296 3749 4294967295 134512640 134716908 3221224592 3221223144 134698829 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 4451 3749 1111 63 0 4388 0
vsize: 17804
[startup+100.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 7079 0 0 0 9973 25 0 0 25 0 1 0 892406469 21196800 4460 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5175 4460 1111 63 0 5112 0
vsize: 20700
[startup+110.005 s]
Raw data (loadavg): 0.98 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 7711 0 0 0 10971 28 0 0 25 0 1 0 892406469 23760896 5092 4294967295 134512640 134716908 3221224592 3221223244 134542372 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 5801 5092 1111 63 0 5738 0
vsize: 23204
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 8417 0 0 0 11968 31 0 0 25 0 1 0 892406469 26603520 5798 4294967295 134512640 134716908 3221224592 3221223316 134535756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 6495 5798 1111 63 0 6432 0
vsize: 25980
[startup+130.006 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 9074 0 0 0 12965 35 0 0 25 0 1 0 892406469 29302784 6455 4294967295 134512640 134716908 3221224592 3221223260 134613416 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7154 6455 1111 63 0 7091 0
vsize: 28616
[startup+140.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 9666 0 0 0 13963 37 0 0 25 0 1 0 892406469 31735808 7047 4294967295 134512640 134716908 3221224592 3221223116 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 7748 7047 1111 63 0 7685 0
vsize: 30992
[startup+150.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 10127 0 0 0 14961 38 0 0 25 0 1 0 892406469 33628160 7508 4294967295 134512640 134716908 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8210 7508 1111 63 0 8147 0
vsize: 32840
[startup+160.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 10630 0 0 0 15959 41 0 0 25 0 1 0 892406469 35655680 8011 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 8705 8011 1111 63 0 8642 0
vsize: 34820
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 11098 0 0 0 16957 43 0 0 25 0 1 0 892406469 37683200 8479 4294967295 134512640 134716908 3221224592 3221223264 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9200 8479 1111 63 0 9137 0
vsize: 36800
[startup+180.007 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 11606 0 0 0 17955 45 0 0 25 0 1 0 892406469 39710720 8987 4294967295 134512640 134716908 3221224592 3221223280 134534107 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 9695 8987 1111 63 0 9632 0
vsize: 38780
[startup+190.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 12184 0 0 0 18953 48 0 0 25 0 1 0 892406469 42139648 9565 4294967295 134512640 134716908 3221224592 3221223020 1077386340 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10288 9565 1111 63 0 10225 0
vsize: 41152
[startup+200.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 12678 0 0 0 19951 50 0 0 25 0 1 0 892406469 44175360 10059 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 10785 10059 1111 63 0 10722 0
vsize: 43140
[startup+210.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 13224 0 0 0 20949 52 0 0 25 0 1 0 892406469 46338048 10605 4294967295 134512640 134716908 3221224592 3221223236 134536649 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11313 10605 1111 63 0 11250 0
vsize: 45252
[startup+220.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 13579 0 0 0 21947 54 0 0 25 0 1 0 892406469 47849472 10960 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11682 10960 1111 63 0 11619 0
vsize: 46728
[startup+230.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 13824 0 0 0 22946 55 0 0 25 0 1 0 892406469 48787456 11205 4294967295 134512640 134716908 3221224592 3221223184 134549527 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 11911 11205 1111 63 0 11848 0
vsize: 47644
[startup+240.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 14306 0 0 0 23945 57 0 0 25 0 1 0 892406469 50814976 11687 4294967295 134512640 134716908 3221224592 3221223312 134524124 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12406 11687 1111 63 0 12343 0
vsize: 49624
[startup+250.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 14869 0 0 0 24942 60 0 0 25 0 1 0 892406469 53112832 12250 4294967295 134512640 134716908 3221224592 3221223328 134535840 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 12967 12250 1111 63 0 12904 0
vsize: 51868
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 15441 0 0 0 25939 63 0 0 25 0 1 0 892406469 55422976 12822 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 13531 12822 1111 63 0 13468 0
vsize: 54124
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 16004 0 0 0 26936 66 0 0 25 0 1 0 892406469 57720832 13385 4294967295 134512640 134716908 3221224592 3221223168 134549802 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14092 13385 1111 63 0 14029 0
vsize: 56368
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 16537 0 0 0 27934 68 0 0 25 0 1 0 892406469 59883520 13918 4294967295 134512640 134716908 3221224592 3221223100 134699870 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 14620 13918 1111 63 0 14557 0
vsize: 58480
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 16941 0 0 0 28933 69 0 0 25 0 1 0 892406469 61505536 14322 4294967295 134512640 134716908 3221224592 3221223376 134529243 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15016 14322 1111 63 0 14953 0
vsize: 60064
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 17446 0 0 0 29931 71 0 0 25 0 1 0 892406469 63668224 14827 4294967295 134512640 134716908 3221224592 3221223232 134542350 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15544 14827 1111 63 0 15481 0
vsize: 62176
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 17862 0 0 0 30929 74 0 0 25 0 1 0 892406469 65290240 15243 4294967295 134512640 134716908 3221224592 3221223296 134528617 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 15940 15243 1111 63 0 15877 0
vsize: 63760
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 18249 0 0 0 31927 76 0 0 25 0 1 0 892406469 66932736 15629 4294967295 134512640 134716908 3221224592 3221223152 134698892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16341 15629 1111 63 0 16278 0
vsize: 65364
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 18704 0 0 0 32925 78 0 0 25 0 1 0 892406469 68825088 16084 4294967295 134512640 134716908 3221224592 3221223244 134536766 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 16803 16084 1111 63 0 16740 0
vsize: 67212
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 19206 0 0 0 33924 80 0 0 25 0 1 0 892406469 70852608 16586 4294967295 134512640 134716908 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17298 16586 1111 63 0 17235 0
vsize: 69192
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 19700 0 0 0 34921 82 0 0 25 0 1 0 892406469 72880128 17080 4294967295 134512640 134716908 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 17793 17080 1111 63 0 17730 0
vsize: 71172
[startup+360.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 20166 0 0 0 35920 85 0 0 25 0 1 0 892406469 74772480 17546 4294967295 134512640 134716908 3221224592 3221223228 134552682 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18255 17546 1111 63 0 18192 0
vsize: 73020
[startup+370.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 20605 0 0 0 36918 87 0 0 25 0 1 0 892406469 76529664 17985 4294967295 134512640 134716908 3221224592 3221223312 134523872 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 18684 17985 1111 63 0 18621 0
vsize: 74736
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 21051 0 0 0 37915 89 0 0 25 0 1 0 892406469 78422016 18431 4294967295 134512640 134716908 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19146 18431 1111 63 0 19083 0
vsize: 76584
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 21357 0 0 0 38913 91 0 0 25 0 1 0 892406469 79638528 18737 4294967295 134512640 134716908 3221224592 3221223376 134529091 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19443 18737 1111 63 0 19380 0
vsize: 77772
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 21644 0 0 0 39912 92 0 0 25 0 1 0 892406469 80879616 19024 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 19746 19024 1111 63 0 19683 0
vsize: 78984
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 22001 0 0 0 40910 95 0 0 25 0 1 0 892406469 82366464 19381 4294967295 134512640 134716908 3221224592 3221223032 1077378037 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20109 19381 1111 63 0 20046 0
vsize: 80436
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 22377 0 0 0 41909 96 0 0 25 0 1 0 892406469 83988480 19757 4294967295 134512640 134716908 3221224592 3221223280 134551950 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20505 19757 1111 63 0 20442 0
vsize: 82020
[startup+430.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 22793 0 0 0 42907 99 0 0 25 0 1 0 892406469 85610496 20173 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 20901 20173 1111 63 0 20838 0
vsize: 83604
[startup+440.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 23193 0 0 0 43905 101 0 0 25 0 1 0 892406469 87232512 20573 4294967295 134512640 134716908 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21297 20573 1111 63 0 21234 0
vsize: 85188
[startup+450.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 23518 0 0 0 44904 102 0 0 25 0 1 0 892406469 88584192 20898 4294967295 134512640 134716908 3221224592 3221223184 134549668 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21627 20898 1111 63 0 21564 0
vsize: 86508
[startup+460.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 23856 0 0 0 45902 104 0 0 25 0 1 0 892406469 89935872 21236 4294967295 134512640 134716908 3221224592 3221223176 134542289 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 21957 21236 1111 63 0 21894 0
vsize: 87828
[startup+470.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 24228 0 0 0 46901 105 0 0 25 0 1 0 892406469 91557888 21608 4294967295 134512640 134716908 3221224592 3221223376 134584974 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22353 21608 1111 63 0 22290 0
vsize: 89412
[startup+480.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 24563 0 0 0 47901 106 0 0 25 0 1 0 892406469 92905472 21943 4294967295 134512640 134716908 3221224592 3221223148 134535956 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22682 21943 1111 63 0 22619 0
vsize: 90728
[startup+490.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 24840 0 0 0 48899 107 0 0 25 0 1 0 892406469 93995008 22220 4294967295 134512640 134716908 3221224592 3221223212 134549508 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 22948 22220 1111 63 0 22885 0
vsize: 91792
[startup+500.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 25134 0 0 0 49898 108 0 0 25 0 1 0 892406469 95240192 22512 4294967295 134512640 134716908 3221224592 3221223116 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23252 22512 1111 63 0 23189 0
vsize: 93008
[startup+510.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 25435 0 0 0 50897 110 0 0 25 0 1 0 892406469 96456704 22813 4294967295 134512640 134716908 3221224592 3221223152 134699246 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23549 22813 1111 63 0 23486 0
vsize: 94196
[startup+520.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 25753 0 0 0 51896 111 0 0 25 0 1 0 892406469 97808384 23131 4294967295 134512640 134716908 3221224592 3221223516 1077781665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 23879 23131 1111 63 0 23816 0
vsize: 95516
[startup+530.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 26103 0 0 0 52895 113 0 0 25 0 1 0 892406469 99164160 23481 4294967295 134512640 134716908 3221224592 3221223392 134597728 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24210 23481 1111 63 0 24147 0
vsize: 96840
[startup+540.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 26445 0 0 0 53893 114 0 0 25 0 1 0 892406469 100651008 23823 4294967295 134512640 134716908 3221224592 3221223220 134698632 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24573 23823 1111 63 0 24510 0
vsize: 98292
[startup+550.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 26755 0 0 0 54892 116 0 0 25 0 1 0 892406469 101867520 24133 4294967295 134512640 134716908 3221224592 3221223148 134535967 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 24870 24133 1111 63 0 24807 0
vsize: 99480
[startup+560.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 27086 0 0 0 55891 117 0 0 25 0 1 0 892406469 103366656 24464 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25236 24464 1111 63 0 25173 0
vsize: 100944
[startup+570.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4457
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 27454 0 0 0 56889 119 0 0 25 0 1 0 892406469 104853504 24832 4294967295 134512640 134716908 3221224592 3221223360 134592104 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25599 24832 1111 63 0 25536 0
vsize: 102396
[startup+580.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 27814 0 0 0 57887 121 0 0 25 0 1 0 892406469 106356736 25192 4294967295 134512640 134716908 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 25966 25192 1111 63 0 25903 0
vsize: 103864
[startup+590.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 28154 0 0 0 58885 123 0 0 25 0 1 0 892406469 107708416 25530 4294967295 134512640 134716908 3221224592 3221223132 134539296 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26296 25530 1111 63 0 26233 0
vsize: 105184
[startup+600.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 28455 0 0 0 59884 125 0 0 25 0 1 0 892406469 108924928 25831 4294967295 134512640 134716908 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26593 25831 1111 63 0 26530 0
vsize: 106372
[startup+610.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 28762 0 0 0 60882 126 0 0 25 0 1 0 892406469 110276608 26138 4294967295 134512640 134716908 3221224592 3221223312 134535760 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 26923 26138 1111 63 0 26860 0
vsize: 107692
[startup+620.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 29071 0 0 0 61881 128 0 0 25 0 1 0 892406469 111493120 26447 4294967295 134512640 134716908 3221224592 3221223140 134698782 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27220 26447 1111 63 0 27157 0
vsize: 108880
[startup+630.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 29369 0 0 0 62879 130 0 0 25 0 1 0 892406469 112709632 26744 4294967295 134512640 134716908 3221224592 3221223248 134536710 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27517 26744 1111 63 0 27454 0
vsize: 110068
[startup+640.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4510
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 29684 0 0 0 63877 132 0 0 25 0 1 0 892406469 114061312 27059 4294967295 134512640 134716908 3221224592 3221223280 134551890 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 27847 27059 1111 63 0 27784 0
vsize: 111388
[startup+650.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 30009 0 0 0 64876 134 0 0 25 0 1 0 892406469 115277824 27384 4294967295 134512640 134716908 3221224592 3221223368 134600364 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28144 27384 1111 63 0 28081 0
vsize: 112576
[startup+660.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 30289 0 0 0 65874 135 0 0 25 0 1 0 892406469 116494336 27664 4294967295 134512640 134716908 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28441 27664 1111 63 0 28378 0
vsize: 113764
[startup+670.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 30576 0 0 0 66873 137 0 0 25 0 1 0 892406469 117710848 27951 4294967295 134512640 134716908 3221224592 3221223232 134542368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 28738 27951 1111 63 0 28675 0
vsize: 114952
[startup+680.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 30840 0 0 0 67871 139 0 0 25 0 1 0 892406469 118792192 28215 4294967295 134512640 134716908 3221224592 3221223368 134613555 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29002 28215 1111 63 0 28939 0
vsize: 116008
[startup+690.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 31191 0 0 0 68869 141 0 0 25 0 1 0 892406469 120143872 28566 4294967295 134512640 134716908 3221224592 3221223248 134543756 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29332 28566 1111 63 0 29269 0
vsize: 117328
[startup+700.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 31529 0 0 0 69868 142 0 0 25 0 1 0 892406469 121630720 28904 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 29695 28904 1111 63 0 29632 0
vsize: 118780
[startup+710.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 31910 0 0 0 70866 145 0 0 25 0 1 0 892406469 123117568 29285 4294967295 134512640 134716908 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30058 29285 1111 63 0 29995 0
vsize: 120232
[startup+720.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 32231 0 0 0 71864 146 0 0 25 0 1 0 892406469 124469248 29606 4294967295 134512640 134716908 3221224592 3221223076 134699564 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30388 29606 1111 63 0 30325 0
vsize: 121552
[startup+730.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 32560 0 0 0 72862 149 0 0 25 0 1 0 892406469 125820928 29935 4294967295 134512640 134716908 3221224592 3221223184 134542677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 30718 29935 1111 63 0 30655 0
vsize: 122872
[startup+740.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 32857 0 0 0 73861 151 0 0 25 0 1 0 892406469 127037440 30232 4294967295 134512640 134716908 3221224592 3221223296 134528481 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31015 30232 1111 63 0 30952 0
vsize: 124060
[startup+750.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 33194 0 0 0 74859 152 0 0 25 0 1 0 892406469 128389120 30569 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31345 30569 1111 63 0 31282 0
vsize: 125380
[startup+760.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 33496 0 0 0 75857 154 0 0 25 0 1 0 892406469 129605632 30871 4294967295 134512640 134716908 3221224592 3221223224 134543665 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31642 30871 1111 63 0 31579 0
vsize: 126568
[startup+770.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 33764 0 0 0 76856 156 0 0 25 0 1 0 892406469 130686976 31139 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 31906 31139 1111 63 0 31843 0
vsize: 127624
[startup+780.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 34016 0 0 0 77855 157 0 0 25 0 1 0 892406469 131776512 31390 4294967295 134512640 134716908 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32172 31390 1111 63 0 32109 0
vsize: 128688
[startup+790.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 34263 0 0 0 78855 159 0 0 25 0 1 0 892406469 132734976 31636 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32406 31636 1111 63 0 32343 0
vsize: 129624
[startup+800.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 34514 0 0 0 79853 160 0 0 25 0 1 0 892406469 133816320 31887 4294967295 134512640 134716908 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32670 31887 1111 63 0 32607 0
vsize: 130680
[startup+810.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 34740 0 0 0 80853 160 0 0 25 0 1 0 892406469 134762496 32113 4294967295 134512640 134716908 3221224592 3221223184 134549689 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 32901 32113 1111 63 0 32838 0
vsize: 131604
[startup+820.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 34952 0 0 0 81852 162 0 0 25 0 1 0 892406469 135573504 32325 4294967295 134512640 134716908 3221224592 3221223248 134536630 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33099 32325 1111 63 0 33036 0
vsize: 132396
[startup+830.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 35175 0 0 0 82850 163 0 0 25 0 1 0 892406469 136519680 32548 4294967295 134512640 134716908 3221224592 3221223296 134528677 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33330 32548 1111 63 0 33267 0
vsize: 133320
[startup+840.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 35439 0 0 0 83850 164 0 0 25 0 1 0 892406469 137601024 32812 4294967295 134512640 134716908 3221224592 3221223160 134535987 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33594 32812 1111 63 0 33531 0
vsize: 134376
[startup+850.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 35673 0 0 0 84848 166 0 0 25 0 1 0 892406469 138682368 33046 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 33858 33046 1111 63 0 33795 0
vsize: 135432
[startup+860.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 35911 0 0 0 85847 167 0 0 25 0 1 0 892406469 139628544 33284 4294967295 134512640 134716908 3221224592 3221223248 134543686 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34089 33284 1111 63 0 34026 0
vsize: 136356
[startup+870.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 36145 0 0 0 86846 169 0 0 25 0 1 0 892406469 140574720 33518 4294967295 134512640 134716908 3221224592 3221223352 134613558 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34320 33518 1111 63 0 34257 0
vsize: 137280
[startup+880.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 36473 0 0 0 87845 170 0 0 25 0 1 0 892406469 141926400 33846 4294967295 134512640 134716908 3221224592 3221223100 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34650 33846 1111 63 0 34587 0
vsize: 138600
[startup+890.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 36783 0 0 0 88843 172 0 0 25 0 1 0 892406469 143142912 34156 4294967295 134512640 134716908 3221224592 3221223328 134535742 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 34947 34156 1111 63 0 34884 0
vsize: 139788
[startup+900.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 37124 0 0 0 89841 174 0 0 25 0 1 0 892406469 144629760 34497 4294967295 134512640 134716908 3221224592 3221223264 134542968 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35310 34497 1111 63 0 35247 0
vsize: 141240
[startup+910.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 37435 0 0 0 90839 176 0 0 25 0 1 0 892406469 145846272 34808 4294967295 134512640 134716908 3221224592 3221223148 134535900 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35607 34808 1111 63 0 35544 0
vsize: 142428
[startup+920.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 37769 0 0 0 91837 178 0 0 25 0 1 0 892406469 147197952 35142 4294967295 134512640 134716908 3221224592 3221223232 134698450 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 35937 35142 1111 63 0 35874 0
vsize: 143748
[startup+930.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4512
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 38061 0 0 0 92836 179 0 0 25 0 1 0 892406469 148414464 35434 4294967295 134512640 134716908 3221224592 3221223184 134549533 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36234 35434 1111 63 0 36171 0
vsize: 144936
[startup+940.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 38294 0 0 0 93835 180 0 0 25 0 1 0 892406469 149368832 35667 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36467 35667 1111 63 0 36404 0
vsize: 145868
[startup+950.032 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 38616 0 0 0 94833 182 0 0 25 0 1 0 892406469 150720512 35989 4294967295 134512640 134716908 3221224592 3221223128 134613981 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 36797 35989 1111 63 0 36734 0
vsize: 147188
[startup+960.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 38938 0 0 0 95832 184 0 0 25 0 1 0 892406469 152072192 36311 4294967295 134512640 134716908 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37127 36311 1111 63 0 37064 0
vsize: 148508
[startup+970.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 39264 0 0 0 96831 185 0 0 25 0 1 0 892406469 153288704 36637 4294967295 134512640 134716908 3221224592 3221223376 134528943 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37424 36637 1111 63 0 37361 0
vsize: 149696
[startup+980.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 39579 0 0 0 97830 186 0 0 25 0 1 0 892406469 154640384 36952 4294967295 134512640 134716908 3221224592 3221223360 134592116 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 37754 36952 1111 63 0 37691 0
vsize: 151016
[startup+990.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 39930 0 0 0 98829 188 0 0 25 0 1 0 892406469 156127232 37303 4294967295 134512640 134716908 3221224592 3221223244 134536842 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38117 37303 1111 63 0 38054 0
vsize: 152468
[startup+1000.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 40218 0 0 0 99828 189 0 0 25 0 1 0 892406469 157208576 37591 4294967295 134512640 134716908 3221224592 3221223248 134536638 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38381 37591 1111 63 0 38318 0
vsize: 153524
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 40434 0 0 0 100827 190 0 0 25 0 1 0 892406469 158154752 37807 4294967295 134512640 134716908 3221224592 3221223376 134529368 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38612 37807 1111 63 0 38549 0
vsize: 154448
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 40673 0 0 0 101826 191 0 0 25 0 1 0 892406469 159100928 38046 4294967295 134512640 134716908 3221224592 3221223152 134698892 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 38843 38046 1111 63 0 38780 0
vsize: 155372
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 40897 0 0 0 102824 193 0 0 25 0 1 0 892406469 160047104 38270 4294967295 134512640 134716908 3221224592 3221223328 134535745 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39074 38270 1111 63 0 39011 0
vsize: 156296
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 41159 0 0 0 103823 194 0 0 25 0 1 0 892406469 161128448 38532 4294967295 134512640 134716908 3221224592 3221223268 134551958 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39338 38532 1111 63 0 39275 0
vsize: 157352
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 41325 0 0 0 104823 195 0 0 25 0 1 0 892406469 161820672 38698 4294967295 134512640 134716908 3221224592 3221223184 134549544 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39507 38698 1111 63 0 39444 0
vsize: 158028
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 41438 0 0 0 105821 197 0 0 25 0 1 0 892406469 162226176 38811 4294967295 134512640 134716908 3221224592 3221223328 134523930 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39606 38811 1111 63 0 39543 0
vsize: 158424
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 41716 0 0 0 106820 198 0 0 25 0 1 0 892406469 163459072 39089 4294967295 134512640 134716908 3221224592 3221223152 134542356 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 39907 39089 1111 63 0 39844 0
vsize: 159628
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 42025 0 0 0 107819 200 0 0 25 0 1 0 892406469 164675584 39398 4294967295 134512640 134716908 3221224592 3221223308 134551979 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40204 39398 1111 63 0 40141 0
vsize: 160816
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 42299 0 0 0 108817 201 0 0 25 0 1 0 892406469 165761024 39672 4294967295 134512640 134716908 3221224592 3221223104 134535026 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40469 39672 1111 63 0 40406 0
vsize: 161876
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 42544 0 0 0 109816 203 0 0 25 0 1 0 892406469 166879232 39916 4294967295 134512640 134716908 3221224592 3221223148 134535664 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 40742 39916 1111 63 0 40679 0
vsize: 162968
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 42812 0 0 0 110816 203 0 0 25 0 1 0 892406469 167960576 40184 4294967295 134512640 134716908 3221224592 3221223248 134524067 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41006 40184 1111 63 0 40943 0
vsize: 164024
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 43056 0 0 0 111815 204 0 0 25 0 1 0 892406469 168906752 40428 4294967295 134512640 134716908 3221224592 3221223088 134535448 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41237 40428 1111 63 0 41174 0
vsize: 164948
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 43305 0 0 0 112813 206 0 0 25 0 1 0 892406469 169988096 40677 4294967295 134512640 134716908 3221224592 3221223336 134558492 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41501 40677 1111 63 0 41438 0
vsize: 166004
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 43596 0 0 0 113812 207 0 0 25 0 1 0 892406469 171204608 40968 4294967295 134512640 134716908 3221224592 3221223184 134549548 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 41798 40968 1111 63 0 41735 0
vsize: 167192
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 43912 0 0 0 114810 209 0 0 25 0 1 0 892406469 172421120 41283 4294967295 134512640 134716908 3221224592 3221223296 134528650 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42095 41283 1111 63 0 42032 0
vsize: 168380
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 44193 0 0 0 115809 211 0 0 25 0 1 0 892406469 173637632 41564 4294967295 134512640 134716908 3221224592 3221223200 134523193 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42392 41564 1111 63 0 42329 0
vsize: 169568
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/54 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 44483 0 0 0 116808 212 0 0 25 0 1 0 892406469 174718976 41854 4294967295 134512640 134716908 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42656 41854 1111 63 0 42593 0
vsize: 170624
[startup+1174.92 s]
Raw data (loadavg): 0.99 0.97 0.91 1/53 4514
Raw data (stat): 4457 (bsolo_lpr-v2) R 4456 7266 7265 0 -1 0 44483 0 0 0 116808 212 0 0 25 0 1 0 892406469 174718976 41854 4294967295 134512640 134716908 3221224592 3221223184 134549697 0 0 7 0 0 0 0 17 1 0 0
Raw data (statm): 42656 41854 1111 63 0 42593 0
vsize: 0

Child status: 0
Real time (s): 1174.92
CPU time (s): 1175.09
CPU user time (s): 1172.88
CPU system time (s): 2.20566
CPU usage (%): 100.014
Max. virtual memory (Kb): 170624
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####