PB'05 competition: run trace

Some explanations

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

Name	normalized-opb/mps-v2-13-7/MIPLIB/miplib2003/normalized-mps-v2-13-7-a1c1s1.opb
MD5SUM	60a85eb68562d07c063b16fa35f27512
Bench Category	optimization, big integers (OPTBIGINT)
Has Objective Function	YES
Satisfiable	NO
(Un)Satisfiability was proved
Best value of the objective function
Optimality of the best value was proved
Number of terms in the objective function	27456
Biggest coefficient in the objective function	1310720000000
Number of bits for the biggest coefficient in the objective function	41
Sum of the numbers in the objective function	254165973806800
Number of bits of the sum of numbers in the objective function	48
Biggest number in a constraint	1310720000000
Number of bits of the biggest number in a constraint	41
Biggest sum of numbers in a constraint	254165973806800
Number of bits of the biggest sum of numbers	48
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.648901
Number of variables	71616
Total number of constraints	3312
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	0
Number of constraints which are nor clauses,nor cardinality constraints	3312
Minimum length of a constraint	33
Maximum length of a constraint	545
Trace number 25813

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-22 18:27:08 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=17384 boxname=wulflinc31 idbench=1338 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  60a85eb68562d07c063b16fa35f27512  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-a1c1s1.opb
IDLAUNCH: 17384
/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:        877796 kB
Buffers:         15976 kB
Cached:         120360 kB
SwapCached:       1024 kB
Active:          76240 kB
Inactive:        62340 kB
HighTotal:      131008 kB
HighFree:        11564 kB
LowTotal:       903652 kB
LowFree:        866232 kB
SwapTotal:     2097892 kB
SwapFree:      2095884 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5096 kB
Slab:            12644 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-22 18:46:44 (client local time) WITH STATUS 0 IN 1175.13 SECONDS
stats: 17384 7 1175.13 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 71616 variables and 4560 constraints.
c After prepocess the problem consists of 59596 variables and 4560 constraints.
c preprocess terminated 269.751 s
c Initial Lower Bound: -1472
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175 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.86 0.95 0.90 2/55 27454
Raw data (stat): 27454 (runsolver) R 27453 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 815090343 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.0002 s]
Raw data (loadavg): 0.88 0.95 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1490 0 0 0 991 4 0 0 25 0 1 0 815090343 19292160 1467 4294967295 134512640 134714540 3221221776 3221220004 1077414410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4710 1467 1111 63 0 4647 0
vsize: 18840
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.95 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 2568 0 0 0 1989 6 0 0 25 0 1 0 815090343 23658496 2545 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 5776 2545 1111 63 0 5713 0
vsize: 23104
[startup+30.001 s]
Raw data (loadavg): 0.91 0.95 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 3649 0 0 0 2987 9 0 0 25 0 1 0 815090343 28184576 3626 4294967295 134512640 134714540 3221221776 3221220004 1077414336 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6881 3626 1111 63 0 6818 0
vsize: 27524
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 4744 0 0 0 3985 11 0 0 25 0 1 0 815090343 32686080 4721 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7980 4721 1111 63 0 7917 0
vsize: 31920
[startup+50.0029 s]
Raw data (loadavg): 0.94 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 5988 0 0 0 4982 14 0 0 25 0 1 0 815090343 37801984 5965 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 9229 5965 1111 63 0 9166 0
vsize: 36916
[startup+60.0028 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 7372 0 0 0 5980 17 0 0 25 0 1 0 815090343 43425792 7349 4294967295 134512640 134714540 3221221776 3221220004 1077414388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10602 7349 1111 63 0 10539 0
vsize: 42408
[startup+70.0041 s]
Raw data (loadavg): 0.95 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 8827 0 0 0 6977 20 0 0 25 0 1 0 815090343 49340416 8804 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 12046 8804 1111 63 0 11983 0
vsize: 48184
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 10344 0 0 0 7974 23 0 0 25 0 1 0 815090343 55537664 10321 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13559 10321 1111 63 0 13496 0
vsize: 54236
[startup+90.0056 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 11925 0 0 0 8971 26 0 0 25 0 1 0 815090343 62124032 11902 4294967295 134512640 134714540 3221221776 3221220004 1077414363 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15167 11902 1111 63 0 15104 0
vsize: 60668
[startup+100.006 s]
Raw data (loadavg): 0.97 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 13544 0 0 0 9968 29 0 0 25 0 1 0 815090343 68739072 13521 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 16782 13521 1111 63 0 16719 0
vsize: 67128
[startup+110.005 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 15199 0 0 0 10964 33 0 0 25 0 1 0 815090343 75501568 15176 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18433 15176 1111 63 0 18370 0
vsize: 73732
[startup+120.006 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 16937 0 0 0 11961 37 0 0 25 0 1 0 815090343 82677760 16914 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20185 16914 1111 63 0 20122 0
vsize: 80740
[startup+130.007 s]
Raw data (loadavg): 0.98 0.96 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 18605 0 0 0 12958 40 0 0 25 0 1 0 815090343 89436160 18582 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 21835 18582 1111 63 0 21772 0
vsize: 87340
[startup+140.007 s]
Raw data (loadavg): 0.98 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 49756 0 0 0 13895 103 0 0 25 0 1 0 815090343 216330240 49391 4294967295 134512640 134714540 3221221776 3221218252 1077191355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52815 49391 1111 63 0 52752 0
vsize: 211260
[startup+150.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 54860 0 0 0 14884 114 0 0 25 0 1 0 815090343 237219840 54495 4294967295 134512640 134714540 3221221776 3221219996 1077386340 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57915 54495 1111 63 0 57852 0
vsize: 231660
[startup+160.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 67528 0 0 0 15855 144 0 0 25 0 1 0 815090343 260124672 61987 4294967295 134512640 134714540 3221221776 3221220528 134630772 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63507 61987 1111 63 0 63444 0
vsize: 254028
[startup+170.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 69381 0 0 0 16850 149 0 0 25 0 1 0 815090343 260984832 62160 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62166 1111 63 0 63654 0
vsize: 254868
[startup+180.008 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 196118 0 0 0 17572 427 0 0 25 0 1 0 815090343 260984832 62058 4294967295 134512640 134714540 3221221776 3221220416 134606479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62065 1111 63 0 63654 0
vsize: 254868
[startup+190.009 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 352516 0 0 0 18225 774 0 0 25 0 1 0 815090343 260124672 62005 4294967295 134512640 134714540 3221221776 3221220504 134672921 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63507 62005 1111 63 0 63444 0
vsize: 254028
[startup+200.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 498676 0 0 0 18903 1096 0 0 25 0 1 0 815090343 260124672 62005 4294967295 134512640 134714540 3221221776 3221220504 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63507 62005 1111 63 0 63444 0
vsize: 254028
[startup+210.01 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 669313 0 0 0 19526 1473 0 0 25 0 1 0 815090343 260984832 62122 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62128 1111 63 0 63654 0
vsize: 254868
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 831316 0 0 0 20166 1833 0 0 25 0 1 0 815090343 260124672 62005 4294967295 134512640 134714540 3221221776 3221220360 1077799185 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63507 62005 1111 63 0 63444 0
vsize: 254028
[startup+230.011 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1005406 0 0 0 20787 2212 0 0 25 0 1 0 815090343 260124672 62005 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63507 62005 1111 63 0 63444 0
vsize: 254028
[startup+240.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1178216 0 0 0 21406 2594 0 0 25 0 1 0 815090343 260984832 62195 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62201 1111 63 0 63654 0
vsize: 254868
[startup+250.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1360000 0 0 0 22007 2992 0 0 25 0 1 0 815090343 260984832 62119 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62125 1111 63 0 63654 0
vsize: 254868
[startup+260.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1564957 0 0 0 22563 3437 0 0 25 0 1 0 815090343 260984832 62116 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63717 62122 1111 63 0 63654 0
vsize: 254868
[startup+270.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 23277 3723 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+280.012 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 24277 3723 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220496 134556503 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+290.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 25277 3723 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+300.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 26277 3724 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+310.013 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 27277 3724 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+320.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 28276 3724 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+330.014 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 29276 3724 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+340.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 30276 3725 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220496 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+350.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 31276 3725 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220528 134624806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+360.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 32276 3725 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+370.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 33275 3725 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+380.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694987 0 0 0 34275 3726 0 0 25 0 1 0 815090343 269983744 64256 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64256 1111 63 0 65851 0
vsize: 263656
[startup+390.015 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 35275 3726 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+400.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 36275 3726 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+410.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 37275 3727 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536877 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+420.016 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 38275 3727 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+430.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 39274 3728 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+440.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 40274 3728 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+450.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 41274 3728 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+460.017 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 42274 3729 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220540 134556736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+470.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 43274 3729 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+480.018 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 44273 3729 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+490.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 45273 3730 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+500.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694989 0 0 0 46273 3730 0 0 25 0 1 0 815090343 269983744 64258 4294967295 134512640 134714540 3221221776 3221220464 134556773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64258 1111 63 0 65851 0
vsize: 263656
[startup+510.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 47273 3730 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+520.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 48273 3730 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+530.019 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 49273 3731 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220536 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+540.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 50272 3731 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+550.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 51272 3732 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220512 134556547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+560.02 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 52272 3732 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220512 134556392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+570.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 53272 3732 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+580.021 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 54272 3732 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+590.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 55272 3732 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+600.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 56272 3733 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220456 134553175 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+610.022 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694991 0 0 0 57271 3734 0 0 25 0 1 0 815090343 269983744 64260 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64260 1111 63 0 65851 0
vsize: 263656
[startup+620.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 58271 3734 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220496 134556897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+630.023 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 59271 3734 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220528 134624806 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+640.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 60271 3735 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220568 134542460 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+650.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 61270 3735 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220496 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+660.024 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 62270 3735 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+670.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 63270 3736 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220560 134624377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+680.025 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 64270 3736 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220512 134556562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+690.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 65270 3737 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220544 134624479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+700.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 66270 3737 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+710.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 67269 3738 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220512 134556530 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+720.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694993 0 0 0 68269 3738 0 0 25 0 1 0 815090343 269983744 64262 4294967295 134512640 134714540 3221221776 3221220592 134610900 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64262 1111 63 0 65851 0
vsize: 263656
[startup+730.027 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 69269 3738 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+740.028 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 70269 3738 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220592 134610880 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+750.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 71269 3739 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220520 134536857 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+760.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 72269 3739 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+770.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 73268 3739 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+780.029 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 74268 3740 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+790.03 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 75269 3740 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220624 134623447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+800.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 76269 3740 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+810.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 77269 3740 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+820.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 78268 3740 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+830.031 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694995 0 0 0 79268 3741 0 0 25 0 1 0 815090343 269983744 64264 4294967295 134512640 134714540 3221221776 3221220524 134556731 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64264 1111 63 0 65851 0
vsize: 263656
[startup+840.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 80268 3741 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+850.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 81268 3741 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220544 134624410 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+860.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 82268 3742 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220504 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+870.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 83267 3742 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+880.033 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 84267 3743 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+890.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 85266 3744 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+900.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 86266 3744 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+910.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 87266 3745 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220624 134623447 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+920.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 88266 3745 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+930.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694997 0 0 0 89265 3745 0 0 25 0 1 0 815090343 269983744 64266 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64266 1111 63 0 65851 0
vsize: 263656
[startup+940.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 90265 3746 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220512 134556562 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+950.034 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 91265 3746 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+960.035 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 92264 3747 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220492 134553168 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+970.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 93264 3747 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+980.036 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 94264 3748 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+990.037 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 95263 3748 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220512 134556610 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1000.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 96263 3749 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220480 134556515 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1010.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 97263 3749 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220560 134624391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1020.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 98262 3750 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220496 134556918 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1030.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 99263 3750 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1040.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1694999 0 0 0 100262 3750 0 0 25 0 1 0 815090343 269983744 64268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64268 1111 63 0 65851 0
vsize: 263656
[startup+1050.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 101262 3751 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220496 134556837 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1060.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 102262 3751 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1070.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 103261 3752 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1080.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 104261 3752 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220496 134556640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1090.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 105260 3753 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220496 134556783 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1100.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 106260 3753 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220512 134556392 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1110.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 107260 3754 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1120.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 108260 3754 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1130.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 109260 3754 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1140.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695001 0 0 0 110260 3754 0 0 25 0 1 0 815090343 269983744 64270 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64270 1111 63 0 65851 0
vsize: 263656
[startup+1150.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695003 0 0 0 111260 3755 0 0 25 0 1 0 815090343 269983744 64272 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64272 1111 63 0 65851 0
vsize: 263656
[startup+1160.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695003 0 0 0 112260 3755 0 0 25 0 1 0 815090343 269983744 64272 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64272 1111 63 0 65851 0
vsize: 263656
[startup+1170.04 s]
Raw data (loadavg): 0.99 0.97 0.91 2/55 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695003 0 0 0 113259 3755 0 0 25 0 1 0 815090343 269983744 64272 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64272 1111 63 0 65851 0
vsize: 263656
[startup+1175.02 s]
Raw data (loadavg): 0.99 0.97 0.91 1/54 27454
Raw data (stat): 27454 (bsolo_mis) R 27453 7876 7672 0 -1 0 1695003 0 0 0 113259 3755 0 0 25 0 1 0 815090343 269983744 64272 4294967295 134512640 134714540 3221221776 3221220500 134556636 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65914 64272 1111 63 0 65851 0
vsize: 0

Child status: 0
Real time (s): 1175.02
CPU time (s): 1175.13
CPU user time (s): 1137.46
CPU system time (s): 37.6793
CPU usage (%): 100.01
Max. virtual memory (Kb): 263656
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####