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/web/www.ps.uni-sb.de/~walser/benchmarks/ppp-problems/normalized-ppp:1-11,19,21.opb
MD5SUM	552cc7fcebca47ae66a3cb1c13679513
Bench Category	no optimization function (SAT)
Has Objective Function	NO
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	0
Biggest coefficient in the objective function	0
Number of bits for the biggest coefficient in the objective function	0
Sum of the numbers in the objective function	0
Number of bits of the sum of numbers in the objective function	0
Biggest number in a constraint	10
Number of bits of the biggest number in a constraint	4
Biggest sum of numbers in a constraint	103
Number of bits of the biggest sum of numbers	7
Best result obtained on this benchmark
Best CPU time to get the best result obtained on this benchmark
Number of variables	4602
Total number of constraints	34781
Number of constraints which are clauses	29160
Number of constraints which are cardinality constraints (but not clauses)	5543
Number of constraints which are nor clauses,nor cardinality constraints	78
Minimum length of a constraint	1
Maximum length of a constraint	29
Trace number 24934

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-15 02:01:38 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=3225 boxname=wulflinc31 idbench=359 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  552cc7fcebca47ae66a3cb1c13679513  /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-ppp:1-11,19,21.opb
IDLAUNCH: 3225
/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:        819652 kB
Buffers:         40424 kB
Cached:         152804 kB
SwapCached:       1932 kB
Active:         157656 kB
Inactive:        38776 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        819400 kB
SwapTotal:     2097892 kB
SwapFree:      2095228 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5364 kB
Slab:            12972 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-15 02:21:13 (client local time) WITH STATUS 0 IN 1175.08 SECONDS
stats: 3225 7 1175.08 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c INFO: No cost function. Find solution and finish.
c Initial problem consists of 4602 variables and 30353 constraints.
c After prepocess the problem consists of 4602 variables and 30353 constraints.
c preprocess terminated 51.823 s
c Not use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.02 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): 1.03 1.02 1.00 2/55 30239
Raw data (stat): 30239 (runsolver) R 30238 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 748689626 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 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.0004 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 45114 0 0 0 879 117 0 0 25 0 1 0 748689626 51728384 11691 4294967295 134512640 134714540 3221221792 3221220432 134606474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12665 11697 1111 63 0 12602 0
vsize: 50516
[startup+20.0013 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 129750 0 0 0 1662 334 0 0 25 0 1 0 748689626 51732480 11692 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12630 11692 1111 63 0 12567 0
vsize: 50520
[startup+30.0026 s]
Raw data (loadavg): 1.02 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 148067 0 0 0 2615 382 0 0 25 0 1 0 748689626 70516736 16278 4294967295 134512640 134714540 3221221792 3221220260 134542296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16278 1111 63 0 17153 0
vsize: 68864
[startup+40.0022 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 160401 0 0 0 3585 412 0 0 25 0 1 0 748689626 70516736 16278 4294967295 134512640 134714540 3221221792 3221220432 134606494 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16278 1111 63 0 17153 0
vsize: 68864
[startup+50.0031 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167555 0 0 0 4567 429 0 0 25 0 1 0 748689626 70516736 16278 4294967295 134512640 134714540 3221221792 3221220260 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16278 1111 63 0 17153 0
vsize: 68864
[startup+60.003 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 5565 431 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220536 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+70.0039 s]
Raw data (loadavg): 1.01 1.02 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 6564 433 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220576 134529311 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+80.0049 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 7563 434 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+90.0052 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 8562 435 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220352 134696573 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+100.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 9561 436 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220352 134542352 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+110.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 10560 438 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+120.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 11559 439 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+130.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 12558 440 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220400 134549474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+140.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 13557 441 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220348 134539237 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+150.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 14557 441 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220420 1077374082 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+160.006 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 15557 442 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+170.007 s]
Raw data (loadavg): 1.00 1.01 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 16556 442 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220516 134535756 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+180.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 17555 443 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+190.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 18555 444 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220396 134536825 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+200.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 19554 445 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+210.008 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 20553 446 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220348 134535664 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+220.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 21553 447 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+230.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 22551 448 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220528 134529368 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+240.009 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30239
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 23550 450 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220480 134528605 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+250.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167573 0 0 0 24549 451 0 0 25 0 1 0 748689626 70516736 16296 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17216 16296 1111 63 0 17153 0
vsize: 68864
[startup+260.01 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167626 0 0 0 25548 452 0 0 25 0 1 0 748689626 70787072 16349 4294967295 134512640 134714540 3221221792 3221220484 134542981 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17282 16349 1111 63 0 17219 0
vsize: 69128
[startup+270.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167739 0 0 0 26547 453 0 0 25 0 1 0 748689626 71327744 16462 4294967295 134512640 134714540 3221221792 3221220480 134543674 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17414 16462 1111 63 0 17351 0
vsize: 69656
[startup+280.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167843 0 0 0 27546 455 0 0 25 0 1 0 748689626 71733248 16566 4294967295 134512640 134714540 3221221792 3221220456 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17513 16566 1111 63 0 17450 0
vsize: 70052
[startup+290.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167934 0 0 0 28544 456 0 0 25 0 1 0 748689626 72003584 16657 4294967295 134512640 134714540 3221221792 3221220448 134523859 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17579 16657 1111 63 0 17516 0
vsize: 70316
[startup+300.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 167968 0 0 0 29544 457 0 0 25 0 1 0 748689626 72138752 16691 4294967295 134512640 134714540 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17612 16691 1111 63 0 17549 0
vsize: 70448
[startup+310.011 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168041 0 0 0 30543 458 0 0 25 0 1 0 748689626 72544256 16764 4294967295 134512640 134714540 3221221792 3221220352 134542356 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17711 16764 1111 63 0 17648 0
vsize: 70844
[startup+320.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168181 0 0 0 31541 460 0 0 25 0 1 0 748689626 73072640 16904 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17840 16904 1111 63 0 17777 0
vsize: 71360
[startup+330.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168278 0 0 0 32540 461 0 0 25 0 1 0 748689626 73478144 17001 4294967295 134512640 134714540 3221221792 3221220400 134549302 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17939 17001 1111 63 0 17876 0
vsize: 71756
[startup+340.012 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168387 0 0 0 33538 463 0 0 25 0 1 0 748689626 73883648 17110 4294967295 134512640 134714540 3221221792 3221220340 134696757 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18038 17110 1111 63 0 17975 0
vsize: 72152
[startup+350.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168462 0 0 0 34537 465 0 0 25 0 1 0 748689626 74289152 17185 4294967295 134512640 134714540 3221221792 3221220444 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18137 17185 1111 63 0 18074 0
vsize: 72548
[startup+360.013 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168556 0 0 0 35536 465 0 0 25 0 1 0 748689626 74665984 17279 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18229 17279 1111 63 0 18166 0
vsize: 72916
[startup+370.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168611 0 0 0 36535 467 0 0 25 0 1 0 748689626 74797056 17334 4294967295 134512640 134714540 3221221792 3221220372 134696296 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18261 17334 1111 63 0 18198 0
vsize: 73044
[startup+380.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168710 0 0 0 37534 468 0 0 25 0 1 0 748689626 75202560 17433 4294967295 134512640 134714540 3221221792 3221220336 134696856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18360 17433 1111 63 0 18297 0
vsize: 73440
[startup+390.014 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168845 0 0 0 38534 469 0 0 25 0 1 0 748689626 75735040 17568 4294967295 134512640 134714540 3221221792 3221220576 134529243 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18490 17568 1111 63 0 18427 0
vsize: 73960
[startup+400.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 168985 0 0 0 39532 470 0 0 25 0 1 0 748689626 76410880 17708 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18655 17708 1111 63 0 18592 0
vsize: 74620
[startup+410.015 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169101 0 0 0 40532 471 0 0 25 0 1 0 748689626 76812288 17824 4294967295 134512640 134714540 3221221792 3221220444 134542288 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18753 17824 1111 63 0 18690 0
vsize: 75012
[startup+420.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169153 0 0 0 41530 472 0 0 25 0 1 0 748689626 77070336 17876 4294967295 134512640 134714540 3221221792 3221220280 134552650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18816 17876 1111 63 0 18753 0
vsize: 75264
[startup+430.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169194 0 0 0 42529 474 0 0 25 0 1 0 748689626 77156352 17917 4294967295 134512640 134714540 3221221792 3221220300 134535903 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18837 17917 1111 63 0 18774 0
vsize: 75348
[startup+440.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169266 0 0 0 43529 474 0 0 25 0 1 0 748689626 77512704 17989 4294967295 134512640 134714540 3221221792 3221220360 134696435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18924 17989 1111 63 0 18861 0
vsize: 75696
[startup+450.016 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169375 0 0 0 44527 476 0 0 25 0 1 0 748689626 77905920 18098 4294967295 134512640 134714540 3221221792 3221220532 134591993 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19020 18098 1111 63 0 18957 0
vsize: 76080
[startup+460.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169395 0 0 0 45527 476 0 0 25 0 1 0 748689626 78041088 18118 4294967295 134512640 134714540 3221221792 3221220400 134549305 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19053 18118 1111 63 0 18990 0
vsize: 76212
[startup+470.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169452 0 0 0 46526 477 0 0 25 0 1 0 748689626 78307328 18175 4294967295 134512640 134714540 3221221792 3221220560 134592116 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19118 18175 1111 63 0 19055 0
vsize: 76472
[startup+480.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169505 0 0 0 47525 478 0 0 25 0 1 0 748689626 78442496 18228 4294967295 134512640 134714540 3221221792 3221220432 134696145 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19151 18228 1111 63 0 19088 0
vsize: 76604
[startup+490.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169517 0 0 0 48525 479 0 0 25 0 1 0 748689626 78577664 18240 4294967295 134512640 134714540 3221221792 3221220496 134528650 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19184 18240 1111 63 0 19121 0
vsize: 76736
[startup+500.017 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169594 0 0 0 49524 480 0 0 25 0 1 0 748689626 78848000 18317 4294967295 134512640 134714540 3221221792 3221220276 134697246 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19250 18317 1111 63 0 19187 0
vsize: 77000
[startup+510.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169649 0 0 0 50523 481 0 0 25 0 1 0 748689626 79065088 18372 4294967295 134512640 134714540 3221221792 3221220544 134592391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19303 18372 1111 63 0 19240 0
vsize: 77212
[startup+520.018 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169665 0 0 0 51522 482 0 0 25 0 1 0 748689626 79175680 18388 4294967295 134512640 134714540 3221221792 3221220108 134613966 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19330 18388 1111 63 0 19267 0
vsize: 77320
[startup+530.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169761 0 0 0 52522 483 0 0 25 0 1 0 748689626 79581184 18484 4294967295 134512640 134714540 3221221792 3221220400 134549327 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19429 18484 1111 63 0 19366 0
vsize: 77716
[startup+540.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169828 0 0 0 53521 484 0 0 25 0 1 0 748689626 79847424 18551 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19494 18551 1111 63 0 19431 0
vsize: 77976
[startup+550.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169856 0 0 0 54520 484 0 0 25 0 1 0 748689626 79982592 18579 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19527 18579 1111 63 0 19464 0
vsize: 78108
[startup+560.019 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 169996 0 0 0 55519 486 0 0 25 0 1 0 748689626 80494592 18719 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19652 18719 1111 63 0 19589 0
vsize: 78608
[startup+570.02 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170005 0 0 0 56519 486 0 0 25 0 1 0 748689626 80494592 18728 4294967295 134512640 134714540 3221221792 3221220528 134535742 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19652 18728 1111 63 0 19589 0
vsize: 78608
[startup+580.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170063 0 0 0 57519 487 0 0 25 0 1 0 748689626 80764928 18786 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19718 18786 1111 63 0 19655 0
vsize: 78872
[startup+590.021 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170104 0 0 0 58518 487 0 0 25 0 1 0 748689626 80982016 18827 4294967295 134512640 134714540 3221221792 3221220396 134536817 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19771 18827 1111 63 0 19708 0
vsize: 79084
[startup+600.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170131 0 0 0 59517 488 0 0 25 0 1 0 748689626 81117184 18854 4294967295 134512640 134714540 3221221792 3221220444 134543616 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19804 18854 1111 63 0 19741 0
vsize: 79216
[startup+610.022 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170187 0 0 0 60517 489 0 0 25 0 1 0 748689626 81227776 18910 4294967295 134512640 134714540 3221221792 3221220444 134536787 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19831 18910 1111 63 0 19768 0
vsize: 79324
[startup+620.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170233 0 0 0 61516 490 0 0 25 0 1 0 748689626 81461248 18956 4294967295 134512640 134714540 3221221792 3221220552 134552642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19888 18956 1111 63 0 19825 0
vsize: 79552
[startup+630.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170338 0 0 0 62516 491 0 0 25 0 1 0 748689626 81858560 19061 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 19985 19061 1111 63 0 19922 0
vsize: 79940
[startup+640.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170387 0 0 0 63515 492 0 0 25 0 1 0 748689626 82092032 19110 4294967295 134512640 134714540 3221221792 3221220552 134552561 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20042 19110 1111 63 0 19979 0
vsize: 80168
[startup+650.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170474 0 0 0 64514 493 0 0 25 0 1 0 748689626 82493440 19197 4294967295 134512640 134714540 3221221792 3221220388 134549856 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20140 19197 1111 63 0 20077 0
vsize: 80560
[startup+660.023 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170570 0 0 0 65513 493 0 0 25 0 1 0 748689626 82898944 19293 4294967295 134512640 134714540 3221221792 3221220352 134542347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20239 19293 1111 63 0 20176 0
vsize: 80956
[startup+670.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170673 0 0 0 66512 495 0 0 25 0 1 0 748689626 83304448 19396 4294967295 134512640 134714540 3221221792 3221220376 134543600 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20338 19396 1111 63 0 20275 0
vsize: 81352
[startup+680.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170778 0 0 0 67510 497 0 0 25 0 1 0 748689626 83709952 19501 4294967295 134512640 134714540 3221221792 3221220400 134549463 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20437 19501 1111 63 0 20374 0
vsize: 81748
[startup+690.024 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170827 0 0 0 68510 497 0 0 25 0 1 0 748689626 83845120 19550 4294967295 134512640 134714540 3221221792 3221220384 134548593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20470 19550 1111 63 0 20407 0
vsize: 81880
[startup+700.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170863 0 0 0 69510 498 0 0 25 0 1 0 748689626 84078592 19586 4294967295 134512640 134714540 3221221792 3221220432 134539376 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20527 19586 1111 63 0 20464 0
vsize: 82108
[startup+710.025 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 170970 0 0 0 70509 499 0 0 25 0 1 0 748689626 84484096 19693 4294967295 134512640 134714540 3221221792 3221220416 134551963 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20626 19693 1111 63 0 20563 0
vsize: 82504
[startup+720.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171055 0 0 0 71508 500 0 0 25 0 1 0 748689626 84877312 19778 4294967295 134512640 134714540 3221221792 3221220556 134552684 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20722 19778 1111 63 0 20659 0
vsize: 82888
[startup+730.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171124 0 0 0 72507 501 0 0 25 0 1 0 748689626 85135360 19847 4294967295 134512640 134714540 3221221792 3221220472 134543609 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20785 19847 1111 63 0 20722 0
vsize: 83140
[startup+740.026 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171189 0 0 0 73507 502 0 0 25 0 1 0 748689626 85405696 19912 4294967295 134512640 134714540 3221221792 3221220400 134549480 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20851 19912 1111 63 0 20788 0
vsize: 83404
[startup+750.027 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171244 0 0 0 74506 502 0 0 25 0 1 0 748689626 85676032 19967 4294967295 134512640 134714540 3221221792 3221220384 134549742 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20917 19967 1111 63 0 20854 0
vsize: 83668
[startup+760.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171275 0 0 0 75506 503 0 0 25 0 1 0 748689626 85790720 19998 4294967295 134512640 134714540 3221221792 3221220408 134523391 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20945 19998 1111 63 0 20882 0
vsize: 83780
[startup+770.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171327 0 0 0 76505 504 0 0 25 0 1 0 748689626 85925888 20050 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20978 20050 1111 63 0 20915 0
vsize: 83912
[startup+780.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171397 0 0 0 77505 505 0 0 25 0 1 0 748689626 86196224 20120 4294967295 134512640 134714540 3221221792 3221220400 134549313 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21044 20120 1111 63 0 20981 0
vsize: 84176
[startup+790.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171461 0 0 0 78504 505 0 0 25 0 1 0 748689626 86573056 20184 4294967295 134512640 134714540 3221221792 3221220448 134536630 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21136 20184 1111 63 0 21073 0
vsize: 84544
[startup+800.028 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171485 0 0 0 79504 506 0 0 25 0 1 0 748689626 86548480 20208 4294967295 134512640 134714540 3221221792 3221220300 134535891 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21130 20208 1111 63 0 21067 0
vsize: 84520
[startup+810.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171533 0 0 0 80503 506 0 0 25 0 1 0 748689626 86818816 20256 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21196 20256 1111 63 0 21133 0
vsize: 84784
[startup+820.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171625 0 0 0 81503 507 0 0 25 0 1 0 748689626 87224320 20348 4294967295 134512640 134714540 3221221792 3221220464 134551963 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21295 20348 1111 63 0 21232 0
vsize: 85180
[startup+830.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171683 0 0 0 82502 508 0 0 25 0 1 0 748689626 87453696 20406 4294967295 134512640 134714540 3221221792 3221220368 134549460 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21351 20406 1111 63 0 21288 0
vsize: 85404
[startup+840.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171767 0 0 0 83502 508 0 0 25 0 1 0 748689626 87724032 20490 4294967295 134512640 134714540 3221221792 3221220464 134542968 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21417 20490 1111 63 0 21354 0
vsize: 85668
[startup+850.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171820 0 0 0 84502 508 0 0 25 0 1 0 748689626 87994368 20543 4294967295 134512640 134714540 3221221792 3221220432 134542352 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21483 20543 1111 63 0 21420 0
vsize: 85932
[startup+860.029 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171902 0 0 0 85502 509 0 0 25 0 1 0 748689626 88264704 20625 4294967295 134512640 134714540 3221221792 3221220560 134592104 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21549 20625 1111 63 0 21486 0
vsize: 86196
[startup+870.03 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171966 0 0 0 86501 510 0 0 25 0 1 0 748689626 88535040 20689 4294967295 134512640 134714540 3221221792 3221220288 134535397 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21615 20689 1111 63 0 21552 0
vsize: 86460
[startup+880.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171997 0 0 0 87500 510 0 0 25 0 1 0 748689626 88662016 20720 4294967295 134512640 134714540 3221221792 3221220384 134549697 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21646 20720 1111 63 0 21583 0
vsize: 86584
[startup+890.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 171997 0 0 0 88500 511 0 0 25 0 1 0 748689626 88662016 20720 4294967295 134512640 134714540 3221221792 3221219704 134613957 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21646 20720 1111 63 0 21583 0
vsize: 86584
[startup+900.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172026 0 0 0 89500 511 0 0 25 0 1 0 748689626 88797184 20749 4294967295 134512640 134714540 3221221792 3221220444 134536766 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21679 20749 1111 63 0 21616 0
vsize: 86716
[startup+910.031 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172122 0 0 0 90500 512 0 0 25 0 1 0 748689626 89202688 20845 4294967295 134512640 134714540 3221221792 3221220528 134535829 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21778 20845 1111 63 0 21715 0
vsize: 87112
[startup+920.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172207 0 0 0 91499 512 0 0 25 0 1 0 748689626 89579520 20930 4294967295 134512640 134714540 3221221792 3221220352 134542303 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21870 20930 1111 63 0 21807 0
vsize: 87480
[startup+930.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172261 0 0 0 92499 513 0 0 25 0 1 0 748689626 89833472 20984 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21932 20984 1111 63 0 21869 0
vsize: 87728
[startup+940.032 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172289 0 0 0 93499 513 0 0 25 0 1 0 748689626 89833472 21012 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21932 21012 1111 63 0 21869 0
vsize: 87728
[startup+950.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172389 0 0 0 94499 514 0 0 25 0 1 0 748689626 90374144 21112 4294967295 134512640 134714540 3221221792 3221220340 134696446 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22064 21112 1111 63 0 22001 0
vsize: 88256
[startup+960.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172411 0 0 0 95498 514 0 0 25 0 1 0 748689626 90374144 21134 4294967295 134512640 134714540 3221221792 3221220384 134549700 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22064 21134 1111 63 0 22001 0
vsize: 88256
[startup+970.033 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172439 0 0 0 96498 515 0 0 25 0 1 0 748689626 90509312 21162 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22097 21162 1111 63 0 22034 0
vsize: 88388
[startup+980.034 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172498 0 0 0 97498 515 0 0 25 0 1 0 748689626 90742784 21221 4294967295 134512640 134714540 3221221792 3221220576 134529368 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22154 21221 1111 63 0 22091 0
vsize: 88616
[startup+990.035 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172580 0 0 0 98497 516 0 0 25 0 1 0 748689626 91136000 21303 4294967295 134512640 134714540 3221221792 3221220420 134543092 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22250 21303 1111 63 0 22187 0
vsize: 89000
[startup+1000.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172637 0 0 0 99497 516 0 0 25 0 1 0 748689626 91373568 21360 4294967295 134512640 134714540 3221221792 3221220360 134543614 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22308 21360 1111 63 0 22245 0
vsize: 89232
[startup+1010.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172650 0 0 0 100497 517 0 0 25 0 1 0 748689626 91373568 21373 4294967295 134512640 134714540 3221221792 3221220468 134551958 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22308 21373 1111 63 0 22245 0
vsize: 89232
[startup+1020.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172705 0 0 0 101496 518 0 0 25 0 1 0 748689626 91566080 21428 4294967295 134512640 134714540 3221221792 3221220448 134536638 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22355 21428 1111 63 0 22292 0
vsize: 89420
[startup+1030.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172726 0 0 0 102496 518 0 0 25 0 1 0 748689626 91701248 21449 4294967295 134512640 134714540 3221221792 3221220528 134535745 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22388 21449 1111 63 0 22325 0
vsize: 89552
[startup+1040.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172764 0 0 0 103496 518 0 0 25 0 1 0 748689626 91828224 21487 4294967295 134512640 134714540 3221221792 3221220552 134552650 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22419 21487 1111 63 0 22356 0
vsize: 89676
[startup+1050.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172833 0 0 0 104496 519 0 0 25 0 1 0 748689626 92098560 21556 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22485 21556 1111 63 0 22422 0
vsize: 89940
[startup+1060.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172883 0 0 0 105495 519 0 0 25 0 1 0 748689626 92368896 21606 4294967295 134512640 134714540 3221221792 3221220400 134549316 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22551 21606 1111 63 0 22488 0
vsize: 90204
[startup+1070.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172924 0 0 0 106495 520 0 0 25 0 1 0 748689626 92504064 21647 4294967295 134512640 134714540 3221221792 3221220384 134549689 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22584 21647 1111 63 0 22521 0
vsize: 90336
[startup+1080.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 172965 0 0 0 107494 521 0 0 25 0 1 0 748689626 92631040 21688 4294967295 134512640 134714540 3221221792 3221220576 134529091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22615 21688 1111 63 0 22552 0
vsize: 90460
[startup+1090.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173021 0 0 0 108494 521 0 0 25 0 1 0 748689626 92839936 21744 4294967295 134512640 134714540 3221221792 3221220420 134696051 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22666 21744 1111 63 0 22603 0
vsize: 90664
[startup+1100.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173079 0 0 0 109493 522 0 0 25 0 1 0 748689626 93110272 21802 4294967295 134512640 134714540 3221221792 3221220388 134543680 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22732 21802 1111 63 0 22669 0
vsize: 90928
[startup+1110.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173157 0 0 0 110493 522 0 0 25 0 1 0 748689626 93491200 21880 4294967295 134512640 134714540 3221221792 3221220716 1077781665 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22825 21880 1111 63 0 22762 0
vsize: 91300
[startup+1120.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173157 0 0 0 111493 523 0 0 25 0 1 0 748689626 93478912 21880 4294967295 134512640 134714540 3221221792 3221220436 134536649 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22822 21880 1111 63 0 22759 0
vsize: 91288
[startup+1130.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173177 0 0 0 112492 523 0 0 25 0 1 0 748689626 93478912 21900 4294967295 134512640 134714540 3221221792 3221220188 1077379908 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22822 21900 1111 63 0 22759 0
vsize: 91288
[startup+1140.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173178 0 0 0 113492 523 0 0 25 0 1 0 748689626 93478912 21901 4294967295 134512640 134714540 3221221792 3221220348 134535967 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22822 21901 1111 63 0 22759 0
vsize: 91288
[startup+1150.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173250 0 0 0 114492 524 0 0 25 0 1 0 748689626 93884416 21973 4294967295 134512640 134714540 3221221792 3221220536 134558492 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22921 21973 1111 63 0 22858 0
vsize: 91684
[startup+1160.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173337 0 0 0 115491 525 0 0 25 0 1 0 748689626 94146560 22060 4294967295 134512640 134714540 3221221792 3221220400 134549305 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22985 22060 1111 63 0 22922 0
vsize: 91940
[startup+1170.04 s]
Raw data (loadavg): 1.00 1.00 1.00 2/55 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173383 0 0 0 116490 526 0 0 25 0 1 0 748689626 94400512 22106 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23047 22106 1111 63 0 22984 0
vsize: 92188
[startup+1174.95 s]
Raw data (loadavg): 1.00 1.00 1.00 1/54 30241
Raw data (stat): 30239 (bsolo_mis) R 30238 7876 7672 0 -1 0 173383 0 0 0 116490 526 0 0 25 0 1 0 748689626 94400512 22106 4294967295 134512640 134714540 3221221792 3221220320 134543030 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23047 22106 1111 63 0 22984 0
vsize: 0

Child status: 0
Real time (s): 1174.95
CPU time (s): 1175.08
CPU user time (s): 1169.77
CPU system time (s): 5.31119
CPU usage (%): 100.011
Max. virtual memory (Kb): 92188
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####