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/een/normalized-p0548.opb
MD5SUM	422c0da7d5380a26c4dac413428db5c9
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	14670
Optimality of the best value was proved	NO
Number of terms in the objective function	416
Biggest coefficient in the objective function	11000
Number of bits for the biggest coefficient in the objective function	14
Sum of the numbers in the objective function	96797
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	11000
Number of bits of the biggest number in a constraint	14
Biggest sum of numbers in a constraint	96797
Number of bits of the biggest sum of numbers	17
Best result obtained on this benchmark	SAT
Best CPU time to get the best result obtained on this benchmark	1230.14
Number of variables	527
Total number of constraints	156
Number of constraints which are clauses	40
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	116
Minimum length of a constraint	2
Maximum length of a constraint	134
Trace number 25152

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 02:58:00 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5227 boxname=wulflinc31 idbench=403 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  422c0da7d5380a26c4dac413428db5c9  /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-p0548.opb
IDLAUNCH: 5227
/proc/cpuinfo:
processor	: 0
vendor_id	: GenuineIntel
cpu family	: 6
model		: 7
model name	: Pentium III (Katmai)
stepping	: 3
cpu MHz		: 451.153
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	: 3
cpu MHz		: 451.153
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	: 901.12

/proc/meminfo:
MemTotal:      1034660 kB
MemFree:        764532 kB
Buffers:         52100 kB
Cached:         188708 kB
SwapCached:       1952 kB
Active:         204760 kB
Inactive:        44940 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        764280 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              64 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14768 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 03:17:39 (client local time) WITH STATUS 0 IN 1178.68 SECONDS
stats: 5227 7 1178.68 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 535 variables and 156 constraints.
c After prepocess the problem consists of 530 variables and 154 constraints.
c preprocess terminated 0.156 s
c Initial Lower Bound: 318
c Lower Bound Elapsed time: 0.02725
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1178.62 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
Raw data (loadavg): 0.84 0.92 0.94 2/55 21498
Raw data (stat): 21498 (runsolver) R 21497 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 766309921 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 0 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0011 s]
Raw data (loadavg): 0.86 0.92 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 5584 0 0 0 974 23 0 0 25 0 1 0 766309921 7602176 1167 4294967295 134512640 134714508 3221221792 3221220192 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 1856 1167 1111 63 0 1793 0
vsize: 7424
[startup+20.0019 s]
Raw data (loadavg): 0.88 0.92 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 14689 0 0 0 1953 44 0 0 25 0 1 0 766309921 8617984 1368 4294967295 134512640 134714508 3221221792 3221218176 1074973305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2104 1368 1111 63 0 2041 0
vsize: 8416
[startup+30.0029 s]
Raw data (loadavg): 0.90 0.92 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 22065 0 0 0 2932 65 0 0 25 0 1 0 766309921 8568832 1399 4294967295 134512640 134714508 3221221792 3221218912 1074866250 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2183 1403 1111 63 0 2120 0
vsize: 8368
[startup+40.0028 s]
Raw data (loadavg): 0.91 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 32270 0 0 0 3902 95 0 0 25 0 1 0 766309921 10256384 1805 4294967295 134512640 134714508 3221221792 3221219992 1077378485 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2504 1806 1111 63 0 2441 0
vsize: 10016
[startup+50.003 s]
Raw data (loadavg): 0.93 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 41981 0 0 0 4873 124 0 0 25 0 1 0 766309921 11673600 2160 4294967295 134512640 134714508 3221221792 3221220192 1074153742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 2850 2160 1111 63 0 2787 0
vsize: 11400
[startup+60.0037 s]
Raw data (loadavg): 0.94 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 51014 0 0 0 5845 152 0 0 25 0 1 0 766309921 14413824 2810 4294967295 134512640 134714508 3221221792 3221220056 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3519 2810 1111 63 0 3456 0
vsize: 14076
[startup+70.0037 s]
Raw data (loadavg): 0.95 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 55883 0 0 0 6830 167 0 0 25 0 1 0 766309921 15736832 3149 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 3841 3149 1111 63 0 3778 0
vsize: 15368
[startup+80.0046 s]
Raw data (loadavg): 0.95 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 64859 0 0 0 7803 195 0 0 25 0 1 0 766309921 18726912 3870 4294967295 134512640 134714508 3221221792 3221219624 1077380786 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4572 3870 1111 63 0 4509 0
vsize: 18288
[startup+90.0044 s]
Raw data (loadavg): 0.96 0.93 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 70494 0 0 0 8786 212 0 0 25 0 1 0 766309921 20852736 4406 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5091 4406 1111 63 0 5028 0
vsize: 20364
[startup+100.004 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 77422 0 0 0 9764 233 0 0 25 0 1 0 766309921 23236608 4962 4294967295 134512640 134714508 3221221792 3221220512 134622891 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5673 4962 1111 63 0 5610 0
vsize: 22692
[startup+110.006 s]
Raw data (loadavg): 0.97 0.94 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 79954 0 0 0 10756 242 0 0 25 0 1 0 766309921 24059904 5156 4294967295 134512640 134714508 3221221792 3221220008 1074138162 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5874 5156 1111 63 0 5811 0
vsize: 23496
[startup+120.006 s]
Raw data (loadavg): 0.98 0.94 0.94 2/55 21498
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 85979 0 0 0 11741 257 0 0 25 0 1 0 766309921 26083328 5650 4294967295 134512640 134714508 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6368 5650 1111 63 0 6305 0
vsize: 25472
[startup+130.008 s]
Raw data (loadavg): 0.98 0.94 0.94 3/58 21533
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 94908 0 0 0 12716 282 0 0 25 0 1 0 766309921 28880896 6340 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7051 6340 1111 63 0 6988 0
vsize: 28204
[startup+140.008 s]
Raw data (loadavg): 1.14 0.98 0.95 2/59 21541
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 98315 0 0 0 13708 290 0 0 25 0 1 0 766309921 28418048 6208 4294967295 134512640 134714508 3221221792 3221220096 1074153779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6938 6208 1111 63 0 6875 0
vsize: 27752
[startup+150.052 s]
Raw data (loadavg): 1.19 0.99 0.95 3/57 21545
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 111437 0 0 0 14679 324 0 0 25 0 1 0 766309921 30793728 6768 4294967295 134512640 134714508 3221221792 3221219520 1075831103 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7518 6768 1111 63 0 7455 0
vsize: 30072
[startup+160.094 s]
Raw data (loadavg): 1.32 1.03 0.96 3/59 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 116268 0 0 0 15672 335 0 0 25 0 1 0 766309921 31797248 7059 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7763 7059 1111 63 0 7700 0
vsize: 31052
[startup+170.094 s]
Raw data (loadavg): 1.34 1.04 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 120177 0 0 0 16661 346 0 0 25 0 1 0 766309921 31969280 7088 4294967295 134512640 134714508 3221221792 3221219904 1074867340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7805 7088 1111 63 0 7742 0
vsize: 31220
[startup+180.095 s]
Raw data (loadavg): 1.29 1.04 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 131936 0 0 0 17633 374 0 0 25 0 1 0 766309921 34017280 7602 4294967295 134512640 134714508 3221221792 3221220188 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8305 7602 1111 63 0 8242 0
vsize: 33220
[startup+190.096 s]
Raw data (loadavg): 1.24 1.04 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 139547 0 0 0 18612 396 0 0 25 0 1 0 766309921 37036032 8327 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9042 8327 1111 63 0 8979 0
vsize: 36168
[startup+200.096 s]
Raw data (loadavg): 1.21 1.04 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 140809 0 0 0 19610 399 0 0 25 0 1 0 766309921 35971072 8079 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8782 8079 1111 63 0 8719 0
vsize: 35128
[startup+210.096 s]
Raw data (loadavg): 1.17 1.03 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 143120 0 0 0 20604 404 0 0 25 0 1 0 766309921 35508224 7964 4294967295 134512640 134714508 3221221792 3221218912 1074865135 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8941 7970 1111 63 0 8878 0
vsize: 34676
[startup+220.097 s]
Raw data (loadavg): 1.15 1.03 0.97 2/55 21551
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 154068 0 0 0 21576 432 0 0 25 0 1 0 766309921 41000960 9118 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10010 9118 1111 63 0 9947 0
vsize: 40040
[startup+230.098 s]
Raw data (loadavg): 1.12 1.03 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 155011 0 0 0 22575 434 0 0 25 0 1 0 766309921 40132608 8908 4294967295 134512640 134714508 3221221792 3221219712 1075799524 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9798 8908 1111 63 0 9735 0
vsize: 39192
[startup+240.098 s]
Raw data (loadavg): 1.10 1.03 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 162002 0 0 0 23557 452 0 0 25 0 1 0 766309921 41705472 9287 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10182 9287 1111 63 0 10119 0
vsize: 40728
[startup+250.098 s]
Raw data (loadavg): 1.09 1.03 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 172242 0 0 0 24532 477 0 0 25 0 1 0 766309921 42962944 9594 4294967295 134512640 134714508 3221221792 3221219368 1077410163 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10489 9594 1111 63 0 10426 0
vsize: 41956
[startup+260.098 s]
Raw data (loadavg): 1.07 1.03 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 185847 0 0 0 25497 513 0 0 25 0 1 0 766309921 45654016 10241 4294967295 134512640 134714508 3221221792 3221219520 1075828584 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11146 10241 1111 63 0 11083 0
vsize: 44584
[startup+270.099 s]
Raw data (loadavg): 1.06 1.03 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 198303 0 0 0 26465 545 0 0 25 0 1 0 766309921 48390144 10918 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12086 10924 1111 63 0 12023 0
vsize: 47256
[startup+280.099 s]
Raw data (loadavg): 1.05 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 202667 0 0 0 27454 556 0 0 25 0 1 0 766309921 50061312 11326 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12222 11326 1111 63 0 12159 0
vsize: 48888
[startup+290.1 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 212916 0 0 0 28426 584 0 0 25 0 1 0 766309921 51871744 11786 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12664 11786 1111 63 0 12601 0
vsize: 50656
[startup+300.1 s]
Raw data (loadavg): 1.04 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 220025 0 0 0 29409 602 0 0 25 0 1 0 766309921 53010432 12054 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12942 12054 1111 63 0 12879 0
vsize: 51768
[startup+310.101 s]
Raw data (loadavg): 1.03 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 224962 0 0 0 30396 614 0 0 25 0 1 0 766309921 53858304 12289 4294967295 134512640 134714508 3221221792 3221220252 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13149 12289 1111 63 0 13086 0
vsize: 52596
[startup+320.102 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 231282 0 0 0 31381 630 0 0 25 0 1 0 766309921 55754752 12758 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13612 12758 1111 63 0 13549 0
vsize: 54448
[startup+330.103 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 239978 0 0 0 32359 652 0 0 25 0 1 0 766309921 57778176 12987 4294967295 134512640 134714508 3221221792 3221218780 1077404742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14106 12992 1111 63 0 14043 0
vsize: 56424
[startup+340.104 s]
Raw data (loadavg): 1.02 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 252384 0 0 0 33328 683 0 0 25 0 1 0 766309921 59355136 13615 4294967295 134512640 134714508 3221221792 3221220048 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14491 13615 1111 63 0 14428 0
vsize: 57964
[startup+350.104 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 253711 0 0 0 34325 686 0 0 25 0 1 0 766309921 59338752 13637 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14487 13637 1111 63 0 14424 0
vsize: 57948
[startup+360.105 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 261562 0 0 0 35305 707 0 0 25 0 1 0 766309921 60395520 13878 4294967295 134512640 134714508 3221221792 3221219860 1077378590 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 14745 13878 1111 63 0 14682 0
vsize: 58980
[startup+370.105 s]
Raw data (loadavg): 1.01 1.02 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 274945 0 0 0 36272 739 0 0 25 0 1 0 766309921 62648320 14449 4294967295 134512640 134714508 3221221792 3221220236 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15295 14449 1111 63 0 15232 0
vsize: 61180
[startup+380.106 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 277265 0 0 0 37266 746 0 0 25 0 1 0 766309921 63578112 14685 4294967295 134512640 134714508 3221221792 3221220512 134622817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14685 1111 63 0 15459 0
vsize: 62088
[startup+390.107 s]
Raw data (loadavg): 1.01 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 277265 0 0 0 38267 746 0 0 25 0 1 0 766309921 63578112 14685 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15522 14685 1111 63 0 15459 0
vsize: 62088
[startup+400.107 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 283754 0 0 0 39251 762 0 0 25 0 1 0 766309921 64425984 14888 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15729 14888 1111 63 0 15666 0
vsize: 62916
[startup+410.108 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 291056 0 0 0 40233 780 0 0 25 0 1 0 766309921 68554752 15665 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16737 15665 1111 63 0 16674 0
vsize: 66948
[startup+420.109 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 295597 0 0 0 41222 791 0 0 25 0 1 0 766309921 69054464 15763 4294967295 134512640 134714508 3221221792 3221219880 1077377398 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16859 15763 1111 63 0 16796 0
vsize: 67436
[startup+430.109 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 301226 0 0 0 42209 804 0 0 25 0 1 0 766309921 71999488 16346 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17578 16346 1111 63 0 17515 0
vsize: 70312
[startup+440.109 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305295 0 0 0 43198 815 0 0 25 0 1 0 766309921 72888320 16595 4294967295 134512640 134714508 3221221792 3221219916 1074208560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17795 16595 1111 63 0 17732 0
vsize: 71180
[startup+450.109 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305416 0 0 0 44197 816 0 0 25 0 1 0 766309921 73469952 16716 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17937 16716 1111 63 0 17874 0
vsize: 71748
[startup+460.111 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305503 0 0 0 45197 817 0 0 25 0 1 0 766309921 73773056 16803 4294967295 134512640 134714508 3221221792 3221219936 1074153760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18011 16803 1111 63 0 17948 0
vsize: 72044
[startup+470.111 s]
Raw data (loadavg): 1.00 1.01 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305610 0 0 0 46195 818 0 0 25 0 1 0 766309921 74182656 16910 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18111 16910 1111 63 0 18048 0
vsize: 72444
[startup+480.112 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305664 0 0 0 47195 819 0 0 25 0 1 0 766309921 74403840 16964 4294967295 134512640 134714508 3221221792 3221219936 1074153792 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18165 16964 1111 63 0 18102 0
vsize: 72660
[startup+490.113 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305712 0 0 0 48195 820 0 0 25 0 1 0 766309921 74600448 17012 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18213 17012 1111 63 0 18150 0
vsize: 72852
[startup+500.113 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305755 0 0 0 49194 820 0 0 25 0 1 0 766309921 74776576 17055 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18256 17055 1111 63 0 18193 0
vsize: 73024
[startup+510.113 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21553
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305837 0 0 0 50194 821 0 0 25 0 1 0 766309921 75145216 17137 4294967295 134512640 134714508 3221221792 3221219936 1074153770 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18346 17137 1111 63 0 18283 0
vsize: 73384
[startup+520.114 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305874 0 0 0 51194 821 0 0 25 0 1 0 766309921 75296768 17174 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18383 17174 1111 63 0 18320 0
vsize: 73532
[startup+530.115 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 305910 0 0 0 52193 822 0 0 25 0 1 0 766309921 75444224 17210 4294967295 134512640 134714508 3221221792 3221219936 1074153782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18419 17210 1111 63 0 18356 0
vsize: 73676
[startup+540.116 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 53188 827 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+550.116 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 54188 827 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918597 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+560.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 55188 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918599 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+570.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 56188 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+580.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 57189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+590.118 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 58189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+600.117 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 59189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+610.118 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 60189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+620.118 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 61189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+630.119 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 62189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918583 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+640.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 63189 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+650.12 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 64190 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+660.121 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 65190 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918576 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+670.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 66190 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918591 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+680.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 308250 0 0 0 67190 828 0 0 25 0 1 0 766309921 81670144 18727 4294967295 134512640 134714508 3221221792 3221219792 1074918594 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19939 18727 1111 63 0 19876 0
vsize: 79756
[startup+690.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 68175 843 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+700.122 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 69175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+710.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 70175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220520 134622806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+720.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 71175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+730.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 72175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134542409 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+740.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 73175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+750.123 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 74175 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+760.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 75176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+770.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 76176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220512 134622766 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+780.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 77176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+790.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 78176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+800.124 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 79176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+810.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 80176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+820.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 81176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220516 134622859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+830.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 82176 844 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220672 134621636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+840.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 83176 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+850.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 84176 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+860.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 85176 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+870.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 86176 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+880.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 87177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+890.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 88177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134536921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+900.125 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 89177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622747 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+910.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 90177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622796 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+920.126 s]
Raw data (loadavg): 1.00 1.00 0.97 3/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 91177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+930.126 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 92177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543130 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+940.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 93177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+950.127 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 94177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220516 134622760 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+960.128 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 95177 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+970.129 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 96178 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+980.129 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 97178 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220608 134622468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+990.129 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 98178 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1000.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 99178 845 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1010.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 100178 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134542414 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1020.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 101178 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1030.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 102178 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1040.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 103178 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220608 134622556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1050.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 104179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1060.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 105179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1070.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 106179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1080.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 107179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1090.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 108179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220504 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1100.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 109179 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1110.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 110180 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220520 134622882 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1120.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 111180 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1130.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 112180 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220608 134622477 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1140.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 113180 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220584 134536900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1150.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 114180 846 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220596 134622483 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1160.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 115180 847 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1170.13 s]
Raw data (loadavg): 1.00 1.00 0.97 2/55 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 116180 847 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 73860
[startup+1178.54 s]
Raw data (loadavg): 1.00 1.00 0.97 1/54 21555
Raw data (stat): 21498 (bsolo_lpr) R 21497 7876 7672 0 -1 0 314702 0 0 0 116180 847 0 0 25 0 1 0 766309921 75632640 17265 4294967295 134512640 134714508 3221221792 3221220528 134622743 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18465 17265 1111 63 0 18402 0
vsize: 0

Child status: 0
Real time (s): 1178.54
CPU time (s): 1178.68
CPU user time (s): 1170.18
CPU system time (s): 8.50471
CPU usage (%): 100.012
Max. virtual memory (Kb): 79756
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####