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-fast0507.opb
MD5SUM	bc1a4f1c9875fd4d3273e85dcf5e871e
Bench Category	optimization, small integers (OPTSMALLINT)
Has Objective Function	YES
Satisfiable	YES
(Un)Satisfiability was proved	YES
Best value of the objective function	311
Optimality of the best value was proved	NO
Number of terms in the objective function	63009
Biggest coefficient in the objective function	2
Number of bits for the biggest coefficient in the objective function	2
Sum of the numbers in the objective function	122425
Number of bits of the sum of numbers in the objective function	17
Biggest number in a constraint	2
Number of bits of the biggest number in a constraint	2
Biggest sum of numbers in a constraint	122425
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	1189.19
Number of variables	63001
Total number of constraints	489
Number of constraints which are clauses	489
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	7753
Trace number 25067

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-16 10:49:36 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=5006 boxname=wulflinc31 idbench=386 idsolver=1 numberseed=0
MD5SUM SOLVER: e973bb179fd0e01ec8c7277096f1c3ef  /oldhome/oroussel/solvers/bsolo_lpr
MD5SUM BENCH:  bc1a4f1c9875fd4d3273e85dcf5e871e  /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
REAL COMMAND:  bsolo_lpr /oldhome/oroussel/tmp/wulflinc31/normalized-fast0507.opb
IDLAUNCH: 5006
/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:        788300 kB
Buffers:         49012 kB
Cached:         174456 kB
SwapCached:       1952 kB
Active:         178124 kB
Inactive:        48532 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        788048 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:             336 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            13984 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-16 11:09:39 (client local time) WITH STATUS 0 IN 1201.09 SECONDS
stats: 5006 7 1201.09 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: OSL Context initialized.
c Initial problem consists of 63009 variables and 489 constraints.
#### 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.92 0.97 0.99 2/55 12482
Raw data (stat): 12482 (runsolver) R 12481 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 760498789 1056768 100 4294967295 134512640 135381576 3221221696 3221216916 135158418 0 2147483391 1 90112 0 0 0 17 1 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.001 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 740 0 0 0 991 4 0 0 25 0 1 0 760498789 15622144 663 4294967295 134512640 134714508 3221221792 3221220020 1077414345 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3814 663 1111 63 0 3751 0
vsize: 15256
[startup+20.0022 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 864 0 0 0 1991 4 0 0 25 0 1 0 760498789 16162816 787 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 3946 787 1111 63 0 3883 0
vsize: 15784
[startup+30.0031 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 984 0 0 0 2991 4 0 0 25 0 1 0 760498789 16568320 907 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4045 907 1111 63 0 3982 0
vsize: 16180
[startup+40.0037 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1117 0 0 0 3991 5 0 0 25 0 1 0 760498789 17117184 1040 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4179 1040 1111 63 0 4116 0
vsize: 16716
[startup+50.0042 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1262 0 0 0 4991 5 0 0 25 0 1 0 760498789 17723392 1185 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4327 1185 1111 63 0 4264 0
vsize: 17308
[startup+60.0049 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1402 0 0 0 5991 5 0 0 25 0 1 0 760498789 18333696 1325 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4476 1325 1111 63 0 4413 0
vsize: 17904
[startup+70.0045 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1534 0 0 0 6991 5 0 0 25 0 1 0 760498789 18878464 1457 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4609 1457 1111 63 0 4546 0
vsize: 18436
[startup+80.0057 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1675 0 0 0 7991 5 0 0 25 0 1 0 760498789 19394560 1598 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4735 1598 1111 63 0 4672 0
vsize: 18940
[startup+90.0057 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1823 0 0 0 8991 6 0 0 25 0 1 0 760498789 20017152 1746 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 4887 1746 1111 63 0 4824 0
vsize: 19548
[startup+100.005 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1976 0 0 0 9991 6 0 0 25 0 1 0 760498789 20623360 1899 4294967295 134512640 134714508 3221221792 3221220020 1077414407 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5035 1899 1111 63 0 4972 0
vsize: 20140
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 2115 0 0 0 10991 6 0 0 25 0 1 0 760498789 21172224 2038 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5169 2038 1111 63 0 5106 0
vsize: 20676
[startup+120.006 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 2637 0 0 0 11988 9 0 0 25 0 1 0 760498789 21975040 2208 4294967295 134512640 134714508 3221221792 3221220020 1077414426 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5365 2208 1111 63 0 5302 0
vsize: 21460
[startup+130.007 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 4723 0 0 0 12982 16 0 0 25 0 1 0 760498789 22564864 2356 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5509 2356 1111 63 0 5446 0
vsize: 22036
[startup+140.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 8654 0 0 0 13973 25 0 0 25 0 1 0 760498789 23379968 2526 4294967295 134512640 134714508 3221221792 3221220020 1077414351 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5708 2526 1111 63 0 5645 0
vsize: 22832
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 14661 0 0 0 14960 39 0 0 25 0 1 0 760498789 23826432 2670 4294967295 134512640 134714508 3221221792 3221220020 1077414363 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 5817 2670 1111 63 0 5754 0
vsize: 23268
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 22886 0 0 0 15944 55 0 0 25 0 1 0 760498789 24686592 2852 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6027 2852 1111 63 0 5964 0
vsize: 24108
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 33294 0 0 0 16923 75 0 0 25 0 1 0 760498789 25214976 3017 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6156 3017 1111 63 0 6093 0
vsize: 24624
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 46762 0 0 0 17896 103 0 0 25 0 1 0 760498789 26095616 3202 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6371 3203 1111 63 0 6308 0
vsize: 25484
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 62739 0 0 0 18865 134 0 0 25 0 1 0 760498789 26578944 3357 4294967295 134512640 134714508 3221221792 3221220020 1077414360 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6489 3357 1111 63 0 6426 0
vsize: 25956
[startup+200.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 81504 0 0 0 19827 172 0 0 25 0 1 0 760498789 27328512 3542 4294967295 134512640 134714508 3221221792 3221220020 1077414388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6672 3542 1111 63 0 6609 0
vsize: 26688
[startup+210.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 120542 0 0 0 20755 244 0 0 25 0 1 0 760498789 28254208 3710 4294967295 134512640 134714508 3221221792 3221220020 1077414401 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 6898 3710 1111 63 0 6835 0
vsize: 27592
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 186659 0 0 0 21631 369 0 0 25 0 1 0 760498789 29212672 3909 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7132 3914 1111 63 0 7069 0
vsize: 28528
[startup+230.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 258928 0 0 0 22493 506 0 0 25 0 1 0 760498789 29753344 4065 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7264 4065 1111 63 0 7201 0
vsize: 29056
[startup+240.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 336224 0 0 0 23346 654 0 0 25 0 1 0 760498789 30437376 4250 4294967295 134512640 134714508 3221221792 3221220020 1077414338 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7431 4250 1111 63 0 7368 0
vsize: 29724
[startup+250.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 421412 0 0 0 24189 811 0 0 25 0 1 0 760498789 31256576 4443 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7631 4443 1111 63 0 7568 0
vsize: 30524
[startup+260.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 511191 0 0 0 25020 980 0 0 25 0 1 0 760498789 32075776 4637 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 7831 4637 1111 63 0 7768 0
vsize: 31324
[startup+270.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 606322 0 0 0 25849 1152 0 0 25 0 1 0 760498789 32952320 4856 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8045 4862 1111 63 0 7982 0
vsize: 32180
[startup+280.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 706455 0 0 0 26665 1336 0 0 25 0 1 0 760498789 33779712 5049 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8247 5053 1111 63 0 8184 0
vsize: 32988
[startup+290.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 813763 0 0 0 27472 1529 0 0 25 0 1 0 760498789 34402304 5233 4294967295 134512640 134714508 3221221792 3221220020 1077414413 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8449 5234 1111 63 0 8386 0
vsize: 33596
[startup+300.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 928783 0 0 0 28264 1737 0 0 25 0 1 0 760498789 35438592 5465 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8652 5469 1111 63 0 8589 0
vsize: 34608
[startup+310.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1052575 0 0 0 29034 1968 0 0 25 0 1 0 760498789 36048896 5653 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8801 5653 1111 63 0 8738 0
vsize: 35204
[startup+320.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1186538 0 0 0 29776 2225 0 0 25 0 1 0 760498789 37007360 5876 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9035 5876 1111 63 0 8972 0
vsize: 36140
[startup+330.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1329630 0 0 0 30508 2494 0 0 25 0 1 0 760498789 37965824 6102 4294967295 134512640 134714508 3221221792 3221220040 1077799185 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9269 6102 1111 63 0 9206 0
vsize: 37076
[startup+340.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1485942 0 0 0 31207 2795 0 0 25 0 1 0 760498789 39178240 6400 4294967295 134512640 134714508 3221221792 3221220144 134568037 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 9503 6341 1111 63 0 9440 0
vsize: 38260
[startup+350.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1520056 0 0 0 32139 2863 0 0 25 0 1 0 760498789 51310592 9390 4294967295 134512640 134714508 3221221792 3221220068 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12527 9390 1111 63 0 12464 0
vsize: 50108
[startup+360.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1522042 0 0 0 33134 2868 0 0 25 0 1 0 760498789 59645952 11376 4294967295 134512640 134714508 3221221792 3221220068 1077414420 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14562 11376 1111 63 0 14499 0
vsize: 58248
[startup+370.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1523220 0 0 0 34130 2872 0 0 25 0 1 0 760498789 64729088 12554 4294967295 134512640 134714508 3221221792 3221220068 1077414410 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15803 12554 1111 63 0 15740 0
vsize: 63212
[startup+380.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1524548 0 0 0 35127 2875 0 0 25 0 1 0 760498789 62107648 13706 4294967295 134512640 134714508 3221221792 3221220768 134582614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15163 13714 1111 63 0 15100 0
vsize: 60652
[startup+390.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 36116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+400.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 37116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+410.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 38116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220272 134543075 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+420.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 39116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+430.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 40116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+440.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 41116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+450.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 42116 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+460.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 43117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+470.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 44117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536814 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+480.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 45117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220244 134535880 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+490.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 46117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+500.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 47117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+510.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 48117 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+520.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 49118 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+530.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 50118 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+540.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 51118 2886 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+550.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 52118 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+560.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 53118 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+570.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 54119 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+580.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 55119 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+590.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 56119 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+600.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 57119 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+610.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 58120 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+620.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 59120 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220264 134543020 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+630.218 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 12482
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 60138 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+640.514 s]
Raw data (loadavg): 1.07 0.99 0.99 3/58 12523
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 61168 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+650.665 s]
Raw data (loadavg): 1.14 1.00 1.00 2/58 12530
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 62183 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+660.899 s]
Raw data (loadavg): 1.33 1.05 1.02 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 63206 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+670.9 s]
Raw data (loadavg): 1.28 1.05 1.01 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 64207 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+680.901 s]
Raw data (loadavg): 1.23 1.05 1.01 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 65207 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+690.902 s]
Raw data (loadavg): 1.20 1.05 1.01 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 66207 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220520 134672944 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+700.902 s]
Raw data (loadavg): 1.17 1.04 1.01 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 67207 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+710.902 s]
Raw data (loadavg): 1.14 1.04 1.01 2/55 12535
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 68207 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+720.903 s]
Raw data (loadavg): 1.12 1.04 1.01 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 69208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220272 134543043 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+730.904 s]
Raw data (loadavg): 1.10 1.04 1.01 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 70208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+740.905 s]
Raw data (loadavg): 1.08 1.04 1.01 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 71208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+750.904 s]
Raw data (loadavg): 1.07 1.03 1.01 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 72208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+760.904 s]
Raw data (loadavg): 1.06 1.03 1.01 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 73208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+770.905 s]
Raw data (loadavg): 1.05 1.03 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 74208 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+780.905 s]
Raw data (loadavg): 1.04 1.03 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 75209 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+790.905 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 76209 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+800.905 s]
Raw data (loadavg): 1.03 1.03 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 77209 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220252 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+810.906 s]
Raw data (loadavg): 1.02 1.03 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 78209 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134536817 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+820.906 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 79209 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+830.908 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 80210 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+840.908 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 81210 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+850.908 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 82210 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+860.908 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 83210 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220272 134543041 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+870.909 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 84210 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+880.91 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 85211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+890.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 86211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+900.909 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 87211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+910.91 s]
Raw data (loadavg): 1.00 1.02 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 88211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+920.911 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 89211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220252 134535988 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+930.911 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 90211 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+940.912 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 91212 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220272 134543046 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+950.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 92212 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535925 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+960.913 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 93212 2887 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535956 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+970.914 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 94212 2888 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+980.915 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 95212 2888 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220236 134535952 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+990.916 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 96212 2888 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+1000.92 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529126 0 0 0 97212 2888 0 0 25 0 1 0 760498789 80773120 18284 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18284 1111 63 0 19657 0
vsize: 78880
[startup+1010.92 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529127 0 0 0 98212 2888 0 0 25 0 1 0 760498789 80773120 18285 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18285 1111 63 0 19657 0
vsize: 78880
[startup+1020.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12537
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 99213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1030.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 100213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220236 134535964 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1040.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 101213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1050.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 102213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220260 134543025 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1060.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 103213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220272 134543110 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1070.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 104213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220236 134535895 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1080.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 105213 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1090.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 106214 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1100.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 107214 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220544 134630792 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1110.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529129 0 0 0 108214 2888 0 0 25 0 1 0 760498789 80773120 18287 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18287 1111 63 0 19657 0
vsize: 78880
[startup+1120.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529130 0 0 0 109214 2888 0 0 25 0 1 0 760498789 80773120 18288 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18288 1111 63 0 19657 0
vsize: 78880
[startup+1130.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529131 0 0 0 110214 2888 0 0 25 0 1 0 760498789 80773120 18289 4294967295 134512640 134714508 3221221792 3221220236 134535928 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18289 1111 63 0 19657 0
vsize: 78880
[startup+1140.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529132 0 0 0 111214 2888 0 0 25 0 1 0 760498789 80773120 18290 4294967295 134512640 134714508 3221221792 3221220544 134630795 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18290 1111 63 0 19657 0
vsize: 78880
[startup+1150.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529132 0 0 0 112215 2889 0 0 25 0 1 0 760498789 80773120 18290 4294967295 134512640 134714508 3221221792 3221220524 134672949 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18290 1111 63 0 19657 0
vsize: 78880
[startup+1160.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529132 0 0 0 113215 2889 0 0 25 0 1 0 760498789 80773120 18290 4294967295 134512640 134714508 3221221792 3221220268 134539306 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18290 1111 63 0 19657 0
vsize: 78880
[startup+1170.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529133 0 0 0 114215 2889 0 0 25 0 1 0 760498789 80773120 18291 4294967295 134512640 134714508 3221221792 3221220256 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
[startup+1180.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529133 0 0 0 115215 2889 0 0 25 0 1 0 760498789 80773120 18291 4294967295 134512640 134714508 3221221792 3221220236 134535900 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
[startup+1190.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529133 0 0 0 116215 2889 0 0 25 0 1 0 760498789 80773120 18291 4294967295 134512640 134714508 3221221792 3221220256 134543097 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18291 1111 63 0 19657 0
vsize: 78880
[startup+1200.92 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 12539
Raw data (stat): 12482 (bsolo_lpr) R 12481 7876 7672 0 -1 0 1529134 0 0 0 117215 2889 0 0 25 0 1 0 760498789 80773120 18292 4294967295 134512640 134714508 3221221792 3221220236 134535903 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19720 18292 1111 63 0 19657 0
vsize: 78880
Maximum CPU time exceeded: sending SIGTERM and SIGKILL
[startup+1200.96 s]
Raw data (loadavg): 1.00 1.00 1.00 1/55 12539
Raw data (stat): 12482 (bsolo_lpr) Z 12481 7876 7672 0 -1 1036 1529134 0 0 0 117215 2892 0 0 25 0 1 0 760498789 0 0 4294967295 0 0 0 0 0 0 0 1 0 3222412051 0 0 17 0 0 0
Raw data (statm): 0 0 0 0 0 0 0
vsize: 0
Maximum CPU time exceeded: sending SIGTERM and SIGKILL

Child ended because it received signal 15 (SIGTERM)
Real time (s): 1200.96
CPU time (s): 1201.09
CPU user time (s): 1172.16
CPU system time (s): 28.9266
CPU usage (%): 100.01
Max. virtual memory (Kb): 78880
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####