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/ftp.netlib.org/lp/data/normalized-mps-v2-13-7-degen2.opb
MD5SUM	30256c883dd8af773c334a2b26410bd9
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	9400
Biggest coefficient in the objective function	2494038016
Number of bits for the biggest coefficient in the objective function	32
Sum of the numbers in the objective function	391862963250
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	2494038016
Number of bits of the biggest number in a constraint	32
Biggest sum of numbers in a constraint	391862963250
Number of bits of the biggest sum of numbers	39
Best result obtained on this benchmark	UNSAT
Best CPU time to get the best result obtained on this benchmark	0.092985
Number of variables	10680
Total number of constraints	444
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	444
Minimum length of a constraint	40
Maximum length of a constraint	1700
Trace number 26064

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-24 00:36:40 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=15681 boxname=wulflinc31 idbench=1207 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  30256c883dd8af773c334a2b26410bd9  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-degen2.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-degen2.opb
IDLAUNCH: 15681
/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:        672160 kB
Buffers:         22812 kB
Cached:         318760 kB
SwapCached:       1352 kB
Active:         248992 kB
Inactive:        95108 kB
HighTotal:      131008 kB
HighFree:          252 kB
LowTotal:       903652 kB
LowFree:        671908 kB
SwapTotal:     2097892 kB
SwapFree:      2095532 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5104 kB
Slab:            12776 kB
Committed_AS:    63852 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-24 00:56:16 (client local time) WITH STATUS 0 IN 1175.15 SECONDS
stats: 15681 7 1175.15 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 10680 variables and 665 constraints.
c After prepocess the problem consists of 4628 variables and 664 constraints.
c preprocess terminated 22.886 s
c Initial Lower Bound: -91593685
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.93 0.98 0.93 2/55 20490
Raw data (stat): 20490 (runsolver) R 20489 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 825948757 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.0007 s]
Raw data (loadavg): 0.94 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 5080 0 0 0 987 10 0 0 25 0 1 0 825948757 34291712 5057 4294967295 134512640 134714540 3221221776 3221219484 1077255843 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 8372 5057 1111 63 0 8309 0
vsize: 33488
[startup+20.0017 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 9451 0 0 0 1977 19 0 0 25 0 1 0 825948757 52318208 9428 4294967295 134512640 134714540 3221221776 3221220072 1077364321 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12773 9428 1111 63 0 12710 0
vsize: 51092
[startup+30.0025 s]
Raw data (loadavg): 0.95 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 11472 0 0 0 2972 24 0 0 25 0 1 0 825948757 50405376 11349 4294967295 134512640 134714540 3221221776 3221220512 134556385 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12306 11349 1111 63 0 12243 0
vsize: 49224
[startup+40.0035 s]
Raw data (loadavg): 0.96 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 11474 0 0 0 3972 25 0 0 25 0 1 0 825948757 50405376 11351 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12306 11351 1111 63 0 12243 0
vsize: 49224
[startup+50.0044 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 11768 0 0 0 4970 27 0 0 25 0 1 0 825948757 51621888 11645 4294967295 134512640 134714540 3221221776 3221220572 134558493 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 12603 11645 1111 63 0 12540 0
vsize: 50412
[startup+60.0046 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 12568 0 0 0 5968 29 0 0 25 0 1 0 825948757 55001088 12445 4294967295 134512640 134714540 3221221776 3221220512 134695388 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 13428 12445 1111 63 0 13365 0
vsize: 53712
[startup+70.0053 s]
Raw data (loadavg): 0.97 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 13372 0 0 0 6965 32 0 0 25 0 1 0 825948757 58281984 13249 4294967295 134512640 134714540 3221221776 3221220580 134622157 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14229 13249 1111 63 0 14166 0
vsize: 56916
[startup+80.0062 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 14030 0 0 0 7963 35 0 0 25 0 1 0 825948757 60985344 13907 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 14889 13907 1111 63 0 14826 0
vsize: 59556
[startup+90.0072 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 14893 0 0 0 8960 38 0 0 25 0 1 0 825948757 64712704 14769 4294967295 134512640 134714540 3221221776 3221220520 134558597 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 15799 14769 1111 63 0 15736 0
vsize: 63196
[startup+100.008 s]
Raw data (loadavg): 0.98 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 15589 0 0 0 9957 40 0 0 25 0 1 0 825948757 67563520 15465 4294967295 134512640 134714540 3221221776 3221220512 134695297 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 16495 15465 1111 63 0 16432 0
vsize: 65980
[startup+110.009 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 16271 0 0 0 10955 42 0 0 25 0 1 0 825948757 70266880 16147 4294967295 134512640 134714540 3221221776 3221220608 134623286 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17155 16147 1111 63 0 17092 0
vsize: 68620
[startup+120.01 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 16933 0 0 0 11953 45 0 0 25 0 1 0 825948757 72986624 16809 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 17819 16809 1111 63 0 17756 0
vsize: 71276
[startup+130.011 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 17610 0 0 0 12951 47 0 0 25 0 1 0 825948757 75825152 17486 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 18512 17486 1111 63 0 18449 0
vsize: 74048
[startup+140.012 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 18568 0 0 0 13949 50 0 0 25 0 1 0 825948757 80506880 18405 4294967295 134512640 134714540 3221221776 3221220576 134622182 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 19655 18405 1111 63 0 19592 0
vsize: 78620
[startup+150.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19224 0 0 0 14946 52 0 0 25 0 1 0 825948757 83075072 19061 4294967295 134512640 134714540 3221221776 3221220568 134543165 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20282 19061 1111 63 0 20219 0
vsize: 81128
[startup+160.013 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 19879 0 0 0 15944 54 0 0 25 0 1 0 825948757 85782528 19715 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 20943 19715 1111 63 0 20880 0
vsize: 83772
[startup+170.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 20519 0 0 0 16942 57 0 0 25 0 1 0 825948757 88215552 20355 4294967295 134512640 134714540 3221221776 3221220568 134558582 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 21537 20355 1111 63 0 21474 0
vsize: 86148
[startup+180.014 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 21201 0 0 0 17939 60 0 0 25 0 1 0 825948757 90935296 21035 4294967295 134512640 134714540 3221221776 3221220592 134622128 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22201 21035 1111 63 0 22138 0
vsize: 88804
[startup+190.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 21823 0 0 0 18938 61 0 0 25 0 1 0 825948757 93503488 21657 4294967295 134512640 134714540 3221221776 3221220576 134622177 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 22828 21657 1111 63 0 22765 0
vsize: 91312
[startup+200.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 22503 0 0 0 19935 64 0 0 25 0 1 0 825948757 96071680 22337 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 23455 22337 1111 63 0 23392 0
vsize: 93820
[startup+210.016 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 23132 0 0 0 20933 66 0 0 25 0 1 0 825948757 98639872 22966 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24082 22966 1111 63 0 24019 0
vsize: 96328
[startup+220.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 23803 0 0 0 21931 68 0 0 25 0 1 0 825948757 101453824 23637 4294967295 134512640 134714540 3221221776 3221220368 134695889 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 24769 23637 1111 63 0 24706 0
vsize: 99076
[startup+230.017 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 25148 0 0 0 22928 71 0 0 25 0 1 0 825948757 108318720 24846 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26445 24846 1111 63 0 26382 0
vsize: 105780
[startup+240.018 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 25185 0 0 0 23927 72 0 0 25 0 1 0 825948757 108453888 24883 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26478 24883 1111 63 0 26415 0
vsize: 105912
[startup+250.019 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 25185 0 0 0 24926 73 0 0 25 0 1 0 825948757 108453888 24883 4294967295 134512640 134714540 3221221776 3221220560 134695696 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26478 24883 1111 63 0 26415 0
vsize: 105912
[startup+260.02 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 25680 0 0 0 25924 75 0 0 25 0 1 0 825948757 110481408 25378 4294967295 134512640 134714540 3221221776 3221220592 134622189 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 26973 25378 1111 63 0 26910 0
vsize: 107892
[startup+270.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 26422 0 0 0 26922 78 0 0 25 0 1 0 825948757 113594368 26120 4294967295 134512640 134714540 3221221776 3221220464 134695872 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 27733 26120 1111 63 0 27670 0
vsize: 110932
[startup+280.021 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 27230 0 0 0 27919 81 0 0 25 0 1 0 825948757 116871168 26928 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 28533 26928 1111 63 0 28470 0
vsize: 114132
[startup+290.022 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 27906 0 0 0 28916 84 0 0 25 0 1 0 825948757 119709696 27604 4294967295 134512640 134714540 3221221776 3221220592 134611091 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 29226 27604 1111 63 0 29163 0
vsize: 116904
[startup+300.023 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 28756 0 0 0 29914 86 0 0 25 0 1 0 825948757 123564032 28450 4294967295 134512640 134714540 3221221776 3221220624 134623447 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30167 28450 1111 63 0 30104 0
vsize: 120668
[startup+310.024 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 29426 0 0 0 30911 89 0 0 25 0 1 0 825948757 126267392 29120 4294967295 134512640 134714540 3221221776 3221220336 134542350 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 30827 29120 1111 63 0 30764 0
vsize: 123308
[startup+320.025 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 30133 0 0 0 31908 92 0 0 25 0 1 0 825948757 128970752 29826 4294967295 134512640 134714540 3221221776 3221220568 134543174 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 31487 29826 1111 63 0 31424 0
vsize: 125948
[startup+330.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 30801 0 0 0 32907 93 0 0 25 0 1 0 825948757 131809280 30494 4294967295 134512640 134714540 3221221776 3221220616 134623277 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 32180 30494 1111 63 0 32117 0
vsize: 128720
[startup+340.026 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 31829 0 0 0 33904 97 0 0 25 0 1 0 825948757 136540160 31462 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 33335 31462 1111 63 0 33272 0
vsize: 133340
[startup+350.027 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 32482 0 0 0 34902 99 0 0 25 0 1 0 825948757 139280384 32111 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34004 32111 1111 63 0 33941 0
vsize: 136016
[startup+360.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 33133 0 0 0 35899 101 0 0 25 0 1 0 825948757 141848576 32760 4294967295 134512640 134714540 3221221776 3221220568 134543154 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 34631 32760 1111 63 0 34568 0
vsize: 138524
[startup+370.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 33787 0 0 0 36897 104 0 0 25 0 1 0 825948757 144416768 33414 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35258 33414 1111 63 0 35195 0
vsize: 141032
[startup+380.029 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 34428 0 0 0 37895 106 0 0 25 0 1 0 825948757 146984960 34055 4294967295 134512640 134714540 3221221776 3221220512 134695867 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 35885 34055 1111 63 0 35822 0
vsize: 143540
[startup+390.03 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 35097 0 0 0 38893 108 0 0 25 0 1 0 825948757 149708800 34723 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 36550 34723 1111 63 0 36487 0
vsize: 146200
[startup+400.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 35764 0 0 0 39892 110 0 0 25 0 1 0 825948757 152285184 35390 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37179 35390 1111 63 0 37116 0
vsize: 148716
[startup+410.031 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 36430 0 0 0 40889 112 0 0 25 0 1 0 825948757 154988544 36056 4294967295 134512640 134714540 3221221776 3221220512 134695394 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 37839 36056 1111 63 0 37776 0
vsize: 151356
[startup+420.032 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 37059 0 0 0 41888 114 0 0 25 0 1 0 825948757 157556736 36685 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 38466 36685 1111 63 0 38403 0
vsize: 153864
[startup+430.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 38597 0 0 0 42884 118 0 0 25 0 1 0 825948757 165261312 38095 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40347 38095 1111 63 0 40284 0
vsize: 161388
[startup+440.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 38958 0 0 0 43884 119 0 0 25 0 1 0 825948757 166776832 38436 4294967295 134512640 134714540 3221221776 3221220512 134695292 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40717 38436 1111 63 0 40654 0
vsize: 162868
[startup+450.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 38958 0 0 0 44883 119 0 0 25 0 1 0 825948757 166776832 38436 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40717 38436 1111 63 0 40654 0
vsize: 162868
[startup+460.033 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 38958 0 0 0 45883 120 0 0 25 0 1 0 825948757 166776832 38436 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40717 38436 1111 63 0 40654 0
vsize: 162868
[startup+470.034 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 39159 0 0 0 46882 121 0 0 25 0 1 0 825948757 167723008 38637 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40948 38637 1111 63 0 40885 0
vsize: 163792
[startup+480.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 39159 0 0 0 47881 122 0 0 25 0 1 0 825948757 167723008 38637 4294967295 134512640 134714540 3221221776 3221220460 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 40948 38637 1111 63 0 40885 0
vsize: 163792
[startup+490.035 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 39359 0 0 0 48880 123 0 0 25 0 1 0 825948757 168534016 38837 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41146 38837 1111 63 0 41083 0
vsize: 164584
[startup+500.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 40199 0 0 0 49878 125 0 0 25 0 1 0 825948757 171913216 39677 4294967295 134512640 134714540 3221221776 3221220568 134558544 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 41971 39677 1111 63 0 41908 0
vsize: 167884
[startup+510.036 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 41019 0 0 0 50876 128 0 0 25 0 1 0 825948757 175325184 40497 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42804 40497 1111 63 0 42741 0
vsize: 171216
[startup+520.037 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 41713 0 0 0 51874 130 0 0 25 0 1 0 825948757 178163712 41191 4294967295 134512640 134714540 3221221776 3221220512 134556547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 43497 41191 1111 63 0 43434 0
vsize: 173988
[startup+530.038 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 42642 0 0 0 52871 133 0 0 25 0 1 0 825948757 182153216 42102 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 44471 42102 1111 63 0 44408 0
vsize: 177884
[startup+540.039 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 43334 0 0 0 53869 135 0 0 25 0 1 0 825948757 184999936 42794 4294967295 134512640 134714540 3221221776 3221220568 134543187 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45166 42794 1111 63 0 45103 0
vsize: 180664
[startup+550.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 44061 0 0 0 54867 137 0 0 25 0 1 0 825948757 187838464 43521 4294967295 134512640 134714540 3221221776 3221220344 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 45859 43521 1111 63 0 45796 0
vsize: 183436
[startup+560.04 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 44741 0 0 0 55865 140 0 0 25 0 1 0 825948757 190676992 44201 4294967295 134512640 134714540 3221221776 3221220512 134695212 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 46552 44201 1111 63 0 46489 0
vsize: 186208
[startup+570.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 45762 0 0 0 56863 142 0 0 25 0 1 0 825948757 195522560 45192 4294967295 134512640 134714540 3221221776 3221220648 134543614 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 47735 45192 1111 63 0 47672 0
vsize: 190940
[startup+580.041 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 46415 0 0 0 57861 144 0 0 25 0 1 0 825948757 198176768 45838 4294967295 134512640 134714540 3221221776 3221220592 134611112 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 48383 45838 1111 63 0 48320 0
vsize: 193532
[startup+590.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 47079 0 0 0 58859 146 0 0 25 0 1 0 825948757 200916992 46501 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49052 46501 1111 63 0 48989 0
vsize: 196208
[startup+600.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 47758 0 0 0 59858 148 0 0 25 0 1 0 825948757 203620352 47180 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49712 47180 1111 63 0 49649 0
vsize: 198848
[startup+610.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 48400 0 0 0 60855 150 0 0 25 0 1 0 825948757 206188544 47822 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50339 47822 1111 63 0 50276 0
vsize: 201356
[startup+620.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 49076 0 0 0 61854 151 0 0 25 0 1 0 825948757 208891904 48497 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 50999 48497 1111 63 0 50936 0
vsize: 203996
[startup+630.042 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 49733 0 0 0 62853 153 0 0 25 0 1 0 825948757 211595264 49153 4294967295 134512640 134714540 3221221776 3221220496 134556640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 51659 49153 1111 63 0 51596 0
vsize: 206636
[startup+640.043 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 50431 0 0 0 63851 155 0 0 25 0 1 0 825948757 214298624 49851 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52319 49851 1111 63 0 52256 0
vsize: 209276
[startup+650.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 51072 0 0 0 64849 157 0 0 25 0 1 0 825948757 216866816 50492 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 52946 50492 1111 63 0 52883 0
vsize: 211784
[startup+660.044 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 52418 0 0 0 65846 161 0 0 25 0 1 0 825948757 223600640 51718 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 54590 51718 1111 63 0 54527 0
vsize: 218360
[startup+670.045 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 53031 0 0 0 66844 163 0 0 25 0 1 0 825948757 226082816 52315 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55196 52315 1111 63 0 55133 0
vsize: 220784
[startup+680.046 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 53032 0 0 0 67844 163 0 0 25 0 1 0 825948757 226082816 52316 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55196 52316 1111 63 0 55133 0
vsize: 220784
[startup+690.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 53032 0 0 0 68844 164 0 0 25 0 1 0 825948757 226082816 52316 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55196 52316 1111 63 0 55133 0
vsize: 220784
[startup+700.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 53667 0 0 0 69842 166 0 0 25 0 1 0 825948757 228786176 52951 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 55856 52951 1111 63 0 55793 0
vsize: 223424
[startup+710.047 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 54471 0 0 0 70840 167 0 0 25 0 1 0 825948757 232034304 53755 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 56649 53755 1111 63 0 56586 0
vsize: 226596
[startup+720.048 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 55301 0 0 0 71838 170 0 0 25 0 1 0 825948757 235429888 54585 4294967295 134512640 134714540 3221221776 3221220104 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 57478 54585 1111 63 0 57415 0
vsize: 229912
[startup+730.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 56024 0 0 0 72836 172 0 0 25 0 1 0 825948757 238403584 55308 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 58204 55308 1111 63 0 58141 0
vsize: 232816
[startup+740.05 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 56883 0 0 0 73834 175 0 0 25 0 1 0 825948757 242409472 56166 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59182 56166 1111 63 0 59119 0
vsize: 236728
[startup+750.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 57604 0 0 0 74832 177 0 0 25 0 1 0 825948757 245248000 56887 4294967295 134512640 134714540 3221221776 3221220416 134696151 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 59875 56888 1111 63 0 59812 0
vsize: 239500
[startup+760.049 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 58323 0 0 0 75830 179 0 0 25 0 1 0 825948757 248102912 57605 4294967295 134512640 134714540 3221221776 3221220512 134695405 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 60572 57605 1111 63 0 60509 0
vsize: 242288
[startup+770.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 59028 0 0 0 76828 181 0 0 25 0 1 0 825948757 250941440 58310 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 61265 58310 1111 63 0 61202 0
vsize: 245060
[startup+780.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 60077 0 0 0 77826 183 0 0 25 0 1 0 825948757 256028672 59288 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 62507 59288 1111 63 0 62444 0
vsize: 250028
[startup+790.051 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 60770 0 0 0 78825 185 0 0 25 0 1 0 825948757 258732032 59981 4294967295 134512640 134714540 3221221776 3221220512 134695306 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63167 59981 1111 63 0 63104 0
vsize: 252668
[startup+800.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 61448 0 0 0 79823 187 0 0 25 0 1 0 825948757 261435392 60658 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 63827 60658 1111 63 0 63764 0
vsize: 255308
[startup+810.052 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 62149 0 0 0 80822 188 0 0 25 0 1 0 825948757 264273920 61359 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64520 61359 1111 63 0 64457 0
vsize: 258080
[startup+820.053 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 62847 0 0 0 81819 191 0 0 25 0 1 0 825948757 267005952 62055 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65187 62055 1111 63 0 65124 0
vsize: 260748
[startup+830.054 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 63552 0 0 0 82817 193 0 0 25 0 1 0 825948757 269844480 62760 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65880 62760 1111 63 0 65817 0
vsize: 263520
[startup+840.055 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 64271 0 0 0 83815 196 0 0 25 0 1 0 825948757 272547840 63479 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66540 63479 1111 63 0 66477 0
vsize: 266160
[startup+850.056 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 65407 0 0 0 84813 198 0 0 25 0 1 0 825948757 276320256 64405 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67461 64405 1111 63 0 67398 0
vsize: 269844
[startup+860.056 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 66762 0 0 0 85810 201 0 0 25 0 1 0 825948757 283275264 65640 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69159 65640 1111 63 0 69096 0
vsize: 276636
[startup+870.057 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67246 0 0 0 86809 202 0 0 25 0 1 0 825948757 285204480 66104 4294967295 134512640 134714540 3221221776 3221220440 134672929 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69630 66104 1111 63 0 69567 0
vsize: 278520
[startup+880.057 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67331 0 0 0 87808 203 0 0 25 0 1 0 825948757 285638656 66187 4294967295 134512640 134714540 3221221776 3221220592 134611108 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69736 66187 1111 63 0 69673 0
vsize: 278944
[startup+890.058 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67392 0 0 0 88808 203 0 0 25 0 1 0 825948757 285773824 66248 4294967295 134512640 134714540 3221221776 3221220496 134556668 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69769 66248 1111 63 0 69706 0
vsize: 279076
[startup+900.059 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67421 0 0 0 89808 204 0 0 25 0 1 0 825948757 285900800 66277 4294967295 134512640 134714540 3221221776 3221220560 134624391 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69800 66277 1111 63 0 69737 0
vsize: 279200
[startup+910.059 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67421 0 0 0 90808 204 0 0 25 0 1 0 825948757 285900800 66277 4294967295 134512640 134714540 3221221776 3221220492 134558560 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69800 66277 1111 63 0 69737 0
vsize: 279200
[startup+920.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67451 0 0 0 91807 205 0 0 25 0 1 0 825948757 286035968 66307 4294967295 134512640 134714540 3221221776 3221220568 134542448 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69833 66307 1111 63 0 69770 0
vsize: 279332
[startup+930.061 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67451 0 0 0 92807 205 0 0 25 0 1 0 825948757 286035968 66307 4294967295 134512640 134714540 3221221776 3221220488 134543179 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69833 66307 1111 63 0 69770 0
vsize: 279332
[startup+940.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67451 0 0 0 93807 206 0 0 25 0 1 0 825948757 286035968 66307 4294967295 134512640 134714540 3221221776 3221220568 134543176 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69833 66307 1111 63 0 69770 0
vsize: 279332
[startup+950.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67453 0 0 0 94807 206 0 0 25 0 1 0 825948757 286035968 66309 4294967295 134512640 134714540 3221221776 3221220492 134558607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69833 66309 1111 63 0 69770 0
vsize: 279332
[startup+960.062 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67470 0 0 0 95806 207 0 0 25 0 1 0 825948757 286171136 66326 4294967295 134512640 134714540 3221221776 3221220580 134611046 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66326 1111 63 0 69803 0
vsize: 279464
[startup+970.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67471 0 0 0 96806 207 0 0 25 0 1 0 825948757 286171136 66327 4294967295 134512640 134714540 3221221776 3221220480 134556775 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66327 1111 63 0 69803 0
vsize: 279464
[startup+980.063 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67471 0 0 0 97806 207 0 0 25 0 1 0 825948757 286171136 66327 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66327 1111 63 0 69803 0
vsize: 279464
[startup+990.064 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67475 0 0 0 98806 208 0 0 25 0 1 0 825948757 286171136 66331 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66331 1111 63 0 69803 0
vsize: 279464
[startup+1000.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67475 0 0 0 99806 208 0 0 25 0 1 0 825948757 286171136 66331 4294967295 134512640 134714540 3221221776 3221220580 134611355 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66331 1111 63 0 69803 0
vsize: 279464
[startup+1010.06 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67484 0 0 0 100805 209 0 0 25 0 1 0 825948757 286171136 66340 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66340 1111 63 0 69803 0
vsize: 279464
[startup+1020.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67484 0 0 0 101806 209 0 0 25 0 1 0 825948757 286171136 66340 4294967295 134512640 134714540 3221221776 3221220560 134624457 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66340 1111 63 0 69803 0
vsize: 279464
[startup+1030.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67484 0 0 0 102805 209 0 0 25 0 1 0 825948757 286171136 66340 4294967295 134512640 134714540 3221221776 3221220520 134558593 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66340 1111 63 0 69803 0
vsize: 279464
[startup+1040.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67484 0 0 0 103805 209 0 0 25 0 1 0 825948757 286171136 66340 4294967295 134512640 134714540 3221221776 3221220548 134624782 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66340 1111 63 0 69803 0
vsize: 279464
[startup+1050.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67484 0 0 0 104805 210 0 0 25 0 1 0 825948757 286171136 66340 4294967295 134512640 134714540 3221221776 3221220592 134611154 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69866 66340 1111 63 0 69803 0
vsize: 279464
[startup+1060.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67521 0 0 0 105805 210 0 0 25 0 1 0 825948757 286306304 66377 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69899 66377 1111 63 0 69836 0
vsize: 279596
[startup+1070.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67528 0 0 0 106805 210 0 0 25 0 1 0 825948757 286441472 66384 4294967295 134512640 134714540 3221221776 3221220592 134622115 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69932 66384 1111 63 0 69869 0
vsize: 279728
[startup+1080.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67534 0 0 0 107805 210 0 0 25 0 1 0 825948757 286441472 66390 4294967295 134512640 134714540 3221221776 3221220592 134622252 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69932 66390 1111 63 0 69869 0
vsize: 279728
[startup+1090.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67544 0 0 0 108805 211 0 0 25 0 1 0 825948757 286441472 66400 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69932 66400 1111 63 0 69869 0
vsize: 279728
[startup+1100.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67560 0 0 0 109805 211 0 0 25 0 1 0 825948757 286576640 66416 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66416 1111 63 0 69902 0
vsize: 279860
[startup+1110.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67560 0 0 0 110804 212 0 0 25 0 1 0 825948757 286576640 66416 4294967295 134512640 134714540 3221221776 3221220512 134695334 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66416 1111 63 0 69902 0
vsize: 279860
[startup+1120.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67560 0 0 0 111804 212 0 0 25 0 1 0 825948757 286576640 66416 4294967295 134512640 134714540 3221221776 3221220512 134556532 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66416 1111 63 0 69902 0
vsize: 279860
[startup+1130.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67560 0 0 0 112803 213 0 0 25 0 1 0 825948757 286576640 66416 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66416 1111 63 0 69902 0
vsize: 279860
[startup+1140.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67560 0 0 0 113803 213 0 0 25 0 1 0 825948757 286576640 66416 4294967295 134512640 134714540 3221221776 3221220572 134558545 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66416 1111 63 0 69902 0
vsize: 279860
[startup+1150.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67561 0 0 0 114803 214 0 0 25 0 1 0 825948757 286576640 66417 4294967295 134512640 134714540 3221221776 3221220592 134611099 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66417 1111 63 0 69902 0
vsize: 279860
[startup+1160.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67562 0 0 0 115803 214 0 0 25 0 1 0 825948757 286576640 66418 4294967295 134512640 134714540 3221221776 3221220368 134695889 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66418 1111 63 0 69902 0
vsize: 279860
[startup+1170.07 s]
Raw data (loadavg): 0.99 0.98 0.93 2/55 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67578 0 0 0 116803 215 0 0 25 0 1 0 825948757 286576640 66434 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66434 1111 63 0 69902 0
vsize: 279860
[startup+1175.04 s]
Raw data (loadavg): 0.99 0.98 0.93 1/54 20490
Raw data (stat): 20490 (bsolo_mis) R 20489 7876 7672 0 -1 0 67578 0 0 0 116803 215 0 0 25 0 1 0 825948757 286576640 66434 4294967295 134512640 134714540 3221221776 3221220700 1077781665 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 69965 66434 1111 63 0 69902 0
vsize: 0

Child status: 0
Real time (s): 1175.04
CPU time (s): 1175.15
CPU user time (s): 1172.87
CPU system time (s): 2.27665
CPU usage (%): 100.009
Max. virtual memory (Kb): 279860
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####