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/plato.asu.edu/pub/unibo/normalized-mps-v2-13-7-B1C1S1.opb
MD5SUM	ab580cd45d19f5d6d605ce2c4dabd375
Bench Category	optimization, medium integers (OPTMEDINT)
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	25888
Biggest coefficient in the objective function	340787200
Number of bits for the biggest coefficient in the objective function	29
Sum of the numbers in the objective function	293013913600
Number of bits of the sum of numbers in the objective function	39
Biggest number in a constraint	340787200
Number of bits of the biggest number in a constraint	29
Biggest sum of numbers in a constraint	293013913600
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.6499
Number of variables	71968
Total number of constraints	4192
Number of constraints which are clauses	0
Number of constraints which are cardinality constraints (but not clauses)	288
Number of constraints which are nor clauses,nor cardinality constraints	3904
Minimum length of a constraint	1
Maximum length of a constraint	960
Trace number 25224

#### BEGIN LAUNCHER DATA ####
LAUNCH ON wulflinc31 THE 2005-05-17 19:42:50 (client local time)
PB2005-SCRIPT v4.0 
MARKUPS: idlaunch=19893 boxname=wulflinc31 idbench=1531 idsolver=3 numberseed=0
MD5SUM SOLVER: 03a6a792daea978e4202f78851741568  /oldhome/oroussel/solvers/bsolo_mis
MD5SUM BENCH:  ab580cd45d19f5d6d605ce2c4dabd375  /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
REAL COMMAND:  bsolo_mis /oldhome/oroussel/tmp/wulflinc31/normalized-mps-v2-13-7-B1C1S1.opb
IDLAUNCH: 19893
/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:        840104 kB
Buffers:         28700 kB
Cached:         140844 kB
SwapCached:       2836 kB
Active:          79632 kB
Inactive:        95020 kB
HighTotal:      131008 kB
HighFree:         1540 kB
LowTotal:       903652 kB
LowFree:        838564 kB
SwapTotal:     2097892 kB
SwapFree:      2094220 kB
Dirty:              28 kB
Writeback:           0 kB
Mapped:           5380 kB
Slab:            14216 kB
Committed_AS:    63860 kB
PageTables:        328 kB
VmallocTotal:   114680 kB
VmallocUsed:      1368 kB
VmallocChunk:   113252 kB
JOB ENDED THE 2005-05-17 20:02:26 (client local time) WITH STATUS 0 IN 1175.19 SECONDS
stats: 19893 7 1175.19 0
#### END LAUNCHER DATA ####
#### BEGIN SOLVER DATA ####
c Initial problem consists of 71968 variables and 5184 constraints.
c After prepocess the problem consists of 52268 variables and 5184 constraints.
c preprocess terminated 214.09 s
c Initial Lower Bound: 0
c Lower Bound Elapsed time: 0
c Use computed LB before first solution.
s UNKNOWN
c Exit Code: 0
c Total time: 1175.04 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.87 0.97 0.99 2/55 29387
Raw data (stat): 29387 (runsolver) R 29386 7876 7672 0 -1 64 5 0 0 0 0 0 0 0 19 0 1 0 772339635 1056768 100 4294967295 134512640 135381576 3221221680 3221216900 135158418 0 2147483391 1 90112 0 0 0 17 0 0 0
Raw data (statm): 258 100 215 215 0 43 0
vsize: 1032
[startup+10.0004 s]
Raw data (loadavg): 0.89 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 1621 0 0 0 992 4 0 0 25 0 1 0 772339635 19873792 1598 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 4852 1598 1111 63 0 4789 0
vsize: 19408
[startup+20.0011 s]
Raw data (loadavg): 0.90 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 2909 0 0 0 1990 6 0 0 25 0 1 0 772339635 25092096 2886 4294967295 134512640 134714540 3221221776 3221220004 1077414351 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 6126 2886 1111 63 0 6063 0
vsize: 24504
[startup+30.0021 s]
Raw data (loadavg): 0.92 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 4241 0 0 0 2988 9 0 0 25 0 1 0 772339635 30621696 4218 4294967295 134512640 134714540 3221221776 3221220004 1077414360 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 7476 4218 1111 63 0 7413 0
vsize: 29904
[startup+40.0019 s]
Raw data (loadavg): 0.93 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 5636 0 0 0 3986 11 0 0 25 0 1 0 772339635 36265984 5613 4294967295 134512640 134714540 3221221776 3221220004 1077414338 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 8854 5613 1111 63 0 8791 0
vsize: 35416
[startup+50.0031 s]
Raw data (loadavg): 0.94 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 7140 0 0 0 4984 14 0 0 25 0 1 0 772339635 42516480 7117 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 10380 7117 1111 63 0 10317 0
vsize: 41520
[startup+60.0037 s]
Raw data (loadavg): 0.95 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 8632 0 0 0 5981 17 0 0 25 0 1 0 772339635 48590848 8609 4294967295 134512640 134714540 3221221776 3221220004 1077414347 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 11863 8609 1111 63 0 11800 0
vsize: 47452
[startup+70.0036 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 10264 0 0 0 6978 20 0 0 25 0 1 0 772339635 55226368 10241 4294967295 134512640 134714540 3221221776 3221220004 1077414385 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 13483 10241 1111 63 0 13420 0
vsize: 53932
[startup+80.0046 s]
Raw data (loadavg): 0.96 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 11940 0 0 0 7975 24 0 0 25 0 1 0 772339635 62255104 11917 4294967295 134512640 134714540 3221221776 3221220004 1077414407 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 15199 11917 1111 63 0 15136 0
vsize: 60796
[startup+90.0044 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 13771 0 0 0 8971 27 0 0 25 0 1 0 772339635 69738496 13748 4294967295 134512640 134714540 3221221776 3221220004 1077414399 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 17026 13748 1111 63 0 16963 0
vsize: 68104
[startup+100.005 s]
Raw data (loadavg): 0.97 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 15576 0 0 0 9968 31 0 0 25 0 1 0 772339635 77082624 15553 4294967295 134512640 134714540 3221221776 3221220432 134527932 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 18819 15553 1111 63 0 18756 0
vsize: 75276
[startup+110.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 17582 0 0 0 10965 34 0 0 25 0 1 0 772339635 85270528 17559 4294967295 134512640 134714540 3221221776 3221220432 134527946 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 20818 17559 1111 63 0 20755 0
vsize: 83272
[startup+120.007 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 39070 0 0 0 11918 81 0 0 25 0 1 0 772339635 173268992 39047 4294967295 134512640 134714540 3221221776 3221220428 134568476 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 42302 39047 1111 63 0 42239 0
vsize: 169208
[startup+130.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 46644 0 0 0 12899 100 0 0 25 0 1 0 772339635 203436032 46409 4294967295 134512640 134714540 3221221776 3221220184 1077378037 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 49667 46409 1111 63 0 49604 0
vsize: 198668
[startup+140.008 s]
Raw data (loadavg): 0.98 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 63728 0 0 0 13863 136 0 0 25 0 1 0 772339635 265142272 63228 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 64732 63228 1111 63 0 64669 0
vsize: 258928
[startup+150.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 69287 0 0 0 14851 148 0 0 25 0 1 0 772339635 267894784 63888 4294967295 134512640 134714540 3221221776 3221220504 134672911 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65404 63888 1111 63 0 65341 0
vsize: 261616
[startup+160.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 71451 0 0 0 15846 153 0 0 25 0 1 0 772339635 268029952 63922 4294967295 134512640 134714540 3221221776 3221220576 134617242 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65437 63922 1111 63 0 65374 0
vsize: 261748
[startup+170.009 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 71464 0 0 0 16846 153 0 0 25 0 1 0 772339635 268029952 63935 4294967295 134512640 134714540 3221221776 3221220536 134630845 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65437 63935 1111 63 0 65374 0
vsize: 261748
[startup+180.01 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 76151 0 0 0 17837 162 0 0 25 0 1 0 772339635 268029952 63936 4294967295 134512640 134714540 3221221776 3221220528 134630795 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65437 63936 1111 63 0 65374 0
vsize: 261748
[startup+190.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 230330 0 0 0 18496 503 0 0 25 0 1 0 772339635 268902400 64116 4294967295 134512640 134714540 3221221776 3221220416 134606468 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65650 64122 1111 63 0 65587 0
vsize: 262600
[startup+200.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 387026 0 0 0 19122 878 0 0 25 0 1 0 772339635 270647296 64470 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 66076 64476 1111 63 0 66013 0
vsize: 264304
[startup+210.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 480167 0 0 0 19913 1087 0 0 25 0 1 0 772339635 268902400 64104 4294967295 134512640 134714540 3221221776 3221220416 134606488 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 65650 64111 1111 63 0 65587 0
vsize: 262600
[startup+220.011 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 20838 1162 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 1 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+230.012 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 21838 1162 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+240.013 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 22838 1162 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+250.014 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 23838 1162 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220560 134558542 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+260.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 24838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+270.015 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 25838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+280.016 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 26838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220520 134556383 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+290.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 27838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220608 134623284 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+300.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 28838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+310.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513642 0 0 0 29838 1163 0 0 25 0 1 0 772339635 278335488 66268 4294967295 134512640 134714540 3221221776 3221220504 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66268 1111 63 0 67890 0
vsize: 271812
[startup+320.017 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 30838 1163 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220492 134558607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+330.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 31839 1163 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+340.018 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 32839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220504 134556493 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+350.019 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 33839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+360.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 34839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220492 134553612 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+370.02 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 35839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+380.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 36839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220496 134556642 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+390.021 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 37839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220544 134624435 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+400.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 38839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+410.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513644 0 0 0 39839 1164 0 0 25 0 1 0 772339635 278335488 66270 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66270 1111 63 0 67890 0
vsize: 271812
[startup+420.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 40839 1164 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220568 134542445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+430.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 41840 1164 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+440.022 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 42839 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+450.023 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 43840 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+460.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 44840 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220520 134536883 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+470.024 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 45840 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+480.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 46840 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+490.025 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 47840 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220528 134624445 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+500.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 48841 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220496 134556763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+510.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513646 0 0 0 49841 1165 0 0 25 0 1 0 772339635 278335488 66272 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66272 1111 63 0 67890 0
vsize: 271812
[startup+520.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 50841 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220624 134623462 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+530.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 51841 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+540.026 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 52841 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+550.027 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 53841 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220524 134543569 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+560.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 54841 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220496 134556924 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+570.028 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 55842 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220456 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+580.029 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 56842 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220496 134556640 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+590.03 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 57842 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+600.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513648 0 0 0 58842 1165 0 0 25 0 1 0 772339635 278335488 66274 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66274 1111 63 0 67890 0
vsize: 271812
[startup+610.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 59842 1165 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220488 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+620.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 60842 1165 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+630.032 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 61842 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220548 134624473 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+640.031 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 62843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220476 134558607 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+650.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 63843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+660.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 64843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+670.033 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 65843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+680.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 66843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220512 134556547 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+690.034 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513650 0 0 0 67843 1166 0 0 25 0 1 0 772339635 278335488 66276 4294967295 134512640 134714540 3221221776 3221220496 134556680 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66276 1111 63 0 67890 0
vsize: 271812
[startup+700.035 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 68843 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+710.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 69843 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+720.036 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 70844 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220488 134553169 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+730.037 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 71844 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220456 134553175 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+740.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 72844 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220524 134543556 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+750.038 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 73844 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+760.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 74844 1166 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+770.039 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 75844 1167 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+780.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513652 0 0 0 76845 1167 0 0 25 0 1 0 772339635 278335488 66278 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66278 1111 63 0 67890 0
vsize: 271812
[startup+790.04 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 77845 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220560 134624498 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+800.041 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 78845 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220580 134610916 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+810.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 79845 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220472 134558621 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+820.042 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 80845 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+830.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 81845 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220480 134556773 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+840.043 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 82846 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220524 134556736 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+850.044 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 83846 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220512 134556745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+860.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 84846 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220548 134624779 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+870.045 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513654 0 0 0 85846 1167 0 0 25 0 1 0 772339635 278335488 66280 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66280 1111 63 0 67890 0
vsize: 271812
[startup+880.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 86846 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220544 134624479 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+890.046 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 87846 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220496 134556884 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+900.047 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 88846 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220496 134556897 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+910.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 89846 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220512 134556745 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+920.048 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 90847 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+930.049 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 91847 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220624 134623456 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+940.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 92847 1167 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220548 134624428 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+950.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 93847 1168 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220544 134624474 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+960.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513656 0 0 0 94847 1168 0 0 25 0 1 0 772339635 278335488 66282 4294967295 134512640 134714540 3221221776 3221220624 134623453 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66282 1111 63 0 67890 0
vsize: 271812
[startup+970.051 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 95847 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+980.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 96848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+990.052 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 97848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1000.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 98848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1010.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 99848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220480 134556763 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1020.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 100848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220512 134556630 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1030.05 s]
Raw data (loadavg): 0.99 0.97 0.99 2/55 29387
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 101849 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220536 134543552 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1040.05 s]
Raw data (loadavg): 1.07 0.99 0.99 2/59 29430
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 102848 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220612 134623280 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1050.07 s]
Raw data (loadavg): 1.14 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513658 0 0 0 103850 1168 0 0 25 0 1 0 772339635 278335488 66284 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66284 1111 63 0 67890 0
vsize: 271812
[startup+1060.07 s]
Raw data (loadavg): 1.11 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 104850 1168 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1070.07 s]
Raw data (loadavg): 1.10 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 105850 1168 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1080.07 s]
Raw data (loadavg): 1.08 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 106851 1168 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220624 134623464 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1090.07 s]
Raw data (loadavg): 1.07 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 107851 1169 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220564 134625040 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1100.07 s]
Raw data (loadavg): 1.06 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 108851 1169 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220512 134556388 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1110.07 s]
Raw data (loadavg): 1.05 1.00 1.00 2/55 29440
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 109851 1169 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1120.07 s]
Raw data (loadavg): 1.04 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 110851 1169 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220560 134624377 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1130.07 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513660 0 0 0 111851 1169 0 0 25 0 1 0 772339635 278335488 66286 4294967295 134512640 134714540 3221221776 3221220560 134624467 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66286 1111 63 0 67890 0
vsize: 271812
[startup+1140.07 s]
Raw data (loadavg): 1.03 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513662 0 0 0 112851 1169 0 0 25 0 1 0 772339635 278335488 66288 4294967295 134512640 134714540 3221221776 3221220476 134558620 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66288 1111 63 0 67890 0
vsize: 271812
[startup+1150.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513662 0 0 0 113851 1169 0 0 25 0 1 0 772339635 278335488 66288 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66288 1111 63 0 67890 0
vsize: 271812
[startup+1160.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513662 0 0 0 114851 1169 0 0 25 0 1 0 772339635 278335488 66288 4294967295 134512640 134714540 3221221776 3221220520 134536866 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66288 1111 63 0 67890 0
vsize: 271812
[startup+1170.08 s]
Raw data (loadavg): 1.02 1.00 1.00 2/55 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513662 0 0 0 115851 1170 0 0 25 0 1 0 772339635 278335488 66288 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66288 1111 63 0 67890 0
vsize: 271812
[startup+1175.05 s]
Raw data (loadavg): 1.01 1.00 1.00 1/54 29442
Raw data (stat): 29387 (bsolo_mis) R 29386 7876 7672 0 -1 0 513662 0 0 0 115851 1170 0 0 25 0 1 0 772339635 278335488 66288 4294967295 134512640 134714540 3221221776 3221220520 134536879 0 0 1 0 0 0 0 17 0 0 0
Raw data (statm): 67953 66288 1111 63 0 67890 0
vsize: 0

Child status: 0
Real time (s): 1175.05
CPU time (s): 1175.19
CPU user time (s): 1163.36
CPU system time (s): 11.8232
CPU usage (%): 100.012
Max. virtual memory (Kb): 271812
#### END WATCHER DATA ####
#### BEGIN VERIFIER DATA ####
ERROR: no interpretation found !
#### END VERIFIER DATA ####